This is the software artefact of the paper "Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model”, accepted at the 34th European Conference on Object-Oriented Programming (ECOOP 2020), July 13--17, 2020, Berlin, Germany.Please consult the LICENSE file included in the archive for an overview of the different licenses of the software distributed by this artefact
The fundamental turn of software into concurrency and distribution is not only a matter of performan...
A software artifact supporting the claims of the paper "Reliable Actors with Retry Orchestration" wh...
This is the artifact accompanying our paper "Formal Modelling and Analysis of a Self-Adaptive Roboti...
This artefact provides runnable versions of the code samples given in the main publication. An inter...
Reactive programming is a programming paradigm whereby programs are internally represented by a depe...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
The artifact reproduces the results of Table 1 of the paper "Decoupled Fitness Criteria for Reactive...
Artifact for ICSE'23 paper: Using Reactive Synthesis: An End-to-End Exploratory Case Stud
This is the companion artifact for the paper "Multiparty Session Types for Safe Runtime Adaptation i...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
This is the companion artifact for the paper “Multiparty Session Types for Safe Runtime Adaptation i...
This is a research artifact for the paper Disrupting Software Ecosystems: Case Studies on the Impact...
This article introduces the notion of environment programming in software Multi-Agent Systems (MAS) ...
This repository includes an accompanying artifact to our paper --- Formally Explaining Neural Networ...
The fundamental turn of software into concurrency and distribution is not only a matter of performan...
A software artifact supporting the claims of the paper "Reliable Actors with Retry Orchestration" wh...
This is the artifact accompanying our paper "Formal Modelling and Analysis of a Self-Adaptive Roboti...
This artefact provides runnable versions of the code samples given in the main publication. An inter...
Reactive programming is a programming paradigm whereby programs are internally represented by a depe...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
The artifact reproduces the results of Table 1 of the paper "Decoupled Fitness Criteria for Reactive...
Artifact for ICSE'23 paper: Using Reactive Synthesis: An End-to-End Exploratory Case Stud
This is the companion artifact for the paper "Multiparty Session Types for Safe Runtime Adaptation i...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
This is the companion artifact for the paper “Multiparty Session Types for Safe Runtime Adaptation i...
This is a research artifact for the paper Disrupting Software Ecosystems: Case Studies on the Impact...
This article introduces the notion of environment programming in software Multi-Agent Systems (MAS) ...
This repository includes an accompanying artifact to our paper --- Formally Explaining Neural Networ...
The fundamental turn of software into concurrency and distribution is not only a matter of performan...
A software artifact supporting the claims of the paper "Reliable Actors with Retry Orchestration" wh...
This is the artifact accompanying our paper "Formal Modelling and Analysis of a Self-Adaptive Roboti...