Search results for "Temporal Logics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Leonid Libkin, Cristina Sirangelo	Reasoning about XML with Temporal Logics and Automata.	LPAR	2008	DBLP DOI BibTeX RDF	Query automata, XML, static analysis, temporal logics
3	Volker Diekert, Paul Gastin	Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces.	LATIN	2004	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
3	Bharat Adsul, Milind A. Sohoni	Complete and Tractable Local Linear Time Temporal Logics over Traces.	ICALP	2002	DBLP DOI BibTeX RDF	Concurrency, Temporal Logics, Limits, Mazurkiewicz Traces
3	Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi	Temporal logics for real-time system specification.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	logic specification languages, metric of time, specification model, real-time, temporal logics, modal logic, reactive systems, temporal constraints, temporal relationships
3	Michael Fisher, Richard Owens	An Introduction to Executable Modal and Temporal Logics.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Carlo A. Furia, Matteo Pradella, Matteo Rossi	Comments on temporal logics for real-time system specification.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	Temporal logic
2	Fabio Mogavero, Aniello Murano	Branching-Time Temporal Logics with Minimal Model Quantifiers.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
2	Alexander Rabinovich	Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities.	FORMATS	2008	DBLP DOI BibTeX RDF
2	Lijun Wu, Jinshu Su	Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus.	LSMS	2007	DBLP DOI BibTeX RDF
2	Marcelo Arenas, Pablo Barceló, Leonid Libkin	Combining Temporal Logics for Querying XML Documents.	ICDT	2007	DBLP DOI BibTeX RDF
2	Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin	First-Order and Temporal Logics for Nested Words.	LICS	2007	DBLP DOI BibTeX RDF
2	Raffaella Gentilini, Klaus Schneider, Alexander Dreyer	Three-valued automated reasoning on analog properties.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	(multi valued) temporal logics & model checking, interval arithmetic, analog circuits
2	Ulle Endriss	Temporal Logics for Representing Agent Communication Protocols.	AC	2006	DBLP DOI BibTeX RDF
2	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
2	Paul Gastin, Dietrich Kuske	Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces.	CONCUR	2005	DBLP DOI BibTeX RDF
2	Boris Konev, Frank Wolter, Michael Zakharyaschev	Temporal Logics over Transitive States.	CADE	2005	DBLP DOI BibTeX RDF
2	Carsten Lutz, Dirk Walther 0002, Frank Wolter	Quantitative Temporal Logics: PSPACE and Below.	TIME	2005	DBLP DOI BibTeX RDF
2	Angelo Montanari	Propositional Interval Temporal Logics: Some Promising Paths.	TIME	2005	DBLP DOI BibTeX RDF
2	Lijun Wu, Kaile Su, Qingliang Chen	Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.	CIS	2005	DBLP DOI BibTeX RDF
2	Pablo Barceló, Leonid Libkin	Temporal Logics over Unranked Trees.	LICS	2005	DBLP DOI BibTeX RDF
2	Cecilia E. Nugraheni	Universal Properties Verification of Parameterized Parallel Systems.	ICCSA	2005	DBLP DOI BibTeX RDF	parameterized parallel system, verification, formal method, temporal logics, diagram
2	Rajeev Alur, Kenneth L. McMillan, Doron Peled	Deciding Global Partial-Order Properties.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	partial order logics, model checking, concurrency, temporal logics
2	M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev	First-Order Temporal Verification in Practice.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	temporal logics of knowledge, theorem proving, resolution, first-order temporal logic
2	Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek	Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.	TIME	2004	DBLP DOI BibTeX RDF
2	Yifeng Chen, Zhiming Liu	Integrating Temporal Logics.	IFM	2004	DBLP DOI BibTeX RDF
2	Carron Shankland, Jeremy Bryans, Lionel Morel	Expressing Iterative Properties Logically in a Symbolic Setting.	AMAST	2004	DBLP DOI BibTeX RDF	formal verification, temporal logics, LOTOS, infinite state systems, symbolic representation
2	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
2	David Toman	On Incompleteness of Multi-dimensional First-order Temporal Logics. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
2	Clare Dixon, Cláudia Nalon, Michael Fisher	Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
2	Valentin Goranko, Angelo Montanari, Guido Sciavicco	A General Tableau Method for Propositional Interval Temporal Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
2	David Toman	Logical Data Expiration for Fixpoint Extensions of Temporal Logics.	SSTD	2003	DBLP DOI BibTeX RDF
2	Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.	MFCS	2003	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
2	Farn Wang, Geng-Dian Hwang, Fang Yu	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
2	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Software and System Modeling	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
2	Alexander Moshe Rabinovich	Expressive Power of Temporal Logics.	CONCUR	2002	DBLP DOI BibTeX RDF
2	Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna	Decidability of Interval Temporal Logics over Split-Frames via Granularity.	JELIA	2002	DBLP DOI BibTeX RDF
2	Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev	Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.	LICS	2002	DBLP DOI BibTeX RDF
2	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
2	Paul Gastin, Madhavan Mukund	An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces.	ICALP	2002	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
2	Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev	Complexity of Multi-agent Systems Behavior.	JELIA	2002	DBLP DOI BibTeX RDF	Multi-Agent System, Model checking, Complexity, Logic program, Temporal logics, Intelligent agent
2	Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev	Monodic fragments of first-order temporal logics: 2000-2001 A.D.	LPAR	2001	DBLP DOI BibTeX RDF
2	Volker Diekert, Paul Gastin	Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets.	LPAR	2001	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
2	Alexander Bolotov, Clare Dixon	Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. (PDF / PS)	TIME	2000	DBLP DOI BibTeX RDF	loop detection algorithm, temporal logics, resolution, automated deduction, branching-time
2	Clare Dixon, Michael Fisher	Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. (PDF / PS)	TIME	2000	DBLP DOI BibTeX RDF	temporal and modal logics, non-classical resolution, theorem-proving
2	Alexander Moshe Rabinovich, Shahar Maoz	Why so Many Temporal Logics Climb up the Trees?	MFCS	2000	DBLP DOI BibTeX RDF
2	Helko Lehmann, Michael Leuschel	Decidability Results for the Propositional Fluent Calculus.	Computational Logic	2000	DBLP DOI BibTeX RDF	reasoning about action and change, fluent calculus, model checking, petri nets, temporal logics, decidability
2	Hubert Comon, Véronique Cortier	Flatness Is Not a Weakness.	CSL	2000	DBLP DOI BibTeX RDF	Counter automata, model-checking, verification, temporal logics, logic in computer science
2	Stefania Gnesi, Diego Latella, Mieke Massink	Model Checking UML Statechart Diagrams Using JACK. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	Branching Time Temporal Logics, Model Checking, UML, Formal Verification
2	G. L. J. M. Janssen	Implementation of Propositional Temporal Logics Using BDDs.	TABLEAUX	1998	DBLP DOI BibTeX RDF
2	Moshe Y. Vardi	Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics.	CADE	1997	DBLP DOI BibTeX RDF
2	Andreas Nonnengart	Resolution-Based Calculi for Modal and Temporal Logics.	CADE	1996	DBLP DOI BibTeX RDF
2	Clare Dixon	Search Strategies for Resolution in Temporal Logics.	CADE	1996	DBLP DOI BibTeX RDF
2	Madhavan Mukund, P. S. Thiagarajan	Linear Time Temporal Logics over Mazurkiewicz Traces.	MFCS	1996	DBLP DOI BibTeX RDF
2	Michael Fisher, Richard Owens (eds.)	Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings	Executable Modal and Temporal Logics	1995	DBLP BibTeX RDF
2	Orna Kupferman	Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.	CAV	1995	DBLP DOI BibTeX RDF
2	François Laroussinie, Ph. Schnoebelen	A Hierarchy of Temporal Logics with Past (Extended Abstract).	STACS	1994	DBLP DOI BibTeX RDF
2	Wojciech Penczek	Axiomatizations of Temporal Logics on Trace Systems.	STACS	1993	DBLP DOI BibTeX RDF	Classification Theory of Parallel and Distributed Computation, Semantics and Logics of Programming Languages, Logic in Computer Science
2	Christoph Brzoska	Temporal Logic Programming with Metric and Past Operators.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Jana Koehler, Ralf Treinen	Constraint Deduction in an Interval-based Temporal Logic.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Thom W. Frühwirth	Temporal Logic and Annotated Constraint Logic Programming.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Marcos Cavalcanti	Solving Air-Traffic Problems with "Possible Worlds".	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Shinji Kono	A Combination of Clausal and Non Clausal Temporal Logic Programs.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Nienke den Haan	Investigations into the Applications of Deontic Logic.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Stephan Merz	Efficiently Executable Temporal Logic Programs.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Mark Reynolds	Towards First-Order Concurrent METATEM.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Michael Fisher	Towards a Semantics for Concurrent METATEM.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Joanne M. Atlee, John D. Gannon	State-Based Model Checking of Event-Driven System Requirements.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	event-driven system requirements, SCR tabular requirements, A-7 military aircraft, system invariants, automobile cruise control system, water-level monitoring system, model checking, formal specification, formal specification, formal verification, temporal logics, software requirements
2	Ursula Goltz, Ruurd Kuiper, Wojciech Penczek	Propositional Temporal Logics and Equivalences.	CONCUR	1992	DBLP DOI BibTeX RDF
2	Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens	METATEM: A Framework for Programming in Temporal Logic.	REX Workshop	1989	DBLP DOI BibTeX RDF	Non-procedural Languages, Verification, Specification, Logic Programming, Prototyping, Synthesis, Reactive Systems, Rule-based Systems, Mechanical Verification, Modal and Temporal Logics
2	Colin Stirling	Temporal logics for CCS.	REX Workshop	1988	DBLP DOI BibTeX RDF	Key-words transition systems, temporal logic, modal logic, CCS
2	A. Prasad Sistla, Edmund M. Clarke	The Complexity of Propositional Linear Temporal Logics	J. ACM	1985	DBLP DOI BibTeX RDF
1	Alexander Rabinovich	Temporal logics over linear time domains are in PSPACE.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
1	Dario Della Monica, Angelo Montanari, Pietro Sala	The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
1	Corina Cîrstea	Maximal traces and path-based coalgebraic temporal logics.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Philippe Balbiani, Valentin Goranko, Guido Sciavicco	Two-sorted Point-Interval Temporal Logics.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev	Combining Spatial and Temporal Logics: Expressiveness vs. Complexity	CoRR	2011	DBLP BibTeX RDF
1	Vladimir V. Rybakov	Inference Rules in Multi-agents' Temporal Logics.	T. Computational Collective Intelligence	2011	DBLP DOI BibTeX RDF
1	Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	Interval Temporal Logics: a Journey.	Bulletin of the EATCS	2011	DBLP BibTeX RDF
1	Régis Gascon, Frédéric Mallet, Julien DeAntoni	Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.	TIME	2011	DBLP DOI BibTeX RDF
1	Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun	Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking.	MFCS	2011	DBLP DOI BibTeX RDF
1	Martin Lange	Size-Change Termination and Satisfiability for Linear-Time Temporal Logics.	FroCos	2011	DBLP DOI BibTeX RDF
1	Corina Cîrstea	Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach.	CALCO	2011	DBLP DOI BibTeX RDF
1	Markus Lumpe, Indika Meedeniya, Lars Grunske	PSPWizard: machine-assisted definition of temporal logical properties with specification patterns.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Alexander Rabinovich	Complexity of metric temporal logics with counting and the Pnueli modalities.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Christian Dax, Felix Klaedtke, Martin Lange	On regular temporal logics with past.	Acta Inf.	2010	DBLP DOI BibTeX RDF
1	Paul Gastin, Dietrich Kuske	Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Corina Cîrstea	Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Leonid Libkin, Cristina Sirangelo	Reasoning about XML with temporal logics and automata.	J. Applied Logic	2010	DBLP DOI BibTeX RDF
1	Johan van Benthem, Eric Pacuit	Temporal Logics of Agency.	Journal of Logic, Language and Information	2010	DBLP DOI BibTeX RDF
1	Ahmet Kara, Thomas Schwentick, Thomas Zeume	Temporal Logics on Words with Multiple Data Values	CoRR	2010	DBLP BibTeX RDF
1	Savas Konur	A Survey on Temporal Logics	CoRR	2010	DBLP BibTeX RDF
1	Savas Konur	Real-time and Probabilistic Temporal Logics: An Overview	CoRR	2010	DBLP BibTeX RDF
1	François Laroussinie	Temporal Logics for Games.	Bulletin of the EATCS	2010	DBLP BibTeX RDF
1	John Grant, Francesco Parisi, Austin Parker, V. S. Subrahmanian	An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.	Artif. Intell.	2010	DBLP DOI BibTeX RDF
1	Cong Tian, Zhenhua Duan	Alternating Interval Based Temporal Logics.	ICFEM	2010	DBLP DOI BibTeX RDF
1	Ian Hodkinson	Interval Temporal Logics with Chop-Like Operators.	TIME	2010	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	A Framework to Compute Inference Rules Valid in Agents' Temporal Logics.	KES	2010	DBLP DOI BibTeX RDF
1	Alexander Rabinovich	Temporal Logics over Linear Time Domains Are in PSPACE.	RP	2010	DBLP DOI BibTeX RDF
1	Ahmet Kara, Thomas Schwentick, Thomas Zeume	Temporal Logics on Words with Multiple Data Values.	FSTTCS	2010	DBLP DOI BibTeX RDF
1	Patricia Bouyer	Model-checking Timed Temporal Logics.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF