Search results for "CTL"

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