LIPIcs, Volume 247
TIME 2022, November 7-9, 2022, Virtual Conference
Editors: Alexander Artikis, Roberto Posenato, and Stefano Tonetta
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 1-222, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Proceedings{artikis_et_al:LIPIcs.TIME.2022, title = {{LIPIcs, Volume 247, TIME 2022, Complete Volume}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {1--222}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022}, URN = {urn:nbn:de:0030-drops-172469}, doi = {10.4230/LIPIcs.TIME.2022}, annote = {Keywords: LIPIcs, Volume 247, TIME 2022, Complete Volume} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{artikis_et_al:LIPIcs.TIME.2022.0, author = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {0:i--0:xiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.0}, URN = {urn:nbn:de:0030-drops-172473}, doi = {10.4230/LIPIcs.TIME.2022.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Moshe Y. Vardi. Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, p. 1:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{vardi:LIPIcs.TIME.2022.1, author = {Vardi, Moshe Y.}, title = {{Linear Temporal Logic: From Infinite to Finite Horizon}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {1:1--1:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.1}, URN = {urn:nbn:de:0030-drops-172481}, doi = {10.4230/LIPIcs.TIME.2022.1}, annote = {Keywords: Temporal Logic} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Silvia Miksch. Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk). In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, p. 2:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{miksch:LIPIcs.TIME.2022.2, author = {Miksch, Silvia}, title = {{Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {2:1--2:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.2}, URN = {urn:nbn:de:0030-drops-172490}, doi = {10.4230/LIPIcs.TIME.2022.2}, annote = {Keywords: Visual Analytics, Visualization, Time} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Stijn Vansummeren. Getting to the CORE of Complex Event Recognition (Invited Talk). In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 3:1-3:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{vansummeren:LIPIcs.TIME.2022.3, author = {Vansummeren, Stijn}, title = {{Getting to the CORE of Complex Event Recognition}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {3:1--3:2}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.3}, URN = {urn:nbn:de:0030-drops-172503}, doi = {10.4230/LIPIcs.TIME.2022.3}, annote = {Keywords: Complex Event Recognition, automata, enumeration-based query processing} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Isaac Mackey, Raghubir Chimni, and Jianwen Su. Early Detection of Temporal Constraint Violations. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 4:1-4:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{mackey_et_al:LIPIcs.TIME.2022.4, author = {Mackey, Isaac and Chimni, Raghubir and Su, Jianwen}, title = {{Early Detection of Temporal Constraint Violations}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {4:1--4:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.4}, URN = {urn:nbn:de:0030-drops-172519}, doi = {10.4230/LIPIcs.TIME.2022.4}, annote = {Keywords: temporal constraints, monitoring, events, early violation detection} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Florian Bruse, Martin Lange, and Etienne Lozes. The Tail-Recursive Fragment of Timed Recursive CTL. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 5:1-5:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{bruse_et_al:LIPIcs.TIME.2022.5, author = {Bruse, Florian and Lange, Martin and Lozes, Etienne}, title = {{The Tail-Recursive Fragment of Timed Recursive CTL}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {5:1--5:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.5}, URN = {urn:nbn:de:0030-drops-172527}, doi = {10.4230/LIPIcs.TIME.2022.5}, annote = {Keywords: formal specification, temporal logic, real-time systems} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Victor Roussanaly and Yliès Falcone. Decentralised Runtime Verification of Timed Regular Expressions. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 6:1-6:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{roussanaly_et_al:LIPIcs.TIME.2022.6, author = {Roussanaly, Victor and Falcone, Yli\`{e}s}, title = {{Decentralised Runtime Verification of Timed Regular Expressions}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {6:1--6:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.6}, URN = {urn:nbn:de:0030-drops-172532}, doi = {10.4230/LIPIcs.TIME.2022.6}, annote = {Keywords: Timed expressions, Timed properties, Monitoring, Runtime verification, Decentralized systems, Asynchronous communication} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Thomas Guyet and Nicolas Markey. Logical Forms of Chronicles. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 7:1-7:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{guyet_et_al:LIPIcs.TIME.2022.7, author = {Guyet, Thomas and Markey, Nicolas}, title = {{Logical Forms of Chronicles}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {7:1--7:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.7}, URN = {urn:nbn:de:0030-drops-172542}, doi = {10.4230/LIPIcs.TIME.2022.7}, annote = {Keywords: temporal logics, temporal models} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Ashwin Bhaskar and M. Praveen. Realizability Problem for Constraint LTL. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 8:1-8:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{bhaskar_et_al:LIPIcs.TIME.2022.8, author = {Bhaskar, Ashwin and Praveen, M.}, title = {{Realizability Problem for Constraint LTL}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {8:1--8:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.8}, URN = {urn:nbn:de:0030-drops-172556}, doi = {10.4230/LIPIcs.TIME.2022.8}, annote = {Keywords: Realizability, constraint LTL, Strategy trees, Tree automata} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Nicolas Peltier. Reasoning on Dynamic Transformations of Symbolic Heaps. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 9:1-9:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{peltier:LIPIcs.TIME.2022.9, author = {Peltier, Nicolas}, title = {{Reasoning on Dynamic Transformations of Symbolic Heaps}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {9:1--9:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.9}, URN = {urn:nbn:de:0030-drops-172566}, doi = {10.4230/LIPIcs.TIME.2022.9}, annote = {Keywords: Separation Logic, Symbolic Heaps, Linear Temporal Logic} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Dimitar P. Guelev. Gabbay Separation for the Duration Calculus. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 10:1-10:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{guelev:LIPIcs.TIME.2022.10, author = {Guelev, Dimitar P.}, title = {{Gabbay Separation for the Duration Calculus}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {10:1--10:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.10}, URN = {urn:nbn:de:0030-drops-172578}, doi = {10.4230/LIPIcs.TIME.2022.10}, annote = {Keywords: Gabbay separation, Neighbourhood Logic, Duration Calculus, expanding modalities} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Laura Bozzelli and Adriano Peron. A Quantitative Extension of Interval Temporal Logic over Infinite Words. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 11:1-11:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{bozzelli_et_al:LIPIcs.TIME.2022.11, author = {Bozzelli, Laura and Peron, Adriano}, title = {{A Quantitative Extension of Interval Temporal Logic over Infinite Words}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {11:1--11:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.11}, URN = {urn:nbn:de:0030-drops-172585}, doi = {10.4230/LIPIcs.TIME.2022.11}, annote = {Keywords: Interval temporal logic, Homogeneity Assumption, Quantitative Constraints, Model checking, Decision Procedures, Complexity issues, Linear-time Hybrid Logics} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Gianluca Apriceno, Andrea Passerini, and Luciano Serafini. A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 12:1-12:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{apriceno_et_al:LIPIcs.TIME.2022.12, author = {Apriceno, Gianluca and Passerini, Andrea and Serafini, Luciano}, title = {{A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {12:1--12:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.12}, URN = {urn:nbn:de:0030-drops-172594}, doi = {10.4230/LIPIcs.TIME.2022.12}, annote = {Keywords: structured events, temporal event detection, neuro-symbolic integration} }
Feedback for Dagstuhl Publishing