Karl Lermer

Publication Activity (10 Years)

Years Active: 1995-2006
Publications (10 Years): 0

Publications

Karl Lermer, Colin J. Fidge
Procedure compilation in the refinement calculus. Formal Aspects Comput. 18 (2) (2006)
Karl Lermer, Colin J. Fidge, Ian J. Hayes
A theory for execution-time derivation in real-time programs. Theor. Comput. Sci. 346 (1) (2005)
Karl Lermer, Colin J. Fidge, Ian J. Hayes
Formal Semantics for Program Paths. Electron. Notes Theor. Comput. Sci. 78 (2003)
Karl Lermer, Colin J. Fidge, Ian J. Hayes
Linear Approximation of Execution-Time Constraints. Formal Aspects Comput. 15 (4) (2003)
Karl Lermer, Colin J. Fidge
A formal model of real-time program compilation. Theor. Comput. Sci. 282 (1) (2002)
Karl Lermer, Paul A. Strooper
Refinement and state machine abstraction. Theor. Comput. Sci. 266 (1-2) (2001)
Ian J. Hayes, Colin J. Fidge, Karl Lermer
Semantic characterisation of dead control-flow paths. IEE Proc. Softw. 148 (6) (2001)
Karl Lermer, Paul A. Strooper
A Single Complete Refinement Rule for Demonic Specifications. IFIP TCS (2000)
Karl Lermer
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics. ARTS (1999)
Karl Lermer, Colin J. Fidge
A Formal Model of Real-Time Program Compilation. ARTS (1999)
Karl Lermer, Colin J. Fidge
A Methodology for Compilation of High-Integrity Real-Time Programs. Euro-Par (1997)
Peter Baumann, Karl Lermer
A Framework for the Specification of Reactive and Concurrent Systems in Z. FSTTCS (1995)