( en | de | ru )

 

Disambiguierung von "Hähnle, Reiner"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Loop Invariant Generation for Data Dependence Analysis.

, , und . FormaliSE@ICSE, Seite 34-45. 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.

Reiner Hähnle

Lorenz Hähnle

Reinhard Hähnle

Max Hähnle

Ulrich Hähnle

 

Weitere Publikationen von Autoren mit dem selben Namen

Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation., , , , , , , , , und 2 andere Autor(en). CoRR, (2023)Engineering virtualized services., , , , und . NordiCloud, Volume 826 von ACM International Conference Proceeding Series, Seite 59-63. ACM, (2013)Completeness for Linear Regular Negation Normal Form Inference Systems., , und . ISMIS, Volume 1325 von Lecture Notes in Computer Science, Seite 590-599. Springer, (1997)Ordered Resolution vs. Connection Graph Resolution., , und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 182-194. Springer, (2001)Formal modeling and analysis of railway operations with active objects., , und . Sci. Comput. Program., (2018)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)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)A Modular Reduction of Regular Logic to Classical Logic., , und . ISMVL, Seite 221-226. IEEE Computer Society, (2001)Provably Fair Cooperative Scheduling., und . Art Sci. Eng. Program., (2024)