( en | de | ru )

 

Disambiguierung von "Tonetta, Stefano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A comprehensive framework for the analysis of automotive systems.

, , , , , , und . MoDELS, Seite 379-389. ACM, (2022)

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.

Stefano Meini

Stefano Cracolici

Giovanni Stefano

Stefano Carignano

Stefano Cardanobile

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Safety Analysis of Mode Transitions., , , , und . SAFECOMP, Volume 12234 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2020)Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides., , , und . MILS@DSN, Zenodo, (2018)HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems., , , , , , , , , und 1 andere Autor(en). SIMULTECH (Selected Papers), Volume 306 von Lecture Notes in Networks and Systems, Seite 90-110. Springer, (2020)Loop Summarization Using Abstract Transformers., , , , und . ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 111-125. Springer, (2008)Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 350-363. Springer, (2005)Model-Based Design of an Energy-System Embedded Controller Using Taste., , , , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 741-747. (2016)Loopfrog: A Static Analyzer for ANSI-C Programs., , , , und . ASE, Seite 668-670. IEEE Computer Society, (2009)A first-order logic characterization of safety and co-safety languages., , , , und . CoRR, (2022)Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report., , , , , , und . FMICS, Volume 14952 von Lecture Notes in Computer Science, Seite 170-181. Springer, (2024)Property-Driven Partitioning for Abstraction Refinement., , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 389-404. Springer, (2007)