Arne Skou

Citata da

	Tutte	Dal 2015
Citazioni	3751	1144
Indice H	22	16
i10-index	37	27

240

120

180

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202012 9 24 24 20 37 31 45 66 78 73 61 102 103 107 114 126 154 140 164 199 218 188 232 218 224 205 238 201 162 112

Coautori

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

Arne Skou

Associate Professor of Computer Science, Aalborg University

Email verificata su cs.aau.dk - Home page


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Bisimulation through probabilistic testing KG Larsen, A Skou Information and computation 94 (1), 1-28, 1991	1480	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	295	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	208	2005
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	139	2003
Compositional verification of probabilistic processes KG Larsen, A Skou International Conference on Concurrency Theory, 456-471, 1992	139	1992
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	107	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	104	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	70	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	56	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
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	42	2014
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
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
Computer Aided Verification: 3rd International Workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991. Proceedings KG Larsen Springer Science & Business Media, 1992	32*	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	31	1992

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Carica PDF

Segui questo autore

Citata da

Coautori