Hans Søndergaard

According to our database, Hans Søndergaard authored at least 14 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Conformance test development with the Java modeling language.

Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn

Concurr. Comput. Pract. Exp., 2017

Safety-critical Java for embedded systems.

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

Concurr. Comput. Pract. Exp., 2017

2014

A real-time Java tool chain for resource constrained platforms.

Stephan Korsholm, Hans Søndergaard, Anders P. Ravn

Concurr. Comput. Pract. Exp., 2014

A Safety-Critical Java Technology Compatibility Kit.

Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

Certifiable Java for Embedded Systems.

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

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

2013

Towards harnessing theories through tool support for hard real-time Java programming.

Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen

Innov. Syst. Softw. Eng., 2013

A test suite for safety-critical Java using JML.

Anders P. Ravn, Hans Søndergaard

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

2012

Safety-critical Java for low-end embedded platforms.

Hans Søndergaard, Stephan Korsholm, Anders P. Ravn

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011

Refactoring Real-Time Java Profiles.

Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

2010

Formal Modelling and Analysis of Predictable Java.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen

ERCIM News, 2010

Schedulability analysis for Java finalizers.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

2009

A predictable Java profile: rationale and implementations.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

2007

A Profile for Safety Critical Java.

Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006

A Ravenscar-Java profile implementation.

Hans Søndergaard, Bent Thomsen, Anders P. Ravn

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006