Published in: LIPIcs, Volume 323, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024)
Alberto Bombardelli, Laura Bozzelli, César Sánchez, and Stefano Tonetta. Unifying Asynchronous Logics for Hyperproperties. In 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 323, pp. 14:1-14:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{bombardelli_et_al:LIPIcs.FSTTCS.2024.14, author = {Bombardelli, Alberto and Bozzelli, Laura and S\'{a}nchez, C\'{e}sar and Tonetta, Stefano}, title = {{Unifying Asynchronous Logics for Hyperproperties}}, booktitle = {44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024)}, pages = {14:1--14:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-355-3}, ISSN = {1868-8969}, year = {2024}, volume = {323}, editor = {Barman, Siddharth and Lasota, S{\l}awomir}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2024.14}, URN = {urn:nbn:de:0030-drops-222034}, doi = {10.4230/LIPIcs.FSTTCS.2024.14}, annote = {Keywords: Asynchronous hyperproperties, Temporal logics for hyperproperties, Expressiveness, Decidability, Model checking} }
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.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.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: OASIcs, Volume 44, 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (2015)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta. Parameter Synthesis with IC3 (Informal Presentation). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 106-107, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{cimatti_et_al:OASIcs.SynCoP.2015.106, author = {Cimatti, Alessandro and Griggio, Alberto and Mover, Sergio and Tonetta, Stefano}, title = {{Parameter Synthesis with IC3}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {106--107}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.106}, URN = {urn:nbn:de:0030-drops-56144}, doi = {10.4230/OASIcs.SynCoP.2015.106}, annote = {Keywords: Parameter Synthesis, Infinite-state Transition Systems, Satisfiability Modulo Theories, IC3} }
Feedback for Dagstuhl Publishing