Anders P. Ravn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
12
Active years
1992–2015
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICSoft | Model Checking Feature Interactions. | Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou |
| 2015 | ICSoft | A Method for Model Checking Feature Interactions. | Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou |
| 2013 | PERCOM | HomePort: Middleware for heterogeneous home automation networks. | Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou |
| 2011 | ICFEM | An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. | Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog, Anders P. Ravn |
| 2011 | ISORC | Refactoring Real-Time Java Profiles. | Hans Sndergaard, Bent Thomsen, Anders P. Ravn, Ren Rydhof Hansen, Thomas Bgholm |
| 2011 | TACAS | Modelling and Verification of Web Services Business Activity Protocol. | Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio |
| 2010 | ISoLA | A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. | Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio |
| 2009 | TASE | Semantics for Communicating Actors with Interdependent Real-Time Deadlines. | Istvan Knoll, Anders P. Ravn, Arne Skou |
| 2008 | ICWS | Classification of SOA Contract Specification Languages. | Joseph C. Okika, Anders P. Ravn |
| 2008 | ISORC | Interrupt Handlers in Java. | Stephan Korsholm, Martin Schoeberl, Anders P. Ravn |
| 2008 | ISORC | Hardware Objects for Java. | Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn |
| 2007 | ICECCS | A Refinement Driven Component-Based Design. | Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn |
| 2007 | ISORC | A Profile for Safety Critical Java. | Martin Schoeberl, Hans Sndergaard, Bent Thomsen, Anders P. Ravn |
| 2006 | ICSE | Developing a TTCN-3 Test Harness for Legacy Software. | Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah |
| 2006 | ICSoft | Language-based support for service oriented architectures: Future directions. | Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn |
| 2006 | ISoLA | Harnessing Theories for Tool Support. | Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang |
| 1996 | ECRTS | Hybrid Systems: A Real-Time Interface to Control Engineering. | Thomas J. Eriksen, Sren T. Heilmann, Michael Holdgaard, Anders P. Ravn |
| 1995 | ECRTS | A distributed implementation of a mode switching control program. | Michael Holdgaard, Thomas J. Eriksen, Anders P. Ravn, Torben Ole Andersen |
| 1995 | SOFSEM | Development of Safety-Critical Real-Time Systems. | Hans Rischel, Jorge Cullar, Simon Mrk, Anders P. Ravn, Isolde Wildgruber |
| 1993 | ECRTS | Developing Correct Systems. | Jonathan P. Bowen, Ernst-Rdiger Olderog, Martin Frnzle, Anders P. Ravn |
| 1992 | ECRTS | Specification Of Embedded, Real-time Systems. | Jens Ulrik Skakkebk, Anders P. Ravn, Hans Rischel, Chaochen Zhou |