Anders P. Ravn

91 papers A 2B 3C 6Misc 1Journal 24Unranked 47

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