Arne Skou

Cited by

	All	Since 2016
Citations	3795	944
h-index	22	15
i10-index	37	20

240

120

180

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202112 7 23 24 21 37 32 48 65 77 72 64 100 100 106 119 126 158 143 164 188 216 191 226 218 228 203 234 205 160 129 10

Co-authors

Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Brian NielsenAssociate Professor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Marius MikučionisDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Thibaut Le GuillyPostdoctoral fellow, Aalborg UniversityVerified email at cs.aau.dk
Ulrik NymanAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Jalil BoudjadarAssistant Professor, Aarhus University DenmarkVerified email at eng.au.dk
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Anders HesselHead of R&D, Process Automation, Xware AB, a part of WiseTech GlobalVerified email at hessel.nu
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Petur OlsenVerified email at cs.aau.dk
Michele AlbanoAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Luis FerreiraCISTER, ISEP, Politechnic Institute of PortoVerified email at isep.ipp.pt
Torben Bach PedersenProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Luis Miguel PinhoProfessor, ISEP, Polytechnic Institute of Porto, Porto, PortugalVerified email at isep.ipp.pt
Marta GangolellsUniversitat Politècnica de CatalunyaVerified email at upc.edu
Jens Chr. GodskesenIT University of CopenhagenVerified email at itu.dk
axel legayUCLouvainVerified email at uclouvain.be

Arne Skou

Associate Professor of Computer Science, Aalborg University

Verified email at cs.aau.dk - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Bisimulation through probabilistic testing KG Larsen, A Skou Information and computation 94 (1), 1-28, 1991	1492	1991
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
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
Compositional verification of probabilistic processes KG Larsen, A Skou International Conference on Concurrency Theory, 456-471, 1992	145	1992
Time-optimal real-time test case generation using UPPAAL A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou International Workshop on Formal Approaches to Software Testing, 114-130, 2003	144	2003
Model-based framework for schedulability analysis using UPPAAL 4.1 A David, J Illum, KG Larsen, A Skou Model-based design for embedded systems 1 (1), 93-119, 2009	113	2009
Automated test generation from timed automata B Nielsen, A Skou International Conference on Tools and Algorithms for the Construction and …, 2001	112	2001
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL HE Jensen, KG Larsen, A Skou BRICS Report Series 3 (24), 1996	104	1996
Scaling up UPPAAL HE Jensen, KG Larsen, A Skou International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000	94	2000
Automated test generation from timed automata B Nielsen, A Skou International Journal on Software Tools for Technology Transfer 5 (1), 59-77, 2003	75	2003
Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal K Havelund, KG Larsen, A Skou International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999	71	1999
Schedulability analysis using uppaal: Herschel-planck case study M Mikučionis, KG Larsen, JI Rasmussen, B Nielsen, A Skou, SU Palm, ... International Symposium On Leveraging Applications of Formal Methods …, 2010	58	2010
Hierarchical scheduling framework based on compositional analysis using uppaal A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ... Formal Aspects of Component Software, 61-78, 2014	47	2014
An evaluation framework for energy aware buildings using statistical model checking A David, DH Du, KG Larsen, M Mikučionis, A Skou Science China information sciences 55 (12), 2694-2707, 2012	43	2012
Practical verification of embedded software J Straunstrup, HR Andersen, H Hulgaard, J Lind-Nielsen, G Behrmann, ... Computer 33 (5), 68-75, 2000	43	2000
Time-optimal test cases for real-time systems A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou International Conference on Formal Modeling and Analysis of Timed Systems …, 2003	38	2003
Computer Aided Verification: 3rd International Workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991. Proceedings KG Larsen Springer Science & Business Media, 1992	36*	1992
Generality in design and compositional verification using tav A Børjesson, KG Larsen, A Skou Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992	33	1992
HomePort: Middleware for heterogeneous home automation networks T Le Guilly, P Olsen, AP Ravn, JB Rosenkilde, A Skou Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 …, 2013	29	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors