Published in: LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Thomas Ferrère, Thomas A. Henzinger, and Bernhard Kragl. Monitoring Event Frequencies. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 152, pp. 20:1-20:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{ferrere_et_al:LIPIcs.CSL.2020.20, author = {Ferr\`{e}re, Thomas and Henzinger, Thomas A. and Kragl, Bernhard}, title = {{Monitoring Event Frequencies}}, booktitle = {28th EACSL Annual Conference on Computer Science Logic (CSL 2020)}, pages = {20:1--20:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-132-0}, ISSN = {1868-8969}, year = {2020}, volume = {152}, editor = {Fern\'{a}ndez, Maribel and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.20}, URN = {urn:nbn:de:0030-drops-116633}, doi = {10.4230/LIPIcs.CSL.2020.20}, annote = {Keywords: monitoring, frequency property, Markov chain} }
Published in: LIPIcs, Volume 118, 29th International Conference on Concurrency Theory (CONCUR 2018)
Bernhard Kragl, Shaz Qadeer, and Thomas A. Henzinger. Synchronizing the Asynchronous. In 29th International Conference on Concurrency Theory (CONCUR 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 118, pp. 21:1-21:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{kragl_et_al:LIPIcs.CONCUR.2018.21, author = {Kragl, Bernhard and Qadeer, Shaz and Henzinger, Thomas A.}, title = {{Synchronizing the Asynchronous}}, booktitle = {29th International Conference on Concurrency Theory (CONCUR 2018)}, pages = {21:1--21:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-087-3}, ISSN = {1868-8969}, year = {2018}, volume = {118}, editor = {Schewe, Sven and Zhang, Lijun}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2018.21}, URN = {urn:nbn:de:0030-drops-95591}, doi = {10.4230/LIPIcs.CONCUR.2018.21}, annote = {Keywords: concurrent programs, asynchronous programs, deductive verification, refinement, synchronization, mover types, atomic action, commutativity, Lipton reduction} }