- DEECo C++ Framework for Real-Time Embedded SystemsPublication without faculty affiliation
- A Component Model for Control-Intensive Distributed Embedded Systems2008 | Faculty of Mathematics and Physics
- Comparison of Component Frameworks for Real-Time Embedded Systems2014 | Faculty of Mathematics and Physics
- A Component Model Family for Vehicular Embedded Systems +12008 | Faculty of Mathematics and Physics
- Comparison of Component Frameworks for Real-time Embedded Systems2010 | Faculty of Mathematics and Physics
- SOFA High IntegrityPublication without faculty affiliation
- SOFA for JMEPublication without faculty affiliation
- Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned2011 | Faculty of Mathematics and Physics
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations2016 | Faculty of Mathematics and Physics
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Faculty of Mathematics and Physics
- SOFA 2 release 0.8.1Publication without faculty affiliation
- Evolving Controllers for Electric Vehicle Charging2018 | Faculty of Mathematics and Physics
- Separation of Concerns and Consistent Integration in Requirements Modelling2007 | Publication without faculty affiliation
- Role of Environmental Dynamic Polarizability in Static Excited State Properties of Embedded Molecular Systems: Application to Disordered Fluorographene Systems2023 | Faculty of Mathematics and Physics