Author of the publication

Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.

, , , and . ICECCS, page 85-94. IEEE Computer Society, (2010)

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

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , and . Theor. Comput. Sci., (2016)On How Bit-Vector Logic Can Help Verify LTL-Based Specifications., , and . IEEE Trans. Software Eng., 48 (4): 1154-1168 (2022)Experimental determination of momentum-resolved electron-phonon coupling, , , , , , , , , and 2 other author(s). Phys. Rev. Lett., 123 (2): 027001 (Jul 8, 2019)Context Awareness in the Travel Companion of the Shift2Rail Initiative., , , and . SEBD, volume 2646 of CEUR Workshop Proceedings, page 202-209. CEUR-WS.org, (2020)SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration., , , and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 283-295. Springer, (2016)A Multi-Agent Architecture for Health Information Systems., , , , , and . KES-AMSTA, volume 252 of Frontiers in Artificial Intelligence and Applications, page 375-384. IOS Press, (2013)Temporal Pattern Recognition in Large Scale Graphs., , and . DEBS, page 250-251. ACM, (2019)A tool for verification of big-data applications., , , and . QUDOS@ISSTA, page 44-45. ACM, (2016)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , and 3 other author(s). SEAMS@ICSE, page 245-251. IEEE, (2021)A multirate predictive approach to orbit control of small spacecraft., and . ACC, page 1843-1848. IEEE, (2002)