| 2006 |
|---|
| 12 | EE | Karl Lermer,
Colin J. Fidge:
Procedure compilation in the refinement calculus.
Formal Asp. Comput. 18(2): 152-180 (2006) |
| 2005 |
|---|
| 11 | EE | Karl Lermer,
Colin J. Fidge,
Ian J. Hayes:
A theory for execution-time derivation in real-time programs.
Theor. Comput. Sci. 346(1): 3-27 (2005) |
| 2003 |
|---|
| 10 | EE | Karl Lermer,
Colin J. Fidge,
Ian J. Hayes:
Formal Semantics for Program Paths.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 9 | EE | Karl Lermer,
Colin J. Fidge,
Ian J. Hayes:
Linear Approximation of Execution-Time Constraints.
Formal Asp. Comput. 15(4): 319-348 (2003) |
| 2002 |
|---|
| 8 | EE | Karl Lermer,
Colin J. Fidge:
A formal model of real-time program compilation.
Theor. Comput. Sci. 282(1): 151-190 (2002) |
| 2001 |
|---|
| 7 | | Ian J. Hayes,
Colin J. Fidge,
Karl Lermer:
Semantic characterisation of dead control-flow paths.
IEE Proceedings - Software 148(6): 175-186 (2001) |
| 6 | EE | Karl Lermer,
Paul A. Strooper:
Refinement and state machine abstraction.
Theor. Comput. Sci. 266(1-2): 195-235 (2001) |
| 2000 |
|---|
| 5 | EE | Karl Lermer,
Paul A. Strooper:
A Single Complete Refinement Rule for Demonic Specifications.
IFIP TCS 2000: 564-579 |
| 1999 |
|---|
| 4 | EE | Karl Lermer:
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.
ARTS 1999: 152-171 |
| 3 | EE | Karl Lermer,
Colin J. Fidge:
A Formal Model of Real-Time Program Compilation.
ARTS 1999: 192-210 |
| 1997 |
|---|
| 2 | | Karl Lermer,
Colin J. Fidge:
A Methodology for Compilation of High-Integrity Real-Time Programs.
Euro-Par 1997: 1274-1281 |
| 1995 |
|---|
| 1 | | Peter Baumann,
Karl Lermer:
A Framework for the Specification of Reactive and Concurrent Systems in Z.
FSTTCS 1995: 62-79 |
