Author of the publication

Architecture-Based Design: A Satellite On-Board Software Case Study.

, , , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 260-279. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On optimal hybrid ARQ control schemes for HSDPA with 16QAM., , and . WiMob (1), page 121-127. IEEE, (2005)Early validation of system requirements and design through correctness-by-construction., , , , and . J. Syst. Softw., (2018)SeBip: A Symbolic Executor for BIP., and . ICECCS, page 174-177. IEEE Computer Society, (2015)Model-based automated testing of critical PLC programs., , , and . INDIN, page 722-727. IEEE, (2013)Extended Connectors: Structuring Glue Operators in BIP., and . ICE, volume 131 of EPTCS, page 20-35. (2013)Automatic Fault Localization for BIP., , , and . SETTA, volume 9409 of Lecture Notes in Computer Science, page 277-283. Springer, (2015)Parameterized Systems in BIP: Design and Model Checking., , , , , and . CONCUR, volume 59 of LIPIcs, page 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Ordering events based on intentionality in cyber-physical systems., , , and . ICCPS, page 107-118. IEEE Computer Society / ACM, (2018)The algebra of connectors: structuring interaction in BIP., and . EMSOFT, page 11-20. ACM, (2007)Towards a Theory of Glue. ICE, volume 104 of EPTCS, page 48-66. (2012)