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 |
1 | Panagiotis K. Linos | [1] |