|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 49 occurrences of 37 keywords
|
|
|
|
|
Results
Found 58 publication records. Showing 58 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, Anders P. Ravn |
A Hardware Abstraction Layer in Java.  |
ACM Trans. Embedded Comput. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn |
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn, Jirí Srba, Saleem Vighio |
Modelling and Verification of Web Services Business Activity Protocol. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm |
Refactoring Real-Time Java Profiles. |
ISORC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen |
Formal Modelling and Analysis of Predictable Java. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Anders P. Ravn, Martin Schoeberl |
Cyclic executive for safety-critical Java on chip-multiprocessors. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
Schedulability analysis for Java finalizers. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
schedulability, Java, model checking, real-time, finalizers |
| 1 | Anders P. Ravn, Jirí Srba, Saleem Vighio |
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan |
Refinement and verification in component-based model-driven design. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider |
On the Specification of Full Contracts. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn |
Design and Verification of Fault-Tolerant Components. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
Fault-tolerance, model checking, abstraction, real-time embedded systems |
| 1 | Zhiming Liu, Anders P. Ravn (eds.) |
Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
A predictable Java profile: rationale and implementations. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
Java, real-time |
| 1 | Istvan Knoll, Anders P. Ravn, Arne Skou |
Semantics for Communicating Actors with Interdependent Real-Time Deadlines. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider |
Contract-Oriented Software Development for Internet Services. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stephan Korsholm, Martin Schoeberl, Anders P. Ravn |
Interrupt Handlers in Java. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn |
Hardware Objects for Java. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph C. Okika, Anders P. Ravn |
Classification of SOA Contract Specification Languages. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Anders P. Ravn |
Editorial: Hybrid Systems. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Design, Refinement, Transformation, Requirements Modelling |
| 1 | Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn |
A Profile for Safety Critical Java. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Knudsen, Anders P. Ravn, Arne Skou |
Design Verification Patterns. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch |
Automated distributed simulation in PTOLEMY II. |
Parallel and Distributed Computing and Networks |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn |
A Refinement Driven Component-Based Design. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, refinement, Software development process, component-based modeling |
| 1 | Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn |
Language-based support for service oriented architectures: Future directions. |
ICSOFT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang |
Harnessing Theories for Tool Support. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah |
Developing a TTCN-3 Test Harness for Legacy Software. |
AST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Anders P. Ravn, Xiaoshan Li |
Unifying proof methodologies of duration calculus and timed linear temporal logic. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Design, Verification, Real-time, Specification, Refinement |
| 1 | Mauno Rönkkö, Anders P. Ravn, Kaisa Sere |
Hybrid action systems. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bak, Jan Dimon Bendtsen, Anders P. Ravn |
Hybrid Control Design for a Wheeled Mobile Robot. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn |
AsmL Specification of a Ptolemy II Scheduler. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Anders P. Ravn |
Completeness in formal specification language design for process-control systems. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
UML |
| 1 | Anders P. Ravn, Hans Rischel |
Real-Time Constraints Through the ProCoS Layers. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
design, embedded system, real-time, formal specification, requirements, hybrid system |
| 1 | Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou |
From Safety Analysis to Software Requirements. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
real-time systems, formal methods, requirements engineering, temporal logic, Safety analysis, fault trees |
| 1 | Zhiming Liu, Anders P. Ravn, Xiaoshan Li |
Verifying duration properties of timed transition systems. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Anders P. Ravn, Hans Rischel (eds.) |
Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings |
FTRTFT |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mauno Rönkkö, Anders P. Ravn |
Action Systems with Continuous Behaviour. |
Hybrid Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn |
Design of embedded real-time computing systems. |
|
1995 |
RDF |
|
| 1 | Michael Schenke, Anders P. Ravn |
Refinement from a Control Problem to Programs. |
Formal Methods for Industrial Applications |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhou Chaochen, Wang Ji, Anders P. Ravn |
A Formal Description of Hybrid Systems. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber |
Development of Safety-Critical Real-Time Systems. |
SOFSEM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn, Hans Rischel, Finn Conrad, Torben O. Andersen |
Hybrid Control of a Robot - A Case Study. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn, Jørgen Staunstrup |
Interface models. |
CODES |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen |
Specifying and Verifying Requirements of Real-Time Systems. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
specification of requirements, verification of design, real-time interval logic, top-level design, synchronous events, real-time systems, real-time systems, formal specification, distributed computation, formal verification, temporal logic, sensor, mathematical model, actuator, duration calculus, control law |
| 1 | Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.) |
Hybrid Systems |
Hybrid Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel |
Introduction. |
Hybrid Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhou Chaochen, Anders P. Ravn, Michael R. Hansen |
An Extended Duration Calculus for Hybrid Real-Time Systems. |
Hybrid Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel |
Duration Specifications for Shared Processors. |
FTRTFT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn |
A Calculus of Durations. |
Inf. Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen |
A Design Method for Embedded Software Systems. |
BIT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Anders P. Ravn |
Abstractions for Fault Tolerance in Distributed Systems - Response. |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
| 1 | William F. Appelbe, Anders P. Ravn |
Encapsulation Constructs in Systems Programming Languages. |
ACM Trans. Program. Lang. Syst. |
1984 |
DBLP DOI BibTeX RDF |
Ada, UNIX |
| 1 | Anders P. Ravn |
Pointer Variables in Concurrent Pascal. |
Softw., Pract. Exper. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn |
Device Monitors. |
IEEE Trans. Software Eng. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Jørn Jensen, Søren Lauesen, Anders P. Ravn |
Synchronization under a Commercial Operating System. |
Softw., Pract. Exper. |
1979 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #58 of 58 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")