Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sami Evangelista, Laure Petrucci, Samir Youcef |
Parallel Nested Depth-First Searches for LTL Model Checking. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Obdrzálek, Marek Trtík |
Efficient Loop Navigation for Symbolic Execution. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | E. Allen Emerson, Roopsha Samanta |
An Algorithmic Framework for Synthesis of Concurrent Programs. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba |
Parametric Modal Transition Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu 0001, Wang Yi 0001 |
McAiT - A Timing Analyzer for Multicore Real-Time Software. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg |
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Darondeau, Loïc Hélouët, Madhavan Mukund |
Assembling Sessions. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault |
Policy Iteration within Logico-Numerical Abstract Domains. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Wojtczak |
Trust Metrics for the SPKI/SDSI Authorisation Framework. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Schuppan, Luthfi Darmawan |
Evaluating LTL Satisfiability Solvers. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Orna Kupferman, Robby Lampert |
Formal Analysis of Online Algorithms. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Moonzoo Kim, Yunho Kim |
Automated Analysis of Industrial Embedded Software. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali |
An Alternative Definition for Timed Automata Composition. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lu Feng 0001, Tingting Han 0001, Marta Z. Kwiatkowska, David Parker 0001 |
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hongfei Fu 0001 |
Model Checking EGF on Basic Parallel Processes. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Thomas Martin Gawlitza |
Discretizing Affine Hybrid Automata with Uncertainty. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels |
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen 0001, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll |
Algorithms for Synthesizing Priorities in Component-Based Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shang-Wei Lin 0001, Étienne André, Jin Song Dong, Jun Sun 0001, Yang Liu 0003 |
An Efficient Algorithm for Learning Event-Recording Automata. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar |
Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig |
Making Software Verification Tools Really Work. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian S. Bauer, Philip Mayer, Axel Legay |
MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sofia Cassel, Falk Howar, Bengt Jonsson 0001, Maik Merten, Bernhard Steffen |
A Succinct Canonical Register Automaton Model. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber 0002, Anton Wijs |
Multi-core Nested Depth-First Search. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier |
A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiaki Takata, Hiroyuki Seki |
Automatic Generation of History-Based Access Control from Information Flow Specification. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Thao Dang 0001, Oded Maler, Romain Testylier |
Using Redundant Constraints for Refinement. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla |
On Scenario Synchronization. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
Abstraction Learning. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui |
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Trivedi 0001, Dominik Wojtczak |
Recursive Timed Automata. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Teng Long, Wenhui Zhang |
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gherghina, Cristina David |
A Specification Logic for Exceptions and Beyond. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Elwakil, Zijiang Yang 0006, Liqiang Wang |
CRI: Symbolic Debugger for MCAPI Applications. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dana N. Xu, Gregor Gößler, Alain Girault |
Probabilistic Contracts for Component-Based Design. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger |
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez |
The Complexity of Codiagnosability for Discrete Event and Timed Systems. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Compositional Algorithms for LTL Synthesis. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko |
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ukachukwu Ndukwu, A. K. McIver |
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Lisitsa 0001 |
Reachability as Derivability, Finite Countermodels and Verification. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll |
GAVS: Game Arena Visualization and Synthesis. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Atul Gupta |
An Approach for Class Testing from Class Contracts. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guy Edward Gallasch, Jonathan Billington |
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin |
Lattice-Valued Binary Decision Diagrams. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001 |
Model-Checking Web Applications with Web-TLR. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Developing Model Checkers Using PAT. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton |
Methods for Knowledge Based Controlling of Distributed Systems. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gal Katz, Doron A. Peled |
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux |
Symbolic Unfolding of Parametric Stopwatch Petri Nets. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Herbreteau, B. Srivathsan |
Efficient On-the-Fly Emptiness Check for Timed Büchi Automata. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Igor Walukiewicz |
Synthesis: Words and Traces. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carlo A. Furia |
What's Decidable about Sequences? |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marc Solé, Josep Carmona 0001 |
Rbminer: A Tool for Discovering Petri Nets from Transition Systems. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski |
Composing Reachability Analyses of Hybrid Systems for Safety and Stability. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Yoram Hirshfeld, Orna Kupferman |
Promptness in omega-Regular Automata. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Wei-Ngan Chin (eds.) |
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kamal Lodaya, A. V. Sreejith |
LTL Can Be More Succinct. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mark R. Greenstreet |
Verifying VLSI Circuits. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner |
Synthesis of Fault-Tolerant Distributed Systems. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jaco van de Pol, Mark Timmer |
State Space Reduction of Linear Processes Using Control Flow Reconstruction. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Friedmann, Martin Lange |
Solving Parity Games in Practice. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | A. W. Roscoe 0001, Philip J. Armstrong, Pragyesh |
Local Search in Model Checking. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji |
Automated Analysis of Data-Dependent Programs with Dynamic Memory. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jaco Geldenhuys, Henri Hansen, Antti Valmari |
Exploring the Scope for Partial Order Reduction. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yang Zhao 0011, Gianfranco Ciardo |
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
Incremental False Path Elimination for Static Software Analysis. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Diana El Rabih, Nihal Pekergin |
Statistical Model Checking Using Perfect Simulation. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Anders P. Ravn (eds.) |
Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma |
Don't Know for Multi-valued Systems. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg |
3-Valued Abstraction for (Bounded) Model Checking. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yael Meller, Orna Grumberg, Sharon Shoham |
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jens Oehlerking, Oliver E. Theel |
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Jérémy Dubreil, Hervé Marchand |
Dynamic Observers for the Synthesis of Opaque Systems. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hongtao Huang |
On Detecting Regular Predicates in Distributed Systems. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christian Dax, Felix Klaedtke, Stefan Leue |
Specification Languages for Stutter-Invariant Regular Properties. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba |
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jacob M. Howe, Andy King |
Logahedra: A New Weakly Relational Domain. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
CLAN: A Tool for Contract Analysis and Conflict Discovery. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Marcus Größer, Frank Ciesinski |
Quantitative Analysis under Fairness Constraints. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sandip Ray, Kecheng Hao, Yan Chen 0001, Fei Xie, Jin Yang 0006 |
Formal Verification for High-Assurance Behavioral Synthesis. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michal Kebrt, Ondrej Sery |
UnitCheck: Unit Testing and Model Checking Combined. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hrishikesh Karmarkar, Supratik Chakraborty |
On Minimal Odd Rankings for Büchi Complementation. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin |
Memory Usage Verification Using Hip/Sleek. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre |
LTL Model Checking of Time-Inhomogeneous Markov Chains. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur |
On-the-fly Emptiness Check of Transition-Based Streett Automata. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu 0001 |
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Geng-Dian Huang, Lin-Zan Cai, Farn Wang |
LTL Model Checking for Recursive Programs. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
CTLModel-Checking with Graded Quantifiers. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara |
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
Quantifier-free first order logic, state exploration, term-height reduction, model checking |
1 | Lingyun Luo |
Deciding Bisimilarity of Full BPA Processes Locally. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Automating Algebraic Specifications of Non-freely Generated Data Types. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models |
1 | Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh 0002, P. Vignesh V. Ganesan |
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Model Checking Recursive Programs with Exact Predicate Abstraction. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gal Katz, Doron A. Peled |
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nawel Gharbi |
On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
Multiserver retrial systems, Finite-source, Vacation policies, Modeling and Performance measures, Generalized Stochastic Petri nets |
1 | Marcel Kyas, Cristian Prisacariu, Gerardo Schneider |
Run-Time Monitoring of Electronic Contracts. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lynch, Yuefeng Tang |
Interpolants for Linear Arithmetic in SMT. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guoqiang Li 0001, Mizuhito Ogawa |
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|