Anders P. Ravn

Publication Activity (10 Years)

Years Active: 1979-2017
Publications (10 Years): 4

Top Topics

Feature Interactions

Home Automation

Top Venues

Concurr. Comput. Pract. Exp.

Int. J. Softw. Tools Technol. Transf.

TU Lyngby (PHD)

Education History

TU Lyngby

PHD

Publications

Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. Models, Algorithms, Logics and Tools (2017)
Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard, Andy J. Wellings, Shuai Zhao
Safety-critical Java for embedded systems. Concurr. Comput. Pract. Exp. 29 (22) (2017)
Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn
Conformance test development with the Java modeling language. Concurr. Comput. Pract. Exp. 29 (22) (2017)
Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan
A Two-Way Path Between Formal and Informal Design of Embedded Systems. UTP (2016)
Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou
A Method for Model Checking Feature Interactions. ICSOFT-EA (2015)
Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou
Validating Timed Component Contracts. EUROMICRO-SEAA (2015)
Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
Model Checking Feature Interactions. ICSOFT (Selected Papers) (2015)
Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski
Linking spatial and dynamic models for traffic maneuvers. CDC (2015)
Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn
A Safety-Critical Java Technology Compatibility Kit. JTRES (2014)
Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard
Certifiable Java for Embedded Systems. JTRES (2014)
Stephan Korsholm, Hans Søndergaard, Anders P. Ravn
A real-time Java tool chain for resource constrained platforms. Concurr. Comput. Pract. Exp. 26 (14) (2014)
Thomas Pedersen, Anders P. Ravn, Arne Skou
INTrEPID: A project on energy optimization in buildings. VITAE (2014)
Abinoam P. Marques Jr., Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
Model-checking web services business activity protocols. Int. J. Softw. Tools Technol. Transf. 15 (2) (2013)
Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
A Toolchain for Home Automation Controller Development. EUROMICRO-SEAA (2013)
Anders P. Ravn, Hans Søndergaard
A test suite for safety-critical Java using JML. JTRES (2013)
Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
Towards harnessing theories through tool support for hard real-time Java programming. Innov. Syst. Softw. Eng. 9 (1) (2013)
Anders P. Ravn, M. Teresa Higuera-Toledano
Introduction to the special issue on Java technologies for real-time and embedded systems: JTRES2011. Concurr. Comput. Pract. Exp. 25 (16) (2013)
Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou
HomePort: Middleware for heterogeneous home automation networks. PerCom Workshops (2013)
Hans Søndergaard, Stephan Korsholm, Anders P. Ravn
Safety-critical Java for low-end embedded platforms. JTRES (2012)
Seyedmojtaba Tabatabaeipour, Roozbeh Izadi-Zamanabadi, Thomas Bak, Anders P. Ravn
Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults. Int. J. Syst. Sci. 43 (11) (2012)
Anders P. Ravn, Martin Schoeberl
Safety-critical Java with cyclic executives on chip-multiprocessors. Concurr. Comput. Pract. Exp. 24 (8) (2012)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski
Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. 14 (6) (2012)
Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
Modelling and Verification of Web Services Business Activity Protocol. TACAS (2011)
Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, Anders P. Ravn
A Hardware Abstraction Layer in Java. ACM Trans. Embed. Comput. Syst. 10 (4) (2011)
Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm
Refactoring Real-Time Java Profiles. ISORC (2011)
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM (2011)
Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. ISoLA (1) (2010)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
Formal Modelling and Analysis of Predictable Java. ERCIM News 2010 (81) (2010)
Anders P. Ravn, Martin Schoeberl
Cyclic executive for safety-critical Java on chip-multiprocessors. JTRES (2010)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
Schedulability analysis for Java finalizers. JTRES (2010)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
A predictable Java profile: rationale and implementations. JTRES (2009)
Seyedmojtaba Tabatabaeipour, Roozbeh Izadi-Zamanabadi, Thomas Bak, Anders P. Ravn
Automatic sensor assignment of a supermarket refrigeration system. CCA/ISIC (2009)
Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider
On the Specification of Full Contracts. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan
Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74 (4) (2009)
Istvan Knoll, Anders P. Ravn, Arne Skou
Semantics for Communicating Actors with Interdependent Real-Time Deadlines. TASE (2009)
Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn
Hardware Objects for Java. ISORC (2008)
Stephan Korsholm, Martin Schoeberl, Anders P. Ravn
Interrupt Handlers in Java. ISORC (2008)
Joseph C. Okika, Anders P. Ravn
Classification of SOA Contract Specification Languages. ICWS (2008)
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
Contract-Oriented Software Development for Internet Services. ERCIM News 2008 (72) (2008)
John Knudsen, Anders P. Ravn, Arne Skou
Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems (2007)
Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME (2007)
Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch
Automated distributed simulation in PTOLEMY II. Parallel and Distributed Computing and Networks (2007)
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
A Refinement Driven Component-Based Design. ICECCS (2007)
Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn
A Profile for Safety Critical Java. ISORC (2007)
Ernst-Rüdiger Olderog, Anders P. Ravn
Editorial: Hybrid Systems. Acta Informatica 43 (7) (2007)
Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah
Developing a TTCN-3 Test Harness for Legacy Software. AST (2006)
Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn
Language-based support for service oriented architectures: Future directions. ICSOFT (1) (2006)
Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang
Harnessing Theories for Tool Support. ISoLA (2006)
Hans Søndergaard, Bent Thomsen, Anders P. Ravn
A Ravenscar-Java profile implementation. JTRES (2006)
Zhiming Liu, Anders P. Ravn, Xiaoshan Li
Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Aspects Comput. 16 (2) (2004)
Mauno Rönkkö, Anders P. Ravn, Kaisa Sere
Hybrid action systems. Theor. Comput. Sci. 290 (1) (2003)
Thomas Bak, Jan Dimon Bendtsen, Anders P. Ravn
Hybrid Control Design for a Wheeled Mobile Robot. HSCC (2003)
Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn
AsmL Specification of a Ptolemy II Scheduler. Abstract State Machines (2003)
Ernst-Rüdiger Olderog, Anders P. Ravn
Completeness in formal specification language design for process-control systems. FMSP (2000)
Anders P. Ravn, Hans Rischel
Real-Time Constraints Through the ProCoS Layers. Correct System Design (1999)
Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou
From Safety Analysis to Software Requirements. IEEE Trans. Software Eng. 24 (7) (1998)
Zhiming Liu, Anders P. Ravn, Xiaoshan Li
Verifying duration properties of timed transition systems. PROCOMET (1998)
Mauno Rönkkö, Anders P. Ravn
Action Systems with Continuous Behaviour. Hybrid Systems (1997)
Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel
Engineering of Real-Time Systems with an Experiment in Hybrid Control. European Educational Forum: School on Embedded Systems (1996)
Thomas J. Eriksen, Søren T. Heilmann, Michael Holdgaard, Anders P. Ravn
Hybrid Systems: A Real-Time Interface to Control Engineering. RTS (1996)
Chaochen Zhou, Ji Wang, Anders P. Ravn
A Formal Description of Hybrid Systems. Hybrid Systems (1995)
Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
Development of Safety-Critical Real-Time Systems. SOFSEM (1995)
Michael Schenke, Anders P. Ravn
Refinement from a Control Problem to Programs. Formal Methods for Industrial Applications (1995)
Michael Holdgaard, Thomas J. Eriksen, Anders P. Ravn, Torben Ole Andersen
A distributed implementation of a mode switching control program. RTS (1995)
Anders P. Ravn, Jørgen Staunstrup
Interface models. CODES (1994)
Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
Provably Correct Systems. FTRTFT (1994)
Anders P. Ravn, Hans Rischel, Finn Conrad, Torben Ole Andersen
Hybrid Control of a Robot - A Case Study. Hybrid Systems (1994)
Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn
Developing Correct Systems. RTS (1993)
Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen
Specifying and Verifying Requirements of Real-Time Systems. IEEE Trans. Software Eng. 19 (1) (1993)
Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen
A Formal Approach to Computer Systems Requirements Documentation. Hybrid Systems (1992)
Zhou Chaochen, Anders P. Ravn, Michael R. Hansen
An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems (1992)
Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou
Specification Of Embedded, Real-time Systems. RTS (1992)
Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
Introduction. Hybrid Systems (1992)
Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
Duration Specifications for Shared Processors. FTRTFT (1992)
Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn
A Calculus of Durations. Inf. Process. Lett. 40 (5) (1991)
Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel
Specifying and verifying requirements of real-time systems. SIGSOFT (1991)
Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen
A Design Method for Embedded Software Systems. BIT 28 (3) (1988)
Anders P. Ravn
Abstractions for Fault Tolerance in Distributed Systems - Response. IFIP Congress (1986)
William F. Appelbe, Anders P. Ravn
Encapsulation Constructs in Systems Programming Languages. ACM Trans. Program. Lang. Syst. 6 (2) (1984)
Anders P. Ravn
Pointer Variables in Concurrent Pascal. Softw. Pract. Exp. 12 (3) (1982)
Anders P. Ravn
Device Monitors. IEEE Trans. Software Eng. 6 (1) (1980)
Jørn Jensen, Søren Lauesen, Anders P. Ravn
Synchronization under a Commercial Operating System. Softw. Pract. Exp. 9 (9) (1979)