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 - 4 results of 4 for search 'Larsen, Kim Guldstrand', query time: 0.02s Refine Results
  1. 1
    Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings /
    Published 2019
    Other Authors: “…Larsen, Kim Guldstrand…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
    Published 2016
    Other Authors: “…Larsen, Kim Guldstrand…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
    Published 2017
    Other Authors: “…Larsen, Kim Guldstrand…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Published 2015
    Other Authors: “…Larsen, Kim Guldstrand…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search