- Lukás Holík
, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar:
Simulation Algorithms for Symbolic Automata. ATVA 2018: 109-125 - Zixin Huang, Zhenbang Wang, Sasa Misailovic:
PSense: Automatic Sensitivity Analysis for Probabilistic Programs. ATVA 2018: 387-403 - Swen Jacobs, Mouhammad Sakr:
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. ATVA 2018: 211-227 - Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. ATVA 2018: 177-193 - Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem:
Bounded Synthesis of Register Transducers. ATVA 2018: 494-510 - Jan Kretínský, Tobias Meggendorfer, Salomon Sickert:
Owl: A Library for ω-Words, Automata, and LTL. ATVA 2018: 543-550 - Anthony W. Lin, Rupak Majumdar:
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. ATVA 2018: 352-369 - 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: 536-542 - Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural State Classification for Hybrid Systems. ATVA 2018: 422-440 - Dan Rasin, Orna Grumberg, Sharon Shoham:
Modular Verification of Concurrent Programs via Sequential Model Checking. ATVA 2018: 228-247 - Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff:
A Formally Verified Motion Planner for Autonomous Vehicles. ATVA 2018: 75-90 - Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue:
Formal Specification for Deep Neural Networks. ATVA 2018: 20-34 - Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi:
Signal Convolution Logic. ATVA 2018: 267-283 - Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ATVA 2018: 476-493 - Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood:
Information Leakage in Arbiter Protocols. ATVA 2018: 404-421 - Shuvendu K. Lahiri, Chao Wang:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Lecture Notes in Computer Science 11138, Springer 2018, ISBN 978-3-030-01089-8 [contents] - 2017
- Elvira Albert, Samir Genaim, Pablo Gordillo:
May-Happen-in-Parallel Analysis with Returned Futures. ATVA 2017: 42-58 - Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli:
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. ATVA 2017: 184-200 - Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Synthesis of Optimal Resilient Control Strategies. ATVA 2017: 417-434 - Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal:
SamaTulyata: An Efficient Path Based Equivalence Checking Tool. ATVA 2017: 109-116 - Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar:
An Equivalence Checking Framework for Array-Intensive Programs. ATVA 2017: 84-90 - 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: 201-207 - Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez:
HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA 2017: 156-163 - Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis:
JTDec: A Tool for Tree Decompositions in Soot. ATVA 2017: 59-66 - Chih-Hong Cheng, Georg Nührenberg, Harald Ruess:
Maximum Resilience of Artificial Neural Networks. ATVA 2017: 251-268 - Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. ATVA 2017: 437-445 - Ankush Das, Akash Lal:
Precise Null Pointer Analysis Through Global Value Numbering. ATVA 2017: 25-41 - Mohammad Torabi Dashti, David A. Basin:
Tests and Refutation. ATVA 2017: 119-138 - Marcio Diaz, Tayssir Touili:
Dealing with Priorities and Locks for Concurrent Programs. ATVA 2017: 208-224 - Rüdiger Ehlers:
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. ATVA 2017: 269-286
