Johan Nordlander

Publication Activity (10 Years)

Years Active: 1998-2012
Publications (10 Years): 0

Top Venues

ISoLA (2)

Int. J. Netw. Manag.

ICECCS

NOMS

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Marie-Agnès Peraldi-Frati, Arda Goknil, Julien DeAntoni, Johan Nordlander
A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2. ICECCS (2012)
Björn Lisper, Johan Nordlander
A Simple and Flexible Timing Constraint Logic. ISoLA (2) (2012)
Stefan Wallin, Viktor Leijon, Johan Nordlander, Nicklas Bystedt
The semantics of alarm definitions: enabling systematic reasoning about alarms. Int. J. Netw. Manag. 22 (3) (2012)
Björn Lisper, Johan Nordlander, Sophie Quinton
Timing Constraints: Theory Meets Practice. ISoLA (2) (2012)
Stefan Wallin, Christer Åhlund, Johan Nordlander
Rethinking network management: Models, data-mining and self-learning. NOMS (2012)
Peter A. Jonsson, Johan Nordlander
Taming code explosion in supercompilation. PEPM (2011)
Peter A. Jonsson, Johan Nordlander
Positive Supercompilation for a Higher-Order Call-By-Value Language Log. Methods Comput. Sci. 6 (3) (2010)
Johan Nordlander, Rolf Johansson, Risat Mahmud Pathan
Unambiguous semantics in automotive timing modeling. EDCC-CARS (2010)
Martin Kero, Pawel Pietrzak, Johan Nordlander
Live Heap Space Bounds for Real-Time Systems. APLAS (2010)
Jimmie Wiklander, Jens Eliasson, Andrey Kruglyak, Per Lindgren, Johan Nordlander
Enabling Component-Based Design for Embedded Real-Time Software. J. Comput. 4 (12) (2009)
Peter A. Jonsson, Johan Nordlander
Positive supercompilation for a higher order call-by-value language. POPL (2009)
Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems. DATE (2008)
Johan Nordlander, Magnus Carlsson, Andy Gill
Unrestricted pure call-by-value recursion. ML (2008)
Martin Kero, Johan Nordlander, Per Lindgren
A correct and useful incremental copying garbage collector. ISMM (2007)
Magnus Carlsson, Johan Nordlander, Dick Kieburtz
The Semantic Layers of Timber. APLAS (2003)
Johan Nordlander
Polymorphic subtyping in O'Haskell. Sci. Comput. Program. 43 (2-3) (2002)
Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black
Reactive Objects. Symposium on Object-Oriented Real-Time Distributed Computing (2002)
Johan Nordlander
Pragmatic Subtyping in Polymorphic Languages. ICFP (1998)

Johan Nordlander.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Johan Nordlander