Search results for "LTL"

Hits ?▲	Authors	Title	Venue	Year	Link
15	May Haydar, Alexandre Petrenko, Sergiy Boroday, Houari A. Sahraoui	A formal approach for run-time verification of web applications using scope-extended LTL.	Inf. Softw. Technol.	2013	DBLP DOI BibTeX RDF
15	Sylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui	Distributed firewall anomaly detection through LTL model checking.	IM	2013	DBLP BibTeX RDF
15	Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek	Comparison of LTL to Deterministic Rabin Automata Translators.	LPAR	2013	DBLP DOI BibTeX RDF
15	Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	The Complexity of Clausal Fragments of LTL.	LPAR	2013	DBLP DOI BibTeX RDF
15	Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus	A Fully Verified Executable LTL Model Checker.	CAV	2013	DBLP DOI BibTeX RDF
15	Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský	Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.	CAV	2013	DBLP DOI BibTeX RDF
15	Gangyuan Jing, Hadas Kress-Gazit	Improving the continuous execution of reactive LTL-based controllers.	ICRA	2013	DBLP DOI BibTeX RDF
15	Riccardo De Masellis, Jianwen Su	Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes.	ICSOC	2013	DBLP DOI BibTeX RDF
15	Meng Guo 0002, Karl Henrik Johansson, Dimos V. Dimarogonas	Motion and action planning under LTL specifications using navigation functions and action description language.	IROS	2013	DBLP DOI BibTeX RDF
15	Xuan-Linh Ha, Thanh Tho Quan, Yang Liu 0003, Jun Sun 0001	Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions.	APSEC (1)	2013	DBLP DOI BibTeX RDF
15	Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus	Minimum-violation LTL planning with conflicting specifications.	ACC	2013	DBLP DOI BibTeX RDF
15	Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek	Compositional Approach to Suspension and Other Improvements to LTL Translation.	SPIN	2013	DBLP DOI BibTeX RDF
15	Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang 0005, Jifeng He 0001, Kim Guldstrand Larsen	On the Relationship between LTL Normal Forms and Büchi Automata.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
15	Christian Tummel, Tobias Pyttel, Philipp Wolters, Eckart Hauck, Sabina Jeschke	Line-based optimization of LTL-shipments using a multi-step genetic algorithm.	CIPLS	2013	DBLP DOI BibTeX RDF
15	Lukasz Fronc, Alexandre Duret-Lutz	LTL Model Checking with Neco.	ATVA	2013	DBLP DOI BibTeX RDF
15	Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek	Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.	ATVA	2013	DBLP DOI BibTeX RDF
15	Alexandre Duret-Lutz	Manipulating LTL Formulas Using Spot 1.0.	ATVA	2013	DBLP DOI BibTeX RDF
15	Jan Kretínský, Ruslán Ledesma-Garza	Rabinizer 2: Small Deterministic Automata for LTL ∖ GU.	ATVA	2013	DBLP DOI BibTeX RDF
15	Fabrizio Maria Maggi, Andrea Burattin, Marta Cimitile, Alessandro Sperduti	Online Process Discovery to Detect Concept Drifts in LTL-Based Declarative Process Models.	OTM Conferences	2013	DBLP DOI BibTeX RDF
15	Meng Guo 0002, Dimos V. Dimarogonas	Reconfiguration in motion planning of single- and multi-agent systems under infeasible local LTL specifications.	CDC	2013	DBLP DOI BibTeX RDF
15	Koichi Kobayashi, Takuro Nagami, Kunihiko Hiraishi	Optimal control of multi-vehicle systems with LTL specifications.	CDC	2013	DBLP DOI BibTeX RDF
15	Ya Shi, Zhenhua Duan, Cong Tian, Hua Yang	Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking.	SOFL+MSVL	2013	DBLP DOI BibTeX RDF
15	Jiri Barnat, Lubos Brim, Vojtech Havel	LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model.	ACSD	2013	DBLP DOI BibTeX RDF
15	Shashank Srinivas, Ramtin Kermani, Kangjin Kim, Yoshihiro Kobayashi, Georgios Fainekos	A graphical language for LTL motion and mission planning.	ROBIO	2013	DBLP DOI BibTeX RDF
15	Fu Song, Tayssir Touili	LTL Model-Checking for Malware Detection.	TACAS	2013	DBLP DOI BibTeX RDF
15	Michael Benedikt, Rastislav Lenhardt, James Worrell 0001	LTL Model Checking of Interval Markov Chains.	TACAS	2013	DBLP DOI BibTeX RDF
15	Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin	Synthesis from LTL Specifications with Mean-Payoff Objectives.	TACAS	2013	DBLP DOI BibTeX RDF
15	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Online Testing of LTL Properties for Java Code.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
15	Viktor Schuppan	Extracting Unsatisfiable Cores for LTL via Temporal Resolution.	TIME	2013	DBLP DOI BibTeX RDF
15	Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He 0001	LTL Satisfiability Checking Revisited.	TIME	2013	DBLP DOI BibTeX RDF
15	Petr Rockai, Jiri Barnat, Lubos Brim	Improved State Space Reductions for LTL Model Checking of C and C++ Programs.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
15	Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Andreas Pavlogiannis	Distributed synthesis for LTL fragments.	FMCAD	2013	DBLP BibTeX RDF
15	Koen Claessen, Niklas Eén, Baruch Sterin	A circuit approach to LTL model checking.	FMCAD	2013	DBLP BibTeX RDF
15	Fabio Patrizi, Nir Lipovetzky, Hector Geffner	Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.	IJCAI	2013	DBLP BibTeX RDF
15	Ingo Pill, Thomas Quaritsch	Behavioral Diagnosis of LTL Specifications at Operator Level.	IJCAI	2013	DBLP BibTeX RDF
15	Jiri Barnat, Jan Havlícek, Petr Rockai	Distributed LTL Model Checking with Hash Compaction.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
15	Franz Baader, Silvio Ghilardi, Carsten Lutz	LTL over description logic axioms.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
15	Rafay Ishfaq	LTL logistics networks with differentiated services.	Comput. Oper. Res.	2012	DBLP DOI BibTeX RDF
15	Jefferson O. Andrade, Yukiyoshi Kameyama	Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras.	IEICE Trans. Inf. Syst.	2012	DBLP DOI BibTeX RDF
15	Fubin Qian, Yue Xu	A Simulation Model for LTL Trucking Network.	Int. J. Inf. Syst. Supply Chain Manag.	2012	DBLP DOI BibTeX RDF
15	Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002	Designing fast LTL model checking algorithms for many-core GPUs.	J. Parallel Distributed Comput.	2012	DBLP DOI BibTeX RDF
15	Lakhdar Saïs, Mohand-Said Hacid, François Hantry	On the complexity of computing minimal unsatisfiable LTL formulas.	Electron. Colloquium Comput. Complex.	2012	DBLP BibTeX RDF
15	Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso, Mayank Saksena	Regular model checking for LTL(MSO).	Int. J. Softw. Tools Technol. Transf.	2012	DBLP DOI BibTeX RDF
15	Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang 0005, Jifeng He 0001, Kim G. Larsen	On the Relationship between LTL Normal Forms and Buechi Automata	CoRR	2012	DBLP BibTeX RDF
15	François Hantry, Lakhdar Saïs, Mohand-Said Hacid	On the Complexity of Computing Minimal Unsatisfiable LTL formulas	CoRR	2012	DBLP BibTeX RDF
15	Jan Kretínský, Javier Esparza	Deterministic Automata for the (F,G)-fragment of LTL	CoRR	2012	DBLP BibTeX RDF
15	Viktor Schuppan	Extracting Unsatisfiable Cores for LTL via Temporal Resolution	CoRR	2012	DBLP BibTeX RDF
15	Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek	LTL to Büchi Automata Translation: Fast and More Deterministic	CoRR	2012	DBLP BibTeX RDF
15	Alphan Ulusoy, Stephen L. Smith 0001, Calin Belta	Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization	CoRR	2012	DBLP BibTeX RDF
15	Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin	Synthesis from LTL Specifications with Mean-Payoff Objectives	CoRR	2012	DBLP BibTeX RDF
15	Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi 0001, Pierluigi San Pietro	Constraint LTL Satisfiability Checking without Automata	CoRR	2012	DBLP BibTeX RDF
15	Achille Frigeri, Liliana Pasquale, Paola Spoletini	Fuzzy Time in LTL	CoRR	2012	DBLP BibTeX RDF
15	Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier	Taming Past LTL and Flat Counter Systems	CoRR	2012	DBLP BibTeX RDF
15	Elise Cormie-Bowins, Franck van Breugel	Measuring Progress of Probabilistic LTL Model Checking	QAPL	2012	DBLP DOI BibTeX RDF
15	Salamah Salamah, Ann Q. Gates, Vladik Kreinovich	Validated templates for specification of complex LTL formulas.	J. Syst. Softw.	2012	DBLP DOI BibTeX RDF
15	Jiri Barnat, Lubos Brim, Petr Rockai	On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
15	Viktor Schuppan	Towards a notion of unsatisfiable and unrealizable cores for LTL.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
15	Yu Bai 0003, Jens Brandt 0001, Klaus Schneider 0001	Preservation of LTL properties in desynchronized systems.	MEMOCODE	2012	DBLP DOI BibTeX RDF
15	Andreas Morgenstern, Manuel Gesell, Klaus Schneider 0001	An Asymptotically Correct Finite Path Semantics for LTL.	LPAR	2012	DBLP DOI BibTeX RDF
15	Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin	Acacia+, a Tool for LTL Synthesis.	CAV	2012	DBLP DOI BibTeX RDF
15	Rüdiger Ehlers	ACTL ∩ LTL Synthesis.	CAV	2012	DBLP DOI BibTeX RDF
15	Jan Kretínský, Javier Esparza	Deterministic Automata for the (F, G)-Fragment of LTL.	CAV	2012	DBLP DOI BibTeX RDF
15	Xinye Lu, Guiming Luo	Direct translation of LTL formulas to Büchi automata.	ICCI*CC	2012	DBLP DOI BibTeX RDF
15	Yushan Chen, Jana Tumova, Calin Belta	LTL robot motion control based on automata learning of environmental dynamics.	ICRA	2012	DBLP DOI BibTeX RDF
15	Frédéric Gava, Michaël Guedj, Franck Pommereau	A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols.	ISPDC	2012	DBLP DOI BibTeX RDF
15	Salamah Salamah, Matthew Engskow, Omar Ochoa	Consistency Checks of System Properties Using LTL and Büchi Automata.	SEKE	2012	DBLP BibTeX RDF
15	Sami Evangelista, Lars Michael Kristensen	Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method.	Petri Nets	2012	DBLP DOI BibTeX RDF
15	Deepak D'Souza, Raj Mohan Matteplackel	A Compositional Hierarchical Monitoring Automaton Construction for LTL.	ICTAC	2012	DBLP DOI BibTeX RDF
15	Andreas Klaus Bauer, Yliès Falcone	Decentralised LTL Monitoring.	FM	2012	DBLP DOI BibTeX RDF
15	Andreas Gaiser, Jan Kretínský, Javier Esparza	Rabinizer: Small Deterministic Automata for LTL(F, G).	ATVA	2012	DBLP DOI BibTeX RDF
15	Alan Jeffrey	LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs.	PLPV	2012	DBLP DOI BibTeX RDF
15	Ioannis Filippidis, Dimos V. Dimarogonas, Kostas J. Kyriakopoulos	Decentralized multi-agent control from local LTL specifications.	CDC	2012	DBLP DOI BibTeX RDF
15	Sonja Kuhnt, Viktoria Sander, Uwe Clausen, Jan Kaffka, Larissa Mest	Analysing LTL terminal performance by combining simulation and statistics.	WSC	2012	DBLP BibTeX RDF
15	Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé	MapReduce for Parallel Trace Validation of LTL Properties.	RV	2012	DBLP DOI BibTeX RDF
15	Eleni Mandrali	Weighted LTL with Discounting.	CIAA	2012	DBLP DOI BibTeX RDF
15	Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier	Taming Past LTL and Flat Counter Systems.	IJCAR	2012	DBLP DOI BibTeX RDF
15	Marius Kloetzer, Cristian Mahulea	LTL planning in dynamic environments.	WODES	2012	DBLP DOI BibTeX RDF
15	Alphan Ulusoy, Stephen L. Smith 0001, Calin Belta	Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization.	DARS	2012	DBLP DOI BibTeX RDF
15	Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek	LTL to Büchi Automata Translation: Fast and More Deterministic.	TACAS	2012	DBLP DOI BibTeX RDF
15	Erion Plaku	Planning in Discrete and Continuous Spaces: From LTL Tasks to Robot Motions.	TAROS	2012	DBLP DOI BibTeX RDF
15	Jiri Barnat, Lubos Brim, Petr Rockai	Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
15	Ingo Felscher	LTL-Model-Checking via Model Composition.	RP	2012	DBLP DOI BibTeX RDF
15	Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio	Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments.	KR	2012	DBLP BibTeX RDF
15	Uwe Clausen, J. Fabian Meier	Heuristic Strategies for a Multi-Allocation Problem in LTL Logistics.	OR	2012	DBLP DOI BibTeX RDF
15	A. V. Sreejith	Expressive Completeness for LTL With Modulo Counting and Group Quantifiers.	M4M/LAMAS	2011	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.	ACM Trans. Comput. Log.	2011	DBLP DOI BibTeX RDF
15	Roberto Carbone	LTL model-checking for security protocols.	AI Commun.	2011	DBLP DOI BibTeX RDF
15	Emmanuel Filiot, Naiyong Jin, Jean-François Raskin	Antichains and compositional algorithms for LTL synthesis.	Formal Methods Syst. Des.	2011	DBLP DOI BibTeX RDF
15	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking.	Int. J. Softw. Tools Technol. Transf.	2011	DBLP DOI BibTeX RDF
15	Patrice Godefroid, Nir Piterman	LTL generalized model checking revisited.	Int. J. Softw. Tools Technol. Transf.	2011	DBLP DOI BibTeX RDF
15	Marius Kloetzer, Xu Chu Ding, Calin Belta	Multi-robot Deployment From LTL Specifications with Reduced Communication	CoRR	2011	DBLP BibTeX RDF
15	Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg	Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking	CoRR	2011	DBLP BibTeX RDF
15	Yushan Chen, Xu Chu Ding, Calin Belta	Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications	CoRR	2011	DBLP BibTeX RDF
15	Xu Chu Ding, Stephen L. Smith 0001, Calin Belta, Daniela Rus	LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees	CoRR	2011	DBLP BibTeX RDF
15	François Hantry, Mohand-Said Hacid	Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages	FLACOS	2011	DBLP DOI BibTeX RDF
15	Martin Zimmermann 0002	Optimal Bounds in Parametric LTL Games	GandALF	2011	DBLP DOI BibTeX RDF
15	Andreas Bauer 0002, Yliès Falcone	Decentralised LTL Monitoring	CoRR	2011	DBLP BibTeX RDF
15	Andreas Morgenstern, Klaus Schneider 0001	A LTL Fragment for GR(1)-Synthesis	iWIGP	2011	DBLP DOI BibTeX RDF
15	Joris van de Klundert, Bernhard Otten	Improving LTL truck load utilization on line.	Eur. J. Oper. Res.	2011	DBLP DOI BibTeX RDF
15	Andreas Bauer 0002, Martin Leucker, Christian Schallhart	Runtime Verification for LTL and TLTL.	ACM Trans. Softw. Eng. Methodol.	2011	DBLP DOI BibTeX RDF