| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elvira Albert, Samir Genaim, Pablo Gordillo |
May-Happen-in-Parallel Analysis with Returned Futures.  |
ATVA  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kretínský, Tobias Meggendorfer |
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Hazem Torfah |
The Density of Linear-Time Properties. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Macedo, Alcino Cunha, Eduardo Pessoa |
Exploiting Partial Knowledge for Efficient Model Analysis. |
ATVA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Fujita |
Synthesizing and Completely Testing Hardware Based on Templates Through Small Numbers of Test Patterns. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Cadek, Jan Strejcek, Marek Trtík |
Tighter Loop Bound Analysis. |
ATVA |
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. |
ATVA |
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. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp J. Meyer, Michael Luttenberger |
Solving Mean-Payoff Games on the GPU. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Synchronous Products of Rewrite Systems. |
ATVA |
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. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Salomon Sickert, Jan Kretínský |
MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Kuperberg, Julien Brunel, David Chemouil |
On Finite Domains in First-Order Linear Temporal Logic. |
ATVA |
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? |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinru Hua, Sarfraz Khurshid |
A Sketching-Based Approach for Debugging Using Test Cases. |
ATVA |
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. |
ATVA |
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. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Naoki Kobayashi 0001 |
Equivalence-Based Abstraction Refinement for \mu HORS Model Checking. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Reynolds 0001, Radu Iosif, Cristina Serban, Tim King 0001 |
A Decision Procedure for Separation Logic in SMT. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse, Neeraj Suri |
Efficient Verification of Program Fragments: Eager POR. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid |
Certified Symbolic Execution. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet |
Solving Language Equations Using Flanked Automata. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Roehm, Jens Oehlerking, Thomas Heinz 0001, Matthias Althoff |
STL Model Checking of Continuous and Hybrid Systems. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Karina Wimmer, Ralf Wimmer 0001, Christoph Scholl 0001, Bernd Becker 0001 |
Skolem Functions for DQBF. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Marsha Chechik, Sebastián Uchitel |
Observational Refinement and Merge for Disjunctive MTSs. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Deininger, Rayna Dimitrova, Rupak Majumdar |
Symbolic Model Checking for Factored Probabilistic Models. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Hazem Torfah |
Synthesizing Skeletons for Reactive Systems. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol |
Partial-Order Reduction for GPU Model Checking. |
ATVA |
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. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Milan Ceska 0002, Marta Kwiatkowska |
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault |
Heuristics for Checking Liveness Properties with Partial Order Reductions. |
ATVA |
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. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |
Polynomial Invariants by Linear Algebra. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina |
Clause Sharing and Partitioning for Cloud-Based SMT Solving. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Brenguier, Vojtech Forejt |
Decidability Results for Multi-objective Stochastic Games. |
ATVA |
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 |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Helmut Seidl, Christian Müller 0008 |
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
Probabilistic Programming: A True Verification Challenge. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
Game Semantic Analysis of Equivalence in IMJ. |
ATVA |
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. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Nassim Seghir, David Aspinall 0001 |
EviCheck: Digital Evidence for Android. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál |
Optimal Continuous Time Markov Decisions. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantin Enea, Mihaela Sighireanu, Zhilin Wu |
On Automated Lemma Generation for Separation Logic with Inductive Definitions. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Steen Vester |
On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. |
ATVA |
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. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuchu Fan, Sayan Mitra |
Bounded Verification with On-the-Fly Discrepancy Computation. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Schäf, Ashish Tiwari 0001 |
Severity Levels of Inconsistent Code. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
A Contextual Equivalence Checker for IMJ ∗. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Faran, Orna Kupferman |
Spanning the Spectrum from Safety to Liveness. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler |
Stochastic Local Search for Falsification of Hybrid Systems. |
ATVA |
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). |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Tzoref-Brill, Shahar Maoz |
Lattice-Based Semantics for Combinatorial Model Evolution. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Test Case Generation of Actor Systems. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard |
Hierarchical Information Patterns and Distributed Strategy Synthesis. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig |
Learning the Language of Error. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Habib Saissi, Péter Bokor, Neeraj Suri |
PBMC: Symbolic Slicing for the Verification of Concurrent Programs. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle |
Formal Verification of Simulink/Stateflow Diagrams. |
ATVA |
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 |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Ben, A. Prasad Sistla |
Model Checking Failure-Prone Open Systems Using Probabilistic Automata. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | J Strother Moore |
Machines Reasoning About Machines: 2015. |
ATVA |
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. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnd Hartmanns, Holger Hermanns |
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. |
ATVA |
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. |
ATVA |
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. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hunter, Guillermo A. Pérez 0001, Jean-François Raskin |
Looking at Mean-Payoff Through Foggy Windows. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ferrère, Oded Maler, Dejan Nickovic |
Trace Diagnostics Using Temporal Implicants. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl 0001 |
Improving Interpolants for Linear Arithmetic. |
ATVA |
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. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Wang 0069, Yi Lv, Peng Wu 0002 |
TSO-to-TSO Linearizability Is Undecidable. |
ATVA |
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. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Mizera, Jun Pang 0001, Qixia Yuan |
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. |
ATVA |
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. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Rüdiger Ehlers, Robert Könighofer |
Cooperative Reactive Synthesis. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 |
Incremental Encoding and Solving of Cardinality Constraints. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Weifeng Wang, Li Jiao |
Trace Abstraction Refinement for Timed Automata. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Trtík, Jan Strejcek |
Symbolic Memory with Pointers. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
Booster: An Acceleration-Based Verification Framework for Array Programs. |
ATVA |
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. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoxin Su, David S. Rosenblum |
Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse |
Liveness Analysis for Parameterised Boolean Equation Systems. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Zhang 0027, Sriram Sankaranarayanan 0001, Fabio Somenzi |
Statistically Sound Verification and Optimization for Complex Systems. |
ATVA |
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. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga |
Modelling and Analysis of Markov Reward Automata. |
ATVA |
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. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Markey, Steen Vester |
Symmetry Reduction in Infinite Games with Finite Branching. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Iosif, Adam Rogalewicz, Tomás Vojnar |
Deciding Entailments in Inductive Separation Logic with Tree Automata. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu 0002 |
Efficiently and Completely Verifying Synchronized Consistency Models. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathanaël Fijalkow, Denis Kuperberg |
ACME: Automata with Counters, Monoids and Equivalence. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang 0001, Noa Shalev |
Test Coverage Estimation Using Threshold Accepting. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Aiswarya, Paul Gastin, K. Narayan Kumar |
Verifying Communicating Multi-pushdown Systems via Split-Width. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov |
Extensional Crisis and Proving Identity. |
ATVA |
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 |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Sánchez, César Sánchez 0001 |
Formal Verification of Skiplists with Arbitrary Many Levels. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Divjyot Sethi, Muralidhar Talupur, Sharad Malik |
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. |
ATVA |
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. |
ATVA |
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! |
ATVA |
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. |
ATVA |
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. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license