Adrian Francalanza

Available identifiers

zbMath Open francalanza.adrianMaRDI QIDQ888410

List of research outcomes

Publication	Date of Publication	Type
Complexity results for modal logic with recursion via translations and tableaux	2024-09-04	Paper
An Operational Guide to Monitorability	2024-03-14	Paper
ElixirST: a session-based type system for elixir modules	2024-03-01	Paper
Testing equivalence vs. runtime monitoring	2024-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q6191004	2024-02-08	Paper
On first-order runtime enforcement of branching-time properties	2023-11-21	Paper
ElixirST: a session-based type system for elixir modules	2023-09-25	Paper
On probabilistic monitorability	2023-08-10	Paper
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties	2023-03-22	Paper
Monitoring hyperproperties with circuits	2022-08-19	Paper
On bidirectional runtime enforcement	2022-03-21	Paper
A theory of monitors	2021-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q5009452	2021-08-04	Paper
Behavioural types for memory and method safety in a core object-oriented language	2021-07-08	Paper
Computer says no: verdict explainability for runtime monitors using a local proof system	2021-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q5150150	2021-02-09	Paper
Monitoring for Silent Actions	2020-11-25	Paper
Consistently-detecting monitors	2020-05-27	Paper
The complexity of identifying characteristic formulae	2020-04-15	Paper
Determinizing monitors for HML with recursion	2020-01-31	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
An LTL Proof System for Runtime Verification	2019-09-17	Paper
A framework for parameterized monitorability	2018-07-17	Paper
Monitorability for the Hennessy-Milner logic with recursion	2017-09-08	Paper
On the complexity of determinizing monitors	2017-08-22	Paper
A Theory of Monitors	2016-06-10	Paper
Synthesising correct concurrent runtime monitors	2015-10-30	Paper
Uniqueness typing for resource management in message-passing concurrency	2015-01-12	Paper
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency	2014-07-31	Paper
Distributed system contract monitoring	2014-02-25	Paper
Permission-based separation logic for message-passing concurrency	2012-04-02	Paper
Universe Types for Topology and Encapsulation	2009-02-12	Paper
A theory of system behaviour in the presence of node and link failure	2008-08-22	Paper
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)	2007-09-04	Paper
A theory for observational fault tolerance	2007-08-23	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper

Research outcomes over time

This page was built for person: Adrian Francalanza