Johan Nordlander

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