( en | de | ru )

 

Disambiguierung von "Robby,"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing Interaction Orderings with Model Checking.

, , , und . ASE, Seite 154-163. IEEE Computer Society, (2004)

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.

Robby Schönfeld

Annelise Robby

Robby Jacob

Robby Schlund

Robby Zellmer

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Software Analysis Emerging Trends in Software Model Checking, , , , und . Future of Software Engineering, 2007. FOSE '07, Seite 120--136. (2007)Abstract Requirement Analysis in Multiagent System Design., , und . IAT, Seite 86-91. IEEE Computer Society, (2009)978-0-7695-3801-3.Explicating symbolic execution (xSymExe): an evidence-based verification framework., , , und . ICSE, Seite 222-231. IEEE Computer Society, (2013)Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq., , , , , , , , und . HILT, Seite 21-22. ACM, (2013)Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems., , und . ESAW, Volume 4995 von Lecture Notes in Computer Science, Seite 333-349. Springer, (2007)A Case Study in Domain-Customized Model Checking for Real-Time Component Software., , , und . ISoLA, Volume 4313 von Lecture Notes in Computer Science, Seite 161-180. Springer, (2004)Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan., , , und . HILT, Seite 3-4. ACM, (2012)Automated Property-Based Testing from AADL Component Contracts., , , , , und . FMICS, Volume 14290 von Lecture Notes in Computer Science, Seite 131-150. Springer, (2023)Leveraging Organizational Guidance Policies with Learning to Self-Tune Multiagent Systems., , , und . SASO, Seite 223-232. IEEE Computer Society, (2008)Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs., , und . SEFM, Seite 273-282. IEEE Computer Society, (2007)