Masoumeh Parsa

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 3

Top Topics

Penalty Function

Programming Language

Entity Relationship Diagrams

Top Venues

Software Engineering (Workshops)

Publications

Johannes Eriksson, Masoumeh Parsa
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams. PADL (2020)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
A Precise Pictorial Language for Array Invariants. IFM (2018)
Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres
On Optimization of Test Parallelization with Constraints. Software Engineering (Workshops) (2016)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Proofs and Refutations in Invariant-Based Programming. IFM (2014)