The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1982-1992 (20) 1993-1995 (16) 1996-1997 (15) 1998 (15) 1999-2000 (27) 2001 (18) 2002 (16) 2003 (27) 2004 (34) 2005 (38) 2006 (40) 2007 (45) 2008 (45) 2009 (32) 2010-2011 (22) 2012-2013 (20) 2014 (20) 2015-2016 (32) 2017-2018 (26) 2019 (17) 2020 (27) 2021 (23) 2022 (30)
Publication types (Num. hits)
article(177) incollection(3) inproceedings(421) phdthesis(4)
Venues (Conferences, Journals, ...)
CoRR(50) CAV(19) TACAS(15) CONCUR(14) TIME(14) J. Log. Comput.(9) ACM Trans. Comput. Log.(8) ATVA(8) FSTTCS(8) ICRA(8) CDC(7) ACC(6) Formal Aspects Comput.(6) CIAA(5) CSL(5) HSCC(5) More (+10 of total 293)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 360 occurrences of 204 keywords

Results
Found 605 publication records. Showing 605 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
64Yih-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
56Vladimir 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
52Michael 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
46Serenella 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
46Sergey 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
45Martin Leucker, César Sánchez Regular Linear Temporal Logic. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Seong-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
39Serenella 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
37Denis Thérien, Thomas Wilke Nesting Until and Since in Linear Temporal Logic. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Denis Thérien, Thomas Wilke Nesting Until and Since in Linear Temporal Logic. Search on Bibsonomy STACS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Sara NavidPour, Mohammad Izadi, Ali Movaghar 0001 Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Dimitra Giannakopoulou, Jeff Magee Fluent model checking for event-based systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model-checking, linear temporal logic, software architecture analysis
31John Derrick, Graeme Smith 0001 Linear Temporal Logic and Z Refinement. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Amélie Gheerbrant, Balder ten Cate Craig Interpolation for Linear Temporal Languages. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Propositional Linear Temporal Logic, Linear Time ?-Calculus, Craig Interpolation
30Roope Kaivola, Antti Valmari The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Georgios 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
29Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
29Hillel 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
28Girish Bhat, Doron A. Peled Adding Partial Orders to Linear Temporal Logic. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Vladimir V. Rybakov Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. Search on Bibsonomy ICAISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent logic, knowledge based reasoning, relational Kripke/Hintikka models, decidability algorithms, hybrid logics
27Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray Receding horizon control for temporal logic specifications. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF embedded control software, receding horizon control, linear temporal logic
27Yonit Kesten, Amir Pnueli Control and Data Abstraction: The Cornerstones of Practical Formal Verification. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant
27Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand Modular Verification for a Class of PLTL Properties. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity
27Wiebe van der Hoek, Michael J. Wooldridge Model Checking Knowledge and Time. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27YoungMin Kwon, Gul Agha LTLC: Linear Temporal Logic for Control. Search on Bibsonomy HSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Sertac Karaman, Ricardo G. Sanfelice, Emilio Frazzoli Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Regimantas Pliuskevicius Similarity Saturation for First Order Linear Temporal Logic with UNLESS. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Regimantas Pliuskevicius On Saturated Calculi for a Linear Temporal Logic. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
24Ram Krishnan, Ravi S. Sandhu, Jianwei Niu 0001, William H. Winsborough Foundations for group-centric secure information sharing models. Search on Bibsonomy SACMAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF groups, linear temporal logic, security properties
24Nicolas Rapin Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables. Search on Bibsonomy TAP@TOOLS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic
24Carlos Olarte, Frank D. Valencia The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
24Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen Secure calling contexts for stack inspection. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF constraints, language based security, linear temporal logic, static program analysis, stack inspection
24Marc 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
24Jean-Michel Couvreur On-the-Fly Verification of Linear Temporal Logic. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24Zhiming Liu 0001, Anders P. Ravn, Xiaoshan Li Unifying proof methodologies of duration calculus and timed linear temporal logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Design, Verification, Real-time, Specification, Refinement
24Dirk Pattinson, Bernhard Reus A Complete Temporal and Spatial Logic for Distributed Systems. Search on Bibsonomy FroCoS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Lars Lindemann, Jakub Nowak, Lukas Schönbächler, Meng Guo 0002, Jana Tumova, Dimos V. Dimarogonas Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. Search on Bibsonomy IEEE Trans. Control. Syst. Technol. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas A Cut-Free and Invariant-Free Sequent Calculus for PLTL. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Orna Kupferman, Nir Piterman, Moshe Y. Vardi Extended Temporal Logic Revisited. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Marc Geilen, Dennis Dams An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Andrzej Indrzejczak A Labelled Natural Deduction System for Linear Temporal Logic. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Temporal Logic, Linear Time, Natural Deduction
22Giuseppe De Giacomo, Moshe Y. Vardi Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
22Moshe Y. Vardi Branching vs. Linear Time: Final Showdown. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Gideon 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
22Regimantas Pliuskevicius Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Felicidad Aguado, Pedro Cabalar, Gilberto Pérez 0001, Concepción Vidal Strongly Equivalent Temporal Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Kousha 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
20Augustin 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
20Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bi-infinite time, satisfiability checking, temporal logic, bounded model checking
20Ulle Endriss Temporal Logics for Representing Agent Communication Protocols. Search on Bibsonomy AC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni Linear temporal logic as an executable semantics for planning languages. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Applied temporal logic, Knowledge representation, Artificial intelligence planning
20Katia Hristova, Yanhong A. Liu Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Joachim Klein 0001, Christel Baier Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. Search on Bibsonomy CIAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Koushik Sen, Grigore Rosu, Gul Agha Generating Optimal Linear Temporal Logic Monitors by Coinduction. Search on Bibsonomy ASIAN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi Improved Automata Generation for Linear Temporal Logic. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Serenella Cerrito, Marta Cialdea Mayer Bounded Model Search in Linear Temporal Logic and Its Application to Planning. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. Search on Bibsonomy B The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Max Michel, Jean-Bernard Stefani Interval Logics and Sequential Transducers. Search on Bibsonomy CAAP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
19Grigore Rosu, Saddek Bensalem Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Christoph Czepa, Uwe Zdun On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
18Alessandro Cimatti, Andrea Micheli, Marco Roveri Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
18Hui-Xian Shi, Yong-Ming Li 0001 Temporal normal form for Linear Temporal Logic formulae. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Nikolay V. Shilov 0002 An Approach to Design of Automata-Based Axiomatization for Propositional Program and Temporal Logics (by Example of Linear Temporal Logic). Search on Bibsonomy Logic, Computation, Hierarchies The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
18Xia Mao, Xin Li 0010, Yanhong Huang, Jianqi Shi, Yueling Zhang Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. Search on Bibsonomy IEEE Trans. Ind. Informatics The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Simone Martini 0001, Andrea Masini, Margherita Zorzi A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
18Vladimir V. Rybakov Linear Temporal Logic LTKK extended by Multi-Agent Logic Kn with Interacting Agents. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Z. Qiu, C. Zhou A combination of interval logic and linear temporal logic. Search on Bibsonomy PROCOMET The full citation details ... 1998 DBLP  BibTeX  RDF
18Regimantas Pliuskevicius Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
18Vladimir V. Rybakov Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logical consecutions, Admissible consecutions, Algorithms, Temporal logic, Decidability, Inference rules, Linear temporal logic, Branching time logic
18Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 Compositional encoding for bounded model checking. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking
18Sergey Babenyshev, Vladimir V. Rybakov Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. Search on Bibsonomy KES (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent’s reasoning, Kripke/Hintikka models, linear temporal logic, hybrid logics, decision algorithms, plausibility
18Moshe Y. Vardi Linear-Time Model Checking: Automata Theory in Practice. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Büchi automata, model checking, linear-temporal logic
18Sachoun Park, Gihwon Kwon SAT based Verification Tool for Labeled Transition System. Search on Bibsonomy SERA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal Verification, Labeled Transition System, Bounded Model checking, Linear Temporal Logic
18Vladimir 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
18Orna Kupferman, Moshe Y. Vardi From linear time to branching time. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF alternation-free ?-calculus, Linear temporal logic
18Chitta Baral, Tran Hoai Nam Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF triggered evolutions, probabilistic triggers, triggers, linear temporal logic, reasoning about actions, randomized strategies
18Emmanuel 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
18May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui Properties and scopes in web model checking. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, formal methods, temporal logic, web applications, linear temporal logic
18Viktor Schuppan, Armin Biere Efficient reduction of finite state model checking to reachability analysis. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Model checking, Safety, Liveness, Linear temporal logic
18Jürgen Dingel, Hongzhi Liang Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF TXL, VeriSoft, past-time linear temporal logic, software model checking, safety analysis, source code transformation, run-time monitoring
18Amy P. Felty, Kedar S. Namjoshi Feature specification and automated conflict detection. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF telecommunications software and systems, Feature interaction, linear temporal logic
18Walid Taha, Michael Florentin Nielsen Environment classifiers. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF type systems, modal logic, type safety, linear temporal logic, multi-stage programming
18Jeremy S. Bradbury, Jürgen Dingel Evaluating and improving the automatic analysis of implicit invocation systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF XML, model checking, formal methods, architectural styles, publish subscribe, linear temporal logic, implicit invocation
18Alexander 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*
18Costas Courcoubetis, Mihalis Yannakakis Verifying Temporal Properties of Finite-State Probabilistic Programs Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF finite-state probabilistic programs, concurrent programs, linear temporal logic, temporal properties, sequential programs, PSPACE, omega -automata
18Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar The ForSpec Temporal Logic: A New Temporal Property-Specification Language. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Henrikas Pranevicius, Stanislovas Norgela Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates. Search on Bibsonomy Informatica The full citation details ... 2012 DBLP  BibTeX  RDF
17Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar Decision Procedure for Temporal Logic of Concurrent Objects. Search on Bibsonomy Euro-Par The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Marius Kloetzer, Calin Belta Dealing with Nondeterminism in Symbolic Control. Search on Bibsonomy HSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger Axioms for Real-Time Logics. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Mahesh Girkar, Robert Moll New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
16Ding Pan Modeling and Mining the Rule Evolution. Search on Bibsonomy ADMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Philippe Balbiani, Jean-François Condotta Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Orna Kupferman, Moshe Y. Vardi, Pierre Wolper An automata-theoretic approach to branching-time model checking. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
16Ansuman Banerjee, Pallab Dasgupta The open family of temporal logics: Annotating temporal operators with input constraints. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen Program Monitoring with LTL in EAGLE. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Rajeev Alur, Kousha Etessami, P. Madhusudan A Temporal Logic of Nested Calls and Returns. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Pedro Cabalar, Gilberto Pérez Vega Temporal Equilibrium Logic: A First Approach. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Gergely Pintér, István Majzik Runtime Verification of Statechart Implementations. Search on Bibsonomy WADS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF temporal logic, Runtime verification, UML statecharts
Displaying result #1 - #100 of 605 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
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