×

Found 13 Documents (Results 1–13)

On runtime enforcement via suppressions. (English) Zbl 1520.68069

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 34, 17 p. (2018).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Monitoring for silent actions. (English) Zbl 1491.68104

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 7, 14 p. (2018).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of determinizing monitors. (English) Zbl 1489.68149

Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 1-13 (2017).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

A theory of monitors (extended abstract). (English) Zbl 1476.68172

Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 145-161 (2016).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software