Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Elvira Albert, Samir Genaim, Pablo Gordillo |
May-Happen-in-Parallel Analysis with Returned Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 42-58, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Tobias Meggendorfer |
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 380-399, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 437-445, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Hazem Torfah |
The Density of Linear-Time Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 139-155, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Macedo, Alcino Cunha, Eduardo Pessoa |
Exploiting Partial Knowledge for Efficient Model Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, pp. 344-362, 2017, Springer, 978-3-319-68166-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Fujita |
Synthesizing and Completely Testing Hardware Based on Templates Through Small Numbers of Test Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 3-10, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Cadek, Jan Strejcek, Marek Trtík |
Tighter Loop Bound Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 512-527, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich |
Greener Bits: Formal Analysis of Demand Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 323-339, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen 0001 |
Bounded Model Checking for Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 68-85, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philipp J. Meyer, Michael Luttenberger |
Solving Mean-Payoff Games on the GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 262-267, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Synchronous Products of Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 141-156, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Antonín Kucera 0001, Petr Novotný 0001 |
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 32-49, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Salomon Sickert, Jan Kretínský |
MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 130-137, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Denis Kuperberg, Julien Brunel, David Chemouil |
On Finite Domains in First-Order Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 211-226, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Radu Iosif, Arnaud Sangnier |
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 89-105, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jinru Hua, Sarfraz Khurshid |
A Sketching-Based Approach for Debugging Using Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 463-478, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 174-191, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek |
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 192-208, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xin Li, Naoki Kobayashi 0001 |
Equivalence-Based Abstraction Refinement for \mu HORS Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 304-320, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001, Radu Iosif, Cristina Serban, Tim King 0001 |
A Decision Procedure for Separation Logic in SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 244-261, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse, Neeraj Suri |
Efficient Verification of Program Fragments: Eager POR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 375-391, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid |
Certified Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 495-511, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet |
Solving Language Equations Using Flanked Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 106-121, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Roehm, Jens Oehlerking, Thomas Heinz 0001, Matthias Althoff |
STL Model Checking of Continuous and Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 412-427, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Karina Wimmer, Ralf Wimmer 0001, Christoph Scholl 0001, Bernd Becker 0001 |
Skolem Functions for DQBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 395-411, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shoham Ben-David, Marsha Chechik, Sebastián Uchitel |
Observational Refinement and Merge for Disjunctive MTSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 287-303, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Deininger, Rayna Dimitrova, Rupak Majumdar |
Symbolic Model Checking for Factored Probabilistic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 444-460, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Hazem Torfah |
Synthesizing Skeletons for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 271-286, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol |
Partial-Order Reduction for GPU Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 357-374, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tim Quatmann, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen |
Parameter Synthesis for Markov Models: Faster Than Ever. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 50-67, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Milan Ceska 0002, Marta Kwiatkowska |
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 13-31, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault |
Heuristics for Checking Liveness Properties with Partial Order Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 340-356, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu |
Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 122-129, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |
Polynomial Invariants by Linear Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 479-494, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina |
Clause Sharing and Partitioning for Cloud-Based SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 428-443, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier, Vojtech Forejt |
Decidability Results for Multi-objective Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 227-243, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Artho, Axel Legay, Doron Peled (eds.) |
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![, 978-3-319-46519-7 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Helmut Seidl, Christian Müller 0008 |
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 157-173, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen |
Probabilistic Programming: A True Verification Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 1-3, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
Game Semantic Analysis of Equivalence in IMJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 411-428, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth |
Marimba: A Tool for Verifying Properties of Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 201-206, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nassim Seghir, David Aspinall 0001 |
EviCheck: Digital Evidence for Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 221-227, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál |
Optimal Continuous Time Markov Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 166-182, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Enea, Mihaela Sighireanu, Zhilin Wu |
On Automated Lemma Generation for Separation Logic with Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 80-96, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Steen Vester |
On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 361-377, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Herdt, Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 228-233, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chuchu Fan, Sayan Mitra |
Bounded Verification with On-the-Fly Discrepancy Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 446-463, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Schäf, Ashish Tiwari 0001 |
Severity Levels of Inconsistent Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 97-113, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
A Contextual Equivalence Checker for IMJ ∗. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 234-240, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rachel Faran, Orna Kupferman |
Spanning the Spectrum from Safety to Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 183-200, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler |
Stochastic Local Search for Falsification of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 500-517, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 293-308, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rachel Tzoref-Brill, Shahar Maoz |
Lattice-Based Semantics for Combinatorial Model Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 276-292, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Test Case Generation of Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 259-275, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard |
Hierarchical Information Patterns and Distributed Strategy Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 378-393, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig |
Learning the Language of Error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 114-130, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Habib Saissi, Péter Bokor, Neeraj Suri |
PBMC: Symbolic Slicing for the Verification of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 344-360, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle |
Formal Verification of Simulink/Stateflow Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 464-481, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Geguang Pu, Lijun Zhang 0001 (eds.) |
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-319-24952-0 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yue Ben, A. Prasad Sistla |
Model Checking Failure-Prone Open Systems Using Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 148-165, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | J Strother Moore |
Machines Reasoning About Machines: 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 4-13, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan |
Decidability of the Reachability for a Family of Linear Vector Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 482-499, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Hartmanns, Holger Hermanns |
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 131-147, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hernán Ponce de León, César Rodríguez, Josep Carmona 0001, Keijo Heljanko, Stefan Haar |
Unfolding-Based Process Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 31-47, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Girka, David Mentré, Yann Régis-Gianas |
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 64-79, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter, Guillermo A. Pérez 0001, Jean-François Raskin |
Looking at Mean-Payoff Through Foggy Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 429-445, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ferrère, Oded Maler, Dejan Nickovic |
Trace Diagnostics Using Temporal Implicants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 241-258, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl 0001 |
Improving Interpolants for Linear Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 48-63, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yongjian Li, Jun Pang 0001, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan |
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 207-213, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0069, Yi Lv, Peng Wu 0002 |
TSO-to-TSO Linearizability Is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 309-325, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Simon Bliudze, Alessandro Cimatti, Mohamad Jaber 0001, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang 0020 |
Formal Verification of Infinite-State BIP Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 326-343, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Mizera, Jun Pang 0001, Qixia Yuan |
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 214-220, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema |
Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 14-30, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Rüdiger Ehlers, Robert Könighofer |
Cooperative Reactive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 394-410, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 |
Incremental Encoding and Solving of Cardinality Constraints. ![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. 297-313, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Weifeng Wang, Li Jiao |
Trace Abstraction Refinement for Timed 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. 396-410, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marek Trtík, Jan Strejcek |
Symbolic Memory with Pointers. ![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. 380-395, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
Booster: An Acceleration-Based Verification Framework for Array Programs. ![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. 18-23, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Dehnert, Nils Jansen 0001, Ralf Wimmer 0001, Erika Ábrahám, Joost-Pieter Katoen |
Fast Debugging of PRISM Models. ![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. 146-162, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guoxin Su, David S. Rosenblum |
Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. ![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. 364-379, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. ![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. 348-363, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse |
Liveness Analysis for Parameterised Boolean Equation Systems. ![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. 219-234, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yan Zhang 0027, Sriram Sankaranarayanan 0001, Fabio Somenzi |
Statistically Sound Verification and Optimization for Complex Systems. ![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. 411-427, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto |
A Bounded Model Checker for SPARK Programs. ![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. 24-30, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga |
Modelling and Analysis of Markov Reward 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. 168-184, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux, Vincent Penelle, Grégoire Sutre |
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems. ![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. 248-263, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Markey, Steen Vester |
Symmetry Reduction in Infinite Games with Finite Branching. ![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. 281-296, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Radu Iosif, Adam Rogalewicz, Tomás Vojnar |
Deciding Entailments in Inductive Separation Logic with Tree 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. 201-218, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu 0002 |
Efficiently and Completely Verifying Synchronized Consistency Models. ![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. 264-280, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Denis Kuperberg |
ACME: Automata with Counters, Monoids and Equivalence. ![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. 163-167, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Noa Shalev |
Test Coverage Estimation Using Threshold Accepting. ![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. 115-128, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | C. Aiswarya, Paul Gastin, K. Narayan Kumar |
Verifying Communicating Multi-pushdown Systems via Split-Width. ![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. 1-17, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov |
Extensional Crisis and Proving Identity. ![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. 185-200, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Jean-François Raskin (eds.) |
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![Springer, 978-3-319-11935-9 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Sánchez, César Sánchez 0001 |
Formal Verification of Skiplists with Arbitrary Many Levels. ![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. 314-329, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Divjyot Sethi, Muralidhar Talupur, Sharad Malik |
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. ![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. 330-347, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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 0003 |
PeCAn: Compositional Verification of Petri Nets Made Easy. ![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. 242-247, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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! ![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. 129-145, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Bourke, Rob J. van Glabbeek, Peter Höfner |
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ![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. 47-63, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker 0001, Mateusz Ujma |
Verification of Markov Decision Processes Using Learning Algorithms. ![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. 98-114, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|