Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|