Arni Hermann Reynisson

According to our database, Arni Hermann Reynisson authored at least 3 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Modelling and simulation of asynchronous real-time systems using Timed Rebeca.

Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson

Sci. Comput. Program., 2014

2012

Guided Search for Deadlocks in Actor-Based Models.

Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011