Kim G. Larsen - Concepedia

Author

Kim G. Larsen

Also Known As

DâSouza, Deepak, G. Larsen, Kim, Gastin, Paul, Giovanni Bacci, Guldstrand Larsen, Kim, Guldstrand, Kim, Hermanns, Holger, Jiménez-Pastor, Antonio, K LARSEN, K. G. Larsen

854

Publications

24K

Citations

H-Index

165

Concepts

All Affiliations

Aalborg University 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

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	42	122	7.1K
2	Business	9	9	168
3	Education	3	3	190
4	Language Studies	3	3	55
5	Arts	1	1	17

Kim G. Larsen

165

Publications

10.3K

Citations

H-Index

Page 1

	Year	Citations
Uppaal in a nutshell Kim G. Larsen, Paul Pettersson, Wang Yi International Journal on Software Tools for Technology Transfer Educational EntertainmentMashup (Music)Communication	1997	2.1K
A modal process logic Kim G. Larsen, Bent Thomsen EngineeringClassical LogicModal LogicNon-monotonic LogicOperational Semantics	2003	462
Uppaal SMC tutorial Alexandre David, Kim G. Larsen, Axel Legay, International Journal on Software Tools for Technology Transfer EngineeringPreprintConformance TestingComputer EngineeringUppaal Smc Tutorial	2015	451
Specification and refinement of probabilistic processes Bengt Jönsson, Kim G. Larsen EngineeringVerificationTransition SystemProbabilistic ComputationSoftware Analysis	2002	341
UPPAAL 4.0 Martijn Hendriks, P. Petterson, John Håkansson, Geometric ModelingComputational ScienceEngineeringSymmetry ReductionData Science	2006	283
Contracts for System Design Albert Benveniste, Benoı̂t Caillaud, Dejan Ničković, Foundations and Trends® in Electronic Design Automation	2018	230
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, BRICS Report Series EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel Checking	1996	191
Equation solving using modal transition systems Kim G. Larsen Modal AnalysisNumerical AnalysisModal Transition SystemsEngineeringDiscrete Dynamical System	2002	183
Efficient verification of real-time systems: compact data structure and state-space reduction Kim G. Larsen, Fredrik Larsson, Paul Pettersson, EngineeringReachability ProblemVerificationComputer-aided VerificationComputational Complexity	2002	180
Timed I/O automata Alexandre David, Kim G. Larsen, Axel Legay, EngineeringVerificationSoftware EngineeringComputational ComplexityFormal Verification	2010	173

Page 1