default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th ATVA 2018: Los Angeles, CA, USA
- 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
Invited Papers
- Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. 3-19 - 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. 20-34
Regular Papers
- David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
:
Optimal Proofs for Linear Temporal Logic on Lasso Words. 37-55 - 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. 56-74 - Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff:
A Formally Verified Motion Planner for Autonomous Vehicles. 75-90 - Yuting Chen, Carlo A. Furia:
Robustness Testing of Intermediate Verifiers. 91-108 - Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar:
Simulation Algorithms for Symbolic Automata. 109-125 - Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka:
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. 126-142 - Jaroslav Bendík, Ivana Cerná, Nikola Benes:
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. 143-159 - Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Synthesis in pMDPs: A Tale of 1001 Parameters. 160-176 - Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. 177-193 - Dmitry Chistikov, Andrzej S. Murawski, David Purser:
Bisimilarity Distances for Approximate Differential Privacy. 194-210 - Swen Jacobs, Mouhammad Sakr:
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. 211-227 - Dan Rasin, Orna Grumberg, Sharon Shoham:
Modular Verification of Concurrent Programs via Sequential Model Checking. 228-247 - Arie Gurfinkel, Sharon Shoham, Yakir Vizel:
Quantifiers on Demand. 248-266 - Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi:
Signal Convolution Logic. 267-283 - Bernard Boigelot, Isabelle Mainz:
Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. 284-299 - Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Accelerated Model Checking of Parametric Markov Chains. 300-316 - Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský:
Continuous-Time Markov Decisions Based on Partial Exploration. 317-334 - Keerthi Adabala, Rüdiger Ehlers:
A Fragment of Linear Temporal Logic for Universal Very Weak Automata. 335-351 - Anthony W. Lin, Rupak Majumdar:
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. 352-369 - Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder:
Round-Bounded Control of Parameterized Systems. 370-386 - Zixin Huang, Zhenbang Wang, Sasa Misailovic:
PSense: Automatic Sensitivity Analysis for Probabilistic Programs. 387-403 - Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood:
Information Leakage in Arbiter Protocols. 404-421 - Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural State Classification for Hybrid Systems. 422-440 - Carsten Gerstacker, Felix Klein, Bernd Finkbeiner:
Bounded Synthesis of Reactive Programs. 441-457 - Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu:
Maximum Realizability for Linear Temporal Logic Specifications. 458-475 - Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. 476-493 - Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem:
Bounded Synthesis of Register Transducers. 494-510
Tool Papers
- Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. 513-520 - Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. 521-527 - Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric:
Verifying Rust Programs with SMACK. 528-535 - Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem:
S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. 536-542 - Jan Kretínský, Tobias Meggendorfer, Salomon Sickert:
Owl: A Library for ω-Words, Automata, and LTL. 543-550 - Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
EVE: A Tool for Temporal Equilibrium Analysis. 551-557
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-01-24 17:01 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:
