Hans Søndergaard

14 papers C 2Journal 5Unranked 7
YearRankTypeTitle / 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 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
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
2013 — conf
A test suite for safety-critical Java using JML.
JTRES
Anders P. Ravn, Hans Søndergaard
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 — conf
Safety-critical Java for low-end embedded platforms.
JTRES
Hans Søndergaard, Stephan Korsholm, Anders P. Ravn
2011 C conf
Refactoring Real-Time Java Profiles.
ISORC
Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm
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
2007 C conf
A Profile for Safety Critical Java.
ISORC
Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn
2006 — conf
A Ravenscar-Java profile implementation.
JTRES
Hans Søndergaard, Bent Thomsen, Anders P. Ravn