Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies. - Henrik Schiøler; Jan Jakob Jessen; Jens Dalsgaard Nielsen; Kim Guldstrand Larsen (CATA, 2005)

ZoneLib: A simulink library for modeling zone divided climate dynamics. - Jan Jakob Jessen; Henrik Schiøler (CAINE, 2006)

Introducing synchronisation in deterministic network models. - Henrik Schiøler; Jan Jakob Jessen; Jens Dalsgaard Nielsen; Kim Guldstrand Larsen (CAINE, 2006)

Parameter estimation for zone based climate dynamics. - Jan Jakob Jessen; Henrik Schiøler (Computational Intelligence, 2006)

COTS technologies for internet based monitoring of livestock buildings. - Jan Jakob Jessen; J. F. D. Nielsen; Henrik Schiøler; Martin Risgaard Jensen (IMSA, 2006)

COTS Technologies for Integrating Development Environment, Remote Monitoring and Control of Livestock Stable Climate. - Jan Jakob Jessen; Henrik Schiøler; Jens Frederik Dalsgaard Nielsen; Martin Risgaard Jensen (SMC, 2006)

CyNC: A method for real time analysis of systems with cyclic data flows. - Henrik Schiøler; Jens Dalsgaard Nielsen; Kim Guldstrand Larsen; Jan Jakob Jessen (J. Embed. Comput., 2006)

Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. - Jan Jakob Jessen; Jacob Illum Rasmussen; Kim Guldstrand Larsen; Alexandre David (FORMATS, 2007)

A distributed control algorithm for internal flow management in a multi-zone climate unit. - Claudio De Persis; Jan Jakob Jessen; Roozbeh Izadi-Zamanabadi; Henrik Schiøler (Int. J. Control, 2008)

Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. - Franck Cassez; Jan Jakob Jessen; Kim Guldstrand Larsen; Jean-François Raskin; Pierre-Alain Reynier (HSCC, 2009)

Application of Model-Checking Technology to Controller Synthesis. - Alexandre David; Jacob Deleuran Grunnet; Jan Jakob Jessen; Kim Guldstrand Larsen; Jacob Illum Rasmussen (FMCO, 2010)