Kim G. Larsen

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2016
Позовавания	28988	8244
h-индекс	82	39
i10-индекс	314	175

1800

900

450

1350

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202194 86 117 191 167 226 202 253 257 394 390 400 554 656 763 856 1049 1115 1102 1362 1333 1590 1707 1748 1747 1792 1639 1747 1717 1597 1344 190

Съавтори

Alexandre DavidSenior Software Engineer, Google Inc.Потвърден имейл адрес: cs.aau.dk
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenПотвърден имейл адрес: mdh.se
axel legayUCLouvainПотвърден имейл адрес: uclouvain.be
Wang YiProfessor of Embedded Systems, Uppsala UniversityПотвърден имейл адрес: it.uu.se
Arne SkouAssociate Professor of Computer Science, Aalborg UniversityПотвърден имейл адрес: cs.aau.dk
Marius MikučionisDepartment of Computer Science, Aalborg UniversityПотвърден имейл адрес: cs.aau.dk
Brian NielsenAssociate Professor of Computer Science, Aalborg UniversityПотвърден имейл адрес: cs.aau.dk
Jiri SrbaProfessor of Computer Science, Aalborg UniversityПотвърден имейл адрес: cs.aau.dk
Ulrik NymanAssociate Professor, Aalborg UniversityПотвърден имейл адрес: cs.aau.dk
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkПотвърден имейл адрес: itu.dk
Patricia BouyerLSV, CNRS & ENS Paris-SaclayПотвърден имейл адрес: lsv.fr
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Потвърден имейл адрес: polytechnique.edu
Danny Bøgsted PoulsenAalborg UniversityПотвърден имейл адрес: cs.aau.dk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceПотвърден имейл адрес: irisa.fr
Franck CassezConsenSys Software Inc. & Macquarie UniversityПотвърден имейл адрес: mq.edu.au
Peter Gjøl JensenAssistant Professor at Aalborg UniversityПотвърден имейл адрес: cs.aau.dk
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaПотвърден имейл адрес: ru.is
Giovanni BacciDepartment of Computer Science, Aalborg UniversityПотвърден имейл адрес: cs.aau.dk
Emmanuel FleuryAssociate Professor, University of BordeauxПотвърден имейл адрес: u-bordeaux.fr
Giorgio BacciDept. Computer Science, Aalborg University, DenmarkПотвърден имейл адрес: cs.aau.dk

Kim G. Larsen

Director, Professor Aalborg University

Потвърден имейл адрес: cs.aau.dk - Начална страница


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1 (1-2), 134-152, 1997	2787	1997
A Tutorial on Uppaal G Behrmann, A David, KG Larsen Formal methods for the design of real-time systems, 200-236, 2004	2083	2004
Bisimulation through probabilistic testing KG Larsen, A Skou Information and computation 94 (1), 1-28, 1991	1492	1991
UPPAAL—a tool suite for automatic verification of real-time systems J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi International hybrid systems workshop, 232-243, 1995	979	1995
A modal process logic KG Larsen, B Thomsen	586	1988
Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006	444	2006
Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... International workshop on hybrid systems: computation and control, 147-161, 2001	414	2001
Specification and refinement of probabilistic processes B Jonsson, KG Larsen Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991	413	1991
Uppaal SMC tutorial A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen International Journal on Software Tools for Technology Transfer 17 (4), 397-415, 2015	363	2015
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	347	2007
Modal specifications KG Larsen International Conference on Computer Aided Verification, 232-246, 1989	336	1989
Efficient on-the-fly algorithms for the analysis of timed games F Cassez, A David, E Fleury, KG Larsen, D Lime International Conference on Concurrency Theory, 66-80, 2005	334	2005
Uppaal-tiga: Time for playing games! G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime International Conference on Computer Aided Verification, 121-125, 2007	312	2007
Testing real-time systems using UPPAAL A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou Formal methods and testing, 77-117, 2008	309	2008
Modal I/O automata for interface and product line theories KG Larsen, U Nyman, A Wąsowski European Symposium on Programming, 64-79, 2007	301	2007
The impressive power of stopwatches F Cassez, K Larsen International Conference on Concurrency Theory, 138-152, 2000	280	2000
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi International Symposium on Fundamentals of Computation Theory, 62-88, 1995	254	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	238	1997
Testing real-time embedded software using UPPAAL-TRON: an industrial case study KG Larsen, M Mikucionis, B Nielsen, A Skou Proceedings of the 5th ACM international conference on Embedded software …, 2005	220	2005
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	219*	2018

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Качване на PDF

Следете този автор

Позовавания

Съавтори