Karl Lermer

12 papers Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2006 J jnl
Procedure compilation in the refinement calculus.
Formal Aspects Comput.
Karl Lermer, Colin J. Fidge
2005 J jnl
A theory for execution-time derivation in real-time programs.
Theor. Comput. Sci.
Karl Lermer, Colin J. Fidge, Ian J. Hayes
2003 — conf
Formal Semantics for Program Paths.
CATS
Karl Lermer, Colin J. Fidge, Ian J. Hayes
2003 J jnl
Linear Approximation of Execution-Time Constraints.
Formal Aspects Comput.
Karl Lermer, Colin J. Fidge, Ian J. Hayes
2002 J jnl
A formal model of real-time program compilation.
Theor. Comput. Sci.
Karl Lermer, Colin J. Fidge
2001 J jnl
Refinement and state machine abstraction.
Theor. Comput. Sci.
Karl Lermer, Paul A. Strooper
2001 J jnl
Semantic characterisation of dead control-flow paths.
IEE Proc. Softw.
Ian J. Hayes, Colin J. Fidge, Karl Lermer
2000 — conf
A Single Complete Refinement Rule for Demonic Specifications.
IFIP TCS
Karl Lermer, Paul A. Strooper
1999 — conf
A Formal Model of Real-Time Program Compilation.
ARTS
Karl Lermer, Colin J. Fidge
1999 — conf
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.
ARTS
Karl Lermer
1997 — conf
A Methodology for Compilation of High-Integrity Real-Time Programs.
Euro-Par
Karl Lermer, Colin J. Fidge
1995 — conf
A Framework for the Specification of Reactive and Concurrent Systems in Z.
FSTTCS
Peter Baumann, Karl Lermer
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling