Search results for "CTL"

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