Home » Accepted Papers

Accepted Papers

Full Papers

Domains: Safe sharing among actors
Joeri De Koster, Tom Van Cutsem and Theo D'Hondt - Vrije Universiteit Brussel (Belgium) 

A Decentralized Approach for Programming Interactive Applications with JavaScript and Blockly
Assaf Marron, Gera Weiss and Guy Wiener - Weizmann Institue of Science, Ben Gurion University, HP Labs (Israel)

Programming Abstractions for Integrating Autonomous and Reactive Behavior: An Agent-Oriented Approach
Alessandro Ricci and Andrea Santi - University of Bologna (Italy)

A Relational Trace Logic for Simple Hierarchical Actor-Based Component Systems
Ilham W. Kurnia and Arnd Poetzsch-Heffter - University of Kaiserslautern (Germany)

Adding Distribution and Fault Tolerance to Jason
Álvaro Fernández Díaz, Clara Benac Earle and Lars-Ake Fredlund - Universidad Politécnica de Madrid (Spain)

Parallel Gesture Recognition with Soft Real-Time Guarantees
Thierry Renaux, Lode Hoste, Stefan Marr and Wolfgang De Meuter - Vrije Universiteit Brussel (Belgium)  

Optimized Distributed Implementation of Multiparty Interactions with Observation
Saddek Bensalem, Marius Bozga, Jean Quilbeuf and Joseph Sifakis - VERIMAG, VERIMAG/CNRS (France)

Timed-Rebeca Schedulability and Deadlock-Freedom Analysis Using Floating-Time Transition System
Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani and Mohammad-Javad Izadi - Tehran University (Iran), Reykjavik University (Iceland)

Messages with Implicit Destinations as Mobile Agents
Ahmad Ahmad-Kassem, Stéphane Grumbach and Stéphane Ubéda - INRIA - INSA Lyon, INRIA (France)

Short/Position papers

Actor Idioms
Dale Schumacher - United States

Empirical Software Engineering for Agent Programming
Birna Van Riemsdijk - TU Delft (The Netherlands)

Distributed Priority Synthesis using Knowledge
Chih-Hong Cheng, Rongjie Yan, Harald Ruess and Saddek Bensalem - Fortiss (Germany), State Key Laboratory of Computer Science  Institute of Software (China), VERIMAG (France)

Leveraging Actors for Privacy Compliance
Jeffery Von Ronne - The University of Texas at San Antonio (United States)

Demo papers

Soter: An Automatic Safety Verifier for Erlang
Emanuele D'Osualdo, Jonathan Kochems and Luke Ong - Oxford University (United Kingdom)