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

Natural Language is a Programming Language: Applying Natural Language Processing to Software Development.. SNAPL, Volume 71 von LIPIcs, Seite 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Automatic Trigger Generation for Rule-based Smart Homes., und . PLAS@CCS, Seite 97-102. ACM, (2016)Practical pluggable types for java., , , , und . ISSTA, Seite 201-212. ACM, (2008)Research Summary for Dynamic Detection of Program Invariants.. ICSE, Seite 718-719. ACM, (1999)DesCert: Design for Certification., , , , , , , , , und 1 andere Autor(en). CoRR, (2022)Using Simulated Execution in Verifying Distributed Algorithms, , , , und . Software Tools for Technology Transfer, (2003)Verification for legacy programs. VSTTE: Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, (Oktober 2005)Collaborative Verification of Information Flow for a High-Assurance App Store., , und . Software Engineering & Management, Volume P-239 von LNI, Seite 77. GI, (2015)An overview of JML tools and applications., , , , , , , und . FMICS, Volume 80 von Electronic Notes in Theoretical Computer Science, Seite 75-91. Elsevier, (2003)Continuous Compliance., , , und . ASE, Seite 511-523. IEEE, (2020)