( en | de | ru )

 

Disambiguierung von "Hähnle, Reiner"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.

, , , , , und . Softw. Syst. Model., 15 (4): 987-1012 (2016)

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.

Reiner Hähnle

Lorenz Hähnle

Reinhard Hähnle

Max Hähnle

Ulrich Hähnle

 

Weitere Publikationen von Autoren mit dem selben Namen

Ordered Resolution vs. Connection Graph Resolution., , und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 182-194. Springer, (2001)Completeness for Linear Regular Negation Normal Form Inference Systems., , und . ISMIS, Volume 1325 von Lecture Notes in Computer Science, Seite 590-599. Springer, (1997)Formal modeling and analysis of railway operations with active objects., , und . Sci. Comput. Program., (2018)Engineering virtualized services., , , , und . NordiCloud, Volume 826 von ACM International Conference Proceeding Series, Seite 59-63. ACM, (2013)Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation., , , , , , , , , und 2 andere Autor(en). CoRR, (2023)Automatic Loop Invariant Generation for Data Dependence Analysis., , und . FormaliSE@ICSE, Seite 34-45. ACM, (2022)Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study., , , , und . ESOCC, Volume 7592 von Lecture Notes in Computer Science, Seite 91-106. Springer, (2012)Provably Fair Cooperative Scheduling., und . Art Sci. Eng. Program., (2024)Safer Parallelization., , , , , und . ISoLA (2), Volume 12477 von Lecture Notes in Computer Science, Seite 117-137. Springer, (2020)Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification., , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2020)