Anders P. Ravn

Available identifiers

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	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

This page was built for person: Anders P. Ravn