selected scholarly activity
-
chapters
-
conferences
- Documenting Simulink Designs of Embedded Systems. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 47-51. 2018
- A separation principle for embedded system interfacing. Lecture Notes in Computer Science. 373-388. 2014
- Introducing performance engineering by means of tools and practical exercises. Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research - CASCON '06. 40-40. 2006
- Introducing performance engineering by means of tools and practical exercises.. CASCON. 379-379. 2006
- Model driven distribution pattern design for dynamic web service compositions. Proceedings of the 6th international conference on Web engineering. 129-136. 2006
- Middleware support for data-flow distribution in web services composition. The PhDOOS Workshop and Doctoral Symposium, ECOOP, Glasgow, UK. 2005
-
journal articles
- Implementability of Requirements in the Four-Variable Model. Science of Computer Programming. 111:339-362. 2015
- From System Requirements to Software Requirements in the Four-Variable Model. Electronic Communications of the EASST. 66. 2013
- Basic Timing and Control-Flow Analysis of Programs Written in Assembly Languages 2004
- Program modeling and analysis of real-time and embedded applications. Trans. Autom. Control Comput. Sci. 63:207-212. 2004
-
other
-
theses