Brian Nielsen

Brian Nielsen

Aalborg University - Aalborg / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435254
Universitas Alburgensis
person_outline Brian Nielsen's MOST POPULAR ARTICLES
1-) Testing real-time systems using UPPAALA Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A SkouFormal methods and testing, 77-117, 20083342008
2-) Testing real-time embedded software using UPPAAL-TRON: an industrial case studyKG Larsen, M Mikucionis, B Nielsen, A SkouProceedings of the 5th ACM international conference on Embedded software …, 20052382005
3-) Online Testing of Real-time Systems Using UppaalKG Larsen, M Mikucionis, B NielsenFormal Approaches to Software Testing: 4th International Workshop, FATES …, 20052102005
4-) Time-Optimal Real-Time Test Case Generation Using UppaalA Hessel, KG Larsen, B Nielsen, P Pettersson, A SkouFormal Approaches to Software Testing: Third International Workshop on …, 20041522004
5-) Automated test generation from timed automataB Nielsen, A SkouInternational Conference on Tools and Algorithms for the Construction and …, 20011162001