ACETO, L., ACHILLEOS, A., FRANCALANZA, A., INGOLFSDOTTIR, A. and LEHTINEN, K., 2021. The Best a Monitor Can do, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), January 2021 2021, Schloss Dagstuhl – Leibniz Center for Informatics, pp. 1-24.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A., INGOLFSDOTTIR, A. and LEHTINEN, K., 2021. An operational guide to monitorability with applications to regular properties. Software and Systems Modelling (SoSYM), (https://doi.org/10.1007/s10270-020-00860-z),.
ACETO, L., ATTARD, D., FRANCALANZA, A. and INGOLFSDOTTIR, A., 2021.
On Benchmarking for Concurrent Runtime Verification E. GUERRA and M. STOELINGA, eds. In: 24th International Conference on Fundamental Approaches to Software Engineering (FASE), 27 March-1 April 2021 2021, Springer.
ACETO, L., CASSAR, I., FRANCALANZA, A. and INGOLFSDOTTIR, A., 2021. Comparing Controlled System Synthesis and Suppression Enforcement. Journal on Software Tools for Technology Transfer (STTT), .
FRANCALANZA, A., 2021. A Theory of Monitors. Information and Computation, (https://doi.org/10.1016/j.ic.2021.104704),.
FRANCALANZA, A. and CINI, C., 2021. Computer Says No: Verdict Explainability for Runtime Monitors using a Local Proof System. Journal of Logical and Algebraic Methods in Programming (JLAMP), , pp. 1-43.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A. and INGOLFSDOTTIR, A., 2020. The Complexity of Identifying Characteristic Formulae. JLAMP (Journal of Logical and Algebraic Methods in Programming), 112, pp. 100529-20.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A. and INGOLFSDOTTIR, A., 2020. Determinizing monitors for HML with recursion. JLAMP (Journal of Logical and Algebraic Methods in Programming), 111, pp. 100515:1-37.
BRAVETTI, M., FRANCALANZA, A., GOLOVANOV, I., HÜTTEL, H., JAKOBSEN, M., KETTUNEN, M. and RAVARA, A., 2020. Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language, BRUNO C. D. S. OLIVEIRA, ed. In: Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, November 30 - December 2, 2020 2020, Springer, pp. 105-124.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A., INGOLFSDOTTIR, A. and LEHTINEN, K., 2019. Adventures in Monitorability: from Branching to Linear-time and back again. PACMPL (Proceedings of the ACM on Programming Languages), POPL, pp. 52:1-52:29.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A., INGOLFSDOTTIR, A. and LEHTINEN, K., 2019. The Cost of Monitoring Alone. In: E. BARTOCCI, R. CLEAVELAND, R. GROSU and O. SOKOLSKY, eds, From Reactive Systems to Cyber-Physical Systems. Springer, LNCS, pp. 259-275.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A., INGOLFSDOTTIR, A. and LEHTINEN, K., 2019. An Operational Guide to Monitorability, P.C. OLVECZKY and G. SALAUN, eds. In: Software Engineering and Formal Methods - 17th International Conference, {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceeding, Sep 18-20 2019, Springer, LNCS, pp. 433-453.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A., INGOLFSDOTTIR, A. and LEHTINEN, K., 2019. Testing Equivalence vs. Runtime Monitoring. In: M. BOREALE, F. CORRADINI, M. LORETI and R. PUGLIESE, eds, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, LNCS, pp. 28-44.
ACETO, L., CASSAR, I., FRANCALANZA, A. and INGOLFSDOTTIR, A., 2019. Comparing Controlled System Synthesis and Suppression Enforcement, B. FINKBEINER and L. MARIANI, eds. In: Runtime Verification - 19th International Conference, {RV} 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Oct 8-11 2019, Springer, LNCS, pp. 148-164.
SANCHEZ, C., SCHNEIDER, G., AHRENDT, W., BARTOCCI, E., BIANCULLI, D., COLOMBO, C., FALCONE, Y., FRANCALANZA, A., KRSTIC, S., LOURENCO, J.M., NICKOVIC, D., PACE, G.J., RUFINO, J., SIGNOLES, J., TRAYTEL, D. and WEISS, A., 2019. A survey of challenges for runtime verification from advanced application domains (beyond software). FMSD (Formal Methods System Design), 54(3), pp. 279-335.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A. and INGOLFSDOTTIR, A., 2018. A Framework for Parametrised Monitorability. C. BAIER and U. DAL LAGO, eds. In: Foundations of Software Science and Computation Structures - 21st International Conference, {FOSSACS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, April 14-20 2018, Springer, LNCS, pp. 203-220.
ACETO, L., CASSAR, I., FRANCALANZA, A. and INGOLFSDOTTIR, A., 2018. On Runtime Enforcement Via Suppressions, S. SCHEWE and L. ZHANG, eds. In: 29th International Conference on Concurrency Theory, {CONCUR} 2018, September 4-7, 2018, Beijing, China, Sep 4-7 2018, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, LiPiCS, pp. 34:1-34:17.
BARTOCCI, E., FALCONE, Y., FRANCALANZA, A. and REGER, G., 2018. Introduction to Runtime Verification. In: E. BARTOCCI and Y. FALCONE, eds, Lectures on Runtime Verification - Introductory and Advanced Topics. 1 edn. Springer, LNCS, pp. 1-33.
BERNARDI, G. and FRANCALANZA, A., 2018. Full-abstraction for client testing preorders. Science of Computer Programming, 168, pp. 94-117.
FRANCALANZA, A., MEZZINA, C.A. and TUOSTO, E., 2018. Reversible Choreographies via Monitoring in Erlang, S. BONOMI and E. RIVIERE, eds. In: Distributed Applications and Interoperable Systems - 18th {IFIP} {WG} 6.1 International Conference, {DAIS} 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, June 18-22 2018, Springer, LNCS, pp. 75-92.
FRANCALANZA, A., PEREZ, J. and SANCHEZ, C., 2018. Runtime Verification for Decentralised and Distributed Systems . In: E. BARTOCCI and Y. FALCONE, eds, Lectures on Runtime Verification - Introductory and Advanced Topics. 1 edn. Springer, LNCS, pp. 176-210.
GRECH, N., FOURTOUNIS, G., FRANCALANZA, A. and SMARAGDAKIS, Y., 2018. Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots, F. TIP and E. BODDEN, eds. In: Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands, July 16-21, 2018, July 16-21 2018, Springer, LNCS, pp. 198-208.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A. and INGOLFSDOTTIR, A., 2017. Monitoring for Silent Actions, S.V. LOKAM and R. RAMANUJAM, eds. In: 37th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017, Kanpur, India, December 11-15 2017, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, pp. 7:1-7.14.
ACETO, L., ACHILLEOS, A., FRANCALANZA, A., INGOLFSDOTTIR, A. and KJARTANSSON, S.O., 2017.
On the Complexity of Determinizing Monitors A. CARAYOL and C. NICAUD, eds. In: CIAA 2017 - 22nd International Conference Implementation and Application of Automata, 27--30 June 2017 2017, Springer.
ATTARD, D. and FRANCALANZA, A., 2017.
Trace Partitioning and Local Monitoring for Asynchronous Components A. CIMATTI and M. SIRJANI, eds. In: 15th International Conference on Software Engineering and Formal
Methods (SEFM 2017), Sep 4-8 2017, Springer, LNCS.
BERNARDI, G. and FRANCALANZA, A., 2017. Full-abstraction for Must Testing Preorders, J. JACQUET and M. MASSINK, eds. In: Coordination 2017 - 19th International Conference on Coordination Models and Languages, 19-22 June 2017 2017, Springer.
FRANCALANZA, A., 2017. Consistently Detecting Monitors, R. MEYER and U. NESTMANN, eds. In: 28th International Conference on Concurrency Theory (CONCUR 2017), Sep 4-10, 2017 2017, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, LiPiCS.
FRANCALANZA, A., ACETO, L., ACHILLEOS, A., ATTARD, D., CASSAR, I., DELLA-MONICA, D. and INGOLFSDOTTIR, A., 2017. A Foundation for Runtime Monitoring, S.K. LAHIRI and G. REGER, eds. In: Runtime Verification - 17th International Conference, {RV} 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, September 13-16, 2017 2017, Springer, pp. 8-29.
FRANCALANZA, A., ACETO, L. and INGOLFSDOTTIR, A., 2017.
Monitorability for the Hennessy-Milner Logic with Recursion Formal Methods in System Design, 51, pp. 87-116.
GRECH, N., FOURTOUNIS, G., FRANCALANZA, A. and SMARAGDAKIS, Y., 2017. Heaps don't lie: countering unsoundness with heap snapshots. PACMPL (Proceedings of the ACM on Programming Languages), 1(OOPSLA), pp. 68:1-68:27.
ATTARD, D. and FRANCALANZA, A., 2016. A Monitoring Tool for a Branching-Time Logic, Y. FALCONE and C. SANCHEZ, eds. In: 16th International Conference on Runtime Verification, 26-30 September 2016 2016, Springer, pp. 472-481.
CASSAR, I. and FRANCALANZA, A., 2016. On Implementing a Monitor-Oriented Programming Framework for Actor Systems, E. ABRAHAM and M. HUISMAN, eds. In: 12th International Conference on integrated Formal Methods (iFM2016), 1-4 June 2016 2016, Springer.
FRANCALANZA, A., 2016. A Theory of Monitors, B. JACOBS and C. LODING, eds. In: 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2-8 April 2016, Springer, pp. 145-161.
CASSAR, I. and FRANCALANZA, A., 2015. Runtime Adaptation for Actor Systems, E. BARTOCCI and R. MAJUMDAR, eds. In: Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015 2015, Springer, pp. 38-54.
CINI, C. and FRANCALANZA, A., 2015. An LTL Proof System for Runtime Verification, C. BAIER and C. TINELLI, eds. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 11-18 2015, Springer Verlag, pp. 581-595.
COLOMBO, C., DIMECH, G. and FRANCALANZA, A., 2015. Investigating Instrumentation Techniques for ESB Runtime Verification, R. CALINESCU and B. RUMPE, eds. In: (SEFM) Software Engineering and Formal Methods - 13th International Conference, , September 7-11 2015, Springer, pp. 99-107.
FRANCALANZA, A., ACETO, L. and INGOLFSDOTTIR, A., 2015. On Verifying Hennessy-Milner Logic with Recursion at Runtime, E. BARTOCCI and R. MAJUMDAR, eds. In: Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015 2015, Springer, pp. 71-86.
FRANCALANZA, A. and SEYCHELL, A., 2015. Synthesising Correct Concurrent Runtime Monitors. Formal Methods in System Design, 46(3), pp. 226-261.
DEVRIES, E., FRANCALANZA, A. and HENNESSY, M., 2014. Uniqueness Typing for Resource Management in Message-Passing Concurrency. Journal of Logic and Computation, 24(3), pp. 531-556.
FRANCALANZA, A., DEVRIES, E. and HENNESSY, M., 2014. Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. Logical Methods in Computer Science, 10(2), pp. 1-51.
FRANCALANZA, A., GAUCI, A. and PACE, G.J., 2013. Distributed System Contract Monitoring. Journal of Logic and Algebraic Programming, 82(5-7), pp. 186-215.
FRANCALANZA, A. and SEYCHELL, A., 2013. Synthesising Correct Concurrent Runtime Monitors, A. LEGAY and S. BENSALEM, eds. In: Runtime Verification, Septmeber 24-27 2013, Springer-Verlag, pp. 112-129.
FRANCALANZA, A. and ZERAFA, T., 2013. Code Management Automation for Erlang Remote Actors, N. JAMALI, A. RICCI, G. WEISS and A. YONEZAWA, eds. In: Programming based on Actors, Agents, and Decentralized Control (AGERE), October 27-28 2013, ACM, pp. 13-18.
MIZZI, R., COLOMBO, C., FRANCALANZA, A. and PACE, G.J., 2012. PolyLarva: Runtime Verification with Configurable Resource-aware Monitoring Boundaries, G. ELEFTHERAKIS, M. HINCHEY and M. HOLCOMBE, eds. In: Software Engineering and Formal Methods, October 1-5 2012, Springer, pp. 218-232.
COLOMBO, C., FRANCALANZA, A. and GATT, R., 2011. ELarva: A Monitoring Tool for Erlang, S. KHURSHID and K. SEN, eds. In: Runtime Verification, September 27-30 2011, Springer-Verlag, pp. 370-374.
FRANCALANZA, A., RATHKE, J. and SASSONE, V., 2011. Permission-Based Separation Logic for Message-Passing Concurrency. Logical Methods in Computer Science, 7(3), pp. 1-47.
SOUILAH, I., FRANCALANZA, A. and SASSONE, V., 2009. A Formal Model of Provenance in Distributed Systems, J. CHENEY, ed. In: Theory and Practice of Provenance (TaPP), February 23 2009, USENIX, pp. 3-13.
CUNNINGHAM, D., DIETL, W., DROSSOPOULOU, S., FRANCALANZA, A., M\ULLER, P. and SUMMERS, A.J., 2008. Universe Types for Topology and Encapsulation
, F.S. BOER, M.M. BONSANGUE, S. GRAF and W. ROEVER, eds. In: , October 24-26 2008, Springer-Verlag, pp. 72-112.
DROSSOPOULOU, S., FRANCALANZA, A., M\ULLER, P. and SUMMERS, A.J., 2008. A Unified Framework for Verification Techniques for Object Invariants, J. VITEK, ed. In: Proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP), July 7-11 2008, Springer-Verlag, pp. 412-437.
FRANCALANZA, A. and HENNESSY, M., 2008. A theory of system behaviour in the presence of node and link failure. Information and Computation, 206(6), pp. 711-759.
FRANCALANZA, A. and HENNESSY, M., 2007. A fault tolerance bisimulation proof for consensus, R. DE NICOLA, ed. In: Proceedings of the 16th European Symposium on Programming (ESOP), March 24 - April 1, 2007 2007, Springer-Verlag, pp. 395-410.
FRANCALANZA, A. and HENNESSY, M., 2007. A theory for observational fault tolerance. Journal of Logic and Algebraic Programming, 73(1-2), pp. 22-50.
FRANCALANZA, A., 2006. A Study of Failure in a Distributed Pi-calculus, University of Sussex.
FRANCALANZA, A. and HENNESSY, M., 2006. A Theory for Observational Fault Tolerance, L. ACETO and A. INGOLFSDOTTIR, eds. In: International Conference on the Foundations of Software Science and Computation Structures (FOSSACS), March 25-31, 2006 2006, Springer Berlin / Heidelberg, pp. 16-31.
FRANCALANZA, A. and HENNESSY, M., 2005. A Theory of System Behaviour in the Presence of Node and Link Failures. M. ABADI and L. DE ALFARO, eds. In: International Conference on Conurrency Theory (CONCUR), August 23-26 2005, Springer, pp. 368-382.