RISD - Rigorous System Design Laboratory
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.
23:13Axo: Masking Delay Faults in Real-Time Control Systems. The 42nd Annual Conference of IEEE Industrial Electronics Society, Florence, Italy, October 24-27, 2016.
12:14Rigorous software design for nano and micro satellites using BIP framework. 2014.
11:51Worst-case execution time analysis for many-core architectures with NoC. Formats 2016, Quebec City, Canada, August 24-26, 2016.