Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz |
Acceleration of Affine Hybrid Transformations. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zuzana Komárková, Jan Kretínský |
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta |
Formal Safety Assessment via Contract-Based Design. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Patrick Gardy, Nicolas Markey |
Quantitative Verification of Weighted Kripke Structures. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
Robustness Analysis of String Transducers. |
ATVA |
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. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Romain Testylier, Thao Dang 0001 |
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty |
Improved Upper and Lower Bounds for Büchi Disambiguation. |
ATVA |
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. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Roux, Pierre-Loïc Garoche |
Integrating Policy Iterations in Abstract Interpreters. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Fronc, Alexandre Duret-Lutz |
LTL Model Checking with Neco. |
ATVA |
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. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Laurent Fribourg, Romain Soulat |
Merge and Conquer: State Merging in Parametric Timed Automata. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu |
Control Flow Refinement and Symbolic Computation of Average Case Bound. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Slaby, Jan Strejcek, Marek Trtík |
Compact Symbolic Execution. |
ATVA |
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. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuya Uezato, Yasuhiko Minamide |
Pushdown Systems with Stack Manipulation. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux |
Acceleration for Petri Nets. |
ATVA |
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. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sami Evangelista, Lars Michael Kristensen, Laure Petrucci |
Multi-threaded Explicit State Space Exploration with State Reconstruction. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Duret-Lutz |
Manipulating LTL Formulas Using Spot 1.0. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas |
Kleene Algebras and Semimodules for Energy Problems. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Hoffmann, Michael Luttenberger |
Solving Parity Games on the GPU. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg |
Analysis of Message Passing Programs Using SMT-Solvers. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Arlt, Philipp Rümmer, Martin Schäf |
A Theory for Control-Flow Graph Exploration. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandra Jovanovic 0002, Didier Lime, Olivier H. Roux |
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti |
SMT-Based Software Model Checking - Explicit Scheduler, Symbolic Threads. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
An Expressive Framework for Verifying Deadlock Freedom. |
ATVA |
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 |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
SmacC: A Retargetable Symbolic Execution Engine. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sigal Weiner, Matan Hasson, Orna Kupferman, Eyal Pery, Zohar Shevach |
Weighted Safety. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski |
Linear Ranking for Linear Lasso Programs. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim |
Precise Cost Analysis via Local Reasoning. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Wojtczak |
Expected Termination Time in BPA Games. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Salomon Sickert |
MoTraS: A Tool for Modal Transition Systems and Their Extensions. |
ATVA |
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. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shoham Ben-David, Orna Kupferman |
A Framework for Ranking Vacuity Results. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Louis-Marie Traonouez |
PyEcdar: Towards Open Source Implementation for Timed Systems. |
ATVA |
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. |
ATVA |
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. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, David Parker 0001 |
Automated Verification and Strategy Synthesis for Probabilistic Systems. |
ATVA |
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. |
ATVA |
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. |
ATVA |
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. |
ATVA |
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. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | César Rodríguez, Stefan Schwoon |
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Ruslán Ledesma-Garza |
Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina |
Interpolation Properties and SAT-Based Model Checking. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shuyuan Zhang, Sharad Malik |
SAT Based Verification of Network Data Planes. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
An Experiment on Parallel Model Checking of a CTL Fragment. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Giro, Markus N. Rabe |
Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. |
ATVA |
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. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Higher-Order Approximations for Verification of Stochastic Hybrid Systems. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun |
A Probabilistic Kleene Theorem. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik |
Parallel Assertions for Architectures with Weak Memory Models. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Gaiser, Jan Kretínský, Javier Esparza |
Rabinizer: Small Deterministic Automata for LTL(F, G). |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta |
Improved Single Pass Algorithms for Resolution Proof Reduction. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer |
Accelerating Interpolants. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sucheendra K. Palaniappan, P. S. Thiagarajan |
Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shuyuan Zhang, Sharad Malik, Rick McGeer |
Verification of Computer Switching Networks: An Overview. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Gwen Salaün, Meriem Ouederni |
Counterexample Guided Synthesis of Monitors for Realizability Enforcement. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol |
Improved Multi-Core Nested Depth-First Search. |
ATVA |
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. |
ATVA |
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. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shulamit Halamish, Orna Kupferman |
Approximating Deterministic Lattice Automata. |
ATVA |
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). |
ATVA |
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. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001 |
Pareto Curves for Probabilistic Model Checking. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
Model Checking Systems and Specifications with Parameterized Atomic Propositions. |
ATVA |
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. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Podelski |
Interpolant Automata - (Invited Talk). |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Becker 0001, Rüdiger Ehlers, Matthew Lewis 0004, Paolo Marin |
ALLQBF Solving by Computational Learning. |
ATVA |
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 |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter |
Variable Probabilistic Abstraction Refinement. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider |
Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlo A. Furia |
A Verifier for Functional Properties of Sequence-Manipulating Programs. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schewe, Thomas Varghese |
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. |
ATVA |
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. |
ATVA |
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. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |
Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Fearnley, Doron A. Peled, Sven Schewe |
Synthesis of Succinct Systems. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Orna Kupferman |
Max and Sum Semantics for Alternating Weighted Automata. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Houssam Abbas, Georgios Fainekos |
Linear Hybrid System Falsification through Local Search. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nassim Seghir |
A Lightweight Approach for Loop Summarization. |
ATVA |
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 |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider |
Small Strategies for Safety Games. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Udi Boker, Orna Kupferman |
What's Decidable about Weighted Automata? |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Fujita |
Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault |
Widening with Thresholds for Programs with Complex Control Graphs. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Ivana Cerná, Jan Kretínský |
Modal Transition Systems: Composition and LTL Model Checking. |
ATVA |
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. |
ATVA |
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. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gal Katz, Doron A. Peled, Sven Schewe |
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Carrillo, David A. Rosenblueth |
Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. |
ATVA |
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. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liya Liu, Osman Hasan, Sofiène Tahar |
Formalization of Finite-State Discrete-Time Markov Chains in HOL. |
ATVA |
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. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Paolo Zuliani |
Statistical Model Checking for Cyber-Physical Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|