Kim Guldstrand Larsen

Kim Guldstrand Larsen R (born 1957) is a Danish scientist and professor of computer science at Aalborg University, Denmark. His field of research includes modeling, validation and verification, performance analysis, and synthesing of real-time, embedded, and cyber-physical systems utilizing and contributing to concurrency theory and model checking. Within this domain, he has been instrumental in the invention and continuous development of one of the most widely used verification tools, and has received several awards and honors for his work. Provided by Wikipedia
Showing 1 - 7 results of 7 for search 'Larsen, Kim Guldstrand', query time: 0.07s Refine Results
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2021
    Other Authors:
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I /

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2021
    Other Authors:
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2021
    Other Authors:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2021
    Other Authors:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 5
    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2021
    Other Authors:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 6
    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2021
    Other Authors:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  7. 7
    Sustainable Energy Systems Planning, Integration and Management

    Sustainable Energy Systems Planning, Integration and Management by Mohammadi-ivatloo, Behnam

    Published 2020
    Other Authors:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: