( en | de | ru )

 

Disambiguierung von "Lidström, Christian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).

, , , , und . CoRR, (2023)

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.

Christian Christian

Christian Winter

Gold-katalysierte Cycloisomerisierung funktionalisierter Allene und Anwendung in der Naturstoffsynthese. TU Dortmund, (2009)

Christian Helbig

Synthese und Charakterisierung von metallorganischen Bronzen. Uni Augsburg, (2009)

Christian Schüller

Automatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen. TU München, (2009)

Christian Gröling

Optimierungspotenzial bei Servoumrichtern für permanenterregte Synchronmaschinen. TU Braunschweig, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements., , , und . QRS Companion, Seite 28-35. IEEE, (2019)Deductive Verification Based Abstraction for Software Model Checking., , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 7-28. Springer, (2022)Automatic Program Instrumentation for Automatic Verification., , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 281-304. Springer, (2023)Contract Based Embedded Software Design., und . TASE, Volume 13931 von Lecture Notes in Computer Science, Seite 77-94. Springer, (2023)Constraint-Based Contract Inference for Deductive Verification., , , und . 20 Years of KeY, Volume 12345 von Lecture Notes in Computer Science, Springer, (2020)Alice in Wineland: A Fairy Tale with Contracts., , und . The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 229-242. Springer, (2022)Formal Verification in Automotive Industry: Enablers and Obstacles., , , , und . ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 139-158. Springer, (2018)Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report., , , und . FMICS-AVoCS, Volume 10471 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2017)An Abstract Contract Theory for Programs with Procedures., und . FASE, Volume 12649 von Lecture Notes in Computer Science, Seite 152-171. Springer, (2021)Principles of Contract Languages (Dagstuhl Seminar 22451)., , , , und . Dagstuhl Reports, 12 (11): 1-27 (November 2022)