Peer-reviewed publications

A4 Conference proceedings
A precise pictorial language for array invariants (2018)
Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Springer
View on publisher's site
A4 Conference proceedings
On Optimization of Test Parallelization with Constraints (2016)
Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres
CEUR Workshop Proceedings
CEUR-WS.org
A4 Conference proceedings
Parallel Development of Event-B Systems with Agile Methods (2014)
Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden
Halmstad University
A4 Conference proceedings
Proofs and Refutations in Invariant-Based Programming (2014)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Springer
View on publisher's site


Other publications

D4 Published development or research report or study
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development (2014)
Masoumeh Parsa, Marina Walden,Colin Snook

Last updated on 2018-19-09 at 19:44