Author of the publication

Verification of Concurrent Design Patterns with Data.

, , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 161-181. Springer, (2019)

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

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)On optimal hybrid ARQ control schemes for HSDPA with 16QAM., , и . WiMob (1), стр. 121-127. IEEE, (2005)Model-based automated testing of critical PLC programs., , , и . INDIN, стр. 722-727. IEEE, (2013)Extended Connectors: Structuring Glue Operators in BIP., и . ICE, том 131 из EPTCS, стр. 20-35. (2013)Automatic Fault Localization for BIP., , , и . SETTA, том 9409 из Lecture Notes in Computer Science, стр. 277-283. Springer, (2015)Parameterized Systems in BIP: Design and Model Checking., , , , , и . CONCUR, том 59 из LIPIcs, стр. 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Ordering events based on intentionality in cyber-physical systems., , , и . ICCPS, стр. 107-118. IEEE Computer Society / ACM, (2018)Towards a Theory of Glue. ICE, том 104 из EPTCS, стр. 48-66. (2012)The algebra of connectors: structuring interaction in BIP., и . EMSOFT, стр. 11-20. ACM, (2007)