Jesper Berthing

Component-Based Design of Safe Real-Time Kernels for Embedded Systems

Christo Angelov, Jesper Berthing, 2007, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007).

A Jitter-Free Operational Environment for Dependable Embedded Systems

Christo Angelov, Krzysztof Sierszecki, Jesper Berthing, 2005, IESS.

Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems

Christo Angelov, Jesper Berthing, 2006, DIPES.

Formalised Implementation of Safety Related HW/SW Architectures in Compliance with Functional Safety Requirements

Jesper Berthing, Thomas Maier, 2007 .

A Jitter-Free Kernel for Hard Real-Time Systems

Christo Angelov, Jesper Berthing, 2004, ICESS.

Function Unit Specification in a Timed Multitasking Environment

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian, 2004 .

Refinement-Based Development of Timed Systems

Kaisa Sere, Leonidas Tsiopoulos, Pontus Boström, 2012, IFM.

A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements

Thomas Maier, Jesper Berthing, 2007, SAFECOMP.

A Timed Multitasking Architecture for Distributed Embedded Systems

Christo Angelov, Jesper Berthing, C. Angelov, 2007, 2007 International Symposium on Industrial Embedded Systems.