Adrian Francalanza

Available identifiers

zbMath Open francalanza.adrianMaRDI QIDQ888410

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Adrian Francalanza