Search results for "LTL"

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