| * | 2009 |
|---|
| 4 | EE | Qaisar A. Malik,
Johan Lilius,
Linas Laibinis:
Model-Based Testing Using Scenarios and Event-B Refinements.
Methods, Models and Tools for Fault Tolerance 2009: 177-195 |
| 2006 |
|---|
| 3 | EE | Manoranjan Satpathy,
Qaisar A. Malik,
Johan Lilius:
Synthesis of Scenario Based Test Cases from B Models.
FATES/RV 2006: 133-147 |
| 2 | EE | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen,
Johan Lilius,
Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
RODIN Book 2006: 261-287 |
| 2005 |
|---|
| 1 | EE | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen,
Johan Lilius,
Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems.
ICFEM 2005: 188-203 |
