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

1
by Brinksma, Ed
Published 2002
Springer-Verlag Berlin Heidelberg
Other Authors: ...Larsen, Kim Guldstrand...

2
Published 2019
Springer International Publishing
Other Authors: ...Larsen, Kim Guldstrand...

5
Published 2016
Springer International Publishing
Other Authors: ...Larsen, Kim Guldstrand...

6
Published 2017
Springer International Publishing
Other Authors: ...Larsen, Kim Guldstrand...

7
Published 2015
Springer Berlin Heidelberg
Other Authors: ...Larsen, Kim Guldstrand...

8
by Mohammadi-ivatloo, Behnam
Published 2020
MDPI - Multidisciplinary Digital Publishing Institute
Other Authors: ...Larsen, Kim Guldstrand...