( en | de | ru )

 

Disambiguierung von "de Gouw, Stijn"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Run-Time Checking Multi-threaded Java Programs.

, und . SOFSEM, Volume 9587 von Lecture Notes in Computer Science, Seite 217-228. Springer, (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.

Stijn Cleemput

Swie Siang Gouw

Amal Dé

Dennis De

Soumen De

 

Weitere Publikationen von Autoren mit dem selben Namen

Prototyping a tool environment for run-time assertion checking in JML with communication histories., , und . FTfJP@ECOOP, Seite 6:1-6:7. ACM, (2010)Formal Verification of Service Level Agreements Through Distributed Monitoring., , und . ESOCC, Volume 9306 von Lecture Notes in Computer Science, Seite 125-140. Springer, (2015)Effectively Eliminating Auxiliaries., und . Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 226-241. Springer, (2016)Footprint Logic for Object-Oriented Components., , , und . FACS, Volume 13712 von Lecture Notes in Computer Science, Seite 141-160. Springer, (2022)Human-in-the-Loop Simulation of Cloud Services., , und . ESOCC, Volume 10465 von Lecture Notes in Computer Science, Seite 143-158. Springer, (2017)Being and Change: Reasoning About Invariance., und . Correct System Design, Volume 9360 von Lecture Notes in Computer Science, Seite 191-204. Springer, (2015)Monitoring Method Call Sequences Using Annotations., , , und . FACS, Volume 6921 von Lecture Notes in Computer Science, Seite 53-70. Springer, (2010)Hybrid Analysis of BPEL Models with Grammars., und . SOFSEM (Doctoral Student Research Forum), Volume 2568 von CEUR Workshop Proceedings, Seite 73-84. CEUR-WS.org, (2020)Proof Pearl: The KeY to Correct and Stable Sorting., , und . J. Autom. Reason., 53 (2): 129-139 (2014)Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study., , , und . SAC, Seite 1573-1578. ACM, (2013)