Brian Nielsen

2024

Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (eds.). Springer, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access

File

2 Citations (Scopus)

2 Downloads (Pure)

Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego

Naeem, M., Gu, R., Seceleanu, C., Guldstrand Larsen, K., Nielsen, B. & Albano, M., 2024, Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings. Chin, W.-N. & Xu, Z. (eds.). Cham: Springer, p. 356-373 18 p. (Lecture Notes in Computer Science, Vol. 14777).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

2023

Modelling and Analysis of a Sigfox based IoT Network using UPPAAL SMC

Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Høedholt, A. & Laursen, C. Ø., 15 May 2023, In: IEEE Sensors Journal. 23, 10, p. 10577-10587 11 p.

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

7 Citations (Scopus)

8 Downloads (Pure)

2022

A Sigfox Module for the Network Simulator 3

Naeem, M., Albano, M., Magrin, D., Nielsen, B. & Larsen, K. G., 22 Jun 2022, Proceedings of the 2022 Workshop on ns-3. Association for Computing Machinery (ACM), p. 81-88 8 p. (ACM International Conference Proceeding Series).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

2 Citations (Scopus)

Web of Things Semantic Interoperability in Smart Buildings

Laadhar, A., Dongo, J., Enevoldsen, S., Revaz, F., Gabioud, D., Pedersen, T. B., Meyer, M., Nielsen, B. & Thomsen, C., 2022, In: Procedia Computer Science. 207, p. 997-1006 10 p.

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access

File

1 Citation (Scopus)

77 Downloads (Pure)

2021

Battery Aware Analysis of Sensor Networks in Uppaal SMC

Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Hoedholt, A. & Laursen, C. Ø., 7 Jun 2021, 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021. IEEE (Institute of Electrical and Electronics Engineers), p. 1-6 6 p. 9460152. (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

5 Citations (Scopus)

Battery Lifetime Estimation And Optimization For a WSN

Nielsen, B., Albano, M., Naeem, M., Pedersen, T., Hødholdt, A. & Laursen, C. Ø., 24 May 2021. 1 p.

Research output: Contribution to conference without publisher/journal › Poster › Research › peer-review

File

72 Downloads (Pure)

Model-based optimization of ARINC-653 partition scheduling

Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 7 Feb 2021, In: International Journal on Software Tools for Technology Transfer. 23, 5, p. 721-740 20 p.

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

7 Citations (Scopus)

292 Downloads (Pure)

Web of Things Interoperability for the Arrowhead Framework

Dongo, J., Albano, M., Skou, A. & Nielsen, B., 13 Oct 2021, IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society. IEEE (Institute of Electrical and Electronics Engineers), p. 1-6 6 p. 9589941. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

2020

Interoperability by construction: code generation for Arrowhead Clients

Albano, M. & Nielsen, B., 12 Jun 2020, Proceedings of 3rd IEEE International Conference on Industrial Cyber-Physical Systems. Tampere, Finland: IEEE (Institute of Electrical and Electronics Engineers)

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

6 Citations (Scopus)

2019

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

Pedersen, T., Albano, M. & Nielsen, B., 17 Oct 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE (Institute of Electrical and Electronics Engineers), p. 5519-5524 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

6 Citations (Scopus)

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 Nov 2019, In: Journal of Aerospace Information Systems. 16, 11

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

6 Citations (Scopus)

247 Downloads (Pure)

2018

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

4 Citations (Scopus)

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

22 Citations (Scopus)

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access

File

6 Citations (Scopus)

133 Downloads (Pure)

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). EPTCS, Vol. 268. p. 150-168 19 p. (Electronic Proceedings in Theoretical Computer Science).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access

File

7 Citations (Scopus)

208 Downloads (Pure)

Model-Based Mutation Testing of Real-Time Systems via Model Checking

Lorber, F., Larsen, K. G. & Nielsen, B., Apr 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE (Institute of Electrical and Electronics Engineers), p. 59-68

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

10 Citations (Scopus)

2017

Compositional testing of real-time systems

Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 Jan 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Vol. 10500 LNCS. p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

3 Citations (Scopus)

Mutation-Based Test-Case Generation with Ecdar

Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE (Institute of Electrical and Electronics Engineers), p. 319-328 10 p. 7899077

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

File

21 Citations (Scopus)

276 Downloads (Pure)

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

Nielsen, B., Zhang, Z., Larsen, K. G., Nies, G., Hermanns, H. & Stenger, M., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Springer, p. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Vol. 10610).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

4 Citations (Scopus)

2016

Distributed Algorithms for Time Optimal Reachability Analysis

Zhang, Z., Nielsen, B. & Larsen, K. G., 17 Aug 2016, Formal Modeling and Analysis of Timed Systems. Springer, p. 157-176 (Lecture Notes in Computer Science, Vol. 9884).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

2 Citations (Scopus)

Learning deterministic probabilistic automata from a model checking perspective

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2016, In: Machine Learning. 105, 2, p. 255-299 45 p.

Research output: Contribution to journal › Journal article › Research › peer-review

File

53 Citations (Scopus)

415 Downloads (Pure)

Time Optimal Reachability Analysis Using Swarm Verification

Zhang, Z., Nielsen, B. & Larsen, K. G., 3 Apr 2016, Proceedings of the 31st Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery (ACM), Vol. SAC '16. p. 1634-1640 7 p.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

4 Citations (Scopus)

WUppaal: A web-service for the Uppaal model-checker

Fogh, P., Cano Hald, T. & Nielsen, B., 11 Apr 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). IEEE (Institute of Electrical and Electronics Engineers), p. 1-6 6 p.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

1 Citation (Scopus)

2015

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

