default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th ATVA 2020: Hanoi, Vietnam
- Dang Van Hung, Oleg Sokolsky:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Lecture Notes in Computer Science 12302, Springer 2020, ISBN 978-3-030-59151-9
Invited Papers
- Klaus Havelund, Doron Peled:
First-Order Timed Runtime Verification Using BDDs. 3-24 - Tobias Nipkow
, Manuel Eberl, Maximilian P. L. Haslbeck:
Verified Textbook Algorithms - A Biased Survey. 25-53
Neural Networks and Machine Learning
- Yuval Jacoby, Clark W. Barrett, Guy Katz:
Verifying Recurrent Neural Networks Using Invariant Inference. 57-74 - Manish Goyal, Parasara Sridhar Duggirala:
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. 75-91 - Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr:
DeepAbstract: Neural Network Abstraction for Accelerating Verification. 92-107 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. 108-124
Automata
- Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet:
Practical "Paritizing" of Emerson-Lei Automata. 127-143 - A. R. Balasubramanian, Javier Esparza, Marijana Lazic:
Complexity of Verification and Synthesis of Threshold Automata. 144-160 - Rachel Faran, Orna Kupferman:
On (I/O)-Aware Good-For-Games Automata. 161-178 - Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba:
Urgent Partial Order Reduction for Extended Timed Automata. 179-195 - Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger:
Eliminating Message Counters in Threshold Automata. 196-212
Logics
- Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Context-Aware Temporal Logic for Probabilistic Systems. 215-232 - Martin Raszyk, David A. Basin, Dmitriy Traytel:
Multi-head Monitoring of Metric Dynamic Logic. 233-250
Techniques for Verification, Analysis and Testing
- Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis:
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. 253-270 - Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. 271-287 - Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Verification of Indefinite-Horizon POMDPs. 288-304 - Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu:
Verification of a Generative Separation Kernel. 305-322
Model Checking and Decision Procedures
- Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. 325-342 - Amjad Ibrahim, Alexander Pretschner:
From Checking to Inference: Actual Causality Computations as Optimization Problems. 343-359 - Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi:
Boosting Sequential Consistency Checking Using Saturation. 360-376 - Magnus Lång, Konstantinos Sagonas:
Parallel Graph-Based Stateless Model Checking. 377-393 - Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits. 394-410
Synthesis
- Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. 413-428 - Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna:
Robust Controller Synthesis for Duration Calculus. 429-446 - Bernd Finkbeiner, Noemi Passing:
Dependency-Based Compositional Synthesis. 447-463
Randomization and Probabilistic Systems
- Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang:
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. 467-483 - Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. 484-500 - Simon Jantsch, Florian Funke, Christel Baier:
Minimal Witnesses for Probabilistic Timed Automata. 501-517 - Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. 518-534
Tool Papers
- Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu:
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. 537-542 - Vladimir Herdt, Daniel Große, Rolf Drechsler:
RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms. 543-549 - Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer:
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. 550-556 - Marek Chalupa:
DG: Analysis and Slicing of LLVM Bitcode. 557-563 - Dejan Nickovic, Tomoya Yamaguchi:
RTAMT: Online Robustness Monitors from STL. 564-571
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-11-08 22:04 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:
