default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEssays Dedicated Joost-Pieter Katoen 2025
- Nils Jansen
, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Lecture Notes in Computer Science 15262, Springer 2025, ISBN 978-3-031-75777-8
Formal Methods and Machine Learning
- Wil M. P. van der Aalst, Sander J. J. Leemans:
Learning Generalized Stochastic Petri Nets From Event Data. 3-17 - Timo P. Gros, Nicola J. Müller, Daniel Höller, Verena Wolf:
Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages. 18-38 - Sudeep Kanav, Jan Kretínský, Sabine Rieder:
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community. 39-65 - Marco Krumrey, Alexander Bainczyk, Falk Howar, Bernhard Steffen:
Malwa: Learnability by Design. 66-88 - Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu:
Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey. 89-108 - Daniel Neider, Rajarshi Roy:
What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications. 109-125 - Marnix Suilen, Thom S. Badings, Eline M. Bovy, David Parker, Nils Jansen:
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. 126-154 - Frits W. Vaandrager, Martijn Sanders:
L# for DFAs. 155-172
Verification Techniques
- Dirk Beyer, Nian-Ze Lee:
The Transformation Game: Joining Forces for Verification. 175-205 - Benno Lossin, Philipp Czerner, Javier Esparza, Roland Guttenberg, Tobias Prehn:
The Black Ninjas and the Sniper: On Robust Population Protocols. 206-233 - Theo C. Ruys, Machiel van der Bijl:
Effective Model-Based Testing. 234-251 - Clemens Dubslaff, Joshua Wirtz:
Compiling Binary Decision Diagrams with Interrupt-Based Downsizing. 252-273 - Falak Sher, Mariëlle Stoelinga, Matthias Volk:
Modular Criticality Analysis for Dynamic Fault Trees. 274-293
Timed Systems
- Ed Brinksma, Rom Langerak, Diego Latella, Mieke Massink:
Measured Causes: Adding Time and Probability to True Concurrency - Ten Papers with Pisa and Twente. 297-308 - Lisa Willemsen, Anne Remke, Erika Ábrahám:
(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems. 309-337 - Lenore D. Zuck, Zhongkai Wen:
Avoiding Spurious Timeouts. 338-350 - Eren Keskin, Roland Meyer, Sören van der Wall:
Urgency Annotations for Alternating Choices. 351-373 - Martin Fränzle, Rabeaeh Kiaghadi, Paul Kröger:
Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks. 374-395
Games
- Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Ten Years of Petri Games. 399-422 - Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
Compositional Solution of Mean Payoff Games by String Diagrams. 423-445 - Tom van Dijk:
Solving Parity Games, Very Slowly. 446-465
Academia
- Boudewijn R. Haverkort:
Give Probabilities a Fair Chance! 469-486 - Holger Hermanns, Marieke Huisman:
Making ETAPS Gold Open Access. 487-500
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-14 21:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
