Photo of Brian Nielsen
  • Selma Lagerløfs Vej 300, 1-2-10

    9220 Aalborg Ø

    Denmark

19962020
If you made any changes in Pure these will be visible here soon.

Research Output 1998 2018

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 proceedingArticle in proceedingResearchpeer-review

2 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 proceedingArticle in proceedingResearchpeer-review

Industry

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 proceedingArticle in proceedingResearchpeer-review

Open Access
1 Citation (Scopus)

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, p. 59-68

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Real time systems
Testing
Specifications
Gears
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 proceedingArticle in proceedingResearchpeer-review

Real time systems
Testing
7 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, p. 319-328 10 p. 7899077

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Testing
Specifications
Alarm systems
Railroad cars
2 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

2016
1 Citation (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

Parallel algorithms
Model checking
Distributed computer systems
Scalability
Scheduling
10 Citations (Scopus)
165 Downloads (Pure)

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 journalJournal articleResearchpeer-review

File
Model checking
Learning algorithms
Temporal logic
Hardware
3 Citations (Scopus)

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, Vol. SAC '16. p. 1634-1640 7 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Scalability
Scheduling
Data storage equipment
Planning

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, p. 1-6 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Web services
Model checking
Application programming interfaces (API)
Loads (forces)
Job shop scheduling
2015
15 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

3 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 proceedingBook chapterResearchpeer-review

2014
201 Downloads (Pure)

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, p. 299-304 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File
6 Citations (Scopus)
337 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/journalPaper without publisher/journalResearchpeer-review

File
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 journalConference article in JournalResearchpeer-review

Model checking
Temporal logic
Finite automata
Learning algorithms
Learning systems
10 Citations (Scopus)
233 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-review

File
Embedded systems
Markov processes
Learning systems
Hardware
Experiments
558 Downloads (Pure)

Proceedings of the ICTSS 2012 Ph.D. Workshop

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

Research output: Book/ReportAnthologyResearchpeer-review

Open Access
File
173 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 proceedingPreface/Introduction/postscriptResearch

Open Access
File
7 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

Real time systems
Testing
Observability
Controllability
Embedded systems

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

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

Research output: Book/ReportAnthologyResearchpeer-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 proceedingPreface/Introduction/postscriptResearch

2011
24 Citations (Scopus)
623 Downloads (Pure)

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, p. 111-120 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File
1 Citation (Scopus)

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 journalConference article in JournalResearchpeer-review

Monitoring
Hybrid Automata
Testing
Nondeterminism
Timed Automata

Quasimodo Final Report

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

Research output: Working paperResearch

Quasimodo Year 3 Management Report

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

Research output: Working paperResearch

2010

Quasimodo Year 2 Management Report

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

Research output: Working paperResearch

10 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

13 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 journalJournal articleResearchpeer-review

Real time systems
Chart
Timed Automata
Real-time
Scenarios
24 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 journalJournal articleResearchpeer-review

2009

Quasimodo Year 1 Management Report

Nielsen, B. & Larsen, K. G., 2009, 41 p.

Research output: Working paperResearch

Test af Software: Test af indlejret og teknisk software

Skou, A. (ed.), Nielsen, B. (ed.) & Biegel, J. (ed.), 2009, Aalborg: CISS, Aalborg Universitet. 85 p.

Research output: Book/ReportBookCommunication

18 Citations (Scopus)
309 Downloads (Pure)

Timed Testing under Partial Observability

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2009, Proceedings of 2009 International Conference on Software Testing Verification and Validation. IEEE Computer Society Press, p. 61-70 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Observability
Testing
Real time systems
Sensors
Experiments
4 Citations (Scopus)
302 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 journalConference article in JournalResearchpeer-review

Open Access
File
Real time systems
Chart
Real-time
Scenarios
Timed Automata
2008
7 Citations (Scopus)
248 Downloads (Pure)

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 journalConference article in JournalResearchpeer-review

Open Access
File
Real time systems
Testing
Acoustic waves
5 Citations (Scopus)
179 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 journalConference article in JournalResearchpeer-review

Open Access
File
Testing
Acoustic waves
Game
Black-box Testing
Conformance Testing

Model-Driven Development of Embedded Real-Time Systems

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

Research output: Contribution to journalJournal articleCommunication

Quasimodo

Nielsen, B., 2008, In : ERCIM News. 75, p. 20-21 2 p.

Research output: Contribution to journalJournal articleCommunication

138 Citations (Scopus)

Testing Real-Time Systems Using UPPAAL

Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Real time systems
Model checking
Testing
Engineers
2006

Prosoft: procesforbedring under udvikling af indlejret og teknisk software

Skou, A. (ed.), Nielsen, B., Skou, A., Aaen, I., Nielsen, P. A., Knudsen, J. & Biegel, J. (ed.), 2006, Aalborg: CISS, Aalborg Universitet. 150 p.

Research output: Book/ReportReportCommunication

2005
75 Citations (Scopus)

Online Testing of Real-time Systems Using Uppaal

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2005, Formal Approaches to Testing of Software (FATES 2004) Proceedings. Grabowski, J. & Nielsen, B. (eds.). Springer, p. 79-94 (Lecture Notes in Computer Science; No. 3395).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Real time systems
Black-box testing
Error detection
Model checking
Testing
101 Citations (Scopus)

Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study

Mikucionis, M., Larsen, K. G., Nielsen, B. & Skou, A., 2005, Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, p. 299-306 8 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Tools for Verification and Validation

Larsen, K. G. & Nielsen, B., 2005, Embedded Systems Design: The ARTIST Roadmap for Research and Development. Bouyssounouse, B. & Sifakis, J. (eds.). Berlin / Heidelberg: IEEE Computer Society Press, p. 72 (Lecture Notes in Computer Science, Vol. 3436).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

2004
1 Citation (Scopus)

Connectivity testing through model-checking

Godskesen, J. C., Nielsen, B. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Vol. 3235. p. 167-184

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Danfoss EKC Trial Project Deliverables

Nielsen, B., Larsen, K. G., Larsen, U., Skou, A. & Andrzej, W., 2004, p. 52.

Research output: Working paperResearch

I takt med Tiden

Behrmann, G., Nielsen, B. & Mikucionis, M., 2004, Rundt om CISS. Larsen, K., Vestergaard, L. & Bang, N. (eds.).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Online Testing of Real-time Systems using Uppaal: Status and Future Work

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (eds.). IBFI gem. GmbH, Schloss Dagstuhl, Vol. 04371.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

On the Construction of Connectivity Test Cases in the Setting of UppAal

Nielsen, B., Jens. Chr., G. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - FORTE 2004. Springer, Vol. 3235.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Proceedings of 4th International Workshop on Formal Approaches to Software Testing

Grabowski, J. (ed.) & Nielsen, B. (ed.), 2004, 1 ed. Germany: Springer. 227 p.

Research output: Book/ReportAnthologyResearch