Francalanza, Adrian; Tabone, Gerard ElixirST: a session-based type system for elixir modules. (English) Zbl 07741957 J. Log. Algebr. Methods Program. 135, Article ID 100891, 38 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{A. Francalanza} and \textit{G. Tabone}, J. Log. Algebr. Methods Program. 135, Article ID 100891, 38 p. (2023; Zbl 07741957) Full Text: DOI arXiv
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingófsdóttir, Anna Bidirectional runtime enforcement of first-order branching-time properties. (English) Zbl 07667087 Log. Methods Comput. Sci. 19, No. 1, Paper No. 14, 44 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Aceto} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 14, 44 p. (2023; Zbl 07667087) Full Text: DOI arXiv
Francalanza, Adrian A theory of monitors. (English) Zbl 1475.68206 Inf. Comput. 281, Article ID 104704, 29 p. (2021). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Francalanza}, Inf. Comput. 281, Article ID 104704, 29 p. (2021; Zbl 1475.68206) Full Text: DOI
Francalanza, Adrian; Cini, Clare Computer says no: verdict explainability for runtime monitors using a local proof system. (English) Zbl 1455.68103 J. Log. Algebr. Methods Program. 119, Article ID 100636, 25 p. (2021). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{A. Francalanza} and \textit{C. Cini}, J. Log. Algebr. Methods Program. 119, Article ID 100636, 25 p. (2021; Zbl 1455.68103) Full Text: DOI
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn Determinizing monitors for HML with recursion. (English) Zbl 1494.68155 J. Log. Algebr. Methods Program. 111, Article ID 100515, 38 p. (2020). MSC: 68Q60 03B70 68Q45 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 111, Article ID 100515, 38 p. (2020; Zbl 1494.68155) Full Text: DOI arXiv
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software). (English) Zbl 1425.68268 Form. Methods Syst. Des. 54, No. 3, 279-335 (2019). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Sánchez} et al., Form. Methods Syst. Des. 54, No. 3, 279--335 (2019; Zbl 1425.68268) Full Text: DOI arXiv
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna 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 \textit{L. Aceto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 34, 17 p. (2018; Zbl 1520.68069) Full Text: DOI arXiv
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna 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 \textit{L. Aceto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 7, 14 p. (2018; Zbl 1491.68104) Full Text: DOI
Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna Monitorability for the Hennessy-Milner logic with recursion. (English) Zbl 1370.68203 Form. Methods Syst. Des. 51, No. 1, 87-116 (2017). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{A. Francalanza} et al., Form. Methods Syst. Des. 51, No. 1, 87--116 (2017; Zbl 1370.68203) Full Text: DOI
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn 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 \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 10329, 1--13 (2017; Zbl 1489.68149) Full Text: DOI Link
Francalanza, Adrian 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 \textit{A. Francalanza}, Lect. Notes Comput. Sci. 9634, 145--161 (2016; Zbl 1476.68172) Full Text: DOI
Francalanza, Adrian; Seychell, Aldrin Synthesising correct concurrent runtime monitors. (English) Zbl 1323.68373 Form. Methods Syst. Des. 46, No. 3, 226-261 (2015). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Francalanza} and \textit{A. Seychell}, Form. Methods Syst. Des. 46, No. 3, 226--261 (2015; Zbl 1323.68373) Full Text: DOI Link
Francalanza, Adrian; Hennessy, Matthew A theory for observational fault tolerance. (English) Zbl 1123.68080 J. Log. Algebr. Program. 73, No. 1-2, 22-50 (2007). MSC: 68Q85 68M15 PDFBibTeX XMLCite \textit{A. Francalanza} and \textit{M. Hennessy}, J. Log. Algebr. Program. 73, No. 1--2, 22--50 (2007; Zbl 1123.68080) Full Text: DOI Link