Kim G. Larsen

Citeret af

	Alle	Siden 2018
Henvisninger	33058	8617
h-index	84	42
i10-indeks	350	184

1900

950

475

1425

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023123 81 119 201 182 208 220 238 289 394 411 435 597 636 767 883 1055 1118 1133 1362 1318 1610 1729 1748 1768 1840 1676 1710 1769 1582 1441 1319 1532 969

Offentlig adgang

Se alle

95 artikler

14 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Alexandre DavidSenior Software Engineer, Google Inc.Verificeret mail på cs.aau.dk
Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityVerificeret mail på mdh.se
axel legayUCLouvainVerificeret mail på uclouvain.be
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerificeret mail på it.uu.se
Marius MikučionisDepartment of Computer Science, Aalborg UniversityVerificeret mail på cs.aau.dk
Arne SkouAssociate Professor of Computer Science, Aalborg UniversityVerificeret mail på cs.aau.dk
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerificeret mail på cs.aau.dk
Brian NielsenAssociate Professor of Computer Science, Aalborg UniversityVerificeret mail på cs.aau.dk
Ulrik NymanAssociate Professor, Aalborg UniversityVerificeret mail på cs.aau.dk
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerificeret mail på itu.dk
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerificeret mail på lsv.fr
Radu MardareProfessor, University of StrathclydeVerificeret mail på strath.ac.uk
Danny Bøgsted PoulsenAalborg UniversityVerificeret mail på cs.aau.dk
Uli FahrenbergLaboratoire de recherche de l'EPITA (LRE)Verificeret mail på polytechnique.edu
Peter Gjøl JensenAssistant Professor at Aalborg UniversityVerificeret mail på cs.aau.dk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerificeret mail på irisa.fr
Giovanni BacciDepartment of Computer Science, Aalborg UniversityVerificeret mail på cs.aau.dk
Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkVerificeret mail på cs.aau.dk
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerificeret mail på ru.is
Rene Rydhof HansenAalborg UniversityVerificeret mail på cs.aau.dk

Følg

Kim G. Larsen

Director, Professor Aalborg University

Verificeret mail på cs.aau.dk - Startside


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1, 134-152, 1997	2682	1997
A Tutorial on Uppaal G Behrmann, A David, KG Larsen Formal methods for the design of real-time systems, 200-236, 2004	2357	2004
Bisimulation through probabilistic testing (preliminary report) KG Larsen, A Skou Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	1646	1989
UPPAAL—a tool suite for automatic verification of real-time systems J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi Hybrid Systems III: Verification and Control 3, 232-243, 1996	1118	1996
& Yi, W. 1997 KG Larsen, P Pettersson UPPAAL in a nutshell. IJSTTT 1, 134-152, 0	636
A modal process logic KG Larsen, B Thomsen Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988	606	1988
Uppaal SMC tutorial A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen International journal on software tools for technology transfer 17, 397-415, 2015	556	2015
Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006	528	2006
Specification and refinement of probabilistic processes B Jonsson, KG Larsen Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991	456	1991
Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001	442	2001
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	401	2007
Efficient on-the-fly algorithms for the analysis of timed games F Cassez, A David, E Fleury, KG Larsen, D Lime CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005	386	2005
UPPAAL-Tiga: Time for Playing Games! (Tool Paper) G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	368	2007
Contracts for system design KGL Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone ... Foundations and Trends in Electronic Design Automation 12 (2-3), 124-400, 2018	359*	2018
Modal specifications KG Larsen Automatic Verification Methods for Finite State Systems: International …, 1990	347	1990
Testing real-time systems using UPPAAL A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008	339	2008
Modal I/O automata for interface and product line theories KG Larsen, U Nyman, A Wąsowski Programming Languages and Systems: 16th European Symposium on Programming …, 2007	313	2007
The impressive power of stopwatches F Cassez, K Larsen International Conference on Concurrency Theory, 138-152, 2000	306	2000
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995	276	1995
Formal modeling and analysis of an audio/video protocol: An industrial case study using UPPAAL K Havelund, A Skou, KG Larsen, K Lund Proceedings Real-Time Systems Symposium, 2-13, 1997	254	1997

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere