Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Klaus Havelund, Doron Peled |
First-Order Timed Runtime Verification Using BDDs. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
Probabilistic Hyperproperties with Nondeterminism. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis |
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jiameng Fan, Chao Huang 0015, Xin Chen 0002, Wenchao Li 0001, Qi Zhu 0002 |
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu |
Verification of a Generative Separation Kernel. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Noemi Passing |
Dependency-Based Compositional Synthesis. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Keerthi Adabala |
Reactive Synthesis of Graphical User Interface Glue Code. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera 0001, Petr Novotný 0001, Dominik Velan |
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Bernd Finkbeiner |
Program Repair for Hyperproperties. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Swen Jacobs, Yakir Vizel |
Efficient Information-Flow Verification Under Speculative Execution. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Chih-Hong Cheng, Javier Esparza (eds.) |
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hoang M. Le |
KLUZZER: Whitebox Fuzzing on Top of LLVM. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková |
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem |
Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Sifakis |
Can We Trust Autonomous Systems? Boundaries and Risks. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Alexander Manta 0001, Tobias Meggendorfer |
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Thomas Lemberger 0002 |
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist |
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer |
A Note on Game Theory and Verification. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
DEQ: Equivalence Checker for Deterministic Register Automata. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
Approximate Automata for Omega-Regular Languages. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck |
Lazy Abstraction-Based Controller Synthesis. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kölbl, Stefan Leue |
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Jun Sun 0001 |
Parametric Timed Model Checking for Guaranteeing Timed Opacity. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Kiesl, Marijn J. H. Heule, Armin Biere |
Truth Assignments as Conditional Autarkies. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hussein Sibai, Navid Mokhlesi, Sayan Mitra |
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jip Spel, Sebastian Junges, Joost-Pieter Katoen |
Are Parametric Markov Chains Monotonic? |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Laura Kovács, Miroslav Stankovic |
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku |
Chain-Free String Constraints. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog |
Model Checking Data Flows in Concurrent Network Updates. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun 0001, Shengchao Qin |
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anastasiia Izycheva, Eva Darulova, Helmut Seidl |
Synthesizing Efficient Low-Precision Kernels. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |
Multi-head Monitoring of Metric Temporal Logic. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding, Anton Pirogov |
New Optimizations and Heuristics for Determinization of Büchi Automata. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jesko Hecking-Harbusch, Niklas O. Metzger |
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Schneider 0001, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
Adaptive Online First-Order Monitoring. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Parízek |
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein 0001, David Müller 0001, Jan Strejcek |
Generic Emptiness Check for Fun and Profit. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel |
Optimal Proofs for Linear Temporal Logic on Lasso Words. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka |
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anthony W. Lin, Rupak Majumdar |
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zixin Huang, Zhenbang Wang, Sasa Misailovic |
PSense: Automatic Sensitivity Analysis for Probabilistic Programs. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey |
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Chen, Carlo A. Furia |
Robustness Testing of Intermediate Verifiers. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
Neural State Classification for Hybrid Systems. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
EVE: A Tool for Temporal Equilibrium Analysis. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
Round-Bounded Control of Parameterized Systems. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Keerthi Adabala, Rüdiger Ehlers |
A Fragment of Linear Temporal Logic for Universal Very Weak Automata. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Christopher Hahn, Tobias Hans |
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Mouhammad Sakr |
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Sharon Shoham, Yakir Vizel |
Quantifiers on Demand. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Tobias Meggendorfer, Salomon Sickert |
Owl: A Library for ω-Words, Automata, and LTL. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim 0005, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue |
Formal Specification for Deep Neural Networks. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Gerstacker, Felix Klein 0001, Bernd Finkbeiner |
Bounded Synthesis of Reactive Programs. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Isabelle Mainz |
Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem |
S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff |
A Formally Verified Motion Planner for Autonomous Vehicles. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu |
Maximum Realizability for Linear Temporal Logic Specifications. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric |
Verifying Rust Programs with SMACK. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Chao Wang 0001 (eds.) |
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bendík, Ivana Cerná, Nikola Benes |
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Chistikov 0001, Andrzej S. Murawski, David Purser |
Bisimilarity Distances for Approximate Differential Privacy. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ayrat Khalimov 0001, Benedikt Maderbacher, Roderick Bloem |
Bounded Synthesis of Register Transducers. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo |
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
Synthesis in pMDPs: A Tale of 1001 Parameters. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pushpak Jagtap, Sadegh Soudjani, Majid Zamani 0001 |
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dan Rasin, Orna Grumberg, Sharon Shoham |
Modular Verification of Concurrent Programs via Sequential Model Checking. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett |
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi |
Signal Convolution Logic. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood |
Information Leakage in Arbiter Protocols. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gainer, Ernst Moritz Hahn, Sven Schewe |
Accelerated Model Checking of Parametric Markov Chains. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský |
Continuous-Time Markov Decisions Based on Partial Exploration. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar |
Simulation Algorithms for Symbolic Automata. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi 0001 |
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas |
Compositional Safety Refutation Techniques. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Boris Köpf, Pedro Valero 0001 |
A Language-Theoretic View on Network Protocols. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Das, Akash Lal |
Precise Null Pointer Analysis Through Global Value Numbering. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar 0001, Chittaranjan A. Mandal |
SamaTulyata: An Efficient Path Based Equivalence Checking Tool. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli |
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Biondi, Yusuke Kawamoto 0001, Axel Legay, Louis-Marie Traonouez |
HyLeak: Hybrid Analysis Tool for Information Leakage. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcio Diaz, Tayssir Touili |
Dealing with Priorities and Locks for Concurrent Programs. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers |
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |
Synthesizing Invariants by Solving Solvable Loops. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Pierre Ganty, Peter J. Stuckey |
Fixing the State Budget: Approximation of Regular Languages with Small DFAs. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeás Kucera, Henrich Lauko, Jan Mrázek, Petr Rockai, Vladimír Still |
Model Checking of C and C++ with DIVINE 4. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Deepak D'Souza, K. Narayan Kumar (eds.) |
Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Torabi Dashti, David A. Basin |
Tests and Refutation. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu |
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham |
Lifting CDCL to Template-Based Abstract Domains for Program Verification. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Georg Nührenberg, Harald Ruess |
Maximum Resilience of Artificial Neural Networks. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kunal Banerjee 0001, Chittaranjan A. Mandal, Dipankar Sarkar 0001 |
An Equivalence Checking Framework for Array-Intensive Programs. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller |
Loop Quasi-Invariant Chunk Detection. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
JTDec: A Tool for Tree Decompositions in Soot. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yijun Feng, Lijun Zhang 0001, David N. Jansen, Naijun Zhan, Bican Xia |
Finding Polynomial Loop Invariants for Probabilistic Programs. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Ralf Vogler |
Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura |
Liquid Types for Array Invariant Synthesis. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh |
Knowledge Transfer and Information Leakage in Protocols. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sumanth Prabhu 0001, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar |
Concurrent Program Verification with Invariant-Guided Underapproximation. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera 0001, Vojtech Rehák |
Synthesis of Optimal Resilient Control Strategies. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|