Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Klaus Havelund, Doron Peled |
First-Order Timed Runtime Verification Using BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 3-24, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
Probabilistic Hyperproperties with Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 518-534, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 253-270, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 537-542, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu |
Verification of a Generative Separation Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 305-322, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Noemi Passing |
Dependency-Based Compositional Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 447-463, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Keerthi Adabala |
Reactive Synthesis of Graphical User Interface Glue Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 387-403, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 462-478, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Bernd Finkbeiner |
Program Repair for Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 423-441, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Swen Jacobs, Yakir Vizel |
Efficient Information-Flow Verification Under Speculative Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 499-514, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-030-31783-6 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hoang M. Le |
KLUZZER: Whitebox Fuzzing on Top of LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 246-252, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 357-365, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 534-550, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Sifakis |
Can We Trust Autonomous Systems? Boundaries and Risks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 65-78, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 404-422, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Thomas Lemberger 0002 |
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 189-208, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 81-97, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer |
A Note on Game Theory and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 3-22, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
DEQ: Equivalence Checker for Deterministic Register Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 350-356, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
Approximate Automata for Omega-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 334-349, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck |
Lazy Abstraction-Based Controller Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 23-47, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kölbl, Stefan Leue |
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 171-186, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Jun Sun 0001 |
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 115-130, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Kiesl, Marijn J. H. Heule, Armin Biere |
Truth Assignments as Conditional Autarkies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 48-64, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hussein Sibai, Navid Mokhlesi, Sayan Mitra |
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 98-114, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jip Spel, Sebastian Junges, Joost-Pieter Katoen |
Are Parametric Markov Chains Monotonic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 479-496, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Laura Kovács, Miroslav Stankovic |
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 255-276, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 277-293, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 515-533, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 209-227, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anastasiia Izycheva, Eva Darulova, Helmut Seidl |
Synthesizing Efficient Low-Precision Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 294-313, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |
Multi-head Monitoring of Metric Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 151-170, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding, Anton Pirogov |
New Optimizations and Heuristics for Determinization of Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 317-333, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jesko Hecking-Harbusch, Niklas O. Metzger |
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 369-386, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Schneider 0001, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
Adaptive Online First-Order Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 133-150, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 228-245, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 445-461, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel |
Optimal Proofs for Linear Temporal Logic on Lasso Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 37-55, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka |
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 126-142, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anthony W. Lin, Rupak Majumdar |
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 352-369, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zixin Huang, Zhenbang Wang, Sasa Misailovic |
PSense: Automatic Sensitivity Analysis for Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 387-403, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 513-520, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Chen, Carlo A. Furia |
Robustness Testing of Intermediate Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 91-108, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 422-440, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
EVE: A Tool for Temporal Equilibrium Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 551-557, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
Round-Bounded Control of Parameterized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 370-386, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Keerthi Adabala, Rüdiger Ehlers |
A Fragment of Linear Temporal Logic for Universal Very Weak Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 335-351, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 56-74, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Christopher Hahn, Tobias Hans |
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 521-527, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Mouhammad Sakr |
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 211-227, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Sharon Shoham, Yakir Vizel |
Quantifiers on Demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 248-266, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Tobias Meggendorfer, Salomon Sickert |
Owl: A Library for ω-Words, Automata, and LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 543-550, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 20-34, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Gerstacker, Felix Klein 0001, Bernd Finkbeiner |
Bounded Synthesis of Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 441-457, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Isabelle Mainz |
Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 284-299, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 536-542, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff |
A Formally Verified Motion Planner for Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 75-90, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu |
Maximum Realizability for Linear Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 458-475, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric |
Verifying Rust Programs with SMACK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 528-535, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-030-01089-8 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bendík, Ivana Cerná, Nikola Benes |
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 143-159, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Chistikov 0001, Andrzej S. Murawski, David Purser |
Bisimilarity Distances for Approximate Differential Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 194-210, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ayrat Khalimov 0001, Benedikt Maderbacher, Roderick Bloem |
Bounded Synthesis of Register Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 494-510, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo |
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 476-493, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 160-176, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pushpak Jagtap, Sadegh Soudjani, Majid Zamani 0001 |
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 177-193, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dan Rasin, Orna Grumberg, Sharon Shoham |
Modular Verification of Concurrent Programs via Sequential Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 228-247, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 3-19, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi |
Signal Convolution Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 267-283, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood |
Information Leakage in Arbiter Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 404-421, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gainer, Ernst Moritz Hahn, Sven Schewe |
Accelerated Model Checking of Parametric Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 300-316, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský |
Continuous-Time Markov Decisions Based on Partial Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 317-334, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 109-125, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 463-479, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas |
Compositional Safety Refutation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 164-183, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Boris Köpf, Pedro Valero 0001 |
A Language-Theoretic View on Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 363-379, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Das, Akash Lal |
Precise Null Pointer Analysis Through Global Value Numbering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 25-41, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar 0001, Chittaranjan A. Mandal |
SamaTulyata: An Efficient Path Based Equivalence Checking Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 109-116, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 184-200, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Biondi, Yusuke Kawamoto 0001, Axel Legay, Louis-Marie Traonouez |
HyLeak: Hybrid Analysis Tool for Information Leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 156-163, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcio Diaz, Tayssir Touili |
Dealing with Priorities and Locks for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 208-224, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers |
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 269-286, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |
Synthesizing Invariants by Solving Solvable Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 327-343, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Pierre Ganty, Peter J. Stuckey |
Fixing the State Budget: Approximation of Regular Languages with Small DFAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 67-83, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 201-207, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-319-68166-5 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Torabi Dashti, David A. Basin |
Tests and Refutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 119-138, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 446-462, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 307-326, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Georg Nührenberg, Harald Ruess |
Maximum Resilience of Artificial Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 251-268, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kunal Banerjee 0001, Chittaranjan A. Mandal, Dipankar Sarkar 0001 |
An Equivalence Checking Framework for Array-Intensive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 84-90, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller |
Loop Quasi-Invariant Chunk Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 91-108, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
JTDec: A Tool for Tree Decompositions in Soot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 59-66, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 400-416, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Ralf Vogler |
Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 3-22, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura |
Liquid Types for Array Invariant Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 289-306, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh |
Knowledge Transfer and Information Leakage in Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 225-240, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 241-248, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 417-434, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|