Reykjavík University — IS
Computer Science · Physical Sciences
2h-index100citations4works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(4), Real-Time Systems Scheduling(2), Petri Nets in System Modeling(2), Advanced Software Engineering Methodologies(1), Software Testing and Debugging Techniques(1)
Publications4 total
Science of Computer Programming·2014· 61 cited
Lecture notes in computer science·2013· 2 cited
Electronic Proceedings in Theoretical Computer Science·2011· 37 citedOpen Access
Timed Rebeca: Refinement and Simulation
2011
Frequent Co-authors
Marjan Sirjani(3), Steinar Hugi Sigurdarson(3), Luca Aceto(2), Matteo Cimini(2), Anna Ingólfsdóttir(2), Ali Jafari(1), Yngvi Björnsson(1)