Static Analysis and Model Checking of Software Systems - DTU Orbit

‹ Back to search result

Static Analysis and Model Checking of Software Systems

Project: PhD

With the same participants

Modelling Socio-Technical Aspects of Organizational Security
Project: PhD
Portable and predictable Performance Heterogeneous Embedded Manycores - Low Level System Stack
Project: PhD
Modeling and Verifying eID Protocols (Future ID)
Project: PhD
Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Project
Portable and Predictable Performance Heterogeneous Embedded Manycores - Upper Level System stack
Project: PhD
SESAMO: Security and Safety Modelling
Project: PhD
SESAMO: Security and Safety Modelling
Project: PhD
SESAMO: Security and Safety Modelling
Project: PhD
Cyber-Physical Systems secure communication protocols
Project: PhD
Adaptive Security in Energy Harvesting Wireless Sensor Networks
Project: PhD

Filipiuk, Piotr (Phd Student)
Nielson, Hanne Riis (Main Supervisor)
Nielson, Flemming (Supervisor)
Schmidt, David A. (Examiner)
Seidl, Helmut (Examiner)
Probst, Christian W. (Examiner)

View graph of relations

Status	Completed
Period	01-08-09 → 25-10-12

Financing source	Internal funding (public)
Research programme	Institut stipendie (DTU)

Publications

A Succinct Approach to Static Analysis and Model Checking
Publication: Research › Ph.d. thesis – Annual report year: 2012

ID: 2321226