Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Sinu Paul, Helen Piontkivska |
Highly conserved and associated HIV-1 CTL and T-Helper epitopes in global HIV-1 population: potential candidates for multi-epitope HIV-1 vaccine. |
BCB |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Francesco Poli |
Symbolic model checking of real-time CTL properties over preemptive time petri nets. |
|
2010 |
RDF |
|
18 | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
Model Checking for Graded CTL. |
Fundam. Informaticae |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Régis Gascon |
An Automata-based Approach for CTL* With Constraints. |
INFINITY |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang |
Improved Bounded Model Checking for the Universal Fragment of CTL. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
model checking algorithm, ACTL, SAT, software verification, bounded model checking |
18 | Xueyong Zhou, Xiangyun Shi, Zhonghua Zhang, Xinyu Song 0001 |
Dynamical behavior of a virus dynamics model with CTL immune response. |
Appl. Math. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Rohit Kapur, Paul Reuter, Sandeep Bhatia, Brion L. Keller |
CTL and Its Usage in the EDA Industry. |
IEEE Des. Test Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Frederik Graw, Roland R. Regoes |
Investigating CTL Mediated Killing with a 3D Cellular Automaton. |
PLoS Comput. Biol. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni |
CTL AgentSpeak(L): A specification language for agent programs. |
J. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Pawel Gluchowski |
Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies. |
DepCoS-RELCOMEX |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Christian Miller, Tobias Nopper, Christoph Scholl 0001 |
Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. |
MBMV |
2009 |
DBLP BibTeX RDF |
|
18 | Bozena Wozna-Szczesniak |
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge. |
CEE-SET |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Catalin Dima |
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
timed automata, epistemic logics |
18 | Olaf Beyersdorff, Arne Meier, Michael Thomas 0001, Heribert Vollmer, Martin Mundhenk, Thomas Schneider 0002 |
Model Checking CTL is Almost Always Inherently Sequential. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
Model checking, complexity, temporal logic |
18 | Andrea Masini, Luca Viganò 0001, Marco Volpe 0001 |
A Labeled Natural Deduction System for a Fragment of CTL*. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Yan Zhang 0003, Yulin Ding |
CTL Model Update for System Modifications. |
J. Artif. Intell. Res. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jonathan M. Carlson, Zabrina L. Brumme, Christine M. Rousseau, Chanson J. Brumme, Philippa Matthews, Carl Myers Kadie, James I. Mullins, Bruce D. Walker, P. Richard Harrigan, Philip J. R. Goulder, David Heckerman |
Phylogenetic Dependency Networks: Inferring Patterns of CTL Escape and Codon Covariation in HIV-1 Gag. |
PLoS Comput. Biol. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Dov M. Gabbay, Amir Pnueli |
A Sound and Complete Deductive System for CTL* Verification. |
Log. J. IGPL |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Yulin Ding, Yan Zhang |
A Study of the Model Explosion Problem in CTL Model Update. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
18 | Laura Florentina Cacovean, Iulian Pah, Emil Marin Popa, Cristina Ioana Brumar |
Algorithm and an Elevator Control System Example for CTL Model Update. |
ICE-B |
2008 |
DBLP BibTeX RDF |
|
18 | |
Overview of IEEE P1450.6.2 Standard; Creating CTL Model For Memory Test and Repair. |
ITC |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni |
CTL AgentSpeak(L): a specification language for agent programs. |
LA-NMR |
2008 |
DBLP BibTeX RDF |
|
18 | Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge |
Completeness and Complexity of Multi-modal CTL. |
M4M |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ling Fang, Masataka Sassa |
Generating Java Compiler Optimizers Using Bidirectional CTL. |
COCV@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Mark Reynolds 0001 |
A Tableau for Bundled CTL. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Shireesh Verma, Ian G. Harris, Kiran Ramineni |
Automatic generation of functional coverage models from CTL. |
HLDVT |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Raffaella Gentilini, Klaus Schneider 0001, Bud Mishra |
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Taufiq Rochaeli, Claudia Eckert 0001 |
Model Checking of Restricted CTL* Formulas using ALCK. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
18 | Samik Basu 0001, Partha S. Roop, Roopak Sinha |
Local Module Checking for CTL Specifications. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Aguiar da Silva, Patrícia D. L. Machado |
Towards Test Purpose Generation from CTL Properties for Reactive Systems. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Adam Antonik, Michael Huth 0001 |
Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Zoltán Ésik |
Characterizing CTL-like logics on finite trees. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Hanifa Boucheneb, Rachid Hadjidj |
CTL* model checking for time Petri nets. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Shengbing Jiang, Ratnesh Kumar 0001 |
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications. |
SIAM J. Control. Optim. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Vitaly V. Ganusov, Rob J. De Boer |
Estimating Costs and Benefits of CTL Escape Mutations in SIV/HIV Infection. |
PLoS Comput. Biol. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Florian Pigorsch, Christoph Scholl 0001, Stefan Disch |
Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. |
MBMV |
2006 |
DBLP BibTeX RDF |
|
18 | Yulin Ding, Yan Zhang |
CTL Model Update: Semantics, Computations and Implementation. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
18 | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
Model checking the basic modalities of CTL with Description Logic. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
18 | Mustapha Bourahla |
Distributed CTL model checking. |
IEE Proc. Softw. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Yonit Kesten, Amir Pnueli |
A compositional approach to CTL* verification. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Lluch-Lafuente, Ugo Montanari |
Quantitative mu-calculus and CTL defined over constraint semirings. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, Eugénie Foustoucos, Irène Guessarian |
On relating CTL to Datalog |
CoRR |
2005 |
DBLP BibTeX RDF |
|
18 | Nguyen Truong Thang, Takuya Katayama |
Specification and verification of inter-component constraints in CTL. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hidetomo Machi, Kohji Tomita, Chiharu Hosono |
The Relative Completeness of a Version of CTL*. |
CATS |
2005 |
DBLP BibTeX RDF |
|
18 | Beata Konikowska, Wojciech Penczek |
On Designated Values in Multi-valued CTL* Model Checking. |
Fundam. Informaticae |
2004 |
DBLP BibTeX RDF |
|
18 | Cécile Braunstein, Emmanuelle Encrenaz |
CTL-Property Transformations Along an Incremental Design Process. |
AVoCS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Mustapha Bourahla, Mohamed Benmohamed |
Analysis of Real-Time Systems with CTL Model Checkers. |
FMICS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Cornelia P. Inggs, Howard Barringer |
CTL* Model Checking on a Shared-Memory Architecture. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Lluch-Lafuente, Ugo Montanari |
Quantitative ?-calculus and CTL Based on Constraint Semirings. |
QAPL |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Mustapha Bourahla, Mohamed Benmohamed |
Distributing State Space for Parallel Computation of CTL Model Checking. |
Informatica (Slovenia) |
2004 |
DBLP BibTeX RDF |
|
18 | Sebastian Bauer 0004, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
On Non-local Propositional and Weak Monodic Quantified CTL. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Martin Leucker, Rafal Somla, Michael Weber 0002 |
Parallel Model Checking for LTL, CTL*, and Lµ2. |
PDMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Mile K. Stojcev |
Rohit Kapur, CTL for Test Information of Digital ICs Hardcover. Kluwer Academic Publisher, Boston, 2003. pp 173, plus XI, ISBN 1-4020-7293-7. |
Microelectron. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Faron Moller, Alexander Moshe Rabinovich |
Counting on CTL*: on the expressive power of monadic path logic. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, E. Foustoukos, Irène Guessarian |
From CTL to Datalog. |
PCK50 |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Salvatore Talluto 0001 |
CTL based DFT solution to accelerate design to test development for system on chip devices. |
SoC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny |
Bounded Model Checking for the Universal Fragment of CTL. |
Fundam. Informaticae |
2002 |
DBLP BibTeX RDF |
|
18 | Lubos Brim, Jitka Crhová, Karen Yorav |
Using Assumptions to Distribute CTL Model Checking. |
PDMC@CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Carl Christian Frederiksen |
Correctness of Classical Compiler Optimizations using CTL. |
COCV@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Formula-Dependent Equivalence for Compositional CTL Model Checking. |
Formal Methods Syst. Des. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | David N. Jansen, Roel J. Wieringa |
Extending CTL with Actions and Real Time. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Alan Martin |
Adequate Sets of Temporal Connectives in CTL. |
EXPRESS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | François Laroussinie, Nicolas Markey, Philippe Schnoebelen |
Model Checking CTL+ and FCTL is Hard. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Shengbing Jiang, Ratnesh Kumar 0001 |
Supervisory control of discrete event systems with CTL* temporal logic specifications. |
CDC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Rohit Kapur, Maurice Lousberg, Tony Taylor, Brion L. Keller, Paul Reuter, Douglas Kay |
CTL the language for describing core-based test. |
ITC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Karsten Schmidt 0004 |
Stubborn Sets for Model Checking the EF/AG Fragment of CTL. |
Fundam. Informaticae |
2000 |
DBLP BibTeX RDF |
|
18 | Alexander Bolotov, Michael Fisher 0001 |
A clausal resolution method for CTL branching-time temporal logic. |
J. Exp. Theor. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | J. Leubcke, Ulf Nilsson |
On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
18 | Michael Huth 0001, Marta Z. Kwiatkowska |
Comparing CTL and PCTL on labeled Markov chains. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
18 | In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan 0007, Carl Pixley |
Approximate reachability don't cares for CTL model checking. |
ICCAD |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Jürgen Bohn 0002, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster |
First-Order-CTL Model Checking. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams |
Efficient CTL* model checking for analysis of rainbow designs. |
CHARME |
1997 |
DBLP BibTeX RDF |
|
18 | Ulrich Nitsche |
Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences. |
LFCS |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Ales Casar, Zmago Brezocnik, Tatjana Kapus |
Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTL. |
ED&TC |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato |
BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets. |
FMCAD |
1996 |
DBLP DOI BibTeX RDF |
|
18 | François Laroussinie |
About the Expressive Power of CTL Combinators. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Girish Bhat, Rance Cleaveland, Orna Grumberg |
Efficient On-the-Fly Model Checking for CTL* |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Mads Dam |
CTL* and ECTL* as Fragments of the Modal mu-Calculus. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Zanardo, José Carmo |
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL. |
J. Log. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan |
A Unified Approach to Language Containment and Fair CTL Model Checking. |
DAC |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
Automatic Reduction in CTL Compositional Model Checking. |
CAV |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
Automatic compositional minimization in CTL model checking. |
ICCAD |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Mads Dam |
CTL* and ECTL* as Fragments of the Modal µ-Calculus. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Maciej Koutny |
Axiom system induced by CTL* Logic. |
Fundam. Informaticae |
1991 |
DBLP BibTeX RDF |
|
18 | Tong Gao Tang |
Temporal Logic CTL + PROLOG. |
J. Autom. Reason. |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Bernhard Josko |
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
18 | E. Allen Emerson, A. Prasad Sistla |
Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. |
Logic of Programs |
1983 |
DBLP DOI BibTeX RDF |
|
9 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Use Case Maps as a property specification language. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification |
9 | Tingting Han 0001, Joost-Pieter Katoen, Berteun Damman |
Counterexample Generation in Probabilistic Model Checking. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Mehdi Talbi, Mohamed Mejri, Adel Bouhoula |
Specification and evaluation of polymorphic shellcode properties using a new temporal logic. |
J. Comput. Virol. |
2009 |
DBLP DOI BibTeX RDF |
|
9 | María-del-Mar Gallardo, Pedro Merino 0001, David Sanán |
Model Checking Dynamic Memory Allocation in Operating Systems. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Operating systems, Dynamic memory allocation |
9 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001 |
Property Driven Three-Valued Model Checking on Hybrid Automata. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
9 | John Burns 0001, Heather J. Ruskin, Dimitri Perrin, John Walsh |
Visualization of Complex Biological Systems: An Immune Response Model Using OpenGL. |
Complex (1) |
2009 |
DBLP DOI BibTeX RDF |
Visualization, Emergent Behavior, Immune Response |
9 | Mikolaj Bojanczyk, Howard Straubing, Igor Walukiewicz |
Wreath Products of Forest Algebras, with Applications to Tree Logics. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
L2C2: logic-based LSC consistency checking. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming |
9 | Wei Chen 0018, Wenhui Zhang |
Bounded Model Checking of ACTL Formulae. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson |
REMES: A Resource Model for Embedded Systems. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Peter Novák 0001, Wojciech Jamroga |
Code patterns for agent-oriented programming. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
ai, description level: methodologies and languages, focus: agent programming languages, inspiration source: robotics, temporal logic, agent-oriented programming, code patterns |
9 | Norihiro Kamide, Ken Kaneiwa |
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Open answer set programming with guarded programs. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
fixed-point logic, open domains, Answer set programming |