Search results for "CTL*"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	A. Prasad Sistla, Xiaodong Wang, Min Zhou	Checking Extended CTL properties Using Guarded Quotient Structures.	SEFM	2004	DBLP DOI BibTeX RDF
36	Marko Samer, Helmut Veith	Validity of CTL Queries Revisited.	CSL	2003	DBLP DOI BibTeX RDF
36	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
36	Günter Graw, Peter Herrmann, Heiko Krumm	Verification of UML-Based Real-Time System Designs by Means of cTLA.	ISORC	2000	DBLP DOI BibTeX RDF
36	Igor Walukiewicz	Model Checking CTL Properties of Pushdown Systems.	FSTTCS	2000	DBLP DOI BibTeX RDF
36	Jørn Lind-Nielsen, Henrik Reif Andersen	Stepwise CTL Model Checking of State/Event Systems.	CAV	1999	DBLP DOI BibTeX RDF
36	Faron Moller, Alexander Moshe Rabinovich	On the Expressive Power of CTL.	LICS	1999	DBLP DOI BibTeX RDF
36	Peter Herrmann, Heiko Krumm	Formal Hazard Analysis of Hybrid Systems in cTLA.	SRDS	1999	DBLP DOI BibTeX RDF
36	Bart Vergauwen, Johan Lewi	A Linear Local Model Checking Algorithm for CTL.	CONCUR	1993	DBLP DOI BibTeX RDF
35	Sharon Shoham, Orna Grumberg	A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	3-valued semantics, Model checking games, Temporal logic, CTL, Counterexamples, Abstraction-Refinement
35	Monika Maidl	The Common Fragment of CTL and LTL.	FOCS	2000	DBLP DOI BibTeX RDF	action-based computation tree logic, linear time logic, common fragment, ACTL formulas, PSPACE-complete problem, path quantifiers, 1-weak Buchi automaton, automaton size, formula size, computational complexity, temporal logic, trees (mathematics), decidability, finite automata, expressive power, negation, CTL, LTL, inductive definition
35	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
34	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
34	Stéphane Demri, Karin Quaas	Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures.	CONCUR	2023	DBLP DOI BibTeX RDF
34	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
34	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
34	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
34	Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl	OCL meets CTL: Towards CTL-Extended OCL Model Checking.	OCL@MoDELS	2013	DBLP BibTeX RDF
34	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
34	Ahmet Kara 0002, Martin Lange, Thomas Schwentick, Volker Weber	On the Hybrid Extension of CTL and CTL+	CoRR	2009	DBLP BibTeX RDF
34	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
34	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
34	Martin Lange	A purely model-theoretic proof of the exponential succinctness gap between CTL+ and CTL.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
34	François Laroussinie, Philippe Schnoebelen	Specification in CTL+Past for Verification in CTL.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
34	Dennis Dams	Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing Powers.	Log. J. IGPL	1999	DBLP DOI BibTeX RDF
34	François Laroussinie, Philippe Schnoebelen	Specification in CTL+Past, verification in CTL.	EXPRESS	1997	DBLP DOI BibTeX RDF
29	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	Anil Sorathiya, Pietro Liò, Luca Sguanci	Mathematical Model of HIV Superinfection and Comparative Drug Therapy.	ICARIS	2009	DBLP DOI BibTeX RDF	viral dynamics, quasispecies, coinfection, superinfection, HAART, Maraviroc, Zinc-finger nucleases, HIV
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	Bart G. W. Craenen, Ben Paechter	A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems.	EvoCOP	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	Peter Herrmann	Temporal Logic-Based Specification and Verification of Trust Models.	iTrust	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	Wufan Chen, Ming Chen, Jie Zhou	Adaptively regularized constrained total least-squares image restoration.	IEEE Trans. Image Process.	2000	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	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
28	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
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	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
28	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
28	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
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	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
28	Denis Roegel	Specifying Almost-Real Concurrent Object-Oriented Programs.	PDP	1996	DBLP DOI BibTeX RDF	almost-real concurrent object-oriented programs, refinement chain, CTLA, structuring concerns, formal specification, parallel programming, parallel programming, object-oriented programming, specification, specification languages
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	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	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	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
26	Yang Zhao 0011, Gianfranco Ciardo	Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.	ATVA	2009	DBLP DOI BibTeX RDF
26	Mohamed Khalgui, Hans-Michael Hanisch	NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems.	SIES	2008	DBLP DOI BibTeX RDF
26	Neil D. Jones, René Rydhof Hansen	CTL as an Intermediate Language.	VMCAI	2008	DBLP DOI BibTeX RDF
26	Cécile Braunstein, Emmanuelle Encrenaz	Using CTL formulae as component abstraction in a design and verification flow.	ACSD	2007	DBLP DOI BibTeX RDF
26	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
26	Nguyen Truong Thang, Takuya Katayama	Specification and verification of inter-component constraints in CTL.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
26	Alessio Lomuscio, Franco Raimondi	The Complexity of Model Checking Concurrent Programs Against CTLK Specifications.	DALT	2006	DBLP DOI BibTeX RDF
26	Abdellah Yousfi, Abdelouafi Meziane	The Centisecond Two Levels Hidden Semi Markov Model (CTLHSMM).	PARELEC	2006	DBLP DOI BibTeX RDF
26	Sylvain Hallé, Roger Villemaire, Omar Cherkaoui	CTL Model Checking for Labelled Tree Queries.	TIME	2006	DBLP DOI BibTeX RDF
26	Taehoon Lee, Gihwon Kwon, Hyuksoo Han	CTL Model Checking for Boolean Program.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
26	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
26	Marko Samer, Helmut Veith	Deterministic CTL Query Solving.	TIME	2005	DBLP DOI BibTeX RDF
26	Artie Basukoski, Alexander Bolotov	Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity.	TIME	2005	DBLP DOI BibTeX RDF
26	Mark Reynolds 0001	Towards a CTL* Tableau.	FSTTCS	2005	DBLP DOI BibTeX RDF
26	Gianfranco Ciardo, Radu Siminiceanu	Structural Symbolic CTL Model Checking of Asynchronous Systems.	CAV	2003	DBLP DOI BibTeX RDF
26	Marsha Chechik, Wendy MacCaull	CTL Model-Checking over Logics with Non-Classical Negations.	ISMVL	2003	DBLP DOI BibTeX RDF
26	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
26	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
26	Mitra Purandare, Fabio Somenzi	Vacuum Cleaning CTL Formulae.	CAV	2002	DBLP DOI BibTeX RDF
26	Jae-Young Jang, In-Ho Moon, Gary D. Hachtel	Iterative Abstraction-Based CTL Model Checking.	DATE	2000	DBLP DOI BibTeX RDF
26	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Symbolic guided search for CTL model checking.	DAC	2000	DBLP DOI BibTeX RDF
26	Alexander Bolotov, Clare Dixon, Michael Fisher 0001	Clausal Resolution for CTL*.	MFCS	1999	DBLP DOI BibTeX RDF
26	Dennis Dams, Orna Grumberg, Rob Gerth	Generation of Reduced Models for Checking Fragments of CTL.	CAV	1993	DBLP DOI BibTeX RDF
26	Jerry R. Burch	Combining CTL, Trace Theory and Timing Models.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
19	Viji R. Avali, Michael N. Huhns	Commitment-Based Multiagent Decision Making.	CIA	2008	DBLP DOI BibTeX RDF	Commitments, BDI, CTL*
19	E. Allen Emerson, Charanjit S. Jutla	The Complexity of Tree Automata and Logics of Programs (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	PDL-delta, infinite trees, nonemptiness algorithm, computational complexity, satisfiability, tree automata, finite-state automata, branching time logic, propositional dynamic logic, logics of programs, CTL*
18	Ding Wang 0003, Li Zhang, Ying Wu 0002	The structured total least squares algorithm research for passive location based on angle information.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	passive location, angle information, constrained total least squares, structured total least squares, singular value decomposition, Kalman filter, least squares, QR decomposition, total least squares
18	Monika Heiner, Martin Schwarick, Alexej Tovchigrechko	DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
18	Alessandro Bianco, Fabio Mogavero, Aniello Murano	Graded Computation Tree Logic.	LICS	2009	DBLP DOI BibTeX RDF