Security Design Patterns in the MASTER Workbench. Cyberpatterns Unifying Design Patterns with Security and Attack PatternsCyberpatterns Unifying Design Patterns with Security and Attack Patterns.. 2014.
The design methodology for the verification of hybrid dynamical systems. 10th IEEE International Conference on Cybernetic Intelligent Systems 201110th IEEE International Conference on Cybernetic Intelligent Systems 2011.. 2011.
The Design Methodology for a verification of a hybrid system. 9th IEEE International Conference on Cybernetics Intelligent Systems9th IEEE International Conference on Cybernetics Intelligent Systems.. 2010.
Hybrid systems controller design methodology. Accepted poster at Fiesta 2010 workshop at SAE 2010.. 2010.
Verification of cyber-physical systems. Accepted paper at 20th European meeting on cybernetics and systems research (EMCSR 2010).. 2010.
The Role of Software Engineering in Future Automotive Systems Development SAE. SAE International Journal of Passenger Cars- Electronic and Electrical Systems. 1. 2009.
Semantic Analysis of Field Sports Video using a Petri-Net of Audio-Visual Concepts. The Computer Journal. 52(7). 2009.
The Role of Software Engineering in Future Automotive Systems Development. SAE 2008 World CongressSAE 2008 World Congress.. 2008.