default search action

combined dblp search
author search
venue search
publication search

ask others

19th ATVA 2021: Gold Coast, QLD, Australia

> Home > Conferences and Workshops > ATVA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/atva/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2021
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

- view
  authority control:
- export record
  dblp key:
  - conf/atva/TabajaraV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TabajaraV21
Lucas M. Tabajara, Moshe Y. Vardi:
Linear Temporal Logic - From Infinite to Finite Horizon. 3-12

Automata Theory

- view
  authority control:
- export record
  dblp key:
  - conf/atva/JohnJBK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JohnJBK21
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Determinization and Limit-Determinization of Emerson-Lei Automata. 15-31
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CimattiGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CimattiGM21
Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. 32-47
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KupfermanLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KupfermanLS21
Orna Kupferman, Nir Lavee, Salomon Sickert:
Certifying DFA Bounds for Recognition and Separation. 48-64

Machine Learning for Formal Methods

- view
  authority control:
- export record
  dblp key:
  - conf/atva/MuskardinAPPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/MuskardinAPPT21
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler:
AALpy: An Active Automata Learning Library. 67-73
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GaglioneNRTX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GaglioneNRTX21
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
- view
  authority control:
- export record
  dblp key:
  - conf/atva/MohammadinejadD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/MohammadinejadD21
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi:
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. 91-107

Theorem Proving and Tools

- view
  authority control:
- export record
  dblp key:
  - conf/atva/WebbUH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/WebbUH21
Brae J. Webb, Mark Utting, Ian J. Hayes:
A Formal Semantics of the GraalVM Intermediate Representation. 111-126
- view
  authority control:
- export record
  dblp key:
  - conf/atva/StevensN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/StevensN21
Lukas Stevens, Tobias Nipkow:
A Verified Decision Procedure for Orders in Isabelle/HOL. 127-143
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BeyerFH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BeyerFH21
Dirk Beyer, Karlheinz Friedberger, Stephan Holzner:
PJBDD: A BDD Library for Java and Multi-Threading. 144-149

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerKM21
Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live Synthesis. 153-169
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JensenSSSVD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JensenSSSVD21
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
- view
  authority control:
- export record
  dblp key:
  - conf/atva/PriyaZSVBG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/PriyaZSVBG21
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel:
Verifying Verified Code. 187-202

Probabilistic Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/atva/BaierFJPZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BaierFJPZ21
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
Probabilistic Causes in Markov Chains. 205-221
- view
  authority control:
- export record
  dblp key:
  - conf/atva/PrangerKPB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/PrangerKPB21
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem:
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. 222-228
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HuangDM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HuangDM21
Zixin Huang, Saikat Dutta, Sasa Misailovic:
AQUA: Automated Quantized Inference for Probabilistic Programs. 229-246

Software and Hardware Verification

- view
  authority control:
- export record
  dblp key:
  - conf/atva/HadzicPB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HadzicPB21
Vedad Hadzic, Robert Primas, Roderick Bloem:
Proving SIFA Protection of Masked Redundant Circuits. 249-265
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AkhundovMFHC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AkhundovMFHC21
Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik:
Verification by Gambling on Program Slices. 266-282
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CoenenFHHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CoenenFHHS21
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. 283-299

System Synthesis and Approximation

- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerP21
Bernd Finkbeiner, Noemi Passing:
Compositional Synthesis of Modular Systems. 303-319
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DupontAPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DupontAPS21
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Event-B Refinement for Continuous Behaviours Approximation. 320-336
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AzzopardiPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AzzopardiPS21
Shaun Azzopardi, Nir Piterman, Gerardo Schneider:
Incorporating Monitors in Reactive Synthesis Without Paying the Price. 337-353

Verification of Machine Learning

- view
  authority control:
- export record
  dblp key:
  - conf/atva/GuidottiPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GuidottiPT21
Dario Guidotti, Luca Pulina, Armando Tacchella:
pyNeVer: A Framework for Learning and Verification of Neural Networks. 357-363
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KhmelnitskyNRXB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KhmelnitskyNRXB21
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.