- Xiaochen Tang
, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan:
Learning Deterministic One-Clock Timed Automata via Mutation Testing. ATVA 2022: 233-248 - Sören Tempel, Vladimir Herdt, Rolf Drechsler:
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. ATVA 2022: 77-82 - Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA 2022: 3-22 - Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA 2022: 25-41 - Runqing Xu, Jie An, Bohua Zhan:
Active Learning of One-Clock Timed Automata Using Constraint Solving. ATVA 2022: 249-265 - Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel:
Projected Model Counting: Beyond Independent Support. ATVA 2022: 171-187 - Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty:
Checking Scheduling-Induced Violations of Control Safety Properties. ATVA 2022: 100-116 - Ahmed Bouajjani, Lukás Holík, Zhilin Wu:
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Lecture Notes in Computer Science 13505, Springer 2022, ISBN 978-3-031-19991-2 [contents] - 2021
- Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik:
Verification by Gambling on Program Slices. ATVA 2021: 266-282 - Shaun Azzopardi, Nir Piterman, Gerardo Schneider:
Incorporating Monitors in Reactive Synthesis Without Paying the Price. ATVA 2021: 337-353 - Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
Probabilistic Causes in Markov Chains. ATVA 2021: 205-221 - Dirk Beyer, Karlheinz Friedberger, Stephan Holzner:
PJBDD: A BDD Library for Java and Multi-Threading. ATVA 2021: 144-149 - Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. ATVA 2021: 32-47 - Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. ATVA 2021: 283-299 - Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Event-B Refinement for Continuous Behaviours Approximation. ATVA 2021: 320-336 - Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live Synthesis. ATVA 2021: 153-169 - Bernd Finkbeiner, Noemi Passing:
Compositional Synthesis of Modular Systems. ATVA 2021: 303-319 - Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu:
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA 2021: 74-90 - Dario Guidotti, Luca Pulina, Armando Tacchella:
pyNeVer: A Framework for Learning and Verification of Neural Networks. ATVA 2021: 357-363 - Vedad Hadzic, Robert Primas, Roderick Bloem:
Proving SIFA Protection of Masked Redundant Circuits. ATVA 2021: 249-265 - Zixin Huang, Saikat Dutta, Sasa Misailovic:
AQUA: Automated Quantized Inference for Probabilistic Programs. ATVA 2021: 229-246 - 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. ATVA 2021: 170-186 - Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Determinization and Limit-Determinization of Emerson-Lei Automata. ATVA 2021: 15-31 - 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. ATVA 2021: 364-380 - Orna Kupferman, Nir Lavee, Salomon Sickert:
Certifying DFA Bounds for Recognition and Separation. ATVA 2021: 48-64 - Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi:
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. ATVA 2021: 91-107 - Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler:
AALpy: An Active Automata Learning Library. ATVA 2021: 67-73 - Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem:
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. ATVA 2021: 222-228 - Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel:
Verifying Verified Code. ATVA 2021: 187-202 - Lukas Stevens, Tobias Nipkow:
A Verified Decision Procedure for Orders in Isabelle/HOL. ATVA 2021: 127-143
