default search action
11th ATVA 2013: Hanoi, Vietnam
- Dang Van Hung, Mizuhito Ogawa:
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Lecture Notes in Computer Science 8172, Springer 2013, ISBN 978-3-319-02443-1
Invited Papers
- Jérôme Leroux:
Acceleration for Petri Nets. 1-4 - Marta Z. Kwiatkowska, David Parker:
Automated Verification and Strategy Synthesis for Probabilistic Systems. 5-22 - Alessandro Cimatti
:
SMT-Based Software Model Checking - Explicit Scheduler, Symbolic Threads. 23
Regular Papers
- Tomás Babiak, Frantisek Blahoudek
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. 24-39 - Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty
Improved Upper and Lower Bounds for Büchi Disambiguation. 40-54 - Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. 55-70 - Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho:
An Automatic Technique for Checking the Simulation of Timed Systems. 71-86 - Aleksandra Jovanovic, Didier Lime
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. 87-101 - Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. 102-117 - Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin:
Looking at Mean-Payoff and Total-Payoff through Windows. 118-132 - Sigal Weiner, Matan Hasson, Orna Kupferman, Eyal Pery, Zohar Shevach:
Weighted Safety. 133-147 - Shoham Ben-David, Orna Kupferman:
A Framework for Ranking Vacuity Results. 148-162 - Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre:
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. 163-177 - Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma:
Verification of a Dynamic Management Protocol for Cloud Applications. 178-192 - Jiri Slaby, Jan Strejcek
Compact Symbolic Execution. 193-207 - Sami Evangelista, Lars Michael Kristensen, Laure Petrucci
Multi-threaded Explicit State Space Exploration with State Reconstruction. 208-223 - Parosh Aziz Abdulla, Lukás Holík
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. 224-239 - Pierre Roux, Pierre-Loïc Garoche:
Integrating Policy Iterations in Abstract Interpreters. 240-254 - Arie Gurfinkel
Interpolation Properties and SAT-Based Model Checking. 255-271 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg:
Analysis of Message Passing Programs Using SMT-Solvers. 272-286 - Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
An Expressive Framework for Verifying Deadlock Freedom. 287-302 - Dominik Wojtczak
Expected Termination Time in BPA Games. 303-318 - Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
Precise Cost Analysis via Local Reasoning. 319-333 - Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu:
Control Flow Refinement and Symbolic Computation of Average Case Bound. 334-348 - Elvira Albert, Antonio Flores-Montoya, Samir Genaim
Termination and Cost Analysis of Loops with Concurrent Interleavings. 349-364 - Matthias Heizmann
Linear Ranking for Linear Lasso Programs. 365-380 - Étienne André
Merge and Conquer: State Merging in Parametric Timed Automata. 381-396 - Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. 397-411 - Yuya Uezato
Pushdown Systems with Stack Manipulation. 412-426 - Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri:
Robustness Analysis of String Transducers. 427-441
Tool Papers
- Alexandre Duret-Lutz
Manipulating LTL Formulas Using Spot 1.0. 442-445 - Jan Kretínský, Ruslán Ledesma-Garza:
Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. 446-450 - Lukasz Fronc, Alexandre Duret-Lutz
LTL Model Checking with Neco. 451-454 - Philipp Hoffmann, Michael Luttenberger:
Solving Parity Games on the GPU. 455-459 - Axel Legay, Louis-Marie Traonouez:
PyEcdar: Towards Open Source Implementation for Timed Systems. 460-463 - Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang:
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. 464-468 - Romain Testylier, Thao Dang:
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. 469-473 - Kun Ji, Yang Liu
CELL: A Compositional Verification Framework. 474-477 - Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng:
VCS: A Verifier for Component-Based Systems. 478-481 - Armin Biere
SmacC: A Retargetable Symbolic Execution Engine. 482-486 - Jan Kretínský, Salomon Sickert:
MoTraS: A Tool for Modal Transition Systems and Their Extensions. 487-491 - César Rodríguez, Stefan Schwoon:
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. 492-495
Short Papers
- Shuyuan Zhang, Sharad Malik:
SAT Based Verification of Network Data Planes. 496-505 - Stephan Arlt, Philipp Rümmer, Martin Schäf:
A Theory for Control-Flow Graph Exploration. 506-515 - Jakob Mund, Ralf Huuck, Ansgar Fehnker
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. 516-525
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-04-27 18:09 CEST 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: