RISD - Rigorous System Design Laboratory
16:59Robust Software Development for University-Built Satellites. IEEE Aerospace Conference, Big Sky, Montana, USA, March 4-11, 2017.
19:20A Framework for Automatic Generation of OSRA-compliant Applications in BIP. 2017.
19:22Definition and Implementation of Validation Strategies for a Nanosatellite Flight Control Software Model. 2015.
13:10A Semantic Framework for Architecture Modelling. Thèse EPFL, n° 7325 (2017)
11:48Modelling Architecture Styles. Thèse EPFL, n° 7324 (2016)
11:35A Note on the Expressiveness of BIP. Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016), Québec, Canada, August 22, 2016. , Electronic Proceedings in Theoretical Computer Science 222.
11:22Parameterized Systems in BIP: Design and Model Checking. 27th International Conference on Concurrency Theory (CONCUR 2016), Québec, Canada, August 23-26, 2016. , Leibniz International Proceedings in Informatics (LIPIcs) 59.
16:13Architecture-based Design: A Satellite On-board Software Case Study. 13th International Conference on Formal Aspects of Component Software (FACS 2016), Besançon, France, October 19-21, 2016.
17:46Architecture-based Design: A Satellite On-Board Software Case Study, 2016.
14:00Architecture Diagrams: A Graphical Language for Architecture Style Specification. 9th Interaction and Concurrency Experience, Herakleion, Greece, 8-9 June 2016. , Electronic Proceedings in Theoretical Computer Science.