Publications
Filters: First Letter Of Title is C  [Clear All Filters]
 
"Change-driven Model Transformations",  
Proc. of MODELS'09, ACM/IEEE 12th International Conference On Model Driven Engineering Languages and Systems, vol. 5795/2009, pp. 342-356, 2009.
 Abstract
 
"Change-driven Model Evolution for Living Models",  
3rd Workshop Model-driven Tool and Process Intergration (MDTPI), ECMFA 2010, Paris, France, 06/2010.
 
Change patterns: Co-evolving requirements and architecture,  
: K.U.Leuven, 08/2010.
 
"Challenges in Model-Based Evolution and Merging of Access Control Policies",  
Joint 12th International Workshop on Principles on Software Evolution and 7th ERCIM Workshop on Software Evolution, 2011.
 Abstract
ISBN: 978-1-4503-0848-9 Pages: 116-120
 
"Challenges in Model-Based Evolution and Merging of Access Control Policies",  
Joint 12th International Workshop on Principles on Software Evolution and 7th ERCIM Workshop on Software Evolution, 2011.
 Abstract
ISBN: 978-1-4503-0848-9 Pages: 116-120
 
"Change Patterns: Co-evolving Requirements and Architecture",  
Software and Systems Modeling: Springer, 2011.
to appear
 
Combining Formal Methods and Testing: A Case Study on FreeRTOS,  
, 2011.
Invited talk at the 10th International Conference on Software QA and Testing on Embedded Systems (QA&Test 2011), Bilbao, Spain.
 
"Computer-Aided Threat Identification",  
CEC 2011, New Orleans, IEEE, 2011.
 
"Change-driven model transformations. Change (in) the rule to rule the change.",  
Software and Systems Modeling, issue Online first.: Springer Berlin / Heidelberg, pp. 1-31, 2011.
 
"Can We Support Applications' Evolution in  Multi-Application Smart Cards by  Security-by-Contract?",  
Security and Privacy of Pervasive Systems and Small Devices, Passau, Germany, Springer, Submitted.
 
"Change Patterns: Co-evolving Requirements and Architecture",  
Software and Systems Modeling: Springer, Submitted.
          
] 



