Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Verification With Frama-C: A Case Study in the Space Software Domain., , , , und . IEEE Trans. Reliability, 65 (3): 1163-1179 (2016)Towards a mostly-automated prover for bit-vector arithmetic., und . C3S2E, Seite 132-133. ACM, (2013)Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach., , und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 41-67. Springer, (2016)A Framework for Point-Free Program Transformation., , und . IFL, Volume 4015 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2005)Real-time MTL with durations as SMT with applications to schedulability analysis., , , und . TASE, Seite 49-56. IEEE, (2020)A Tool for Programming with Interaction Nets., , und . RULE@RDP, Volume 219 von Electronic Notes in Theoretical Computer Science, Seite 83-96. Elsevier, (2007)Token-passing Nets for Functional Languages., , und . WRS@RDP, Volume 204 von Electronic Notes in Theoretical Computer Science, Seite 181-198. Elsevier, (2007)GamaSlicer: an online laboratory for program verification and analysis., , und . LDTA, Seite 3. ACM, (2010)Recursion patterns and time-analysis., , und . ACM SIGPLAN Notices, 40 (5): 45-54 (2005)Sequential and Concurrent Abstract Machines for Interaction Nets.. FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 267-282. Springer, (2000)