default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ATVA 2014: Sydney, NSW, Australia
- Franck Cassez
, Jean-François Raskin:
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Lecture Notes in Computer Science 8837, Springer 2014, ISBN 978-3-319-11935-9 - C. Aiswarya, Paul Gastin, K. Narayan Kumar:
Verifying Communicating Multi-pushdown Systems via Split-Width. 1-17 - Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Booster: An Acceleration-Based Verification Framework for Array Programs. 18-23 - Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto:
A Bounded Model Checker for SPARK Programs. 24-30 - Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz:
Acceleration of Affine Hybrid Transformations. 31-46 - Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. 47-63 - Patricia Bouyer, Patrick Gardy, Nicolas Markey:
Quantitative Verification of Weighted Kripke Structures. 64-80 - Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta:
Formal Safety Assessment via Contract-Based Design. 81-97 - Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Verification of Markov Decision Processes Using Learning Algorithms. 98-114 - Thao Dang, Noa Shalev:
Test Coverage Estimation Using Threshold Accepting. 115-128 - Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist:
On Time with Minimal Expected Cost! 129-145 - Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen:
Fast Debugging of PRISM Models. 146-162 - Nathanaël Fijalkow, Denis Kuperberg:
ACME: Automata with Counters, Monoids and Equivalence. 163-167 - Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga:
Modelling and Analysis of Markov Reward Automata. 168-184 - Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov:
Extensional Crisis and Proving Identity. 185-200 - Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Deciding Entailments in Inductive Separation Logic with Tree Automata. 201-218 - Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse:
Liveness Analysis for Parameterised Boolean Equation Systems. 219-234 - Zuzana Komárková, Jan Kretínský:
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. 235-241 - Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, Étienne André, Laure Petrucci, Yang Liu:
PeCAn: Compositional Verification of Petri Nets Made Easy. 242-247 - Jérôme Leroux, Vincent Penelle, Grégoire Sutre:
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems. 248-263 - Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu:
Efficiently and Completely Verifying Synchronized Consistency Models. 264-280 - Nicolas Markey, Steen Vester:
Symmetry Reduction in Infinite Games with Finite Branching. 281-296 - Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker:
Incremental Encoding and Solving of Cardinality Constraints. 297-313 - Alejandro Sánchez, César Sánchez:
Formal Verification of Skiplists with Arbitrary Many Levels. 314-329 - Divjyot Sethi, Muralidhar Talupur, Sharad Malik:
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. 330-347 - Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. 348-363 - Guoxin Su, David S. Rosenblum:
Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. 364-379 - Marek Trtík, Jan Strejcek:
Symbolic Memory with Pointers. 380-395 - Weifeng Wang, Li Jiao:
Trace Abstraction Refinement for Timed Automata. 396-410 - Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi:
Statistically Sound Verification and Optimization for Complex Systems. 411-427
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-09 23: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:
