Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Samik Basu 0001, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan 0001 |
Resource-Constrained Model Checking of Recursive Programs. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky, Hasan Ural |
A Temporal Logic Based Theory of Test Coverage and Generation. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Suzana Andova, Jos C. M. Baeten |
Abstraction in Probabilistic Process Algebra. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner |
Language Containment Checking with Nondeterministic BDDs. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Benet Devereux, Steve M. Easterbrook |
Implementing a Multi-valued Symbolic Model Checker. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Klose, Hartmut Wittke |
An Automata Based Interpretation of Live Sequence Charts. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager |
Linear Parametric Model Checking of Timed Automata. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Elsa L. Gunter, Anca Muscholl, Doron A. Peled |
Compositional Message Sequence Charts. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Del Castillo |
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang |
Is There a Best Symbolic Cycle-Detection Algorithm? |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Paritosh K. Pandya |
Model Checking CTL*[DC]. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola |
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn |
Efficient Guiding Towards Cost-Optimality in UPPAAL. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Søren Christensen, Lars Michael Kristensen, Thomas Mailund |
A Sweep-Line Method for State Space Exploration. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan |
A Library for Composite Symbolic Representations. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler, Orna Kupferman, Moshe Y. Vardi |
Coverage Metrics for Temporal Logic Model Checking. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Wang Yi 0001 (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Sagar Chaki, Sriram K. Rajamani |
Parameterized Verification of Multithreaded Software Libraries. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Amie L. Souter, Tiffany M. Wong, Stacey A. Shindo, Lori L. Pollock |
TATOO: Testing and Analysis Tool for Object- Oriented Software. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink |
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu |
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Fu 0001, Tevfik Bultan, Richard Hull 0001, Jianwen Su |
Verification of Vortex Workflows. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli |
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre |
Incremental Verification by Abstraction. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Brian Nielsen, Arne Skou |
Automated Test Generation from Timed Automata. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joachim van den Berg, Bart Jacobs 0001 |
The LOOP Compiler for Java and JML. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav N. Velev |
Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Noll 0001, Lars-Åke Fredlund, Dilian Gurov |
The Erlang Verification Tool. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Li Tan, Rance Cleaveland |
Simulation Revisited. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Colón, Henny Sipma |
Synthesis of Linear Ranking Functions. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck |
Automatic Deductive Verification with Invisible Invariants. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sarfraz Khurshid |
Testing an Intentional Naming Scheme Using Genetic Algorithms. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Sebastiani, Alessandro Tomasi 0002, Fausto Giunchiglia |
Model Checking Syllabi and Student Carreers. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen |
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Ricca, Paolo Tonella |
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Martin Leucker, Michael Weber 0002 |
Parallel Model Checking for the Alternation Free µ-Calculus. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alan Mycroft, Richard Sharp |
Hardware/Software Co-Design Using Functional Languages. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael P. Fourman |
Propositional Reasoning. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Boolean and Cartesian Abstraction for Model Checking C Programs. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard |
Satisfiability Checking Using Boolean Expression Diagrams. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001, Harald Rueß, Hassen Saïdi, Natarajan Shankar |
A Technique for Invariant Generation. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Branching vs. Linear Time: Final Showdown. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mateescu 0001 |
Efficient Diagnostic Generation for Boolean Equation Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Niemann, Roswitha Bardohl |
Tool-Based Specification of Visual Languages and Graphic Editors. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yuhong Xiong, Edward A. Lee |
An Extensible Type System for Component-Based Design. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Schmidt 0004 |
Integrating Low Level Symmetries into Reachability Analysis. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
symmetries, reachability analysis, automorphisms |
1 | Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl |
Abstracting WS1S Systems to Verify Parameterized Networks. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Meyer 0004, Arnd Poetzsch-Heffter |
An Architecture for Interactive Program Provers. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
A Markov Chain Model Checker. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Larsson, Paul Pettersson, Wang Yi 0001 |
On Memory-Block Traversal Problems in Model-Checking Timed-Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic |
1 | Michael Goedicke, Bettina Enders, Torsten Meyer, Gabriele Taentzer |
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tevfik Bultan |
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Wolper, Bernard Boigelot |
On the Construction of Automata from Linear Arithmetic Constraints. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Rupak Majumdar |
Symbolic Model Checking for Rectangular Hybrid Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang |
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tamarah Arons, Amir Pnueli |
A Comparison of Two Verification Methods for Speculative Instruction Execution. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Krimm, Laurent Mounier |
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham |
The PROSPER Toolkit. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Braun 0003, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch |
Consistent Integration of Formal Methods. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova |
Model Checking SDL with Spin. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ramesh Bharadwaj, Steve Sims |
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Sriram K. Rajamani |
Fair Bisimulation. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno, Jean-François Raskin |
Symbolic Representation of Upward-Closed Sets. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Bodeveix, Mamoun Filali |
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
abstraction, transition systems, monadic second order logic, model checker |
1 | Till Mossakowski |
CASL: From Semantics to Tools. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Moataz Kamel, Stefan Leue |
VIP: A Visual Editor and Compiler for v-Promela. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
Using Static Analysis to Improve Automatic Test Generation. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
static analysis, bisimulation, conformance testing, slicing, asynchronous systems |
1 | Susanne Graf, Michael I. Schwartzbach (eds.) |
Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
Partial Order Reductions for Security Protocol Verification. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
partial order reductions and security, Model checking |
1 | David Aspinall 0001 |
Proof General: A Generic Tool for Proof Development. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Jonsson 0001, Marcus Nilsson |
Transitive Closures of Regular Relations for Verifying Infinite-State Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka |
Verification of Parameterized Systems Using Logic Program Transformations. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Del Castillo, Kirsten Winter |
Model Checking Support for the ASM High-Level Language. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Juhana Helovuo, Antti Valmari |
Checking for CFFD-Preorder with Tester Processes. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Fausto Giunchiglia |
Model Checking Security Protocols Using a Logic of Belief. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Roberto Segala |
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Per Bjesse, Niklas Eén |
Symbolic Reachability Analysis Based on SAT-Solvers. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Bornot, Gregor Gößler, Joseph Sifakis |
On the Construction of Live Timed Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu |
Symbolic Model Checking without BDDs. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Kramer, Jeff Magee |
Modelling for Mere Mortals. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Rusu, Eli Singerman |
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hakim Kahlouche, César Viho, Massimo Zendri |
Hardware Testing Using a Communication Protocol Conformance Testing Tool. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Zhoujun Li, Huowang Chen |
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen |
The ETI Online Service in Action. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jason Hickey, Nancy A. Lynch, Robbert van Renesse |
Specifications and Proofs for Ensemble Layers. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens |
Some Issues in the Software Engineering of Verification Tools. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Twan Basten, Jozef Hooman |
Process Algebra in PVS. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Anatoly G. Bakhmurov, A. P. Kapitonova, Ruslan L. Smeliansky |
DYANA: An Environment for Embedded System Design and Analysis. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Elsa L. Gunter, Doron A. Peled |
Path Exploration Tool. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani |
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mark K. Gardner, Jane W.-S. Liu |
Analyzing Stochastic Fixed-Priority Real-Time Systems. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Marco Pistore |
Finite State Verification for the Asynchronous pi-Calculus. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Davide Marchignoli, Fabio Martinelli |
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop |
From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural |
1 | Christoph Kreitz |
Automated Fast-Track Reconfiguration of Group Communication Systems. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Keijo Heljanko |
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno, Andreas Podelski |
Model Checking in CLP. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|