Adrian Francalanza
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [j11]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Adventures in monitorability: from branching to linear time and back again. PACMPL 3(POPL): 52:1-52:29 (2019) - 2018
- [j10]Giovanni Tito Bernardi, Adrian Francalanza:
Full-abstraction for client testing preorders. Sci. Comput. Program. 168: 94-117 (2018) - [c42]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Runtime Enforcement via Suppressions. CONCUR 2018: 34:1-34:17 - [c41]Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reversible Choreographies via Monitoring in Erlang. DAIS 2018: 75-92 - [c40]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
A Framework for Parameterized Monitorability. FoSSaCS 2018: 203-220 - [c39]Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Shooting from the heap: ultra-scalable static analysis with heap snapshots. ISSTA 2018: 198-208 - [p2]Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger:
Introduction to Runtime Verification. Lectures on Runtime Verification 2018: 1-33 - [p1]Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. Lectures on Runtime Verification 2018: 176-210 - [e3]Natalia Chechina, Adrian Francalanza:
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018. ACM 2018 [contents] - [i5]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
Developing Theoretical Foundations for Runtime Enforcement. CoRR abs/1804.08917 (2018) - [i4]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Runtime Enforcement via Suppressions. CoRR abs/1807.01004 (2018) - [i3]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [j9]Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
Monitorability for the Hennessy-Milner logic with recursion. Formal Methods in System Design 51(1): 87-116 (2017) - [j8]Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Heaps don't lie: countering unsoundness with heap snapshots. PACMPL 1(OOPSLA): 68:1-68:27 (2017) - [c38]
- [c37]Giovanni Bernardi, Adrian Francalanza:
Full-Abstraction for Must Testing Preorders - (Extended Abstract). COORDINATION 2017: 237-255 - [c36]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
eAOP: an aspect oriented programming framework for Erlang. Erlang Workshop 2017: 20-30 - [c35]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
Monitoring for Silent Actions. FSTTCS 2017: 7:1-7:14 - [c34]Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir:
A Foundation for Runtime Monitoring. RV 2017: 8-29 - [c33]Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Suite of Monitoring Tools for Erlang. RV-CuBES 2017: 41-47 - [c32]Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Generic Instrumentation Tool for Erlang. RV-CuBES 2017: 48-54 - [c31]Duncan Paul Attard, Adrian Francalanza:
Trace Partitioning and Local Monitoring for Asynchronous Components. SEFM 2017: 219-235 - [c30]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
On the Complexity of Determinizing Monitors. CIAA 2017: 1-13 - [c29]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
A Survey of Runtime Monitoring Instrumentation Techniques. PrePost@iFM 2017: 15-28 - [c28]Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM 2017: 69-80 - [e2]Adrian Francalanza, Gordon J. Pace:
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS 254, 2017 [contents] - 2016
- [c27]Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace:
Using gherkin to extract tests and monitors for safer medical device interaction design. EICS 2016: 275-280 - [c26]
- [c25]Ian Cassar, Adrian Francalanza:
On Implementing a Monitor-Oriented Programming Framework for Actor Systems. IFM 2016: 176-192 - [c24]Duncan Paul Attard, Adrian Francalanza:
A Monitoring Tool for a Branching-Time Logic. RV 2016: 473-481 - [c23]Annalizz Vella, Adrian Francalanza:
Preliminary Results Towards Contract Monitorability. PrePost@IFM 2016: 54-63 - [e1]Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir:
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016. EPTCS 208, 2016 [contents] - [i2]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
Determinizing Monitors for HML with Recursion. CoRR abs/1611.10212 (2016) - 2015
- [j7]Adrian Francalanza, Aldrin Seychell:
Synthesising correct concurrent runtime monitors. Formal Methods in System Design 46(3): 226-261 (2015) - [c22]
- [c21]Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
On Verifying Hennessy-Milner Logic with Recursion at Runtime. RV 2015: 71-86 - [c20]Christian Colombo, Gabriel Dimech, Adrian Francalanza:
Investigating Instrumentation Techniques for ESB Runtime Verification. SEFM 2015: 99-107 - [c19]
- [c18]Ian Cassar, Adrian Francalanza, Simon Said:
Improving Runtime Overheads for detectEr. FESCA 2015: 1-8 - [c17]Adrian Francalanza, Marco Giunti, António Ravara:
Unlocking Blocked Communicating Processes. WWV 2015: 23-32 - 2014
- [j6]Adrian Francalanza, Edsko de Vries, Matthew Hennessy:
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. Logical Methods in Computer Science 10(2) (2014) - [j5]Edsko de Vries, Adrian Francalanza, Matthew Hennessy:
Uniqueness typing for resource management in message-passing concurrency. J. Log. Comput. 24(3): 531-556 (2014) - [c16]Ian Cassar, Adrian Francalanza:
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. FOCLASA 2014: 54-68 - 2013
- [j4]Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed system contract monitoring. J. Log. Algebr. Program. 82(5-7): 186-215 (2013) - [c15]Adrian Francalanza, Tyron Zerafa:
Code management automation for Erlang remote actors. AGERE!@SPLASH 2013: 13-18 - [c14]Adrian Francalanza, Tyron Zerafa:
Towards an abstraction for remote evaluation in Erlang. Erlang Workshop 2013: 75-76 - [c13]Adrian Francalanza, Aldrin Seychell:
Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). RV 2013: 112-129 - [c12]Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
Extensible Technology-Agnostic Runtime Verification. FESCA 2013: 1-15 - 2012
- [c11]Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM 2012: 218-232 - [c10]Christian Colombo, Adrian Francalanza, Ian Grima:
Simplifying Contract-Violating Traces. FLACOS 2012: 11-20 - 2011
- [j3]Adrian Francalanza, Julian Rathke, Vladimiro Sassone:
Permission-Based Separation Logic for Message-Passing Concurrency. Logical Methods in Computer Science 7(3) (2011) - [c9]Christian Colombo, Adrian Francalanza, Rudolph Gatt:
Elarva: A Monitoring Tool for Erlang. RV 2011: 370-374 - [c8]Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed System Contract Monitoring. FLACOS 2011: 23-37
2000 – 2009
- 2009
- [c7]Issam Souilah, Adrian Francalanza, Vladimiro Sassone:
A Formal Model of Provenance in Distributed Systems. Workshop on the Theory and Practice of Provenance 2009 - [c6]Edsko de Vries, Adrian Francalanza, Matthew Hennessy:
Uniqueness Typing for Resource Management in Message-Passing Concurrency. LINEARITY 2009: 26-37 - 2008
- [j2]Adrian Francalanza, Matthew Hennessy:
A theory of system behaviour in the presence of node and link failure. Inf. Comput. 206(6): 711-759 (2008) - [c5]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437 - [i1]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008 - 2007
- [j1]Adrian Francalanza, Matthew Hennessy:
A theory for observational fault tolerance. J. Log. Algebr. Program. 73(1-2): 22-50 (2007) - [c4]Adrian Francalanza, Matthew Hennessy:
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). ESOP 2007: 395-410 - [c3]Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
Universe Types for Topology and Encapsulation. FMCO 2007: 72-112 - 2006
- [c2]Adrian Francalanza, Matthew Hennessy:
A Theory for Observational Fault Tolerance. FoSSaCS 2006: 16-31 - 2005
- [b1]Adrian Francalanza:
A study of failure in a distributed pi-calculus. University of Sussex, UK 2005 - [c1]Adrian Francalanza, Matthew Hennessy:
A Theory of System Behaviour in the Presence of Node and Link Failures. CONCUR 2005: 368-382
Coauthor Index
last updated on 2019-01-23 22:40 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint