Johan Nordlander

Johan Nordlander

Organization: Luleå University of Technology
Department:

Publications

(34)
  1. Semantic Alarms

    Wallin, S. ,Nordlander, J.&Leijon, V.20143rd ETSI Future Networks Workshop, 9-11 april 2013, Sophia Antipolis, France. Galis, A. & Lenhart, G. (eds.).p. 145-1539 p.

    Publication: CommunicationArticle in proceedings

  2. A simple and flexible timing constraint logic

    Lisper, B. &Nordlander, J.2012Leveraging 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-9517 p. (Lecture Notes in Computer Science; No. 7610).

    Publication: Research - peer-reviewArticle in proceedings

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

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

    Publication: Research - peer-reviewArticle in proceedings

  4. 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-19818 p.

    Publication: Research - peer-reviewJournal article

  5. Timing constraints: theory meets practice

    Lisper, B.,Nordlander, J.& Quinton, S.2012Leveraging 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-792 p. (Lecture Notes in Computer Science; No. 7610).

    Publication: Research - peer-reviewArticle in proceedings

More...

Published: 28 August 2006

Updated: 14 March 2007

Luleå University of Technology