Search results for "CTL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	A. Prasad Sistla, Xiaodong Wang, Min Zhou	Checking Extended CTL properties Using Guarded Quotient Structures.	SEFM	2004	DBLP DOI BibTeX RDF
37	Marko Samer, Helmut Veith	Validity of CTL Queries Revisited.	CSL	2003	DBLP DOI BibTeX RDF
37	Willem Visser, Howard Barringer	Practical CTL* Model Checking: Should SPIN be Extended?	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Büchi automata, Hesitant alternating automata, Model checking, Games, Spin
37	Igor Walukiewicz	Model Checking CTL Properties of Pushdown Systems.	FSTTCS	2000	DBLP DOI BibTeX RDF
37	Jørn Lind-Nielsen, Henrik Reif Andersen	Stepwise CTL Model Checking of State/Event Systems.	CAV	1999	DBLP DOI BibTeX RDF
37	Faron Moller, Alexander Moshe Rabinovich	On the Expressive Power of CTL.	LICS	1999	DBLP DOI BibTeX RDF
37	Bart Vergauwen, Johan Lewi	A Linear Local Model Checking Algorithm for CTL.	CONCUR	1993	DBLP DOI BibTeX RDF
36	Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi	Tearing based automatic abstraction for CTL model checking.	ICCAD	1996	DBLP DOI BibTeX RDF	ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition
35	Stéphane Demri, Karin Quaas	Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures.	CoRR	2023	DBLP DOI BibTeX RDF
35	Stéphane Demri, Karin Quaas	Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures.	CONCUR	2023	DBLP DOI BibTeX RDF
35	Hajar Besbassi, Zineb Elrhoubari, Khalid Hattaf, Noura Yousfi	Dynamics of an HBV infection model with cell-to-cell transmission and CTL immune response [Dynamique d'un modèle d'infection HBV avec transmission cellule-à-cellule et réaction immunitaire CTL].	ARIMA J.	2019	DBLP DOI BibTeX RDF
35	Arne Meier, Michael Thomas 0001, Heribert Vollmer, Martin Mundhenk	Erratum: The Complexity of Satisfiability for Fragments of CTL and CTL⋆.	Int. J. Found. Comput. Sci.	2015	DBLP DOI BibTeX RDF
35	Sivan Leviyang, Vitaly V. Ganusov	Broad CTL Response in Early HIV Infection Drives Multiple Concurrent CTL Escapes.	PLoS Comput. Biol.	2015	DBLP DOI BibTeX RDF
35	Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl	OCL meets CTL: Towards CTL-Extended OCL Model Checking.	OCL@MoDELS	2013	DBLP BibTeX RDF
35	Michaël Guedj	BSP Algorithms for LTL & CTL* Model Checking of Security Protocols. (Algorithmes BSP pour la vérification de modèles LTL et CTL* pour les protocoles de sécurité).		2012	RDF
35	Ahmet Kara 0002, Martin Lange, Thomas Schwentick, Volker Weber	On the Hybrid Extension of CTL and CTL+	CoRR	2009	DBLP BibTeX RDF
35	Arne Meier, Michael Thomas 0001, Heribert Vollmer, Martin Mundhenk	The Complexity of Satisfiability for Fragments of CTL and CTL*.	Int. J. Found. Comput. Sci.	2009	DBLP DOI BibTeX RDF
35	Arne Meier, Martin Mundhenk, Michael Thomas 0001, Heribert Vollmer	The Complexity of Satisfiability for Fragments of CTL and CTL*.	RP	2008	DBLP DOI BibTeX RDF
35	Martin Lange	A purely model-theoretic proof of the exponential succinctness gap between CTL+ and CTL.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
35	François Laroussinie, Philippe Schnoebelen	Specification in CTL+Past for Verification in CTL.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
35	Dennis Dams	Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing Powers.	Log. J. IGPL	1999	DBLP DOI BibTeX RDF
35	François Laroussinie, Philippe Schnoebelen	Specification in CTL+Past, verification in CTL.	EXPRESS	1997	DBLP DOI BibTeX RDF
29	Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri	Towards formal security analysis of GTRBAC using timed automata.	SACMAT	2009	DBLP DOI BibTeX RDF	GTRBAC, model checking, timed automata, security analysis, ctl
29	Samrat Mondal, Shamik Sural	A Verification Framework for Temporal RBAC with Role Hierarchy (Short Paper).	ICISS	2008	DBLP DOI BibTeX RDF	Temporal RBAC, Model Checking, Verification, Timed Automata, CTL
29	Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar	Model Checking with Strong Fairness.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	fair discrete systems, temporal testers, model checking, temporal logic, fairness, CTL, LTL
29	Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain	On Partitioning and Symbolic Model Checking.	FM	2005	DBLP DOI BibTeX RDF	state partitioning, BDD, Symbolic Model Checking, CTL
29	M. Jamshid Bagherzadeh, S. Arun-Kumar	A Multi-agent Framework Based on Communication and Concurrency.	IWDC	2004	DBLP DOI BibTeX RDF	Multi-agent systems, Model checking, Verification, CCS, CTL
29	Arie Gurfinkel, Marsha Chechik	Generating Counterexamples for Multi-valued Model-Checking.	FME	2003	DBLP DOI BibTeX RDF	De Morgan algebras, model-checking, CTL, counterexamples, witnesses
29	Orna Grumberg, David E. Long	Model Checking and Modular Verification.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Moore machines, model checking, formal verification, temporal logics, CTL, computer-aided verification
28	Mark A. Neerincx, Stefan Kennedie, Marc Grootjen, Franc Grootjen	Modeling the Cognitive Task Load and Performance of Naval Operators.	HCI (16)	2009	DBLP DOI BibTeX RDF	Defense and Space operations, Bayesian networks, emotion, cognitive engineering, mental load
28	Silvio do Lago Pereira, Leliane Nunes de Barros	A logic-based agent that plans for extended reachability goals.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Model checking, Temporal logic, Automated planning
28	Mikolaj Bojanczyk	The Common Fragment of ACTL and LTL.	FoSSaCS	2008	DBLP DOI BibTeX RDF
28	Pietro Abate, Rajeev Goré, Florian Widmann	One-Pass Tableaux for Computation Tree Logic.	LPAR	2007	DBLP DOI BibTeX RDF
28	Alessandro Ferrante, Aniello Murano	Enriched µ-Calculi Module Checking.	FoSSaCS	2007	DBLP DOI BibTeX RDF
28	Changjiang Long, Huan Qi, Sheng-He Huang	Mathematical Modeling of Dynamic Host Responses to HBV Infection.	FBIT	2007	DBLP DOI BibTeX RDF
28	Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin	Testing Distributed Systems Through Symbolic Model Checking.	FORTE	2007	DBLP DOI BibTeX RDF	global property, model checking of traces, trace checking, testing, asynchronous distributed systems
28	Nikolay V. Shilov 0002, Natalya Olegovna Garanina	Well-Structured Model Checking of Multiagent Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
28	Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen	Towards a Model-Checker for Counter Systems.	ATVA	2006	DBLP DOI BibTeX RDF
28	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
28	Ansuman Banerjee, Pallab Dasgupta	The open family of temporal logics: Annotating temporal operators with input constraints.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF
28	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Synthesis from Temporal Specifications Using Preferred Answer Set Programming.	ICTCS	2005	DBLP DOI BibTeX RDF
28	Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps	Temporal Logic for Scenario-Based Specifications.	TACAS	2005	DBLP DOI BibTeX RDF
28	Mario Verdicchio, Marco Colombetti	A Logical Model of Social Commitment for Agent Communication.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
28	Mario Verdicchio, Marco Colombetti	A logical model of social commitment for agent communication.	AAMAS	2003	DBLP DOI BibTeX RDF	temporal logic, commitment, agent communication languages, speech act theory
28	Marsha Chechik, Arie Gurfinkel, Benet Devereux	chi-Chek: A Multi-valued Model-Checker.	CAV	2002	DBLP DOI BibTeX RDF
28	Nikolay V. Shilov 0002, Kwang Yi	On Expressive and Model Checking Power of Propositional Program Logics.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
28	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.	CAV	1999	DBLP DOI BibTeX RDF
28	Orna Kupferman, Moshe Y. Vardi	Robust Satisfaction.	CONCUR	1999	DBLP DOI BibTeX RDF
28	Ilan Beer, Shoham Ben-David, Avner Landver	On-the-Fly Model Checking of RCTL Formulas.	CAV	1998	DBLP DOI BibTeX RDF
28	Thomas Kropf, Jürgen Ruf	Using MTBDDs for discrete timed symbolic model checking.	ED&TC	1997	DBLP DOI BibTeX RDF
28	Edward Y. Chang, Avideh Zakhor	Cost Analyses for VBR Video Servers.	IEEE Multim.	1996	DBLP DOI BibTeX RDF	admission control, cost, video servers, disk arrays, data placement, VBR, video storage
28	Orna Kupferman, Moshe Y. Vardi	Module Checking.	CAV	1996	DBLP DOI BibTeX RDF
28	Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi	Vectorized Model Checking for Computation Tree Logic.	CAV	1990	DBLP DOI BibTeX RDF
28	Bengt Jonsson 0001, Ahmed Hussain Khan, Joachim Parrow	Implementing a Model Checking Algorithm by Adapting Existing Automated Tools.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
28	Wolfgang Thomas	Computation tree logic and regular omega-languages.	REX Workshop	1988	DBLP DOI BibTeX RDF	Büchi automata, Rabin tree automata, noncounting property, group-free monoids, computation tree logic, Branching time logic
28	David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda	Symbolic Model Checking of Analog/Mixed-Signal Circuits.	ASP-DAC	2007	DBLP DOI BibTeX RDF	analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language
28	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz	An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	phase abstraction, automatic abstraction, CTL model checking, level-sensitive latch, bisimulation, model reduction
28	Farn Wang	Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.	RTCSA	1996	DBLP DOI BibTeX RDF	scalable compositional verification, high-level real-time concurrent systems, compositional CTL mode-checking algorithm, discrete global clock, VERIFAST-2, truly scalable performance, software recursions, protocols, formal verification
28	Olivier Thiry, Luc J. M. Claesen	A formal verification technique for embedded software.	ICCD	1996	DBLP DOI BibTeX RDF	embedded software correctness, assembly program code, CTL temporal logic formulae, embedded system application, assembly language program, formal verification, program verification, formal model, embedded software, processor architecture, instruction set
28	Rocco De Nicola, Frits W. Vaandrager	Three Logics for Branching Bisimulation.	J. ACM	1995	DBLP DOI BibTeX RDF	Hennessy-Milner logic, backward modalities, branching bisimulation equivalence, doubly labeled transition systems, stuttering equivalence, until operations, semantics, concurrency, reactive systems, labeled transition systems, Kripke structures, CTL*
28	Satoshi Yamane	Verification system for real-time specification based on extended real-time logic.	RTCSA	1995	DBLP DOI BibTeX RDF	extended real-time logic, Timed CTL, verification system, bounded temporal operator, freeze quantification, real-time systems, formal specification, formal verification, temporal logic, real-time specification
28	Gérard Cécé, Alain Finkel, S. Purushothaman Iyer	Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	insertion and lossiness errors, model-checking against CTL, verification problems, finite state machines, decidability, duplication, communication channels
27	Yang Zhao 0011, Gianfranco Ciardo	Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.	ATVA	2009	DBLP DOI BibTeX RDF
27	Mohamed Khalgui, Hans-Michael Hanisch	NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems.	SIES	2008	DBLP DOI BibTeX RDF
27	Neil D. Jones, René Rydhof Hansen	CTL as an Intermediate Language.	VMCAI	2008	DBLP DOI BibTeX RDF
27	Cécile Braunstein, Emmanuelle Encrenaz	Using CTL formulae as component abstraction in a design and verification flow.	ACSD	2007	DBLP DOI BibTeX RDF
27	Cornelia P. Inggs, Howard Barringer	CTL* model checking on a shared-memory architecture.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Model checking, Parallel processing, Multiprocessors, Shared memory, Automata
27	Nguyen Truong Thang, Takuya Katayama	Specification and verification of inter-component constraints in CTL.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
27	Sylvain Hallé, Roger Villemaire, Omar Cherkaoui	CTL Model Checking for Labelled Tree Queries.	TIME	2006	DBLP DOI BibTeX RDF
27	Taehoon Lee, Gihwon Kwon, Hyuksoo Han	CTL Model Checking for Boolean Program.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
27	Lubos Brim, Karen Yorav, Jitka Zidkova	Assumption-based distribution of CTL model checking.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Many-valuated logics, Model checking, Distributed algorithms, Branching time logics
27	Marko Samer, Helmut Veith	Deterministic CTL Query Solving.	TIME	2005	DBLP DOI BibTeX RDF
27	Artie Basukoski, Alexander Bolotov	Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity.	TIME	2005	DBLP DOI BibTeX RDF
27	Mark Reynolds 0001	Towards a CTL* Tableau.	FSTTCS	2005	DBLP DOI BibTeX RDF
27	Gianfranco Ciardo, Radu Siminiceanu	Structural Symbolic CTL Model Checking of Asynchronous Systems.	CAV	2003	DBLP DOI BibTeX RDF
27	Marsha Chechik, Wendy MacCaull	CTL Model-Checking over Logics with Non-Classical Negations.	ISMVL	2003	DBLP DOI BibTeX RDF
27	Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi	Dos and don'ts of CTL state coverage estimation.	DAC	2003	DBLP DOI BibTeX RDF	vacuity detection, model checking, state coverage
27	Cindy Eisner	Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking
27	Mitra Purandare, Fabio Somenzi	Vacuum Cleaning CTL Formulae.	CAV	2002	DBLP DOI BibTeX RDF
27	Jae-Young Jang, In-Ho Moon, Gary D. Hachtel	Iterative Abstraction-Based CTL Model Checking.	DATE	2000	DBLP DOI BibTeX RDF
27	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Symbolic guided search for CTL model checking.	DAC	2000	DBLP DOI BibTeX RDF
27	Alexander Bolotov, Clare Dixon, Michael Fisher 0001	Clausal Resolution for CTL*.	MFCS	1999	DBLP DOI BibTeX RDF
27	Dennis Dams, Orna Grumberg, Rob Gerth	Generation of Reduced Models for Checking Fragments of CTL.	CAV	1993	DBLP DOI BibTeX RDF
27	Jerry R. Burch	Combining CTL, Trace Theory and Timing Models.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
19	Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller	A foundation for flow-based program matching: using temporal logic and model checking.	POPL	2009	DBLP DOI BibTeX RDF	program matching, model checking, program transformation, ctl, bug finding
19	Zaid Altahat, Tzilla Elrad	Detection and Verification of Semantic Interaction In AOSD.	ITNG	2009	DBLP DOI BibTeX RDF	AOM, Modular Model Checking, AOP, CTL, Aspect Interaction
19	John Christopher McCabe-Dansted, Tim French 0002, Mark Reynolds 0001, Sophie Pinchinat	On the Expressivity of RoCTL*.	TIME	2009	DBLP DOI BibTeX RDF	reliability, Robustness, time, logic, CTL
19	Sven Feja, Daniel Fötsch	Model Checking with Graphical Validation Rules.	ECBS	2008	DBLP DOI BibTeX RDF	Model Checking, Workflow, Specification, Business Process, CTL
19	Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng	Dual Flow Nets: Modeling the control/data-flow relation in embedded systems.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Dual flow nets, tripartite graph, modeling, embedded systems, Petri nets, formal verification, symbolic model checking, CTL, LTL
19	Arie Gurfinkel, Marsha Chechik, Benet Devereux	Temporal Logic Query Checking: A Tool for Model Exploration.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
19	Marsha Chechik, Wei Ding	Lightweight Reasoning about Program Correctness.	Inf. Syst. Frontiers	2002	DBLP DOI BibTeX RDF	model checking, program analysis, abstract interpretation, CTL
19	Arie Gurfinkel, Benet Devereux, Marsha Chechik	Model exploration with temporal logic query checking.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	multi-valued model-checking, query-checking, CTL
19	Monika Heiner, Martin Schwarick, Alexej Tovchigrechko	DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
19	Alessandro Bianco, Fabio Mogavero, Aniello Murano	Graded Computation Tree Logic.	LICS	2009	DBLP DOI BibTeX RDF
19	Rayna Dimitrova, Bernd Finkbeiner	Synthesis of Fault-Tolerant Distributed Systems.	ATVA	2009	DBLP DOI BibTeX RDF
19	Natthapong Jungteerapanich	A Tableau System for the Modal µ-Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
19	Clemens Ley, Michael Benedikt	How big must complete XML query languages be?	ICDT	2009	DBLP DOI BibTeX RDF
19	Ehab Al-Shaer, Wilfredo Marrero, Adel El-Atawy, Khalid Elbadawi	Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security.	ICNP	2009	DBLP DOI BibTeX RDF
19	Francesco Ranzato, Francesco Tapparo	Computing Stuttering Simulations.	CONCUR	2009	DBLP DOI BibTeX RDF
19	Dennis Maletich Junqueira, Rúbia Marília de Medeiros, Sabrina Esteves de Matos Almeida, Vanessa Rodrigues Paixão-Cortez, Paulo Michel Roehe, Fernando Rosado Spilki	Mapping HIV-1 Subtype C gp120Epitopes Using a Bioinformatic Approach.	BSB	2009	DBLP DOI BibTeX RDF	HIV-1, subtype C, epitope, gp120, bioinformatics, HLA