 | 2007 |
|---|
| 8 |       | Petra Malik,
Robi Malik,
David Streader,
Steve Reeves:
Modular Synthesis of Discrete Controllers.
ICECCS 2007: 25-34 |
| 7 | | Hugo Flordal,
Robi Malik,
Martin Fabian,
Knut Åkesson:
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.
Discrete Event Dynamic Systems 17(4): 475-504 (2007) |
| 2006 |
|---|
| 6 | | Annika Hinze,
Petra Malik,
Robi Malik:
Interaction design for a mobile context-aware system using discrete event modelling.
ACSC 2006: 257-266 |
| 5 | | Robi Malik,
David Streader,
Steve Reeves:
Conflicts and Fair Testing.
Int. J. Found. Comput. Sci. 17(4): 797-814 (2006) |
| 2005 |
|---|
| 4 | | Robi Malik,
Partha S. Roop:
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.
IFM 2005: 33-52 |
| 2004 |
|---|
| 3 | | Robi Malik,
David Streader,
Steve Reeves:
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.
ATVA 2004: 120-134 |
| 2003 |
|---|
| 2 | | Robi Malik,
Reinhard Mühlfeld:
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol.
J. UCS 9(2): 138-151 (2003) |
| 1998 |
|---|
| 1 | | Robi Malik:
Automated Deduction of Finite-State Control Programs for Reactive Systems.
CADE 1998: 302-316 |
