( en | de | ru )

 

Disambiguation of "Nielsen, Brian"

Author of the publication

copydeleteadd this publication to your clipboard
Testing real-time embedded software using UPPAAL-TRON: an industrial case study.

, , , and . EMSOFT, page 299-306. ACM, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rolf-Walter Briant

Benoît Briand

Ursula Brian

Annette Brians

Inken Nielsen

 

Other publications of authors with the same name

WUppaal: A web-service for the Uppaal model-checker., , and . CPS Data, page 1-6. IEEE Computer Society, (2016)20 Years of Real Real Time Model Validation., , and . FM, volume 10951 of Lecture Notes in Computer Science, page 22-36. Springer, (2018)Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink., , , and . ECBS, volume 14390 of Lecture Notes in Computer Science, page 153-169. Springer, (2023)Online Testing of Real-time Systems Using Uppaal., , and . FATES, volume 3395 of Lecture Notes in Computer Science, page 79-94. Springer, (2004)Real-Time Layered Video Compression Using SIMD Computation., and . ACPC, volume 1557 of Lecture Notes in Computer Science, page 377-387. Springer, (1999)Interoperability by construction: code generation for Arrowhead Clients., and . ICPS, page 429-432. IEEE, (2020)Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work., , and . Perspectives of Model-Based Testing, volume 04371 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Web of Things Semantic Interoperability in Smart Buildings., , , , , , , , and . KES, volume 207 of Procedia Computer Science, page 997-1006. Elsevier, (2022)Monitoring Dynamical Signals While Testing Timed Aspects of a System., , , and . ICTSS, volume 7019 of Lecture Notes in Computer Science, page 115-130. Springer, (2011)Compositional Testing of Real-Time Systems., , , , and . ModelEd, TestEd, TrustEd, volume 10500 of Lecture Notes in Computer Science, page 107-124. Springer, (2017)