Arni Hermann Reynisson

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Embedded Real Time Systems

Timing Constraints

Top Venues

Sci. Comput. Program.

Publications

Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson
Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Sci. Comput. Program. 89 (2014)
Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson
Guided Search for Deadlocks in Actor-Based Models. FACS (2012)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca FOCLASA (2011)