Johan Nordlander

According to our database, Johan Nordlander authored at least 18 papers between 1998 and 2012.

Collaborative distances:

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

2012

The semantics of alarm definitions: enabling systematic reasoning about alarms.

Stefan Wallin, Viktor Leijon, Johan Nordlander, Nicklas Bystedt

Int. J. Netw. Manag., 2012

Rethinking network management: Models, data-mining and self-learning.

Stefan Wallin, Christer Åhlund, Johan Nordlander

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

Timing Constraints: Theory Meets Practice.

Björn Lisper, Johan Nordlander, Sophie Quinton

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Simple and Flexible Timing Constraint Logic.

Björn Lisper, Johan Nordlander

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2.

Marie-Agnès Peraldi-Frati, Arda Goknil, Julien DeAntoni, Johan Nordlander

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Taming code explosion in supercompilation.

Peter A. Jonsson, Johan Nordlander

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010

Positive Supercompilation for a Higher-Order Call-By-Value Language

Peter A. Jonsson, Johan Nordlander

Log. Methods Comput. Sci., 2010

Unambiguous semantics in automotive timing modeling.

Johan Nordlander, Rolf Johansson, Risat Mahmud Pathan

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

Live Heap Space Bounds for Real-Time Systems.

Martin Kero, Pawel Pietrzak, Johan Nordlander

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Enabling Component-Based Design for Embedded Real-Time Software.

Jimmie Wiklander, Jens Eliasson, Andrey Kruglyak, Per Lindgren, Johan Nordlander

J. Comput., 2009

2008

Unrestricted pure call-by-value recursion.

Johan Nordlander, Magnus Carlsson, Andy Gill

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

TinyTimber, Reactive Objects in C for Real-Time Embedded Systems.

Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander

Proceedings of the Design, Automation and Test in Europe, 2008

2007

A correct and useful incremental copying garbage collector.

Martin Kero, Johan Nordlander, Per Lindgren

Proceedings of the 6th International Symposium on Memory Management, 2007

2003

The Semantic Layers of Timber.

Magnus Carlsson, Johan Nordlander, Dick Kieburtz

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Polymorphic subtyping in O'Haskell.

Johan Nordlander

Sci. Comput. Program., 2002

Reactive Objects.

Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

1999

Reactive Objects and Functional Programming.

Johan Nordlander

PhD thesis, 1999

1998

Pragmatic Subtyping in Polymorphic Languages.

Johan Nordlander

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998