Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz |
Acceleration of Affine Hybrid Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pp. 31-46, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zuzana Komárková, Jan Kretínský |
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pp. 235-241, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta |
Formal Safety Assessment via Contract-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pp. 81-97, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Patrick Gardy, Nicolas Markey |
Quantitative Verification of Weighted Kripke Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pp. 64-80, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
Robustness Analysis of String Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 427-441, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho |
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 516-525, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Romain Testylier, Thao Dang 0001 |
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 469-473, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty |
Improved Upper and Lower Bounds for Büchi Disambiguation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 40-54, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson 0001, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar |
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 224-239, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Roux, Pierre-Loïc Garoche |
Integrating Policy Iterations in Abstract Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 240-254, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Fronc, Alexandre Duret-Lutz |
LTL Model Checking with Neco. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 451-454, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek |
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 24-39, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Laurent Fribourg, Romain Soulat |
Merge and Conquer: State Merging in Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 381-396, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu |
Control Flow Refinement and Symbolic Computation of Average Case Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 334-348, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Slaby, Jan Strejcek, Marek Trtík |
Compact Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 193-207, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma |
Verification of a Dynamic Management Protocol for Cloud Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 178-192, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuya Uezato, Yasuhiko Minamide |
Pushdown Systems with Stack Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 412-426, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux |
Acceleration for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 1-4, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kun Ji, Yang Liu 0003, Shang-Wei Lin 0001, Jun Sun 0001, Jin Song Dong, Truong Khanh Nguyen |
CELL: A Compositional Verification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 474-477, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sami Evangelista, Lars Michael Kristensen, Laure Petrucci |
Multi-threaded Explicit State Space Exploration with State Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 208-223, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Duret-Lutz |
Manipulating LTL Formulas Using Spot 1.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 442-445, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas |
Kleene Algebras and Semimodules for Energy Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 102-117, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Hoffmann, Michael Luttenberger |
Solving Parity Games on the GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 455-459, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg |
Analysis of Message Passing Programs Using SMT-Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 272-286, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Arlt, Philipp Rümmer, Martin Schäf |
A Theory for Control-Flow Graph Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 506-515, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandra Jovanovic 0002, Didier Lime, Olivier H. Roux |
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 87-101, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti |
SMT-Based Software Model Checking - Explicit Scheduler, Symbolic Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 23, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
An Expressive Framework for Verifying Deadlock Freedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 287-302, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dang Van Hung, Mizuhito Ogawa (eds.) |
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-319-02443-1 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
SmacC: A Retargetable Symbolic Execution Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 482-486, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sigal Weiner, Matan Hasson, Orna Kupferman, Eyal Pery, Zohar Shevach |
Weighted Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 133-147, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski |
Linear Ranking for Linear Lasso Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 365-380, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim |
Precise Cost Analysis via Local Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 319-333, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Wojtczak |
Expected Termination Time in BPA Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 303-318, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Salomon Sickert |
MoTraS: A Tool for Modal Transition Systems and Their Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 487-491, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 163-177, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shoham Ben-David, Orna Kupferman |
A Framework for Ranking Vacuity Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 148-162, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Louis-Marie Traonouez |
PyEcdar: Towards Open Source Implementation for Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 460-463, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Laurent Doyen 0001, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell 0001 |
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 55-70, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin |
Termination and Cost Analysis of Loops with Concurrent Interleavings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 349-364, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, David Parker 0001 |
Automated Verification and Strategy Synthesis for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 5-22, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang 0001 |
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 464-468, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fei He 0001, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng |
VCS: A Verifier for Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 478-481, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001, Mickael Randour, Jean-François Raskin |
Looking at Mean-Payoff and Total-Payoff through Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 118-132, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho |
An Automatic Technique for Checking the Simulation of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 71-86, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | César Rodríguez, Stefan Schwoon |
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 492-495, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 397-411, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Ruslán Ledesma-Garza |
Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 446-450, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina |
Interpolation Properties and SAT-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 255-271, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shuyuan Zhang, Sharad Malik |
SAT Based Verification of Network Data Planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 496-505, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
An Experiment on Parallel Model Checking of a CTL Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 284-299, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Giro, Markus N. Rabe |
Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 333-348, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sofia Cassel, Bengt Jonsson 0001, Falk Howar, Bernhard Steffen |
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 57-71, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Higher-Order Approximations for Verification of Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 416-434, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun |
A Probabilistic Kleene Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 400-415, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik |
Parallel Assertions for Architectures with Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 254-268, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Gaiser, Jan Kretínský, Javier Esparza |
Rabinizer: Small Deterministic Automata for LTL(F, G). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 72-76, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta |
Improved Single Pass Algorithms for Resolution Proof Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 107-121, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer |
Accelerating Interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 187-202, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sucheendra K. Palaniappan, P. S. Thiagarajan |
Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 17-25, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shuyuan Zhang, Sharad Malik, Rick McGeer |
Verification of Computer Switching Networks: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 1-16, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Gwen Salaün, Meriem Ouederni |
Counterexample Guided Synthesis of Monitors for Realizability Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 238-253, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol |
Improved Multi-Core Nested Depth-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 269-283, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 167-182, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paritosh K. Pandya, Simoni S. Shah |
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 77-91, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shulamit Halamish, Orna Kupferman |
Approximating Deterministic Lattice Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 27-41, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier |
Controllers with Minimal Observation Power (Application to Timed Systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 223-237, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka |
On Temporal Logic and Signal Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 92-106, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001 |
Pareto Curves for Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 317-332, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
Model Checking Systems and Specifications with Parameterized Atomic Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 122-136, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 152-166, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Podelski |
Interpolant Automata - (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 26, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Becker 0001, Rüdiger Ehlers, Matthew Lewis 0004, Paolo Marin |
ALLQBF Solving by Computational Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 370-384, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Madhavan Mukund (eds.) |
Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-642-33385-9 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter |
Variable Probabilistic Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 300-316, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider |
Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 354-369, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlo A. Furia |
A Verifier for Functional Properties of Sequence-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 183-186, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schewe, Thomas Varghese |
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 42-56, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang 0001, Antoine Girard |
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 137-151, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Erika Ábrahám, Matthias Volk 0001, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001 |
The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 349-353, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 203-207, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |
Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 385-399, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Fearnley, Doron A. Peled, Sven Schewe |
Synthesis of Succinct Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 208-222, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Orna Kupferman |
Max and Sum Semantics for Alternating Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 13-27, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Houssam Abbas, Georgios Fainekos |
Linear Hybrid System Falsification through Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 503-510, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nassim Seghir |
A Lightweight Approach for Loop Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 351-365, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tevfik Bultan, Pao-Ann Hsiung (eds.) |
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-642-24371-4 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider |
Small Strategies for Safety Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 306-320, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Udi Boker, Orna Kupferman |
What's Decidable about Weighted Automata? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 482-491, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Fujita |
Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 43-50, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault |
Widening with Thresholds for Programs with Complex Control Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 492-502, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Ivana Cerná, Jan Kretínský |
Modal Transition Systems: Composition and LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 228-242, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Morten Dahl, Naoki Kobayashi 0001, Yunde Sun, Hans Hüttel |
Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 75-89, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao 0011 |
Symbolic Verification and Test Generation for a Network of Communicating FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 432-442, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gal Katz, Doron A. Peled, Sven Schewe |
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 422-431, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Carrillo, David A. Rosenblueth |
Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 60-74, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Véronique Bruyère, Laurent Doyen 0001, Marc Ducobu, Jean-François Raskin |
Antichain-Based QBF Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 183-197, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liya Liu, Osman Hasan, Sofiène Tahar |
Formalization of Finite-State Discrete-Time Markov Chains in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 90-104, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Erika Ábrahám, Jens Katelaan, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001 |
Hierarchical Counterexamples for Discrete-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 443-452, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Paolo Zuliani |
Statistical Model Checking for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 1-12, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|