Wolfgang Ahrendt

81 papers A* 1A 1B 13C 3Misc 1Journal 25Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Wolfgang Ahrendt. Let's Talk AI Wolfgang Ahrendt, Barbara Steffen
2025	—	`conf`	AI Assisted Programming (AISoLA 2025 Track Introduction). AISoLA Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund
2025	B	`conf`	Axiomatisation of Solidity Memory and Storage. SEFM Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel
2025	J	`jnl`	Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis. CoRR George Granberry, Wolfgang Ahrendt, Moa Johansson
2025	J	`jnl`	Smart contract denial-of-service analysis using non-blocking verification. Discret. Event Dyn. Syst. Nishant Parekh, Wolfgang Ahrendt, Martin Fabian
2025	—	`conf`	The Many Uses of Dynamic Logic. Go Where the Bugs Are Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2024	—	`conf`	AI Assisted Programming - (AISoLA 2024 Track Introduction). AISoLA Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund
2024	A*	`conf`	HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts. ASE Mojtaba Eshghie, Cyrille Artho, Hans Stammler, Wolfgang Ahrendt, Thomas T. Hildebrandt, Gerardo Schneider
2024	J	`jnl`	Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. Formal Aspects Comput. Wolfgang Ahrendt, Frédéric Loulergue, Heike Wehrheim
2024	J	`jnl`	On proving that an unsafe controller is not proven safe. J. Log. Algebraic Methods Program. Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
2024	B	`conf`	Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. IFM George Granberry, Wolfgang Ahrendt, Moa Johansson
2024	J	`jnl`	Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. CoRR George Granberry, Wolfgang Ahrendt, Moa Johansson
2024	—	`conf`	Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges. ISoLA (3) George Granberry, Wolfgang Ahrendt, Moa Johansson
2023	—	`conf`	AI Assisted Programming - (AISoLA 2023 Track Introduction). AISoLA Wolfgang Ahrendt, Klaus Havelund
2023	J	`jnl`	CLawK: Monitoring Business Processes in Smart Contracts. CoRR Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
2023	B	`conf`	Capturing Smart Contract Design with DCR Graphs. SEFM Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
2023	J	`jnl`	Capturing Smart Contract Design with DCR Graphs. CoRR Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
2023	J	`jnl`	Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. Int. J. Softw. Tools Technol. Transf. Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
2023	J	`jnl`	Formal Development of Safe Automated Driving Using Differential Dynamic Logic. IEEE Trans. Intell. Veh. Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
2023	—	`conf`	The VerifyThis Collaborative Long-Term Challenge Series. TOOLympics@ETAPS Wolfgang Ahrendt, Gidon Ernst, Paula Herber, Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl
2022	J	`jnl`	A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. CoRR Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
2022	J	`jnl`	Formal Development of Safe Automated Driving using Differential Dynamic Logic. CoRR Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
2022	C	`conf`	On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. ICFEM Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
2022	J	`jnl`	On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. CoRR Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
2022	—	`conf`	Selective Presumed Benevolence in Multi-party System Verification. ISoLA (1) Wolfgang Ahrendt, Gordon J. Pace
2022	—	`conf`	SpecifyThis - Bridging Gaps Between Program Specification Paradigms. ISoLA (1) Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich
2022	—	`ed.`	The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday The Logic of Software. A Tasting Menu of Formal Methods Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
2022	—	`conf`	TriCo - Triple Co-piloting of Implementation, Specification and Tests. ISoLA (1) Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer
2021	—	`conf`	Deductive Verification of Floating-Point Java Programs in KeY. TACAS (2) Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
2021	J	`jnl`	Deductive Verification of Floating-Point Java Programs in KeY. CoRR Rosa Abbasi Boroujeni, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
2021	J	`jnl`	Editorial. Formal Aspects Comput. Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim
2021	—	`ed.`	VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. VORTEX@ISSTA Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza
2020	—	`book`	Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY 20 Years of KeY Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2020	—	`ch.`	Formal Analysis of Smart Contracts: Applying the KeY System. 20 Years of KeY Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel
2020	—	`conf`	Functional Verification of Smart Contracts via Strong Data Integrity. ISoLA (3) Wolfgang Ahrendt, Richard Bubel
2020	—	`ed.`	Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] TAP@STAF Wolfgang Ahrendt, Heike Wehrheim
2019	J	`jnl`	A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019	J	`jnl`	COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
2019	J	`jnl`	Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019	B	`ed.`	Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings IFM Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
2019	C	`conf`	Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. FMICS Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
2019	—	`conf`	Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
2018	—	`conf`	A Broader View on Verification: From Static to Runtime and Back (Track Summary). ISoLA (2) Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier
2018	J	`jnl`	A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2018	—	`conf`	Smart Contracts: A Killer Application for Deductive Source Code Verification. Principled Software Development Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2018	—	`conf`	Testing meets static and runtime verification. FormaliSE@ICSE Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
2018	—	`conf`	Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. VORTEX@ECOOP/ISSTA Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
2017	J	`jnl`	Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods Syst. Des. Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
2016	—	`book`	Deductive Software Verification - The KeY Book - From Theory to Practice Deductive Software Verification Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
2016	—	`ch.`	Formal Specification with the Java Modeling Language. Deductive Software Verification Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel
2016	J	`jnl`	Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. Softw. Syst. Model. Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
2016	—	`ch.`	Proof-based Test Case Generation. Deductive Software Verification Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda
2016	—	`conf`	StaRVOOrS - Episode II - Strengthen and Distribute the Force. ISoLA (1) Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2016	—	`ch.`	Using the KeY Prover. Deductive Software Verification Wolfgang Ahrendt, Sarah Grebing
2015	B	`conf`	A Specification Language for Static and Runtime Verification of Data and Control Properties. FM Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
2015	B	`conf`	Reasoning About Loops Using Vampire in KeY. LPAR Wolfgang Ahrendt, Laura Kovács, Simon Robillard
2015	B	`conf`	StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. RV Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2014	—	`conf`	The KeY Platform for Verification and Analysis of Java Programs. VSTTE Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
2013	Misc	`conf`	Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. SYNASC Gabriele Paganelli, Wolfgang Ahrendt
2013	B	`conf`	Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
2012	—	`conf`	A Unified Approach for Static and Runtime Verification: Framework and Applications. ISoLA (1) Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2012	J	`jnl`	A system for compositional verification of asynchronous objects. Sci. Comput. Program. Wolfgang Ahrendt, Maximilian Dylla
2012	—	`conf`	Real-time Java API specifications for high coverage test generation. JTRES Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli
2010	J	`jnl`	Practical Aspects of Automated Deduction for Program Verification. Künstliche Intell. Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer
2009	C	`conf`	A Verification System for Distributed Objects with Asynchronous Method Calls. ICFEM Wolfgang Ahrendt, Maximilian Dylla
2009	B	`conf`	Abstract Object Creation in Dynamic Logic. FM Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe
2009	—	`conf`	Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle
2007	—	`conf`	KeY: A Formal Method for Object-Oriented Systems. FMOODS Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2007	—	`ch.`	Using KeY. The KeY Approach Wolfgang Ahrendt
2006	—	`conf`	Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
2005	B	`conf`	Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. LPAR Wolfgang Ahrendt, Andreas Roth, Ralf Sasse
2005	—	`ed.`	Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004 D/PDPAR@IJCAR Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli
2005	J	`jnl`	The KeY tool. Softw. Syst. Model. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
2004	—	`conf`	Preface. D/PDPAR@IJCAR Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli
2002	A	`conf`	Deductive Search for Errors in Free Data Type Specifications Using Model Generation. CADE Wolfgang Ahrendt
2002	B	`conf`	The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
2001	—	`—`	Deduktive Fehlersuche in abstrakten Datentypen. Wolfgang Ahrendt
2000	B	`conf`	The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
1999	B	`conf`	Hilbert's epsilon-Terms in Automated Theorem Proving. TABLEAUX Martin Giese, Wolfgang Ahrendt
1999	J	`jnl`	Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. J. Univers. Comput. Sci. Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert
1997	J	`jnl`	Reasoning about Abstract State Machines: The WAM Case Study. J. Univers. Comput. Sci. Gerhard Schellhorn, Wolfgang Ahrendt