Brian Nielsen

Publikationer

Publikationer pr. år 1998 2003 2004 2005 2008 2009 2010 2011 2012 2016 2018 2021 2024

• 39 Konferenceartikel i proceeding
• 10 Tidsskriftartikel
• 6 Bidrag til bog/antologi
• 6 Konferenceartikel i tidsskrift
• 20 Mere
  • 6 Working paper
  • 5 Bog
  • 3 Antologi
  • 2 Forord/Indledning/efterskrift
  • 1 Rapport
  • 1 Paper uden forlag/tidsskrift
  • 1 Poster
  • 1 Ph.d.-afhandling

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 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, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (red.). Springer Science+Business Media, s. 153-169 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • MATLAB Simulink 100%
  • Simulink 100%
  • Comparative Analysis 100%
  • UPPAAL-SMC 100%
  • Ns-3 100%
  1 Citationer (Scopus)

• 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. Chin, W.-N. & Xu, Z. (red.). Cham: Springer Nature Switzerland AG, s. 356-373 18 s. (Lecture Notes in Computer Science, Bind 14777).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
• 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), s. 81-88 8 s. (ACM International Conference Proceeding Series).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Network Simulator 100%
  • And-States 50%
  • Development Organization 50%
  • World Application 50%
  • Sensors and Actuator 50%
  2 Citationer (Scopus)
• 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), s. 1-6 6 s. 9460152. (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Sensor Network 100%
  • Battery (Electrochemical Energy Engineering) 100%
  • Sensor Networks 100%
  • Wireless Sensor Node 100%
  • Nodes 80%
  5 Citationer (Scopus)

• Web of Things Interoperability for the Arrowhead Framework

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

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Interoperability 100%
  • Internet of Things 80%
  • W3C Web of Things 50%
  • Automation Framework 50%
  • IoT Interoperability 50%
• 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)

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • C# (Programming Language) 100%
  • Interoperability 100%
  • Code Generation 100%
  • Construction Code 100%
  • Security Capability 50%
  6 Citationer (Scopus)
• 2019

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

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

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Source Codes 100%
  • Sample Application 100%
  • Security Vulnerability 100%
  • New Skeleton 25%
  • Code Duplication 25%
  6 Citationer (Scopus)
