( en | de | ru )

 

Disambiguierung von "Ahrendt, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A survey of challenges for runtime verification from advanced application domains (beyond software).

, , , , , , , , , , , , , , , und . Formal Methods Syst. Des., 54 (3): 279-335 (2019)

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.

Wolfgang Ahrendt

Jens Ahrendt

Dirk Ahrendt

Adolf Ahrendt

Achim Ahrendt

 

Weitere Publikationen von Autoren mit dem selben Namen

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors., , und . VORTEX@ECOOP/ISSTA, Volume 302 von EPTCS, Seite 32-46. (2018)The KeY tool., , , , , , , , , und 1 andere Autor(en). Softw. Syst. Model., 4 (1): 32-54 (2005)Formal Development of Safe Automated Driving Using Differential Dynamic Logic., , und . IEEE Trans. Intell. Veh., 8 (1): 988-1000 (Januar 2023)SpecifyThis - Bridging Gaps Between Program Specification Paradigms., , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 3-6. Springer, (2022)The KeY tool, , , , , , , , , und 1 andere Autor(en). Software and Systems Modeling, 4 (1): 32--54 (Februar 2005)Functional Verification of Smart Contracts via Strong Data Integrity., und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 9-24. Springer, (2020)A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases., , , und . CoRR, (2022)COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1., , , , , , , , , und 2 andere Autor(en). CoRR, (2019)TriCo - Triple Co-piloting of Implementation, Specification and Tests., , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 174-187. Springer, (2022)Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study., , und . FMICS, Volume 11687 von Lecture Notes in Computer Science, Seite 143-159. Springer, (2019)