Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor |
Non-deterministic Temporal Logics for General Flow Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Fang Wang, Sofiène Tahar, Otmane Aït Mohamed |
First-Order LTL Model Checking Using MDGs. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Franz Weitl, Burkhard Freitag |
Checking Semantic Integrity Constraints on Integrated Web Documents. |
ER (Workshops) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Marc Solé, Enric Pastor |
Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Nadjet Kamel |
Utilisation de SMV pour la vérification de propriétés d'IHM multimodales. |
IHM |
2004 |
DBLP DOI BibTeX RDF |
formal methods, multimodal interaction |
9 | Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo |
Model checking in object-oriented Petri nets. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Guido Boella, Leendert W. N. van der Torre |
Game Specification in Normative Multiagent System: The Trias Politica. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Arie Gurfinkel, Marsha Chechik |
How Vacuous Is Vacuous? |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Berndt Farwer, Michael Leuschel |
Model checking object petri nets in prolog. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
model checking, compilation, animation, prolog, object petri nets |
9 | Stefan Wölfl 0001 |
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Mikolaj Bojanczyk, Igor Walukiewicz |
Characterizing EF and EX Tree Logics. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith |
Verification by Network Decomposition. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
9 | François Laroussinie, Nicolas Markey, Philippe Schnoebelen |
Model Checking Timed Automata with One or Two Clocks. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin |
Model Checking Biological Systems Described Using Ambient Calculus. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Tobias Nopper, Christoph Scholl 0001 |
Approximate Symbolic Model Checking for Incomplete Designs. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Arie Gurfinkel, Marsha Chechik |
Extending Extended Vacuity. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Mario Verdicchio, Marco Colombetti |
Dealing with Time in Content Language Expressions. |
AC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer |
Designing a Deontic Logic of Deadlines. |
DEON |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Kai-Yuan Cai, Xiang-Yun Wang |
Towards a Control-Theoretical Approach to Software Fault-Tolerance. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Ahmed Bouajjani, Antoine Meyer |
Symbolic Reachability Analysis of Higher-Order Context-Free Processes. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Maria Sorea |
Lazy Approximation for Dense Real-Time Systems. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jürgen Ruf, Thomas Kropf |
Symbolic Verification and Analysis of Discrete Timed Systems. |
Formal Methods Syst. Des. |
2003 |
DBLP DOI BibTeX RDF |
multi terminal binary decision diagrams, real-time systems, formal verification, symbolic model checking |
9 | Ron van der Meyden, Ka-Shu Wong |
Complete Axiomatizations for Reasoning about Knowledge and Branching Time. |
Stud Logica |
2003 |
DBLP DOI BibTeX RDF |
perfect recall, multi-agent systems, temporal logic, modal logic, epistemic logic, synchrony, logic of knowledge, branching time |
9 | Orna Kupferman, Moshe Y. Vardi |
Vacuity detection in temporal model checking. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Vacuous satisfaction, Model checking |
9 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
A tool for model-checking Markov chains. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Numerical mathematics, Performance evaluation, Model checking, Temporal logic, Markov chain, Probabilistic systems |
9 | Michael J. C. Gordon |
Validating the PSL/Sugar Semantics Using Automated Reasoning. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Accellera, Property language, Sugar, Model checking, Semantics, Formal verification, Theorem proving, Higher-order logic, PSL, HOL |
9 | Marsha Chechik, Arie Gurfinkel |
TLQSolver: A Temporal Logic Query Checker. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Claus Schröter, Stefan Schwoon, Javier Esparza |
The Model-Checking Kit. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Govert van Drimmelen |
Satisfiability in Alternating-time Temporal Logic. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | P. Madhusudan |
Model-checking Trace Event Structures. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Ivana Cerná, Radek Pelánek |
Distributed Explicit Fair Cycle Detection (Set Based Approach). |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Farn Wang, Geng-Dian Hwang, Fang Yu 0001 |
TCTL Inevitability Analysis of Dense-Time Systems. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL |
9 | Mustapha Bourahla, Mohamed Benmohamed |
Verification of Real-Time Systems by Abstraction of Time Constraints. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
Real-time systems, Model Checking, Formal Verification, Predicate Abstraction, Timed Automaton |
9 | Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain |
Improved Symbolic Verification Using Partitioning Techniques. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Maarten Marx |
XPath and Modal Logics of Finite DAG's. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Arie Gurfinkel, Marsha Chechik |
Proof-Like Counter-Examples. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Heike Wehrheim |
Inheritance of Temporal Logic Properties. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Nathalie Chabrier, François Fages |
Symbolic Model Checking of Biochemical Networks. |
CMSB |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Tim Kempster, Colin Stirling |
Modeling and Model Checking Mobile Phone Payment Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Hyoung Seok Hong, Sung Deok Cha, Insup Lee 0001, Oleg Sokolsky, Hasan Ural |
Data Flow Testing as Model Checking. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu |
Logical and Stochastic Modeling with SMART. |
Computer Performance Evaluation / TOOLS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Suzana Andova, Holger Hermanns, Joost-Pieter Katoen |
Discrete-Time Rewards Model-Checked. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Bozena Wozna, Andrzej Zbrzezny |
Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Georg Gottlob, Erich Grädel, Helmut Veith |
Datalog LITE: a deductive query language with linear time model checking. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
guarded logics, verification, Complexity, databases, temporal logics |
9 | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman |
Alternating-time temporal logic. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
temporaxl logic, model checking, games, Alternation |
9 | Walter Hartong, Lars Hedrich, Erich Barke |
On Discrete Modeling and Model Checking for Nonlinear Analog Systems. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
I-Search: A System for Intelligent Information Search on the Web. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Sooyong Kang, Heon Young Yeom |
Smoothed fetching: bridging the data layout and transmission schemes in multimedia servers. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
multimedia system, data placement, traffic smoothing |
9 | Thomas Firley, Ursula Goltz |
Property Dependent Abstraction of Control Structure for Software Verification. |
FME |
2002 |
DBLP DOI BibTeX RDF |
property oriented abstraction, algorithmic construction of abstract semantics, software verification |
9 | François Laroussinie, Nicolas Markey, Philippe Schnoebelen |
On Model Checking Durational Kripke Structures. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Hector A. Andrade, Beverly Sanders |
An Approach to Compositional Model Checking. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng |
Symbolic model checking of Dual Transition Petri Nets. |
CODES |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Stephan Flake, Wolfgang Müller 0003 |
An OCL Extension for Real-Time Constraints. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Katerina Korenblat, Orna Grumberg, Shmuel Katz |
Translations between Textual Transition Systems and Petri Nets. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
textual transition systems, structure and semantics preservation, Petri nets, model translations |
9 | 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 |
|
9 | Stephan Flake, Wolfgang Müller 0003 |
Specification of Real-Time Properties for UML Models. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
UML, Object Constraint Language, Real-Time Constraints, Property Specification |
9 | David N. Jansen, Holger Hermanns, Joost-Pieter Katoen |
A Probabilistic Extension of UML Statecharts. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
model checking, semantics, probabilities, Markov decision processes, UML statecharts |
9 | Ferucio Laurentiu Tiplea, Aurora Tiplea |
A Simulation Preorder for Abstraction of Reactive Systems. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Marco Faella, Salvatore La Torre, Aniello Murano |
Automata-Theoretic Decision of Timed Games. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
Can BDDs compete with SAT solvers on bounded model checking? |
DAC |
2002 |
DBLP DOI BibTeX RDF |
model checking, formal verification, SAT, BDDs |
9 | Klaus Schneider 0001 |
Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
Distributed Symbolic Model Checking for µ-Calculus. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh |
The Temporal Logic Sugar. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Zhe Dang |
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Gertrud Bauer, Markus Wenzel 0001 |
Calculational Reasoning Revisited (An Isabelle/Isar Experience). |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Damien Massé |
Combining Forward and Backward Analyses of Temporal Properties. |
PADO |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Marsha Chechik, Benet Devereux, Steve M. Easterbrook |
Implementing a Multi-valued Symbolic Model Checker. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher 0001, John-Jules Ch. Meyer, Wiebe van der Hoek |
Reasoning about agents in the KARO framework. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
9 | George Logothetis, Klaus Schneider 0001 |
Symbolic Model Checking of Real-Time Systems. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Giorgio Delzanno, Tevfik Bultan |
Constraint-Based Verification of Client-Server Protocols. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Tevfik Bultan, Tuba Yavuz-Kahveci |
Action Language Verifier. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Agostino Dovier, Elisa Quintarelli |
Model-Checking Based Data Retrieval. |
DBPL |
2001 |
DBLP DOI BibTeX RDF |
Semistructured DBs, Model-Checking, Temporal Logic |
9 | Paul Ammann, Wei Ding 0003, Daling Xu |
Using a Model Checker to Test Safety Properties. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
Model checking, Software testing, Safety, Mutation analysis |
9 | Karsten Schmidt 0004 |
LoLA: A Low Level Analyser. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Mark Reynolds 0001 |
More Past Glories. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
temporal logic, automata, axiomatizations |
9 | Patrick Cousot, Radhia Cousot |
Temporal Abstract Interpretation. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Alexander Moshe Rabinovich, Shahar Maoz |
Why so Many Temporal Logics Climb up the Trees? |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Luis Alejandro Cortés, Petru Eles, Zebo Peng |
Verification of Embedded Systems using a Petri Net based Representation. |
ISSS |
2000 |
DBLP DOI BibTeX RDF |
|
9 | E. Allen Emerson, Vineet Kahlon |
Reducing Model Checking of the Many to the Few. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Antonín Kucera 0001 |
On Simulation-Checking with Sequential Systems. |
ASIAN |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
A Markov Chain Model Checker. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Luis Alejandro Cortés, Petru Eles, Zebo Peng |
Formal Coverification of Embedded Systems Using Model Checking. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Alexander Bolotov, Clare Dixon |
Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. |
TIME |
2000 |
DBLP DOI BibTeX RDF |
loop detection algorithm, temporal logics, resolution, automated deduction, branching-time |
9 | Salvatore La Torre, Margherita Napoli |
A Decidable Dense Branching-Time Temporal Logic. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Marc Spielmann |
Automatic Verification of Abstract State Machines. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz |
Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Glenn Bruns, Patrice Godefroid |
Model Checking Partial State Spaces with 3-Valued Temporal Logics. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Marsha Chechik, Dimitrie O. Paun |
Events in Property Patterns. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Orna Kupferman, Moshe Y. Vardi |
Vacuity Detection in Temporal Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
9 | In-Hwan Kim, Jeong-Won Kim, Seung-Won Lee, Ki-Dong Chung |
VBR Video Data Scheduling Using Window-Based Prefetching. |
ICMCS, Vol. 1 |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Michael Colón, Tomás E. Uribe |
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Doron A. Peled |
Ten Years of Partial Order Reduction. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Burghard von Karger |
A Proof Rule for Control Loops. |
MPC |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
A Symbolic Model Checker for ACTL. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
9 | E. Allen Emerson, Richard J. Trefler |
Model Checking Real-Time Properties of Symmetric Systems. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Kazuhiro Nakamura, Satoshi Yamane |
Formal Verification of Real-Time Software by Symbolic Model-Checker. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
temporal logic, approximations, BDD, symbolic model-checking, real-time software |
9 | Khalil Ajami, Serge Haddad, Jean-Michel Ilié |
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL |
9 | Jianping Lu, Sofiène Tahar |
Practical Approaches to the Automatic Verification of an ATM Switch Fabric Using VIS. |
Great Lakes Symposium on VLSI |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius |
prod 3.2: An Advanced Tool for Efficient Reachability Analysis. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
9 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
Efficient Detection of Vacuity in ACTL Formulaas. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|