( en | de | ru )

 

Disambiguation of "Ahrendt, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
A survey of challenges for runtime verification from advanced application domains (beyond software).

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wolfgang Ahrendt

Jens Ahrendt

Dirk Ahrendt

Adolf Ahrendt

Achim Ahrendt

 

Other publications of authors with the same name

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