Kim, J. H., Larsen, K. G., Nielsen, B., Mikučionis, M. & Olsen, P., 2015, Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Núñez, M. & Güdemann, M. (eds.). Springer, p. 47-61 (Lecture Notes in Computer Science; No. 9128).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

37 Citations (Scopus)

Resource-Parameterized Timing Analysis of Real-Time Systems

Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (ed.). Springer, p. 190-205 (Lecture Notes in Computer Science; No. 9434).

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

3 Citations (Scopus)

2014

Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns

Herzner, W., Sieverding, S., Kacimi, O., Böde, E., Bauer, T. & Nielsen, B., 2014, Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE (Institute of Electrical and Electronics Engineers), p. 299-304 6 p.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

File

4 Citations (Scopus)

1353 Downloads (Pure)

Towards a Method for Combined Model-based Testing and Analysis

Nielsen, B., 9 Jan 2014. 10 p.

Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

File

702 Downloads (Pure)

2012

Learning Markov Decision Processes for Model Checking

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, In: Electronic Proceedings in Theoretical Computer Science. 103, p. 49-63

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Learning Markov models for stationary system behaviors

Chen, Y., Mao, H., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (eds.). Springer, p. 216-230 15 p. (Lecture Notes in Computer Science, Vol. 7226).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

File

13 Citations (Scopus)

604 Downloads (Pure)

Proceedings of the ICTSS 2012 Ph.D. Workshop

Weise, C. (Editor) & Nielsen, B. (Editor), 19 Nov 2012, Aalborg.

Research output: Book/Report › Anthology › Research › peer-review

Open Access

File

1052 Downloads (Pure)

Proceedings of the ICTSS 2012 PhD Workshop - Preface

Nielsen, B. & Weise, C., 19 Nov 2012, Proceedings of the ICTSS 2012 PhD Workshop - Preface. Aalborg ed. Department of Computer Science, Aalborg University, Vol. 12-201. p. 1

Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

Open Access

File

358 Downloads (Pure)

Testing real-time systems under uncertainty

David, A., Larsen, K. G., Li, S., Mikucionis, M. & Nielsen, B., 2012, Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Berlin: Springer, Vol. 6957. p. 352-371 20 p. (Lecture Notes in Computer Science, Vol. 6957).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

10 Citations (Scopus)

Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Nielsen, B. (Editor) & Weise, C. (Editor), Nov 2012, Springer Publishing Company. (Lecture Notes in Computer Science, Vol. 7641).

Research output: Book/Report › Anthology › Research › peer-review

Testing Software and Systems - Preface: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Nielsen, B. & Weise, C., Nov 2012, Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Nielsen, B. & Weise, C. (eds.). Springer Publishing Company, p. V-VI (Lecture Notes in Computer Science, Vol. 7641).

Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

2011

Learning Probabilistic Automata for Model Checking

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2011, 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE (Institute of Electrical and Electronics Engineers), p. 111-120 10 p.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

File

43 Citations (Scopus)

1061 Downloads (Pure)

Monitoring Dynamical Signals While Testing Timed Aspects of a System

Frehse, G., Larsen, K. G., Mikucionis, M. & Nielsen, B., 1 Jan 2011, In: Lecture Notes in Computer Science. 7019 LNCS, p. 115-130 16 p.

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

3 Citations (Scopus)

Quasimodo Final Report

Nielsen, B. & Larsen, K. G., 1 Oct 2011, 77 p.

Research output: Working paper/Preprint › Working paper › Research

Quasimodo Year 3 Management Report

Nielsen, B. & Larsen, K. G., 1 Jun 2011, 36 p.

Research output: Working paper/Preprint › Working paper › Research

2010

Quasimodo Year 2 Management Report

Nielsen, B. & Larsen, K. G., 28 Jan 2010, 49 p.

Research output: Working paper/Preprint › Working paper › Research

Scenario-based analysis and synthesis of real-time systems using Uppaal

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., Mar 2010, Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

11 Citations (Scopus)

Scenario-based verification of real-time systems using UPPAAL

Li, S., Belaguer, S., David, A., Larsen, K. G., Nielsen, B. & Pusinskas, S., 2010, In: Formal Methods in System Design. 37, 2-3, p. 200-264

Research output: Contribution to journal › Journal article › Research › peer-review

17 Citations (Scopus)

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

Mikucionis, M., Larsen, K. G., Nielsen, B., Rasmussen, J. I., Skou, A., Palm, S. U., Pedersen, J. S. & Hougaard, P., Oct 2010, In: Lecture Notes in Computer Science. 6416, 2010, p. 175-190

Research output: Contribution to journal › Journal article › Research › peer-review

38 Citations (Scopus)

2009

Open Access

File

21 Citations (Scopus)

576 Downloads (Pure)

Verifying real-time systems against scenario-based requirements

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., 2009, In: Lecture Notes in Computer Science. 5850, p. 676-691 15 p.

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access

File

5 Citations (Scopus)

702 Downloads (Pure)

2008

A game-theoretic approach to real-time system testing

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2008, In: Design, Automation and Test in Europe. p. 443-448 6 p.

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access

File

14 Citations (Scopus)

571 Downloads (Pure)

Cooperative Testing of Uncontrollable Timed Systems

David, A., Larsen, K. G., Li, S. & Nielsen, B., Dec 2008, In: Electronic Notes in Theoretical Computer Science. 220, 1, 14 p.

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access

File

8 Citations (Scopus)

416 Downloads (Pure)

Model-Driven Development of Embedded Real-Time Systems

Nielsen, B. & David, A., 2008, In: ERCIM News. 75, p. 19-20

Research output: Contribution to journal › Journal article › Communication

Brian Nielsen

Research output

Search results