The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase temporal logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1982 (29) 1983 (21) 1984 (22) 1985 (17) 1986 (21) 1987 (41) 1988 (36) 1989 (51) 1990 (40) 1991 (47) 1992 (54) 1993 (74) 1994 (90) 1995 (68) 1996 (87) 1997 (83) 1998 (84) 1999 (88) 2000 (92) 2001 (93) 2002 (118) 2003 (169) 2004 (160) 2005 (168) 2006 (200) 2007 (210) 2008 (169) 2009 (138) 2010 (75) 2011 (71) 2012 (95) 2013 (83) 2014 (113) 2015 (79) 2016 (109) 2017 (110) 2018 (124) 2019 (159) 2020 (168) 2021 (165) 2022 (166)
Publication types (Num. hits)
article(1270) book(9) incollection(34) inproceedings(2630) phdthesis(41) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(394) TIME(107) CAV(83) CDC(63) Theor. Comput. Sci.(62) ACC(58) CONCUR(55) ICRA(53) HSCC(39) LICS(38) TACAS(38) ICTL(34) J. Log. Comput.(32) IEEE Trans. Software Eng.(30) IROS(30) AAMAS(28) More (+10 of total 965)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2557 occurrences of 933 keywords

Results
Found 3987 publication records. Showing 3987 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
64E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 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
60Leslie Lamport "Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs. Search on Bibsonomy POPL The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
56E. Allen Emerson, Joseph Y. Halpern "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
54Marisa A. Sanchez, Juan Carlos Augusto Testing an Implementation of a Temporal Logic Language. Search on Bibsonomy SCCC The full citation details ... 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
54Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
53Guoxing Zhao, Jixin Ma 0001, Fuxing Shen, Miltos Petridis A Sound and Complete Reified Temporal Logic. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Reified Temporal Logic, Completeness
48Pierre Wolper On the Relation of Programs and Computations to Models of Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Ruurd Kuiper Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Behnam Banieqbal, Howard Barringer Temporal Logic with Fixed Points. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Dov M. Gabbay The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Zhou Chaochen Specifying Communicating Systems with Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Roger Hale Using Temporal Logic for Prototyping: The Design of a Lift Controller. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Ron Koymans Specifying Message Passing Systems Requires Extending Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Shmuel Katz, Doron A. Peled Interleaving Set Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Yih-Kuen Tsay, Yu-Fang Chen 0001, 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. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
47Seong-ick Moon, Kwang Hyung Lee, Doheon Lee Fuzzy branching temporal logic. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Ben C. Moszkowski Compositional reasoning about projected and infinite time. Search on Bibsonomy ICECCS The full citation details ... 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
45Norihiro Kamide Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. Search on Bibsonomy CLIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Alexander Bolotov, Michael Fisher 0001 A Resolution Method For CTL Branching-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 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*
45John Håkansson, Bengt Jonsson 0001, Ola Lundqvist Generating online test oracles from temporal logic specifications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
44M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher 0001, Boris Konev First-Order Temporal Verification in Practice. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF temporal logics of knowledge, theorem proving, resolution, first-order temporal logic
44Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil A Temporal Logic for Input Output Symbolic Transition Systems. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy
43Gavin Lowe Specification of communicating processes: temporal logic versus refusals-based refinement. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Refinement testing, Specification, Temporal logic, CSP, Refusals
42Vladimir V. Rybakov Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF admissible inference rules, Temporal logic, linear temporal logic, branching time logic
42James W. Gray III, John McLean Using temporal logic to specify and verify cryptographic protocols. Search on Bibsonomy CSFW The full citation details ... 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
42Alberto Del Bimbo, Luigi Rella, Enrico Vicario Visual Specification of Branching Time Temporal Logic. Search on Bibsonomy VL The full citation details ... 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, formal specification, parallel processing, 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
42Linda A. Ness L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
41James R. Ezick An optimizing compiler for batches of temporal logic formulas. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, temporal logic, optimizing compiler
41Ben C. Moszkowski Executing Temporal Logic Programs. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
40Augustin Baziramwabo, Pierre McKenzie, Denis Thérien Modular Temporal Logic. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF semigroup theory, temporal logic, finite model theory
40Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-time temporal logic. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF temporaxl logic, model checking, games, Alternation
40Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-time Temporal Logic. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
40Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-Time Temporal Logic. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Vladimir V. Rybakov Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
39Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán Formalization of UML state machines using temporal logic. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML, specification, formal semantics, interval temporal logic, Statechart diagrams
39Behnam Banieqbal, Howard Barringer, Amir Pnueli (eds.) Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
39Bernhard Josko MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Edmund M. Clarke, Orna Grumberg The Model Checking Problem for Concurrent Systems with Many Similar Processes. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Colin Stirling Comparing Linear and Branching Time Temporal Logics. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Susanne Graf, Joseph Sifakis An Expressive Logic for a Process Algebra with Silent Actions. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Samit Khosla, T. S. E. Maibaum The Prescription and Description of State Based Systems. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Zohar Manna, Amir Pnueli Specification and Verification of Concurrent Programs by forall-Automata. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Job Zwiers, Willem P. de Roever Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich Abstract Object Types: A Temporal Perspective. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39P. M. Melliar-Smith Extending Interval Logic to Real Time Systems. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Moshe Y. Vardi Unified Verification Theory. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Arie Gurfinkel, Marsha Chechik, Benet Devereux Temporal Logic Query Checking: A Tool for Model Exploration. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
38Alexander Bolotov A Clausal Resolution Method for Extended Computation Tree Logic ECTL. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Michael Bauland, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer The Complexity of Generalized Satisfiability for Linear Temporal Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF computational complexity, linear temporal logic
37Todd Fine Defining Noninterference in the Temporal Logic of Actions. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 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
37Naoshi Uchihira, Shinichi Honiden Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. Search on Bibsonomy HICSS (2) The full citation details ... 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
37Michael Young, David L. Levine, Richard N. Taylor Comments on "Temporal Logic-Based Deadlock Analysis for Ada''. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
37Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny Semantics of Framed Temporal Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Temporal logic programming, semantics, framing, monotonicity, minimal model
37Dezhuang Zhang, Rance Cleaveland Efficient temporal-logic query checking for presburger systems. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Presburger systems, on-the-fly symbolic model checking, query checking, model checking, formal methods
37Seiki Akama, Yasunori Nagata, Chikatoshi Yamada Three-Valued Temporal Logic Q t and Future Contingents. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Q, three-valued temporal logic Q t, future contingents, Kripke semantics, Prior
37Adrianna Alexander Composition of Temporal Logic Specifications. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF verification, specification, temporal logic, partial order, compositional semantics
36Klaus Havelund, Grigore Rosu An Overview of the Runtime Verification Tool Java PathExplorer. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
36Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps Temporal Logic for Scenario-Based Specifications. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Arkadi Estrin, Michael Kaminski The Expressive Power of Temporal Logic of Actions (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Frank Dignum, Ruurd Kuiper Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. Search on Bibsonomy HICSS (5) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Li Tan Model-based self-monitoring embedded programs with temporal logic specifications. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF embedded systems, temporal logic, run-time verification
35Prasad Naldurg, Koushik Sen, Prasanna Thati A Temporal Logic Based Framework for Intrusion Detection. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF security, Intrusion detection, temporal logic, runtime monitoring
35Regimantas Pliuskevicius Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fixpoint temporal logic, sequential calculi, infinitary rules of inference, completeness
35Amir Pnueli System Specification and Refinement in Temporal Logic. Search on Bibsonomy FSTTCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics
35Nicole Bidoit, Sandra de Amo Implicit Temporal Query Languages: Towards Completeness. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Temporal logic, Query languages, Communication protocol, Temporal database, Expressive power
34Arie Gurfinkel, Benet Devereux, Marsha Chechik Model exploration with temporal logic query checking. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multi-valued model-checking, query-checking, CTL
34Sergey Babenyshev, Vladimir V. Rybakov Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent logics, relational Kripke-Hintikka models, decidability algorithms, satisfiability, linear temporal logic, hybrid logics
34Rana Barua Completeness of a combination of neighbourhood logic and temporal logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Neighbourhood logic, Completeness, Possible world semantics, Interval logic, First-order temporal logic
34Gideon Berger, Alexander Tuzhilin Discovering Unexpected Patterns in Temporal Data Using Temporal Logic. Search on Bibsonomy Temporal Databases, Dagstuhl The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
33Insu Song, Guido Governatori Hardware Implementation of Temporal Nonmonotonic Logics. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF agent, knowledge representation, temporal logic, nonmonotonic logic, chip design
33James Clifford, Albert Croker, Alexander Tuzhilin On Completeness of Historical Relational Query Languages. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF temporal grouping, temporal logic, query languages, completeness, temporal databases, relational model, historical databases
33Denis Thérien, Thomas Wilke Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy. Search on Bibsonomy FOCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF semidirect products, until hierarchy, finite semigroups, algebraic characterization, nesting depth, finite semigroup theory, temporal logic, temporal logic
33Sergey Babenyshev, Vladimir V. Rybakov Temporal Logic for Modeling Discovery and Logical Uncertainty. Search on Bibsonomy KES (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decidability algorithms, Kripke/Hintikka models, temporal logic, uncertainty, chance discovery
33Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel Fluent temporal logic for discrete-time event-based models. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF discrete-time event-based models, fluent linear temporal logic, model-checking, software architecture analysis
33Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled Parametric temporal logic for "model measuring". Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF model checking, temporal logic, quantitative analysis
33Jan Chomicki, David Toman 0001, Michael H. Böhlen Querying ATSQL databases with temporal logic. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ATSQL, temporal databases, query translation, first-order temporal logic
33Ekkart Kindler, Tobias Vesper ESTL: A Temporal Logic for Events and States. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF verification, Petri nets, specification, Temporal logic, events, system development, states
33Serenella Cerrito, Marta Cialdea Mayer Using Linear Temporal Logic to Model and Solve Planning Problems. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Planning, Temporal Reasoning, Linear Temporal Logic, Tableaux, Model Search
33Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo Formal Analysis of Real-Time Systems with SAM. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model, Real-time system, Petri net, temporal logic, analysis, SAM
32Tim French 0002 Quantified Propositional Temporal Logic with Repeating States. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Wojciech Jamroga A Temporal Logic for Stochastic Multi-Agent Systems. Search on Bibsonomy PRIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent system, Temporal logic, Markov decision process
32André Platzer A Temporal Dynamic Logic for Verifying Hybrid System Invariants. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic for hybrid systems, deductive verification of embedded systems, temporal logic, dynamic logic, sequent calculus
32Zining Cao Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF knowledge logic, model checking, cooperation, Real-time temporal logic
32Martin Leucker, César Sánchez Regular Linear Temporal Logic. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Rance Cleaveland Temporal Process Logic (Abstract). Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Chuang Lin 0001, Zhiguang Shan, Ting Liu, Yang Qu, Fengyuan Ren Modeling and Inference of Extended Interval Temporal Logic for Nondeterministic Intervals. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud First Order Linear Temporal Logic over Finite Time Structures. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Kousha Etessami, Moshe Y. Vardi, Thomas Wilke First-Order Logic with Two Variables and Unary Temporal Logic. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Laura K. Dillon, Y. S. Ramakrishna Generating Oracles from Your Favorite Temporal Logic Specifications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF propositional temporal logic, specification-based test oracles, tableau methods, test validation, verification, formal specification
31Anatoli Degtyarev, Michael Fisher 0001, Boris Konev Monodic temporal resolution. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Temporal logic, resolution, automated theorem proving
31Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi Execution of TILCO Temporal Logic Specifications. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic
31Jesper G. Henriksen, P. S. Thiagarajan A Product Version of Dynamic Linear Time Temporal Logic. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Alberto 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. Search on Bibsonomy ICOST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Activity Daily Living, Patient Behavior Models, Model Checking, Temporal Logic
30Jianchuan Xing, Zhishu Li, Liangyin Chen Using Simulation to Improve the Flexibility of Adaptive Workflow Models Based on Temporal Logic. Search on Bibsonomy SEAL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF simulation, temporal logic, flexibility, adaptive workflow
30Georgios E. Fainekos, George J. Pappas Robustness of Temporal Logic Specifications. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Timed State Sequences, Metric and Linear Temporal Logic, Robustness, Monitoring, Metric spaces
30Wil 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. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data mining, Petri nets, temporal logic, workflow management, business process management, Process mining
30Alper Sen 0001, Vijay K. Garg Detecting Temporal Logic Predicates on the Happened-Before Model. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed systems, model checking, temporal logic, CTL, predicate detection
30Andrew Bernard, Peter Lee 0001 Temporal Logic for Proof-Carrying Code. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF temporal logic, Proof-carrying code
30Khalil Ajami, Serge Haddad, Jean-Michel Ilié Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL
30Alexander Tuzhilin Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal logic, time, specification languages, events, rule-based systems, activities
Displaying result #1 - #100 of 3987 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license