Arne Skou - Google Scholar

Cited by

	All	Since 2015
Citations	3694	1094
h-index	22	15
i10-index	37	25

240

120

180

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202012 9 24 24 20 37 31 45 65 78 73 60 103 101 106 113 127 153 139 167 199 216 188 233 218 224 204 236 201 157 70

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
Thibaut Le GuillyPostdoctoral fellow, Aalborg UniversityVerified email at cs.aau.dk
Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Ulrik NymanAssociate Professor, Aalborg UniversityVerified email at cs.aau.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
Petur OlsenVerified email at cs.aau.dk
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Jalil BoudjadarAssistant Professor, Aarhus University DenmarkVerified email at eng.au.dk
Jin Hyun KimPost-doctor, University of PennsylvaniaVerified email at seas.upenn.edu
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

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	1465	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	289	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	235	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	204	2005
Compositional verification of probabilistic processes KG Larsen, A Skou International Conference on Concurrency Theory, 456-471, 1992	139	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	137	2003
Automated test generation from timed automata B Nielsen, A Skou International Conference on Tools and Algorithms for the Construction and …, 2001	110	2001
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	106	2009
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL HE Jensen, KG Larsen, A Skou BRICS Report Series 3 (24), 1996	100	1996
Scaling up uppaal HE Jensen, KG Larsen, A Skou International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000	95	2000
Automated test generation from timed automata B Nielsen, A Skou International Journal on Software Tools for Technology Transfer 5 (1), 59-77, 2003	71	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	69	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	55	2010
Testing real-time systems using UPPAAL, Formal methods and testing: an outcome of the FORTEST network A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou Springer-Verlag, Berlin, Heidelberg, 2008	50	2008
Practical verification of embedded software J Straunstrup, HR Andersen, H Hulgaard, J Lind-Nielsen, G Behrmann, ... Computer 33 (5), 68-75, 2000	42	2000
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	41	2012
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	40	2014
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	37	2003
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	31	1992
Arrowhead compliant virtual market of energy LL Ferreira, L Siksnys, P Pedersen, P Stluka, C Chrysoulas, T Le Guilly, ... Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014	28	2014

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