Karl Lermer

According to our database, Karl Lermer authored at least 11 papers between 1995 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

Procedure compilation in the refinement calculus.

Karl Lermer, Colin J. Fidge

Formal Aspects Comput., 2006

2005

A theory for execution-time derivation in real-time programs.

Karl Lermer, Colin J. Fidge, Ian J. Hayes

Theor. Comput. Sci., 2005

2003

Linear Approximation of Execution-Time Constraints.

Karl Lermer, Colin J. Fidge, Ian J. Hayes

Formal Aspects Comput., 2003

Formal Semantics for Program Paths.

Karl Lermer, Colin J. Fidge, Ian J. Hayes

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

2002

A formal model of real-time program compilation.

Karl Lermer, Colin J. Fidge

Theor. Comput. Sci., 2002

2001

Refinement and state machine abstraction.

Karl Lermer, Paul A. Strooper

Theor. Comput. Sci., 2001

Semantic characterisation of dead control-flow paths.

Ian J. Hayes, Colin J. Fidge, Karl Lermer

IEE Proc. Softw., 2001

2000

A Single Complete Refinement Rule for Demonic Specifications.

Karl Lermer, Paul A. Strooper

Proceedings of the Theoretical Computer Science, 2000

1999

A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.

Karl Lermer

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1997

A Methodology for Compilation of High-Integrity Real-Time Programs.

Karl Lermer, Colin J. Fidge

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1995

A Framework for the Specification of Reactive and Concurrent Systems in Z.

Peter Baumann, Karl Lermer

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995