( en | de | ru )

 

Disambiguierung von "Menghi, Claudio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.

, , , und . ACM Trans. Comput. Log., 21 (3): 26:1-26:44 (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Paoloni Claudio

Claudio Meiss

Claudio Wilmanns

Claudio Puschel

Claudio Narcisi

 

Weitere Publikationen von Autoren mit dem selben Namen

From model checking to a temporal proof for partial models: preliminary example., , , , und . CoRR, (2017)Integrating Topological Proofs with Model Checking to Instrument Iterative Design., , und . CoRR, (2018)Specification Patterns for Robotic Missions., , , , und . CoRR, (2019)Trace Diagnostics for Signal-Based Temporal Properties., , , und . IEEE Trans. Software Eng., 49 (5): 3131-3154 (2023)Dealing with incompleteness in automata based model checking.. Polytechnic University of Milan, Italy, (2015)Integrating Topological Proofs with Model Checking to Instrument Iterative Design., , und . FASE, Volume 12076 von Lecture Notes in Computer Science, Seite 53-74. Springer, (2020)PsALM: specification of dependable robotic missions., , , und . ICSE (Companion Volume), Seite 99-102. IEEE / ACM, (2019)Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification., , , und . ICSE, Seite 372-384. ACM, (2020)On requirements verification for model refinements., , , und . RE, Seite 62-71. IEEE Computer Society, (2013)Modeling, refining and analyzing Incomplete Büchi Automata., , und . CoRR, (2016)