Autor der Publikation

Compensation-Aware Runtime Monitoring.

, , und . RV, Volume 6418 von Lecture Notes in Computer Science, Seite 214-228. Springer, (2010)

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

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , und 6 andere Autor(en). CoRR, (2018)Blockchain and the Common Good Reimagined., und . CoRR, (2019)A General Theory of Contract Conflicts with Environmental Constraints.. JURIX, Volume 334 von Frontiers in Artificial Intelligence and Applications, Seite 83-92. IOS Press, (2020)Types of Rights in Two-Party Systems: A Formal Analysis., und . JURIX, Volume 250 von Frontiers in Artificial Intelligence and Applications, Seite 105-114. IOS Press, (2012)An Automata-Based Formalism for Normative Documents with Real-Time., , und . JURIX, Volume 362 von Frontiers in Artificial Intelligence and Applications, Seite 158-163. IOS Press, (2022)Automatic Grammar Rule Extraction and Ranking for Definitions., , und . LREC, European Language Resources Association, (2010)Compensation-Aware Runtime Monitoring., , und . RV, Volume 6418 von Lecture Notes in Computer Science, Seite 214-228. Springer, (2010)Contracts for Interacting Two-Party Systems, und . FLACOS, Volume 94 von EPTCS, Seite 21-30. (2012)Device-Centric Monitoring for Mobile Device Management., , und . FESCA@ETAPS, Volume 205 von EPTCS, Seite 31-44. (2016)Using testing techniques to classify user interface designs., und . EICS, Seite 159-164. ACM, (2016)