Johan Nordlander

Publications (33)

1. A simple and flexible timing constraint logic

   Lisper, B. &Nordlander, J.2012 In:Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings / Part II. Margaria , T. & Steffen , B. (eds.). Heidelberg:Springer ,Vol. 2 ,p. 80-95.17 p. (Lecture Notes in Computer Science; No. 7610).

   Publication: Research - peer-review›Article in proceedings

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

   Wallin, S. ,Nordlander, J.&Åhlund, C.2012 In:Proceedings of the 2012 IEEE Network Operations and Management Symposium : Maui, HI 16- 20 April 2012. Piscataway, NJ:IEEE ,p. 880-886.7 p. (I E E E - I F I P Network Operations and Management Symposium).

   Publication: Research - peer-review›Article in proceedings

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

   Wallin, S. ,Leijon, V. ,Nordlander, J.& Bystedt, N.May 2012 In :International Journal of Network Management .22 ,3 ,p. 181-198.18 p.

   Publication: Research - peer-review›Journal article

4. Timing constraints: theory meets practice

   Lisper, B. ,Nordlander, J.& Quinton, S.2012 In:Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings / Part II.. Margaria , T. & Steffen , B. (eds.). Heidelberg:Springer ,Vol. 2 ,p. 78-79.2 p. (Lecture Notes in Computer Science; No. 7610).

   Publication: Research - peer-review›Article in proceedings

5. Personal alarm device: a case study in component-based design of embedded real-time software

   Wiklander, J. ,Kruglyak, A. ,Nordlander, J.&Lindgren, P.2011

   Publication: Research›Conference paper

More...