Published in: LIPIcs, Volume 278, 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
Saumya Shankar, Srinivas Pinisetty, and Thierry Jéron. Bounded-Memory Runtime Enforcement of Timed Properties. In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 278, pp. 6:1-6:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{shankar_et_al:LIPIcs.TIME.2023.6, author = {Shankar, Saumya and Pinisetty, Srinivas and J\'{e}ron, Thierry}, title = {{Bounded-Memory Runtime Enforcement of Timed Properties}}, booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)}, pages = {6:1--6:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-298-3}, ISSN = {1868-8969}, year = {2023}, volume = {278}, editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.6}, URN = {urn:nbn:de:0030-drops-190962}, doi = {10.4230/LIPIcs.TIME.2023.6}, annote = {Keywords: Formal methods, Runtime enforcement, Bounded-memory, Timed automata} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Bettina M. J. Kern, Andreas Baumann, Thomas E. Kolb, Katharina Sekanina, Klaus Hofmann, Tanja Wissik, and Julia Neidhardt. A Review and Cluster Analysis of German Polarity Resources for Sentiment Analysis. In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 37:1-37:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{kern_et_al:OASIcs.LDK.2021.37, author = {Kern, Bettina M. J. and Baumann, Andreas and Kolb, Thomas E. and Sekanina, Katharina and Hofmann, Klaus and Wissik, Tanja and Neidhardt, Julia}, title = {{A Review and Cluster Analysis of German Polarity Resources for Sentiment Analysis}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {37:1--37:17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.37}, URN = {urn:nbn:de:0030-drops-145734}, doi = {10.4230/OASIcs.LDK.2021.37}, annote = {Keywords: cluster analysis, sentiment polarity, sentiment analysis, German, review} }
Published in: Dagstuhl Reports, Volume 3, Issue 1 (2013)
Thierry Jéron, Margus Veanes, and Burkhart Wolff. Symbolic Methods in Testing (Dagstuhl Seminar 13021). In Dagstuhl Reports, Volume 3, Issue 1, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{jeron_et_al:DagRep.3.1.1, author = {J\'{e}ron, Thierry and Veanes, Margus and Wolff, Burkhart}, title = {{Symbolic Methods in Testing (Dagstuhl Seminar 13021)}}, pages = {1--29}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {3}, number = {1}, editor = {J\'{e}ron, Thierry and Veanes, Margus and Wolff, Burkhart}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.1.1}, URN = {urn:nbn:de:0030-drops-40060}, doi = {10.4230/DagRep.3.1.1}, annote = {Keywords: Automated Deduction, White-box testing, Black-box Testing, Fuzz-Testing, Unit-Testing,Theorem prover-based Testing} }
Feedback for Dagstuhl Publishing