Concepedia

Kim G. Larsen

KG

165

Publications

10.3K

Citations

48

H-Index

1987

Active since

Affiliations

Aalborg University(Current)

Institut national de recherche en sciences et technologies du numérique

Institut de Recherche en Informatique et Systèmes Aléatoires

IT University of Copenhagen

Uppsala University

Kim G. Larsen is an author at Aalborg University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationAutomated ReasoningReal-time SystemsSoftware AnalysisComputer Engineering

Publications per year

1987–2025

165

Publications

165

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.1K citations

Educational Entertainment, Mashup (Music), Communication

A modal process logic

Kim G. Larsen, Bent Thomsen · 2003 · 462 citations

Engineering, Classical Logic, Modal Logic +17

Uppaal SMC tutorial

Alexandre David, Kim G. Larsen, Axel Legay et al. · International Journal on Software Tools for Technology Transfer · 2015 · 451 citations

Engineering, Preprint, Conformance Testing +4

Specification and refinement of probabilistic processes

Bengt Jönsson, Kim G. Larsen · 2002 · 341 citations

Engineering, Verification, Transition System +21

Martijn Hendriks, P. Petterson, John Håkansson et al. · 2006 · 283 citations

Geometric Modeling, Computational Science, Engineering +12

Rows per page

1–5 of 165