default search action

combined dblp search
author search
venue search
publication search

ask others

11th ATVA 2013: Hanoi, Vietnam

> Home > Conferences and Workshops > ATVA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/atva/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2013
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

- view
  authority control:
- export record
  dblp key:
  - conf/atva/Leroux13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Leroux13
Jérôme Leroux:
Acceleration for Petri Nets. 1-4
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KwiatkowskaP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KwiatkowskaP13
Marta Z. Kwiatkowska, David Parker:
Automated Verification and Strategy Synthesis for Probabilistic Systems. 5-22
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/atva/Cimatti13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Cimatti13
Alessandro Cimatti:
SMT-Based Software Model Checking - Explicit Scheduler, Symbolic Threads. 23

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/atva/BabiakBKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BabiakBKS13
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek:
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. 24-39
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KarmarkarJC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KarmarkarJC13
Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty:
Improved Upper and Lower Bounds for Büchi Disambiguation. 40-54
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Brihaye0GORW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Brihaye0GORW13
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell:
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. 55-70
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FaresBFG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FaresBFG13
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho:
An Automatic Technique for Checking the Simulation of Timed Systems. 71-86
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JovanovicLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JovanovicLR13
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. 87-101
- view
  authority control:
- export record
  dblp key:
  - conf/atva/EsikFLQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EsikFLQ13
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. 102-117
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Chatterjee0RR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Chatterjee0RR13
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin:
Looking at Mean-Payoff and Total-Payoff through Windows. 118-132
- view
  authority control:
- export record
  dblp key:
  - conf/atva/WeinerHKPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/WeinerHKPS13
Sigal Weiner, Matan Hasson, Orna Kupferman, Eyal Pery, Zohar Shevach:
Weighted Safety. 133-147
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Ben-DavidK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Ben-DavidK13
Shoham Ben-David, Orna Kupferman:
A Framework for Ranking Vacuity Results. 148-162
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DemasiCMA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DemasiCMA13
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre:
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. 163-177
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AbidSBP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AbidSBP13
Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma:
Verification of a Dynamic Management Protocol for Cloud Applications. 178-192
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SlabyST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SlabyST13
Jiri Slaby, Jan Strejcek, Marek Trtík:
Compact Symbolic Execution. 193-207
- view
  authority control:
- export record
  dblp key:
  - conf/atva/EvangelistaKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EvangelistaKP13
Sami Evangelista, Lars Michael Kristensen, Laure Petrucci:
Multi-threaded Explicit State Space Exploration with State Reconstruction. 208-223
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AbdullaHJLTV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AbdullaHJLTV13
Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar:
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. 224-239
- view
  authority control:
- export record
  dblp key:
  - conf/atva/RouxG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/RouxG13
Pierre Roux, Pierre-Loïc Garoche:
Integrating Policy Iterations in Abstract Interpreters. 240-254
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GurfinkelRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GurfinkelRS13
Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina:
Interpolation Properties and SAT-Based Model Checking. 255-271
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AbdullaAC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AbdullaAC13
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg:
Analysis of Message Passing Programs Using SMT-Solvers. 272-286
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LeCT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LeCT13
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo:
An Expressive Framework for Verifying Deadlock Freedom. 287-302
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Wojtczak13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Wojtczak13
Dominik Wojtczak:
Expected Termination Time in BPA Games. 303-318
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Alonso-BlasAG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Alonso-BlasAG13
Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim:
Precise Cost Analysis via Local Reasoning. 319-333
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChenML13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChenML13
Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu:
Control Flow Refinement and Symbolic Computation of Average Case Bound. 334-348
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AlbertFGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AlbertFGM13
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin:
Termination and Cost Analysis of Loops with Concurrent Interleavings. 349-364
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HeizmannHLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HeizmannHLP13
Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski:
Linear Ranking for Linear Lasso Programs. 365-380
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AndreFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AndreFS13
Étienne André, Laurent Fribourg, Romain Soulat:
Merge and Conquer: State Merging in Parametric Timed Automata. 381-396
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GrumbergKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GrumbergKS13
Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. 397-411
- view
  authority control:
- export record
  dblp key:
  - conf/atva/UezatoM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/UezatoM13
Yuya Uezato, Yasuhiko Minamide:
Pushdown Systems with Stack Manipulation. 412-426
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SamantaDC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SamantaDC13
Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri:
Robustness Analysis of String Transducers. 427-441

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/atva/Duret-Lutz13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Duret-Lutz13
Alexandre Duret-Lutz:
Manipulating LTL Formulas Using Spot 1.0. 442-445
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KretinskyL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KretinskyL13
Jan Kretínský, Ruslán Ledesma-Garza:
Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. 446-450
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FroncD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FroncD13
Lukasz Fronc, Alexandre Duret-Lutz:
LTL Model Checking with Neco. 451-454
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HoffmannL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HoffmannL13
Philipp Hoffmann, Michael Luttenberger:
Solving Parity Games on the GPU. 455-459
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LegayT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LegayT13
Axel Legay, Louis-Marie Traonouez:
PyEcdar: Towards Open Source Implementation for Timed Systems. 460-463
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GaoHZ013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GaoHZ013
Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang:
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. 464-468
- view
  authority control:
- export record
  dblp key:
  - conf/atva/TestylierD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TestylierD13
Romain Testylier, Thao Dang:
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. 469-473
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JiLL0DN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JiLL0DN13
Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen:
CELL: A Compositional Verification Framework. 474-477
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HeYWZMM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HeYWZMM13
Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng:
VCS: A Verifier for Component-Based Systems. 478-481
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BiereKKZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BiereKKZ13
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
SmacC: A Retargetable Symbolic Execution Engine. 482-486
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KretinskyS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KretinskyS13
Jan Kretínský, Salomon Sickert:
MoTraS: A Tool for Modal Transition Systems and Their Extensions. 487-491
- view
  authority control:
- export record
  dblp key:
  - conf/atva/RodriguezS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/RodriguezS13
César Rodríguez, Stefan Schwoon:
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. 492-495

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/atva/ZhangM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ZhangM13
Shuyuan Zhang, Sharad Malik:
SAT Based Verification of Network Data Planes. 496-505
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ArltRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ArltRS13
Stephan Arlt, Philipp Rümmer, Martin Schäf:
A Theory for Control-Flow Graph Exploration. 506-515
- view
  authority control:
- export record
  dblp key:
  - conf/atva/MundHFA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/MundHFA13
Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho:
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.