( en | de | ru )

 

Disambiguierung von "Tonetta, Stefano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Loop Summarization Using Abstract Transformers.

, , , , und . ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 111-125. Springer, (2008)

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

Stefano Cardanobile

Stefano Terzo

Stefano Carignano

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides., , , und . MILS@DSN, Zenodo, (2018)Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking., , und . Int. J. Softw. Tools Technol. Transf., 13 (4): 319-335 (2011)Model-Based Safety Analysis of Mode Transitions., , , , und . SAFECOMP, Volume 12234 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2020)Model-based analysis support for dependable complex systems in CHESS., , , , und . CoRR, (2020)A first-order logic characterization of safety and co-safety languages., , , , und . CoRR, (2022)Contracts-refinement proof system for component-based embedded systems., und . Sci. Comput. Program., (2015)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)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)Loopfrog: A Static Analyzer for ANSI-C Programs., , , , und . ASE, Seite 668-670. IEEE Computer Society, (2009)