• 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, Bind 10951. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  3 Citationer (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, s. 212-229 (Lecture Notes in Computer Science, Bind 11247).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • UPPAAL 100%
  • Model Validation 100%
  • Tool Suite 100%
  • Industrial Model 100%
  • Industrial Projects 66%
  19 Citationer (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. (red.). s. 39-51 13 s. (Electronic Proceedings in Theoretical Computer Science, Bind 272).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  6 Citationer (Scopus)

  129 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. (red.). EPTCS, Bind 268. s. 150-168 19 s. (Electronic Proceedings in Theoretical Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Avionics 100%
  • Distributed Integrated Modular Avionics 75%
  • Integrated Modular Avionics 75%
  • Compositional Model Checking 50%
  • Stopwatch Automata 25%
  6 Citationer (Scopus)

  192 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), s. 59-68

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Real Time Systems 100%
  • Model Checking 100%
  • Computation Tree 50%
  • Specification Model 33%
  • Quality Test 33%
  10 Citationer (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, Bind 10500 LNCS. s. 107-124 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10500 LNCS).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Real Time Systems 100%
  • Realtime 100%
  • Compositional Testing 100%
  • Time System 100%
  • Conformance Testing 33%
  3 Citationer (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), s. 319-328 10 s. 7899077

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil

  • Model-based mutation Testing 100%
  • Timed Automaton 100%
  • Case Generation 100%
  • Faulty Model 33%
  • Car Alarm 33%
  20 Citationer (Scopus)

  247 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, s. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Bind 10610).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  3 Citationer (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, s. 157-176 (Lecture Notes in Computer Science, Bind 9884).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Reachability Analysis 100%
  • Distributed Algorithm 100%
  • Timed Automaton 33%
  • Distributed Computing 33%
  • Time Consumption 33%
  2 Citationer (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 (ACM), Bind SAC '16. s. 1634-1640 7 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Reachability Analysis 100%
  • model checker 100%
  • Swarm Verification 100%
  • Swarm Algorithms 66%
  • Response Time 33%
  4 Citationer (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), s. 1-6 6 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Web Service 100%
  • model checker 100%
  • Machine to Machines 66%
  • Timed Automaton 33%
  • Use Case 33%
  1 Citationer (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. (red.). Springer, s. 47-61 (Lecture Notes in Computer Science; Nr. 9128).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  37 Citationer (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), s. 299-304 6 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  4 Citationer (Scopus)

  1312 Downloads (Pure)
• 2012

  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. (red.). Springer, s. 216-230 15 s. (Lecture Notes in Computer Science, Bind 7226).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil

  • Stationary System 100%
  • Observation Sequence 100%
  • Target System 66%
  • Variable-order Markov Chain 33%
  • Phase Method 33%
  13 Citationer (Scopus)

  577 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, Bind 6957. s. 352-371 20 s. (Lecture Notes in Computer Science, Bind 6957).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Indeterminacy 100%
  • Discrete Signal 100%
  • Continuous Signal 100%
  • Continuous Signals 50%
  • Low Observability 50%
  10 Citationer (Scopus)
• 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), s. 111-120 10 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  43 Citationer (Scopus)

  1011 Downloads (Pure)
• 2010

  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

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  11 Citationer (Scopus)
• 2009

  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, s. 61-70 10 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Timed Tests 100%
  • Partial Observability 100%
  • Internal Component 50%
  • Internal Action 33%
  • Soundness 33%
  21 Citationer (Scopus)

  542 Downloads (Pure)
• 2005

  Online Testing of Real-time Systems Using UPPAAL: Status and Future Work

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

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Real-time Systems 100%
  • UPPAAL 100%
  • Online Testing 100%
  • Real Time Systems 100%
  • Input/Output 100%
  6 Citationer (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. (red.). Springer, s. 79-94 (Lecture Notes in Computer Science; Nr. 3395).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Online Testing 100%
  • Error Detection 100%
  • Testing Algorithm 66%
  • Manipulation Techniques 33%
  • Implementation Relation 33%
  84 Citationer (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 (ACM), s. 299-306 8 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  130 Citationer (Scopus)
• 2004

  Connectivity testing through model-checking

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

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  2 Citationer (Scopus)

• 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, Bind 3235.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

• Time-Optimal Real-Time Test Case Generation using UPPAAL

  Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2004, Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003: Lecture Notes in Computer Science. Petrenko, Alexandre : Ulrich, Andreas (eds.) (red.). 2931 udg. IEEE Computer Society Press, s. 118-135

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
  41 Citationer (Scopus)

• T-UPPAAL: Online Model-based Testing of Real-Time Systems.

  Mikucionis, M., Larsen, K. G. & Nielsen, B., 2004, 19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings. Grunbacher, P. (red.). IEEE Computer Society Press, s. 396-397 3 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Online Model-based Testing 100%
  • Real Time Systems 100%
  • model based testing 100%
  • Computerized System 50%
  • Real-time Testing 50%
  60 Citationer (Scopus)
• 2003

  Real-time system testing on-the-fly

  Larsen, K. G., Mikucionis, M. & Nielsen, B., 2003, The 15th Nordic Workshop on Programming Theory (NWPT’03). Kaisa Sere and Marina Walden and Anna Karlsson (red.). Åbo Akademi University

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

• Time-Optimal Test Cases for Real-Time Systems

  Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Bind 2791. s. 234-245

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
• 2001

  Automated Test Generation Timed Automata

  Nielsen, B. & Skou, A., 2001, Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Margaria, T. : Yi, W. (eds.) (red.). 2031 udg. IEEE Computer Society Press, s. 343-357

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

• Handoff Initiation in Mobile IPv6

  Andersen, T. W., Lildballe, A. & Nielsen, B., 2001, WPMC' 01 : Conference Proceedings : The Fourth International Symposium on Wireless Personal Multimedia Communications : September 9-12, 2001 Aalborg, Denmark. Center For PersonKommunikation, Aalborg Universitet

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

• Test Generation for Time Critical Systems: Tool and Case Study

  Nielsen, B. & Skou, A., 2001, 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001. s. 155-162

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  9 Citationer (Scopus)
• 2000

  Automated Test Generation Timed Automata: Tool and Case Study

  Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
• 1999

  Real-Time Layered Video Compression using SIMD Computation

  Jensen, M. V. & Nielsen, B., 1999, Parallel Computation : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum '99) and Parallel Computing in Image Processing, Video Processing, and Multimedia : Salzburg, Austria, February 16-18,1999 : Proceedings: Lecture Notes in Computer Science. Zinterhof, P. : Vajtersic, M. : Uhl,A. (eds.) (red.). 1557 udg. IEEE Computer Society Press, s. 377-387

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  3 Citationer (Scopus)