Prof. Adrian Francalanza

Prof. Adrian Francalanza

Prof. Adrian Francalanza

 B.Sc.I.T.(Hons.), M.Sc., Ph.D.(Sussex)

Associate Professor

Level 1, Block B
Room 5
ICT Building
University of Malta
Msida
  +356 2340 2745
Prof. Adrian Francalanza has worked on behavioural theories for fault-tolerant systems, ownership types for object-oriented programming languages, and separation-based logics for message-passing concurrent programs at Sussex University, Imperial College and Southampton University, respectively. Since arriving at the University of Malta, he has been studying various aspects related to the theory and practice of correct program construction and verification. Although he has worked on various static analysis techniques such as type systems, his recent contributions have mainly focussed on runtime verification. He is particularly interested in applying this verification technique to guarantee the correctness of concurrent and distributed programs - computational systems that are notoriously difficult to analyse. Adrian has participated in a number of European projects and is currently acting as the principal coordinator for an H2020 RISE project titled "BehAPI: Behavioural Application Programming Interfaces".
  • Concurrency Theory
  • Runtime Monitoring
  • Type Systems
  • Programming Languages
  • Program Logics
  • Distributed Systems
  • Static and Dynamic Verification

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.

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.

  • CPS2001 - Programming Paradigms
  • CPS2005 - Formal Languages and Automata
  • CPS3238 - Principles of Programming Languages
  • CPS3239 - Computability and Complexity
  • CPS5122 - Principles of Concurrency
__Other

https://www.um.edu.mt/_templates/staffprofiles