Brynjar Magnusson

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Automated Verification

Finite State Machines

Pspace Complete

Top Venues

Comput. Lang. Syst. Struct.

Publications

Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson
Statistical model checking of Timed Rebeca models. Comput. Lang. Syst. Struct. 45 (2016)
Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
Event-Based Analysis of Timed Rebeca Models using SQL. AGERE!@SPLASH (2014)
Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani
Analysing timed Rebeca using McErlang. AGERE!@SPLASH (2013)