Jesper Berthing

According to our database, Jesper Berthing authored at least 7 papers between 2004 and 2012.

Collaborative distances:

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

2012

Refinement-Based Development of Timed Systems.

Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2007

A Timed Multitasking Architecture for Distributed Embedded Systems.

Christo Angelov, Jesper Berthing

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

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

Jesper Berthing, Thomas Maier

Proceedings of the Computer Safety, 2007

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

Jesper Berthing, Christo Angelov

Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

2006

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

Christo Angelov, Jesper Berthing

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005

A Jitter-Free Operational Environment for Dependable Embedded Systems.

Christo Angelov, Jesper Berthing, Krzysztof Sierszecki

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

2004

A Jitter-Free Kernel for Hard Real-Time Systems.

Christo Angelov, Jesper Berthing

Proceedings of the Embedded Software and Systems, First International Conference, 2004