default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th ATVA 2021: Gold Coast, QLD, Australia
- Zhe Hou
, Vijay Ganesh:
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings. Lecture Notes in Computer Science 12971, Springer 2021, ISBN 978-3-030-88884-8
Invited Paper
- Lucas M. Tabajara, Moshe Y. Vardi:
Linear Temporal Logic - From Infinite to Finite Horizon. 3-12
Automata Theory
- Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Determinization and Limit-Determinization of Emerson-Lei Automata. 15-31 - Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. 32-47 - Orna Kupferman, Nir Lavee, Salomon Sickert:
Certifying DFA Bounds for Recognition and Separation. 48-64
Machine Learning for Formal Methods
- Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler:
AALpy: An Active Automata Learning Library. 67-73 - Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu:
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. 74-90 - Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi:
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. 91-107
Theorem Proving and Tools
- Brae J. Webb, Mark Utting, Ian J. Hayes:
A Formal Semantics of the GraalVM Intermediate Representation. 111-126 - Lukas Stevens, Tobias Nipkow:
A Verified Decision Procedure for Orders in Isabelle/HOL. 127-143 - Dirk Beyer, Karlheinz Friedberger, Stephan Holzner:
PJBDD: A BDD Library for Java and Multi-Threading. 144-149
Model Checking
- Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live Synthesis. 153-169 - Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn:
Faster Pushdown Reachability Analysis with Applications in Network Verification. 170-186 - Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel:
Verifying Verified Code. 187-202
Probabilistic Analysis
- Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
Probabilistic Causes in Markov Chains. 205-221 - Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem:
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. 222-228 - Zixin Huang, Saikat Dutta, Sasa Misailovic:
AQUA: Automated Quantized Inference for Probabilistic Programs. 229-246
Software and Hardware Verification
- Vedad Hadzic, Robert Primas, Roderick Bloem:
Proving SIFA Protection of Masked Redundant Circuits. 249-265 - Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik:
Verification by Gambling on Program Slices. 266-282 - Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. 283-299
System Synthesis and Approximation
- Bernd Finkbeiner, Noemi Passing:
Compositional Synthesis of Modular Systems. 303-319 - Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Event-B Refinement for Continuous Behaviours Approximation. 320-336 - Shaun Azzopardi, Nir Piterman, Gerardo Schneider:
Incorporating Monitors in Reactive Synthesis Without Paying the Price. 337-353
Verification of Machine Learning
- Dario Guidotti, Luca Pulina, Armando Tacchella:
pyNeVer: A Framework for Learning and Verification of Neural Networks. 357-363 - Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. 364-380
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 2026-01-13 23:57 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:
