Anders P. Ravn

MaRDI QIDQ921959zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Development of safety-critical real-time systems	2024-07-17	Paper
A two-way path between formal and informal design of embedded systems Unifying Theories of Programming	2017-04-04	Paper
Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults International Journal of Systems Science. Principles and Applications of Systems and Integration	2014-12-22	Paper
Design and Verification of Fault-Tolerant Components Methods, Models and Tools for Fault Tolerance	2009-04-24	Paper
Refinement and verification in component-based model-driven design Science of Computer Programming	2009-03-02	Paper
Design Verification Patterns Formal Methods and Hybrid Real-Time Systems	2008-09-25	Paper
Unifying proof methodologies of duration calculus and timed linear temporal logic Formal Aspects of Computing	2004-10-01	Paper
scientific article; zbMATH DE number 1956621 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1951210 (Why is no real title available?)	2003-07-21	Paper
Hybrid action systems Theoretical Computer Science	2003-01-21	Paper
scientific article; zbMATH DE number 1301627 (Why is no real title available?)	2002-06-13	Paper
scientific article; zbMATH DE number 995939 (Why is no real title available?)	1997-04-02	Paper
A calculus of durations Information Processing Letters	1992-06-28	Paper
A design method for embedded software systems BIT	1988-01-01	Paper
Encapsulation constructs in systems programming languages ACM Transactions on Programming Languages and Systems	1984-01-01	Paper
Pointer variables in concurrent Pascal Software: Practice and Experience	1982-01-01	Paper
Device Monitors IEEE Transactions on Software Engineering	1980-01-01	Paper
Synchronization under a commercial operating system Software: Practice and Experience	1979-01-01	Paper

Research outcomes over time

This page was built for person: Anders P. Ravn