Showing 1 - 13 results of 13 for search 'Adrian Francalanza', query time: 0.03s Refine Results
  1. 1
    Preliminary Results Towards Contract Monitorability

    Preliminary Results Towards Contract Monitorability by Annalizz Vella, Adrian Francalanza

    Published 2016-05-01
    Get full text
    Article
  2. 2
    On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems

    On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems by Ian Cassar, Adrian Francalanza

    Published 2015-02-01
    Get full text
    Article
  3. 3
    Unlocking Blocked Communicating Processes

    Unlocking Blocked Communicating Processes by Adrian Francalanza, Marco Giunti, António Ravara

    Published 2015-08-01
    Get full text
    Article
  4. 4
    Permission-Based Separation Logic for Message-Passing Concurrency

    Permission-Based Separation Logic for Message-Passing Concurrency by Adrian Francalanza, Julian Rathke, Vladimiro Sassone

    Published 2011-09-01
    Get full text
    Article
  5. 5
    Improving Runtime Overheads for detectEr

    Improving Runtime Overheads for detectEr by Ian Cassar, Adrian Francalanza, Simon Said

    Published 2015-03-01
    Get full text
    Article
  6. 6
    Simplifying Contract-Violating Traces

    Simplifying Contract-Violating Traces by Christian Colombo, Adrian Francalanza, Ian Grima

    Published 2012-09-01
    Get full text
    Article
  7. 7
    Uniqueness Typing for Resource Management in Message-Passing Concurrency

    Uniqueness Typing for Resource Management in Message-Passing Concurrency by Edsko de Vries, Adrian Francalanza, Matthew Hennessy

    Published 2010-03-01
    Get full text
    Article
  8. 8
    Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

    Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency by Adrian Francalanza, Edsko DeVries, Matthew Hennessy

    Published 2014-06-01
    Get full text
    Article
  9. 9
    A Survey of Runtime Monitoring Instrumentation Techniques

    A Survey of Runtime Monitoring Instrumentation Techniques by Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir

    Published 2017-08-01
    Get full text
    Article
  10. 10
    Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

    Bidirectional Runtime Enforcement of First-Order Branching-Time Properties by Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir

    Published 2023-02-01
    Get full text
    Article
  11. 11
    Reliability and Fault-Tolerance by Choreographic Design

    Reliability and Fault-Tolerance by Choreographic Design by Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto

    Published 2017-08-01
    Get full text
    Article
  12. 12
    Extensible Technology-Agnostic Runtime Verification

    Extensible Technology-Agnostic Runtime Verification by Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace

    Published 2013-02-01
    Get full text
    Article
  13. 13
    Distributed System Contract Monitoring

    Distributed System Contract Monitoring by Adrian Francalanza Ph.D, Andrew Gauci M.Sc, Gordon Pace Ph.D

    Published 2011-09-01
    Get full text
    Article

Search Tools: