Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Formal approaches for Aspect-Oriented Systems
Hernandez, Alejandro Mario
(PhD Student)
Nielson, Flemming
(Main Supervisor)
Probst, Christian W.
(Examiner)
De Nicola, Rocco
(Examiner)
Hankin, Chris
(Examiner)
Nielson, Hanne Riis
(Supervisor)
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/06/2009
→
28/09/2012
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Distributed Systems
Computer Science
100%
Aspect Orientation
Computer Science
25%
Security Properties
Computer Science
25%
Model Checking
Computer Science
25%
Static Program Analysis
Computer Science
25%
Computer Science
Computer Science
25%
Software Life Cycle
Computer Science
12%
System Security
Computer Science
12%
Research output
Publications per year
2012
2012
2012
1
Ph.D. thesis
Publications per year
Publications per year
Distributed security in closed distributed systems
Hernandez, A. M.
,
2012
, Kgs. Lyngby:
Technical University of Denmark
.
198 p.
(IMM-PHD-2012; No. 274).
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Distributed Systems
100%
Security Properties
25%
Aspect Orientation
25%
Static Program Analysis
25%
Computer Science
25%
425
Downloads (Pure)