E-LIB Suche - Ergebnisse für: Ahrendt, Wolfgang

1

Introduction to the Special Collection from the Internation..:

Ahrendt, Wolfgang ; Loulergue, Frédéric ; Wehrheim, Heike
Formal Aspects of Computing. 36 (2024) 1 - p. 1-2 , 2024

2

On proving that an unsafe controller is not proven safe:

Selvaraj, Yuvaraj ; Krook, Jonas ; Ahrendt, Wolfgang.
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100939 , 2024

Link: https://doi.org/10.1016/..

3

Capturing Smart Contract Design with DCR Graphs:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Eshghie, Mojtaba ; Ahrendt, Wolfgang ; Artho, Cyrille.. - p. 106-125 , 2023

Link: https://doi.org/10.1007/..

4

Correction to: On How to Not Prove Faulty Controllers Safe ..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Selvaraj, Yuvaraj ; Krook, Jonas ; Ahrendt, Wolfgang. - p. C1-C1 , 2023

Link: https://doi.org/10.1007/..

5

AI Assisted Programming: (AISoLA 2023 Track Introduction):

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Ahrendt, Wolfgang ; Havelund, Klaus - p. 351-354 , 2023

Link: https://doi.org/10.1007/..

6

Combining rule- and SMT-based reasoning for verifying float..:

Abbasi, Rosa ; Schiffl, Jonas ; Darulova, Eva..
International Journal on Software Tools for Technology Transfer. 25 (2023) 2 - p. 185-204 , 2023

Link: https://doi.org/10.1007/..

7

Formal Development of Safe Automated Driving Using Differen..:

Selvaraj, Yuvaraj ; Ahrendt, Wolfgang ; Fabian, Martin
IEEE Transactions on Intelligent Vehicles. 8 (2023) 1 - p. 988-1000 , 2023

Link: https://doi.org/10.1109/..

8

Selective Presumed Benevolence in Multi-party System Verifi..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Ahrendt, Wolfgang ; Pace, Gordon J. - p. 106-123 , 2022

Link: https://doi.org/10.1007/..

9

The Logic of Software. A Tasting Menu of Formal Methods: Es..

Lecture Notes in Computer Science, 13360

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard. - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

10

TriCo—Triple Co-piloting of Implementation, Specification a..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Ahrendt, Wolfgang ; Gurov, Dilian ; Johansson, Moa. - p. 174-187 , 2022

Link: https://doi.org/10.1007/..

11

On How to Not Prove Faulty Controllers Safe in Differential..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Selvaraj, Yuvaraj ; Krook, Jonas ; Ahrendt, Wolfgang. - p. 281-297 , 2022

Link: https://doi.org/10.1007/..

12

SpecifyThis – Bridging Gaps Between Program Specification P..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Ahrendt, Wolfgang ; Herber, Paula ; Huisman, Marieke. - p. 3-6 , 2022

Link: https://doi.org/10.1007/..

13

Automatically Learning Formal Models from Autonomous Drivin..:

Selvaraj, Yuvaraj ; Farooqui, Ashfaq ; Panahandeh, Ghazaleh..
Electronics. 11 (2022) 4 - p. 643 , 2022

Link: https://doi.org/10.3390/..

14

Editorial:

Ahrendt, Wolfgang ; Tapia Tarifa, Silvia Lizeth ; Wehrheim, Heike
Formal Aspects of Computing. 33 (2021) 6 - p. 827-827 , 2021

Link: https://doi.org/10.1007/..

15

Proceedings of the 5th ACM International Workshop on Verifi..:

Ahrendt, Wolfgang ; Ancona, Davide ; Francalanza, Adrian , 2021

Link: https://dl.acm.org/doi/1..