1. Synthesizing Multithreaded Code from Real-Time Object-Oriented Models via Schedulability-Aware Thread Derivation;IEEE Transactions on Software Engineering;2014-04
2. An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes;Proceedings of the 15th International Conference on Enterprise Information Systems;2013
3. UML-Driven Software Performance Engineering;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2013
4. Introduction;Verification and Validation in Systems Engineering;2010
5. Scenario-based multitasking for real-time object-oriented models;Information and Software Technology;2006-09