Search results for "temporal logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Marisa A. Sanchez, Juan Carlos Augusto	Testing an Implementation of a Temporal Logic Language.	SCCC	2000	DBLP DOI BibTeX RDF	temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
5	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
4	Vladimir V. Rybakov	Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms.	LFCS	2007	DBLP DOI BibTeX RDF	admissible inference rules, Temporal logic, linear temporal logic, branching time logic
4	John Håkansson, Bengt Jonsson, Ola Lundqvist	Generating online test oracles from temporal logic specifications.	STTT	2003	DBLP DOI BibTeX RDF	Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
4	Alexander Bolotov, Michael Fisher	A Resolution Method For CTL Branching-Time Temporal Logic. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
4	Todd Fine	Defining Noninterference in the Temporal Logic of Actions.	IEEE Symposium on Security and Privacy	1996	DBLP DOI BibTeX RDF	noninterference properties, temporal logic of actions, multilevel secure systems, formal specification, formal methods, temporal logic, composition, security of data, covert channels, definitions, specification refinement
4	Alberto Del Bimbo, Luigi Rella, Enrico Vicario	Visual Specification of Branching Time Temporal Logic. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, parallel processing, formal specification, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
4	Naoshi Uchihira, Shinichi Honiden	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.	HICSS	1995	DBLP DOI BibTeX RDF	fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach
4	James W. Gray III, John McLean	Using temporal logic to specify and verify cryptographic protocols.	CSFW	1995	DBLP DOI BibTeX RDF	specify, system penetrator, correctness requirements, verification, formal specification, formal methods, cryptography, protocols, formal verification, temporal logic, temporal logic, cryptographic protocols, verify
4	Ben C. Moszkowski	Compositional reasoning about projected and infinite time.	ICECCS	1995	DBLP DOI BibTeX RDF	multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
4	Michael Young, David L. Levine, Richard N. Taylor	Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models
4	Linda Ness	L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages
4	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
3	David A. Basin, Felix Klaedtke, Samuel Müller	Monitoring security policies with metric first-order temporal logic.	SACMAT	2010	DBLP DOI BibTeX RDF	access control, monitoring, temporal logic, security policies, compliance, separation of duty, usage control
3	Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray	Receding horizon control for temporal logic specifications.	HSCC	2010	DBLP DOI BibTeX RDF	embedded control software, receding horizon control, linear temporal logic
3	Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang	Tool support for learning Büchi automata and linear temporal logic.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
3	Sara Kalvala, Richard Warburton, David Lacey	Program transformations using temporal logic side conditions.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	temporal logic, program transformation, rewriting, Optimizing compilers
3	Sergey Babenyshev, Vladimir V. Rybakov	Temporal Logic for Modeling Discovery and Logical Uncertainty.	KES	2009	DBLP DOI BibTeX RDF	decidability algorithms, Kripke/Hintikka models, temporal logic, uncertainty, chance discovery
3	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
3	Seiki Akama, Yasunori Nagata, Chikatoshi Yamada	Three-Valued Temporal Logic Q t and Future Contingents.	Studia Logica	2008	DBLP DOI BibTeX RDF	Q, three-valued temporal logic Q t, future contingents, Kripke semantics, Prior
3	Walter Hussak	Decidable Cases of First-order Temporal Logic with Functions.	Studia Logica	2008	DBLP DOI BibTeX RDF	monodic fragment, predicate logic with functions, decidability, first-order temporal logic
3	Cong Tian, Zhenhua Duan	Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions.	TAMC	2008	DBLP DOI BibTeX RDF	Propositional Projection Temporal Logic, B chi automata, ?-regular expression, expressiveness
3	Guoxing Zhao, Jixin Ma, Fuxing Shen, Miltos Petridis	A Sound and Complete Reified Temporal Logic.	SNPD	2008	DBLP DOI BibTeX RDF	Reified Temporal Logic, Completeness
3	Zhenhua Duan, Nan Zhang	A Complete Axiomatization of Propositional Projection Temporal Logic.	TASE	2008	DBLP DOI BibTeX RDF	temporal logic, completeness, projection, inference rules, axiom
3	Wojciech Jamroga	A Temporal Logic for Stochastic Multi-Agent Systems.	PRIMA	2008	DBLP DOI BibTeX RDF	multi-agent system, Temporal logic, Markov decision process
3	Sergey Babenyshev, Vladimir V. Rybakov	Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.	CiE	2008	DBLP DOI BibTeX RDF	multi-agent logics, relational Kripke-Hintikka models, decidability algorithms, satisfiability, linear temporal logic, hybrid logics
3	Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni	Linear temporal logic as an executable semantics for planning languages.	Journal of Logic, Language and Information	2007	DBLP DOI BibTeX RDF	Applied temporal logic, Knowledge representation, Artificial intelligence planning
3	Cong Tian, Zhenhua Duan	Model Checking Propositional Projection Temporal Logic Based on SPIN.	ICFEM	2007	DBLP DOI BibTeX RDF	Propositional Projection Temporal Logic, Model Checking, Verification, Spin, Automaton
3	Zhenhua Duan, Cong Tian	Decidability of Propositional Projection Temporal Logic with Infinite Models.	TAMC	2007	DBLP DOI BibTeX RDF	infinite model, model checking, satisfiability, decidability, interval temporal logic
3	Alberto Rugnone, Francesco Poli, Enrico Vicario, Chris D. Nugent, Elena Tamburini, Cristiano Paggetti	A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring.	ICOST	2007	DBLP DOI BibTeX RDF	Activity Daily Living, Patient Behavior Models, Model Checking, Temporal Logic
3	Michael Bauland, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer	The Complexity of Generalized Satisfiability for Linear Temporal Logic.	FoSSaCS	2007	DBLP DOI BibTeX RDF	computational complexity, linear temporal logic
3	Vladimir V. Rybakov	Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.	CSR	2006	DBLP DOI BibTeX RDF	consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
3	Georgios E. Fainekos, George J. Pappas	Robustness of Temporal Logic Specifications.	FATES/RV	2006	DBLP DOI BibTeX RDF	Timed State Sequences, Metric and Linear Temporal Logic, Robustness, Monitoring, Metric spaces
3	Jianchuan Xing, Zhishu Li, Liangyin Chen	Using Simulation to Improve the Flexibility of Adaptive Workflow Models Based on Temporal Logic.	SEAL	2006	DBLP DOI BibTeX RDF	simulation, temporal logic, flexibility, adaptive workflow
3	Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil	A Temporal Logic for Input Output Symbolic Transition Systems.	APSEC	2005	DBLP DOI BibTeX RDF	input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy
3	Wil M. P. van der Aalst, H. T. de Beer, Boudewijn F. van Dongen	Process Mining and Verification of Properties: An Approach Based on Temporal Logic.	OTM Conferences	2005	DBLP DOI BibTeX RDF	data mining, Petri nets, temporal logic, workflow management, business process management, Process mining
3	Li Tan	Model-based self-monitoring embedded programs with temporal logic specifications.	ASE	2005	DBLP DOI BibTeX RDF	embedded systems, temporal logic, run-time verification
3	Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny	Semantics of Framed Temporal Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF	Temporal logic programming, semantics, framing, monotonicity, minimal model
3	Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel	Fluent temporal logic for discrete-time event-based models.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	discrete-time event-based models, fluent linear temporal logic, model-checking, software architecture analysis
3	Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán	Formalization of UML state machines using temporal logic.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	UML, specification, formal semantics, interval temporal logic, Statechart diagrams
3	Rana Barua	Completeness of a combination of neighbourhood logic and temporal logic.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Neighbourhood logic, Completeness, Possible world semantics, Interval logic, First-order temporal logic
3	David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen	Compiler Optimization Correctness by Temporal Logic.	Higher-Order and Symbolic Computation	2004	DBLP DOI BibTeX RDF	model checking, temporal logic, optimizing compilers, compiler verification
3	Prasad Naldurg, Koushik Sen, Prasanna Thati	A Temporal Logic Based Framework for Intrusion Detection.	FORTE	2004	DBLP DOI BibTeX RDF	security, Intrusion detection, temporal logic, runtime monitoring
3	Adrianna Alexander	Composition of Temporal Logic Specifications.	ICATPN	2004	DBLP DOI BibTeX RDF	verification, specification, temporal logic, partial order, compositional semantics
3	James Ezick	An optimizing compiler for batches of temporal logic formulas.	ISSTA	2004	DBLP DOI BibTeX RDF	model checking, temporal logic, optimizing compiler
3	Andrzej Indrzejczak	A Labelled Natural Deduction System for Linear Temporal Logic.	Studia Logica	2003	DBLP DOI BibTeX RDF	Temporal Logic, Linear Time, Natural Deduction
3	Till Mossakowski, Michael Drouineaud, Karsten Sohr	A temporal-logic extension of role-based access control covering dynamic separation of duties. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
3	Tim French	Quantified Propositional Temporal Logic with Repeating States. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
3	Bernhard Heinemann	An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
3	Jei-Wen Teng, Yih-Kuen Tsay	Composing Temporal-Logic Specifications with Machine Assistance.	FME	2003	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software
3	Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau	Verifying linear time temporal logic properties of concurrent Ada programs with quasar.	SIGAda	2003	DBLP DOI BibTeX RDF	petri nets, concurrency, temporal logic, software verification
3	Munindar P. Singh	Distributed enactment of multiagent workflows: temporal logic for web service composition.	AAMAS	2003	DBLP DOI BibTeX RDF	temporal logic, service composition
3	Andrew Bernard, Peter Lee	Temporal Logic for Proof-Carrying Code.	CADE	2002	DBLP DOI BibTeX RDF	temporal logic, Proof-carrying code
3	Alper Sen, Vijay K. Garg	Detecting Temporal Logic Predicates on the Happened-Before Model. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	distributed systems, model checking, temporal logic, CTL, predicate detection
3	Juan Carlos Augusto, Rodolfo Gómez	A temporal logic view of paradigm models.	SEKE	2002	DBLP DOI BibTeX RDF	verification, temporal logic, paradigm
3	Jan Chomicki, David Toman, Michael H. Böhlen	Querying ATSQL databases with temporal logic.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	ATSQL, temporal databases, query translation, first-order temporal logic
3	Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled	Parametric temporal logic for "model measuring".	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	model checking, temporal logic, quantitative analysis
3	Antonio Cau	Composing and Refining Dense Temporal Logic Specifications.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Temporal logic, Refinement, Compositionality
3	Ben C. Moszkowski	A Complete Axiomatization of Interval Temporal Logic with Infinite Time.	LICS	2000	DBLP DOI BibTeX RDF	complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
3	Augustin Baziramwabo, Pierre McKenzie, Denis Thérien	Modular Temporal Logic.	LICS	1999	DBLP DOI BibTeX RDF	semigroup theory, temporal logic, finite model theory
3	Arcot Sowmya, S. Ramesh	Extending Statecharts with Temporal Logic.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines
3	Ekkart Kindler, Tobias Vesper	ESTL: A Temporal Logic for Events and States.	ICATPN	1998	DBLP DOI BibTeX RDF	verification, Petri nets, specification, Temporal logic, events, system development, states
3	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
3	Serenella Cerrito, Marta Cialdea Mayer	Using Linear Temporal Logic to Model and Solve Planning Problems.	AIMSA	1998	DBLP DOI BibTeX RDF	Planning, Temporal Reasoning, Linear Temporal Logic, Tableaux, Model Search
3	Chuchang Liu, Mehmet A. Orgun	A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	knowledge specification, simulation, logic programming, temporal logic
3	Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine	On-the-fly symbolic model checking for real-time systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	on-the-fly symbolic model checking, timed temporal logic, boolean combinations, FDDI protocol verification, real-time systems, temporal logic, timed automaton, linear inequalities
3	Denis Thérien, Thomas Wilke	Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy.	FOCS	1996	DBLP DOI BibTeX RDF	semidirect products, until hierarchy, finite semigroups, algebraic characterization, nesting depth, finite semigroup theory, temporal logic, temporal logic
3	Laura K. Dillon, Y. S. Ramakrishna	Generating Oracles from Your Favorite Temporal Logic Specifications.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	propositional temporal logic, specification-based test oracles, tableau methods, test validation, verification, formal specification
3	Alexander Tuzhilin	Extending Temporal Logic to Support High-Level Simulations.	ACM Trans. Model. Comput. Simul.	1995	DBLP DOI BibTeX RDF	knowledge-based simulations, rule-processing, temporal logic, time, discrete event simulations
3	Alexander Tuzhilin	Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic.	ACM Trans. Inf. Syst.	1995	DBLP DOI BibTeX RDF	temporal logic, time, specification languages, events, rule-based systems, activities
3	Kevin Lano, S. J. Goldsack	Discrete event process controller synthesis using VDM/sup ++/.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion
3	Grace Tsai, M. Insall, Bruce M. McMillin	Ensuring the satisfaction of a temporal specification at run-time.	ICECCS	1995	DBLP DOI BibTeX RDF	run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment
3	Rajeev Alur, Thomas A. Henzinger	A Really Temporal Logic.	J. ACM	1994	DBLP DOI BibTeX RDF	EXPSPACE-completeness, linear-time temporal logic, model checking, discrete time, real-time requirements, dense time
3	Zhenhua Duan, Maciej Koutny, Chris Holt	Projection in Temporal Logic Programming.	LPAR	1994	DBLP DOI BibTeX RDF	Temporal logic, programming, projection
3	Miguel Felder, Dino Mandrioli, Angelo Morzenti	Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization
3	Jianan Li, Ichiro Suzuki, Masafumi Yamashita	A New Structural Induction Theorem for Rings of Temporal Petri Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	structural induction theorem, temporal Petri nets, identical components, temporal logic formula, similar behavior, demand-driven token circulation, Petri nets, formal verification, formal verification, temporal logic, correctness, temporal reasoning, rings
3	Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli	A Decision Algorithm for Full Propositional Temporal Logic.	CAV	1993	DBLP DOI BibTeX RDF	satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification
3	Reino Kurki-Suonio	Stepwise Design of Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	stepwise design method, closed-system modularity, scheduling, real-time systems, real-time systems, formal specification, temporal logic, temporal logic, reactive systems, formal reasoning, real-time properties
3	Regimantas Pliuskevicius	Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic.	JELIA	1992	DBLP DOI BibTeX RDF	fixpoint temporal logic, sequential calculi, infinitary rules of inference, completeness
3	Amir Pnueli	System Specification and Refinement in Temporal Logic.	FSTTCS	1992	DBLP DOI BibTeX RDF	stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics
3	Jeannette M. Wing, Mark R. Nixon	Extending Ina Jo with Temporal Logic.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ina Jo, language design goals, temporal logic, specification language, specification languages, expressiveness, proof system, decisions
3	Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko	Modular Verification of Petri Nets: The Temporal Logic Approach.	REX Workshop	1989	DBLP DOI BibTeX RDF	modular system design, verification, Petri nets, specification, temporal logic, computer architecture
3	Wolfgang Reisig	Towards a temporal logic of causality and choice in distributed systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	Concurrent System Properties, Petri Nets, Temporal Logic
3	Zhou Chaochen	Specifying Communicating Systems with Temporal Logic.	Temporal Logic in Specification	1987	DBLP BibTeX RDF
3	Shmuel Katz, Doron Peled	Interleaving Set Temporal Logic.	Temporal Logic in Specification	1987	DBLP BibTeX RDF
3	Dov M. Gabbay	The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems.	Temporal Logic in Specification	1987	DBLP BibTeX RDF
3	Roger Hale	Using Temporal Logic for Prototyping: The Design of a Lift Controller.	Temporal Logic in Specification	1987	DBLP BibTeX RDF
3	Behnam Banieqbal, Howard Barringer	Temporal Logic with Fixed Points.	Temporal Logic in Specification	1987	DBLP BibTeX RDF
3	Ron Koymans	Specifying Message Passing Systems Requires Extending Temporal Logic.	Temporal Logic in Specification	1987	DBLP BibTeX RDF
3	Ruurd Kuiper	Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding.	Temporal Logic in Specification	1987	DBLP BibTeX RDF
3	Pierre Wolper	On the Relation of Programs and Computations to Models of Temporal Logic.	Temporal Logic in Specification	1987	DBLP BibTeX RDF
2	Sylvain Hallé	Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit".	EDOC	2011	DBLP DOI BibTeX RDF	web services, distributed computing, temporal logic, compliance checking
2	Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	testing, robustness, hybrid systems, metric temporal logic
2	Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof	Declarative workflows to efficiently manage flexible and advanced business processes.	PPDP	2010	DBLP DOI BibTeX RDF	declarative workflow, executable specification language, temporal logic, business process management
2	Medha Bhargava, Chia-Chih Chen, Michael S. Ryoo, Jake K. Aggarwal	Detection of object abandonment using temporal logic.	Mach. Vis. Appl.	2009	DBLP DOI BibTeX RDF	Abandoned objects, Threat detection, Public areas, Temporal logic
2		Temporal Logic.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Mikolaj Bojanczyk, Tomasz Idziaszek	Algebra for Infinite Forests with an Application to the Temporal Logic EF.	CONCUR	2009	DBLP DOI BibTeX RDF
2	Gordon Fraser, Franz Wotawa	Complementary Criteria for Testing Temporal Logic Properties.	TAP	2009	DBLP DOI BibTeX RDF
2	Liguo Deng, Yunpeng Cai, Chen Wang, Yan Jiang	Fuzzy Temporal Logic on Fuzzy Temporal Constraint Networks.	FSKD	2009	DBLP DOI BibTeX RDF	fuzzy temporal knowledge, fuzzy temporal constraints, fuzzy temporal logic, fuzzy sets, temporal reasoning
2	Raymond T. Boute	Making Temporal Logic Calculational: A Tool for Unification and Discovery.	FM	2009	DBLP DOI BibTeX RDF