| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | Hongfei Fu |
Model Checking EGF on Basic Parallel Processes. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker |
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel A. Carrillo, David A. Rosenblueth |
Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. |
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 | Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
Hierarchical Counterexamples for Discrete-Time Markov Chains. |
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 | Houssam Abbas, Georgios E. Fainekos |
Linear Hybrid System Falsification through Local Search. |
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 | Mohamed Nassim Seghir |
A Lightweight Approach for Loop Summarization. |
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 | Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao |
Symbolic Verification and Test Generation for a Network of Communicating FSMs. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Evangelista, Laure Petrucci, Samir Youcef |
Parallel Nested Depth-First Searches for LTL Model Checking. |
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 | Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel |
Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. |
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 | 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 | Shaull Almagor, Orna Kupferman |
Max and Sum Semantics for Alternating Weighted Automata. |
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 | Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen |
A Succinct Canonical Register Automaton Model. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll |
Algorithms for Synthesizing Priorities in Component-Based Systems. |
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 | Liya Liu, Osman Hasan, Sofiène Tahar |
Formalization of Finite-State Discrete-Time Markov Chains in HOL. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Yunho Kim |
Automated Analysis of Industrial Embedded Software. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Neider |
Small Strategies for Safety Games. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled, Sven Schewe |
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. |
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 | Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin |
Antichain-Based QBF Solving. |
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 |
|
| 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 | Philippe Darondeau, Loïc Hélouët, Madhavan Mukund |
Assembling Sessions. |
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 | 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 | 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 | 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 | Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali |
An Alternative Definition for Timed Automata Composition. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wei Lin, É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 | Thao Dang, Thomas Martin Gawlitza |
Discretizing Affine Hybrid Automata with Uncertainty. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi |
McAiT - A Timing Analyzer for Multicore Real-Time Software. |
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 | Nikola Benes, Ivana Cerná, Jan Kretínský |
Modal Transition Systems: Composition and LTL Model Checking. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Gherghina, Cristina David |
A Specification Logic for Exceptions and Beyond. |
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 | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
Abstraction Learning. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lisitsa |
Reachability as Derivability, Finite Countermodels and Verification. |
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 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Compositional Algorithms for LTL Synthesis. |
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 | 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 | Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla |
On Scenario Synchronization. |
ATVA |
2010 |
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 | Krishnendu Chatterjee, Thomas A. Henzinger |
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. |
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 | Dana N. Xu, Gregor Gößler, Alain Girault |
Probabilistic Contracts for Component-Based Design. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Atul Gupta |
An Approach for Class Testing from Class Contracts. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton |
Methods for Knowledge Based Controlling of Distributed Systems. |
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 | Marc Solé, Josep Carmona |
Rbminer: A Tool for Discovering Petri Nets from Transition Systems. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled |
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. |
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 | Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois Knoll |
GAVS: Game Arena Visualization and Synthesis. |
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 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Developing Model Checkers Using PAT. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Trivedi, Dominik Wojtczak |
Recursive Timed Automata. |
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 | Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski |
Composing Reachability Analyses of Hybrid Systems for Safety and Stability. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |
Using Redundant Constraints for Refinement. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Demis Ballis, Javier Espert, Daniel Romero |
Model-Checking Web Applications with Web-TLR. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Elwakil, Zijiang Yang, Liqiang Wang |
CRI: Symbolic Debugger for MCAPI Applications. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. |
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 | Kamal Lodaya, A. V. Sreejith |
LTL Can Be More Succinct. |
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 | Carlo A. Furia |
What's Decidable about Sequences? |
ATVA |
2010 |
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 | Christel Baier, Marcus Größer, Frank Ciesinski |
Quantitative Analysis under Fairness Constraints. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg |
3-Valued Abstraction for (Bounded) Model Checking. |
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 | Jens Oehlerking, Oliver E. Theel |
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. |
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 | Hrishikesh Karmarkar, Supratik Chakraborty |
On Minimal Odd Rankings for Büchi Complementation. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
LTL Model Checking of Time-Inhomogeneous Markov Chains. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark R. Greenstreet |
Verifying VLSI Circuits. |
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 | Oliver Friedmann, Martin Lange |
Solving Parity Games in Practice. |
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 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
CLAN: A Tool for Contract Analysis and Conflict Discovery. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Zhao, Gianfranco Ciardo |
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. |
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 | Zhiming Liu, 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 | Hongtao Huang |
On Detecting Regular Predicates in Distributed 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 | Christian Dax, Felix Klaedtke, Stefan Leue |
Specification Languages for Stutter-Invariant Regular Properties. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang |
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 | Rayna Dimitrova, Bernd Finkbeiner |
Synthesis of Fault-Tolerant Distributed Systems. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | A. W. Roscoe, P. J. Armstrong, Pragyesh |
Local Search in Model Checking. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")