Anders P. Ravn

Available identifiers

zbMath Open ravn.anders-pMaRDI QIDQ921959

List of research outcomes

Publication	Date of Publication	Type
A Two-Way Path Between Formal and Informal Design of Embedded Systems	2017-04-04	Paper
Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults	2014-12-22	Paper
Design and Verification of Fault-Tolerant Components	2009-04-24	Paper
Refinement and verification in component-based model-driven design	2009-03-02	Paper
Design Verification Patterns	2008-09-25	Paper
Unifying proof methodologies of duration calculus and timed linear temporal logic	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4417977	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4413706	2003-07-21	Paper
Hybrid action systems	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4246828	2002-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q3126783	1997-04-02	Paper
A calculus of durations	1992-06-28	Paper
A design method for embedded software systems	1988-01-01	Paper
Encapsulation constructs in systems programming languages	1984-01-01	Paper
Pointer variables in concurrent Pascal	1982-01-01	Paper
Device Monitors	1980-01-01	Paper
Synchronization under a commercial operating system	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anders P. Ravn