| 2006 |
|---|
| 5 | EE | Michael Breen:
All Things Considered: Inspecting Statecharts by Model Transformation.
EUROMICRO-SEAA 2006: 224-231 |
| 2005 |
|---|
| 4 | EE | Michael Breen:
Combinatorial completion by rule definition with interactive value colouring.
ACM SIGSOFT Software Engineering Notes 30(2): 1-6 (2005) |
| 3 | EE | Michael Breen:
Experience of using a lightweight formal specification method for a commercial embedded system product line.
Requir. Eng. 10(2): 161-172 (2005) |
| 2004 |
|---|
| 2 | EE | Michael Breen:
Statestep: A Tool for Systematic, Incremental Specification.
ICSE 2004: 711-712 |
| 1999 |
|---|
| 1 | EE | Panagiotis K. Linos,
Michael Breen:
Improving bipartite graphs using multi-strategy simulated annealing.
ACM Southeast Regional Conference 1999 |
