Login / Signup
Arni Hermann Reynisson
Publication Activity (10 Years)
Years Active: 2011-2014
Publications (10 Years): 0
Top Topics
Embedded Real Time Systems
Timing Constraints
Fine Grained
Petri Net
Top Venues
Sci. Comput. Program.
FACS
</>
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)