Publications
- Handling Concurrency in Embedded Software System from Architectural Point of View In HiPEAC conference, Tutorials, January 2021. Details URL BIB
- Combined Data Transfer Response Time and Mapping Exploration in MPSoCs In 10th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) co-located with ECRTS, July 2019. Details URL BIB
- Distributed Real-Time Architecture for Mixed-Criticality Systems: Algorithms and Tools CRC Press, August 2018. Details DOI BIB
- Distributed Real-Time Architecture for Mixed-Criticality Systems: Modeling and Development Process CRC Press, August 2018. Details DOI BIB
- Architecture Exploration for Safety-Critical Systems In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), March 2018. Details BIB
- DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, September 2017. IEEE. Details DOI BIB
- ExplicitCase: Integrated Model-based Development of System and Safety Cases In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 52 – 63, September 2017. Springer. Details DOI BIB
- Building Product-lines of Mixed-Criticality Systems In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. IEEE. Details DOI BIB
- A Lightweight Design Space Exploration and Optimization Language In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), pages 190–193, New York, NY, USA, 2016. ACM. Details DOI BIB