( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CPSDebug: a tool for explanation of failures in cyber-physical systems.

, , , , , и . ISSTA, стр. 569-572. ACM, (2020)

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.

Ezio Iacono

Matthias Obanechem Ezioba

 

Другие публикации лиц с тем же именем

The Probabilistic Termination Tool Amber., , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 667-675. Springer, (2021)Enacting Proactive Workflows Engine in e-Science., , и . International Conference on Computational Science (3), том 3993 из Lecture Notes in Computer Science, стр. 1012-1015. Springer, (2006)Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting., , , , и . CMSB, том 11773 из Lecture Notes in Computer Science, стр. 120-139. Springer, (2019)Runtime Verification of Autonomous Driving Systems in CARLA., , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 172-183. Springer, (2020)Quantitative Regular Expressions for Arrhythmia Detection., , , , , и . IEEE ACM Trans. Comput. Biol. Bioinform., 16 (5): 1586-1597 (2019)A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , и 6 other автор(ы). CoRR, (2018)Flavours of Sequential Information Flow., , , , и . CoRR, (2021)A Normative Supervisor for Reinforcement Learning Agents., , , и . CADE, том 12699 из Lecture Notes in Computer Science, стр. 565-576. Springer, (2021)Model driven design and implementation of activity-based applications in Hermes., , , и . WOA, том 204 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)Mora - Automatic Generation of Moment-Based Invariants., , и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 492-498. Springer, (2020)