Brynjar Magnusson

According to our database, Brynjar Magnusson authored at least 3 papers between 2013 and 2016.

Collaborative distances:

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

2016

Statistical model checking of Timed Rebeca models.

Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson

Comput. Lang. Syst. Struct., 2016

2014

Event-Based Analysis of Timed Rebeca Models using SQL.

Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013

Analysing timed Rebeca using McErlang.

Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani

Proceedings of the 2013 Workshop on Programming based on Actors, 2013