Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Sergey Babenyshev, Vladimir V. Rybakov |
Unification in linear temporal logic LTL. |
Ann. Pure Appl. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Sergey Babenyshev, Vladimir V. Rybakov |
Linear Temporal Logic LTL: Basis for Admissible Rules. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková |
Partial order reduction for state/event LTL with application to component-interaction automata. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek |
Flash memory efficient LTL model checking. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Kyungmin Bae, José Meseguer 0001 |
State/Event-Based LTL Model Checking under Parametric Generalized Fairness. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Bruno Lacerda, Pedro U. Lima |
LTL-based decentralized supervisory control of multi-robot tasks modelled as Petri nets. |
IROS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Arturo Sanchez, Javier Molina |
On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems. |
ICCA |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Kristin Y. Rozier, Moshe Y. Vardi |
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Xian Li, Ming Chai, Lin Zhao, Tao Tang 0004, Tianhua Xu |
Safety Monitoring for ETCS with 4-valued LTL. |
ISADS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Nikola Benes, Ivana Cerná, Jan Kretínský |
Modal Transition Systems: Composition and LTL Model Checking. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Sami Evangelista, Laure Petrucci, Samir Youcef |
Parallel Nested Depth-First Searches for LTL Model Checking. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg |
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Viktor Schuppan, Luthfi Darmawan |
Evaluating LTL Satisfiability Solvers. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Yushan Chen, Xu Chu Ding, Calin Belta |
Synthesis of distributed control and communication schemes from global LTL specifications. |
CDC/ECC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Marius Kloetzer, Xu Chu Ding, Calin Belta |
Multi-robot deployment from LTL specifications with reduced communication. |
CDC/ECC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Bruno Lacerda, Pedro U. Lima |
Designing Petri Net Supervisors from LTL Specifications. |
Robotics: Science and Systems |
2011 |
DBLP BibTeX RDF |
|
15 | Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst |
Runtime Verification of LTL-Based Declarative Process Models. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Michael Westergaard |
Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. |
BPM |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Marek Paska |
An approach to generating C code with proven LTL-based properties. |
EUROCON |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Irina V. Shoshmina, Alexey B. Belyaev |
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas. |
PaCT |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |
Past Time LTL Runtime Verification for Microcontroller Binary Code. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir V. Rybakov |
Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers. |
KES (1) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Shahar Maoz, Yaniv Sa'ar |
AspectLTL: an aspect language for LTL specifications. |
AOSD |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Lars Kuhtz, Bernd Finkbeiner |
Weak Kripke Structures and LTL. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
15 | José Vander Meulen, Charles Pecheur |
Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Rémi Bonnet |
Decidability of LTL for Vector Addition Systems with One Zero-Test. |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Marcello M. Bersani, Achille Frigeri, Matteo Rossi 0001, Pierluigi San Pietro |
Completeness of the Bounded Satisfiability Problem for Constraint LTL. |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner |
Computing Infinite Plans for LTL Goals Using a Classical Planner. |
IJCAI |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 |
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Bruno Lacerda, Pedro U. Lima |
Designing petri net supervisors for multi-agent systems from LTL specifications. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
15 | Marko Samer, Helmut Veith |
On the distributivity of LTL specifications. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Kristin Y. Rozier, Moshe Y. Vardi |
LTL satisfiability checking. |
Int. J. Softw. Tools Technol. Transf. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Plagge, Michael Leuschel |
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more. |
Int. J. Softw. Tools Technol. Transf. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Jocelyn Simmonds, Jessica Davies 0001, Arie Gurfinkel, Marsha Chechik |
Exploiting resolution proofs to speed up LTL vacuity detection for BMC. |
Int. J. Softw. Tools Technol. Transf. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Jiri Barnat, Lubos Brim, Petr Rockai |
Scalable shared memory LTL model checking. |
Int. J. Softw. Tools Technol. Transf. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | S. V. Kubasov |
Verification of synchronous-automaton programs with the use of LTL. |
Autom. Control. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek |
A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness |
CoRR |
2010 |
DBLP BibTeX RDF |
|
15 | Andreas Morgenstern, Klaus Schneider 0001 |
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám |
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi 0001 |
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability |
CoRR |
2010 |
DBLP BibTeX RDF |
|
15 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart |
Comparing LTL Semantics for Runtime Verification. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Ariel Cohen 0002, Kedar S. Namjoshi, Yaniv Sa'ar |
SPLIT: A Compositional LTL Verifier. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Marius Kloetzer, Sanjiv Itani, Sam Birch, Calin Belta |
On the need for communication in distributed implementations of LTL motion specifications. |
ICRA |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Norihiro Kamide |
Completeness for Generalized First-Order LTL. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Michael Köhler-Bußmeier, Frank Heitmann |
Complexity of LTL Model-Checking for Safe Object Nets. |
LAM@LICS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst |
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Orna Kupferman, Adin Rosenberg |
The Blowup in Translating LTL to Deterministic Automata. |
MoChArt |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Compositional Algorithms for LTL Synthesis. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Kamal Lodaya, A. V. Sreejith |
LTL Can Be More Succinct. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Anthony Widjaja To, Leonid Libkin |
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. |
FoSSaCS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Demri, Arnaud Sangnier |
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable. |
FoSSaCS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Petr Bauch, Milan Ceska 0002 |
CUDA Accelerated LTL Model Checking - Revisited. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Bauer 0002, Patrik Haslum |
LTL Goal Specifications Revisited. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002 |
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. |
ICPADS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Norihiro Kamide |
Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL. |
ICAART (1) |
2010 |
DBLP BibTeX RDF |
|
15 | Hana Chockler, Arie Gurfinkel, Ofer Strichman |
Variants of LTL Query Checking. |
Haifa Verification Conference |
2010 |
DBLP DOI BibTeX RDF |
|
15 | François Laroussinie, Antoine Meyer, Eudes Petonnet |
Counting LTL. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Sylvain Hallé |
Cooperative Runtime Monitoring of LTL Interface Contracts. |
EDOC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi 0001 |
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Sylvain Hallé |
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Morgenstern |
Symbolic controller synthesis for LTL specifications. |
|
2010 |
RDF |
|
15 | Yang Zhang 0005 |
Advances in LTL load plan design. |
|
2010 |
RDF |
|
15 | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek |
On Decidability of LTL+Past Model Checking for Process Rewrite Systems. |
INFINITY |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov |
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. |
M4M |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Demri, Ranko Lazic 0001 |
LTL with the freeze quantifier and register automata. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Computational complexity, expressiveness |
15 | Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek |
On algorithmic analysis of transcriptional regulation by LTL model checking. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Peter Niebert, Doron A. Peled |
Efficient model checking for LTL with partial order snapshots. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Anthony Widjaja To, Leonid Libkin |
Algorithmic metatheorems for decidable LTL model checking over infinite systems |
CoRR |
2009 |
DBLP BibTeX RDF |
|
15 | Jiri Barnat, Lubos Brim, Milan Ceska 0002 |
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Armando, Roberto Carbone, Luca Compagna |
LTL model checking for security protocols. |
J. Appl. Non Class. Logics |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Demri, Régis Gascon |
The Effects of Bounding Syntactic Resources on Presburger LTL. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Tim Fernando |
Situations in LTL as strings. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Annette Chmielewski, Boris Naujoks, Michael Janas, Uwe Clausen |
Optimizing the Door Assignment in LTL-Terminals. |
Transp. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Boris Naujoks, Annette Chmielewski |
Comparing Different Approaches on the Door Assignment Problem in LTL-Terminals. |
Models and Algorithms for Optimization in Logistics |
2009 |
DBLP BibTeX RDF |
|
15 | Jacek Cichon, Adam Czubak, Andrzej Jasinski |
Minimal Büchi Automata for Certain Classes of LTL Formulas. |
DepCoS-RELCOMEX |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Morteza Lahijanian, Sean B. Andersson, Calin Belta |
A probabilistic approach for control of a stochastic system from LTL specifications. |
CDC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Allen P. Nikora, Galen Balcom |
Automated Identification of LTL Patterns in Natural Language Requirements. |
ISSRE |
2009 |
DBLP DOI BibTeX RDF |
machine learning, natural language processing, requirements analysis, temporal requirements |
15 | Viktor Schuppan |
Towards a Notion of Unsatisfiable Cores for LTL. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi |
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jiri Barnat, Lubos Brim, Milan Ceska 0002, Tomas Lamr |
CUDA Accelerated LTL Model Checking. |
ICPADS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Saqib Sohail, Fabio Somenzi |
Safety first: A two-stage algorithm for LTL games. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. |
Electron. Colloquium Comput. Complex. |
2008 |
DBLP BibTeX RDF |
|
15 | Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments |
CoRR |
2008 |
DBLP BibTeX RDF |
|
15 | Luis García, Steve Roach, Salamah Salamah |
PROTEF: Automatic Verification of Pattern-Based LTL Templates. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
15 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova |
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Morgenstern, Klaus Schneider 0001, Sven Lamberti |
Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction. |
MBMV |
2008 |
DBLP BibTeX RDF |
|
15 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova |
Local Quantitative LTL Model Checking. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. |
KR |
2008 |
DBLP BibTeX RDF |
|
15 | 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 |
15 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
15 | Raghava Rao Mukkamala, Thomas T. Hildebrandt, Janus Boris Tøth |
The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. |
EDOCW |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Edelkamp, Damian Sulewski |
Flash-Efficient LTL Model Checking with Minimal Counterexamples. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments. |
M4M |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Claudio Barbieri da Cunha, Marcos Roberto Silva |
A genetic algorithm for the problem of configuring a hub-and-spoke network for a LTL trucking company in Brazil. |
Eur. J. Oper. Res. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Werner Damm, Guilherme Pinto, Stefan Ratschan |
Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Demri, Deepak D'Souza |
An automata-theoretic approach to constraint LTL. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Demri, Ranko Lazic 0001, David Nowak |
On the freeze quantifier in Constraint LTL: Decidability and complexity. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Luis García 0008, Steve Roach |
Model-Checker-Based Testing of LTL Specifications. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova |
ProbDiVinE: A Parallel Qualitative LTL Model Checker. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Michael Leuschel, Daniel Plagge |
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|