Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | David L. Dill |
Formal Verification and Biology. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 |
Controllable Test Cases for the Distributed Test Architecture. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer |
Goanna: Syntactic Software Model Checking. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer |
Model Based Importance Analysis for Minimal Cut Sets. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sriram K. Rajamani |
Tests, Proofs and Refinements. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mateescu 0001, Pedro T. Monteiro 0001, Estelle Dumas, Hidde de Jong |
Computation Tree Regular Logic for Genetic Regulatory Networks. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elie Bursztein |
NetQi: A Model Checker for Anticipation Game. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wei Dong 0006, Martin Leucker, Christian Schallhart |
Impartial Anticipation in Runtime-Verification. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin De Wulf, Laurent Doyen 0001, Nicolas Maquet, Jean-François Raskin |
Alaska. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee 0001, Mahesh Viswanathan 0001 (eds.) |
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun |
Tree Pattern Rewriting Systems. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
Compositional Verification for Component-Based Systems and Application. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlo A. Furia, Paola Spoletini |
Practical Efficient Modular Linear-Time Model-Checking. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lynch, Duc-Khanh Tran |
SMELS: Satisfiability Modulo Equality with Lazy Superposition. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej |
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jefferson O. Andrade, Yukiyoshi Kameyama |
A Direct Algorithm for Multi-valued Bounded Model Checking. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Eggers, Martin Fränzle, Christian Herde |
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra |
Decidable Compositions of O-Minimal Automata. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0001, Yu Yang 0013, Aarti Gupta, Ganesh Gopalakrishnan |
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | César Andrés, Mercedes G. Merayo, Manuel Núñez 0001 |
Passive Testing of Timed Systems. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang |
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
time progress, model-checking, convex, Timed automaton, concave, TCTL |
1 | Florian Horn 0001, Wolfgang Thomas, Nico Wallmeier |
Optimal Strategy Synthesis in Request-Response Games. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
Loop Summarization Using Abstract Transformers. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Natarajan Shankar |
Trust and Automation in Verification Tools. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim, Petr Rockai |
DiVinE Multi-Core - A Parallel LTL Model-Checker. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga |
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Zhang 0001, Holger Hermanns |
Deciding Simulations on Probabilistic Automata. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Alessandro Cimatti, Francesco Tapparo |
Symbolic Fault Tree Analysis for Reactive Systems. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guoqiang Li 0001, Mizuhito Ogawa |
On-the-Fly Model Checking of Fair Non-repudiation Protocols. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Nain, Moshe Y. Vardi |
Branching vs. Linear Time: Semantical Perspective. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Rodríguez, Manuel Núñez 0001 |
A Formal Methodology to Test Complex Heterogeneous Systems. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schewe, Bernd Finkbeiner |
Bounded Synthesis. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bijan Alizadeh, Masahiro Fujita |
Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
Formal Verification, System on a Chip (SoC), Communication System, Canonical Representation, Sequential Equivalence Checking |
1 | Orna Kupferman, Yoad Lustig |
Latticed Simulation Relations and Games. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Gawlitza, Helmut Seidl |
Computing Game Values for Crash Games. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Judi Romijn, Wieger Wesselink, Arjan J. Mooij |
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Moonzoo Kim |
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.) |
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Hasegawa |
Recent Trend in Industry and Expectation to DA Research. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider |
Model Checking Contracts - A Case Study. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti |
Verifying Heap-Manipulating Programs in an SMT Framework. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Whitehead, Jordan Johnson, Martín Abadi |
Policies and Proofs for Code Auditing. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Assaf Schuster, Avi Yadgar |
3-Valued Circuit SAT for STE with Automatic Refinement. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Berthomieu, Florent Peres, François Vernadat 0001 |
Model Checking Bounded Prioritized Time Petri Nets. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar |
Proving Termination of Tree Manipulating Programs. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart |
Efficient Approximate Verification of Promela Models Via Symmetry Markers. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Geng-Dian Huang, Bow-Yaw Wang |
Complete SAT-Based Model Checking for Context-Free Processes. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin |
Timed Control with Observation Based and Stuttering Invariant Strategies. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan |
Toward Property-Driven Abstraction for Heap Manipulating Programs. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Walter, Scott Little, Chris J. Myers |
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez |
A Brief Introduction to THOTL. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Laura Recalde, Serge Haddad, Manuel Silva Suárez |
Continuous Petri Nets: Expressive Power and Decidability Issues. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Han 0001, Joost-Pieter Katoen |
Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schewe, Bernd Finkbeiner |
Distributed Synthesis for Alternating-Time Logics. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach |
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini |
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Indranil Saha, Janardan Misra, Suman Roy 0001 |
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rotem Oshman, Orna Grumberg |
A New Approach to Bounded Model Checking for Branching Time Logics. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Scott Little, David Walter, Kevin R. Jones, Chris J. Myers |
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Bauer 0001, Tobe Toben, Bernd Westphal |
Mind the Shapes: Abstraction Refinement Via Topology Invariants. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christian Dax, Jochen Eisinger, Felix Klaedtke |
Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Torabi Dashti, Anton Wijs |
Pruning State Spaces with Extended Beam Search. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
On the Efficient Computation of the Minimal Coverability Set for Petri Nets. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Pinchinat |
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang 0001, Florian Pigorsch, Christoph Scholl 0001, Uwe Waldmann, Boris Wirtz |
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wonhong Nam, Rajeev Alur |
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker 0001 |
Sigref- A Symbolic Bisimulation Tool Box. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Thomas Chatain, Claude Jard |
Symbolic Unfoldings for Networks of Timed Automata. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen |
Towards a Model-Checker for Counter Systems. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal |
Branching-Time Property Preservation Between Real-Time Systems. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu |
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore La Torre, Margherita Napoli, Mimmo Parente |
On the Membership Problem for Visibly Pushdown Languages. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jin Yang 0006 |
Verification Challenges and Opportunities in the New Era of Microprocessor Design. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Malte Helmert, Robert Mattmüller, Sven Schewe |
Selective Approaches for Solving Weak Games. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fei Xie, Guowu Yang, Xiaoyu Song |
Compositional Reasoning for Hardware/Software Co-verification. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson, Alice Miller 0001 |
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ye Zhang 0002, Hanne Riis Nielson |
Analyzing Security Protocols in Hierarchical Networks. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001 |
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pao-Ann Hsiung, Shang-Wei Lin 0001, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao |
Model Checking Timed Systems with Urgencies. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tomohiro Yoneda, Chris J. Myers |
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Songtao Xia, Ben Di Vito, César A. Muñoz |
Predicate Abstraction of Programs with Non-linear Computation. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga |
A Semantic Framework for Test Coverage. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang 0001, Florian Pigorsch, Christoph Scholl 0001, Uwe Waldmann, Boris Wirtz |
Automatic Verification of Hybrid Systems with Large Discrete State Space. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | M. C. Dharmadeep, K. Gopinath |
Proactive Leader Election in Asynchronous Shared Memory Systems. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher, Michael Huth 0001 |
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie |
Timed Temporal Logics for Abstracting Transient States. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Cachat |
Controller Synthesis and Ordinal Automata. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball |
Automated Abstraction of Software. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Puneet Bhateja, Paul Gastin, Madhavan Mukund |
A Fresh Look at Testing for Asynchronous Communication. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno, Javier Esparza, Jirí Srba |
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Timed Unfoldings for Networks of Timed Automata. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Colin J. Fidge, Yu-Chu Tian |
Functional Analysis of a Real-Time Protocol for Networked Control Systems. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Graf, Wenhui Zhang (eds.) |
Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Orna Kupferman |
On the Succinctness of Nondeterminism. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0001, Zijiang Yang 0006, Franjo Ivancic, Aarti Gupta |
Whodunit? Causal Analysis for Counterexamples. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Niebert, Hongyang Qu 0001 |
The Implementation of Mazurkiewicz Traces in POEM. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Robby Lampert |
On the Construction of Fine Automata for Safety Properties. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|