8/1 ’04	-		Associate Professor at the Department of Computer Science, Aalborg University.
8/1 ’03	-	7/31 ’04	Temporary Associate Professor at the Department of Computer Science, Aalborg University.
8/1 ’02	-	7/31 ’03	Amanuensis at the Department of Computer Science, Aalborg University.
5/1 ’01	-	7/31 ’02	Siemens Research Associate Professor at the Department of Computer Science, Aalborg University.
7/1 ’00	-	4/30 ’01	Amanuensis at the Department of Computer Science, Aalborg University
1/11 ’99	-	31/1 ’00	Visiting Researcher at the University of Bremen, Germany.
7/1 ’97	-	6/30 ’00	Assistant Professor at the Department of Computer Science, Aalborg University.
7/1 ’94	-	6/30 ’97	Ph.D. student at the Department of Computer Science, Aalborg University.
2/3 ’95	-	1/27 ’96	Visiting scholar at the University of Illinois at Urbana Champaign, Illinois, U.S.A
8/15’93	-	6/30 ’94	Amanuensis at the Department of Computer Science, Aalborg University.

Short Biography

Brian Nielsen is an associate professor at Department of Computer Science at Aalborg University, Denmark, where he is a member of the Distributed, Intelligent, and Embedded Systems research group.

His research interests include distributed, embedded, and cyber-physical systems and software, Internet-of-Things, robotics, Flexible Energy Systems, and methods and tools for model-based development and test generation for embedded real-time systems, and industrial applications. Especially in the field of model-based testing, he has several publications, and he has given numerous presentations at scientific venues as well as for industrial audiences. He has also co-designed the testing tool components of the Uppaal tool-suite for verification and validation of rea-time systems.

Brian Nielsen holds an MSc degree in electronic engineering and a PhD in computer science, both from Aalborg University. He has been a visiting researcher at the University of Illinois and University of Bremen. He is very active in the Centre of Embedded Software Systems (CISS) where he is managing several industrial collaboration projects in software testing and application of automated model-based testing.

Research

Research Administration

· Local co-coordinator, domOS, 2020-2024

· WP4 Tools leader Flexible Energy Denmark (2019-2023)

· Local Coordinator EU ECSEL Productive 4.0 (May 2017 – April 2020)

· Local Coordinator EU ECSEL European Initiative to Enable Validation for Highly Automated Safe and Secure Systems (ENABLE-s3), 2016- 2019

· Local Co-Coordinator EU ECSEL Cyber Physical System based Proactive Collaborative Maintenance (MANTIS), 2011- 2014

· Local Coordinator EU Artemis Model-based Analysis and Test (MBAT), 2011- 2014

· Co-Coordinator EU-FP7 Quasimodo: Quantitative System Properties in Model Driven-Design of Embedded Systems, 2007-2011

· Local Coordinator EU-FP7 Multiform

· Technical Coordinator in Industrial Network “TestNet I” and “TestNet II” 2005-2014

· Leader of NouHauz Industrial Network in Test and Modeling of Software (ToMaS)

Co-Authored Research Applications

· Christoph Grimm, AI-CLEAR, H2020 2019

· Pfluegl, Horst, ENABLE-S3, ECSEL 2015,

· Helmuth Kokal, TEEADS, ECSEL, 2014

· Alvaro Sanchez Angel, Combat-CyPhy, ECSEL,2014

· Andreas Ulrich, TeDeLos, H2020 RIA, 2014

· Kim G. Larsen, LICCCES, H2020 RIA, 2014

· Jens Herrman, MBAT (FP7: Artemis) 2011

· Frits Vaandrager, Alceste, (FP7: Strep 2010)

· Jens Grabowski, Convince (FP7: Strep 2009)

· Kim G. Larsen, Arne Skou, Covert (FP7: Strep)

· Sebastian Engel, Multiform (FP7: Strep),

· Kim G. Larsen, Brian Nielsen, Arne Skou, Quasimodo

· Joseph Sifakis, ARTIST 2, FP 6 NoE

· Kim G. Larsen, QeS, FP 6

· Ana Cavalli. Integration of Testing Methodologies (TestNet), Expression of Interest: Proposal for a European Union Information Society Technology (IST) 6th framework network of excellence, May 2002.

· Ed Brinksma, STRESS, 2001

· Joseph Sifakis, ARTIST 1, FP5 NoE

Industrial Collaboration

• Neogrid, Energy Informatics, 2020-

• Gatehouse Telecom, Model-based Testing, 2019

• Nilfisk, Intelligent cleaning machines, 2017-2019

• Danish Software Testing Board (board member) 2010 – 2015

• International Advisory Board member of ELIKO Technology Competence Centre in Electronics-, Info- and Communication Technologies, Estonia, 2011-2013

• TestNet 2 2009-2014

• TestNet 2006-2009

• Skov A/S: Automated Testing. 2005-2009

• Prosoft delprojekt 4. Generisk Software test. 2005-2006

• Danfoss Air-conditioning and Refrigiration Controls 2: TAV: Automated Test Execution Environment. 2006

• Danfoss Airconditioning and Refrigiration Controls 1: Automated code-generation and model-based testing. 2004

• GateHouse: Automated Software Test. 2004

• Simrad A/S: Real-time operating systems. 2004

• Siemens Mobile Phones: Automated protocol testing. 2000-2001

Bibliometrics

· Google Scholar: https://scholar.google.com/citations?user=iAgWGgwAAAAJ&hl=en&oi=ao

· DBLP: https://dblp.uni-trier.de/pers/hd/n/Nielsen:Brian

· VBN: https://vbn.aau.dk/da/persons/108100

· Orcid: https://orcid.org/0000-0002-0935-2104

Publications

Google Scholar Link https://scholar.google.com/citations?user=iAgWGgwAAAAJ&hl=en

DBLP Link https://dblp.org/pid/25/4976.html

Journal Papers

[1] P Han, Z Zhai, B Nielsen, U Nyman, Model-based optimization of ARINC-653 partition scheduling. STTT, 7 February 2021, https://doi.org/10.1007/s10009-020-00597-6

[2] P Han, Z Zhai, B Nielsen, U Nyman, M Kristjansen. Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL. Journal of Aerospace Information Systems 16 (11), 473-499, 2019

[3] Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D Nielsen, Kim G Larsen, Brian Nielsen: Learning deterministic probabilistic automata from a model checking perspective. Machine Learning, Springer 2016

[4] Kim G. Larsen, Shuhao Li, Brian Nielsen, and Saulius Pusinskas. Scenario-based verification of real-time systems using uppaal. Formal Methods in Systems Design (FMSD), July 2010.

[5] Brian Nielsen and Arne Skou. Automated Test Generation from Timed Automata. International Journal on Software Tools for Technology Transfer (STTT), 5:59–77, 2003. Digital Object Identifier (DOI) 10.1007/s10009-002-0094-1.

[6] Brian Nielsen and Gul Agha. Towards Re-usable Real-Time Objects. The Annals of Software Engineering, 7, 1999. Special Issue on Real-Time Software Engineering.

Refereed Conference Papers

[1] Junior Dongo, Søren Enevoldsen, Dominique Gabioud, Amir Laadhar, Martin Meyer, Brian Nielsen, Frédéric Ravaz, Christian Thomsen. Web of things semantic interoperability in smart buildings. KES 2022 : 26th International Conference on Knowledge Based and Intelligent information and Engineering Systems

[2] Brian Nielsen, Amir Laadhar, Junior Dongo, Martin Meyer, Thomsen Christian, Revaz Frédéric, Dominique Gabioud. domOS: an "operating system" for smart buildings. CLIMA 2022 - the 14th REHVA HVAC World Congress, 22-25 May 2022

[3] Muhammad Naeem, Michele Albano, Davide Magrin, Brian Nielsen, Kim Guldstrand Larsen, A Sigfox Module for the Network Simulator 3, Proceedings of the 2022 Workshop on ns-3

[4] Junior Dongo, Michele Albano, Arne Skou, and Brian Nielsen. Web of Things Interoperability for the Arrowhead Framework. In IECON 2021–47th Annual Conference of the IEEE Industrial Electronics Society

[5] Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Høedholt, Christian Ø. Laursen: Battery Aware Analysis of Sensor Networks in Uppaal SMC. MECO 2021: 1-6

[6] Brian Nielsen, Michele Albano, Thomas Pedersen, Anders Hødholdt, Christian Østergaard Laursen. Battery Lifetime Estimation And Optimization For An Urban Water System Wireless Sensor Network, Poster Presentation, IWA World Water Congress & Exhibition - Copenhagen , Denmark, 2020

[7] Michele Albano, Brian Nielsen: Interoperability by construction: code generation for Arrowhead Clients. ICPS 2020: 429-432

[8] T. Pedersen, M. Albano, B Nielsen: Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library. In IECON 2019: 5519-5524

[9] KG Larsen, F Lorber, B Nielsen, 20 Years of Real Real-Time Model Validation, International Symposium on Formal Methods, LNCS 10951, 22-36, 2018

[10] KG Larsen, F Lorber, B Nielsen, 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond, International Symposium on Leveraging Applications of Formal Methods, LNCS 11247, 212-229, 2018

[11] Florian Lorber, Kim G. Larsen, Brian Nielsen: Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops 2018: 59-68

[12] Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman: A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. MARS/VPT@ETAPS 2018: 150-168

[13] P Han, Z Zhai, B Nielsen, U Nyman, A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems, MeTRiD@ETAPS 2018: 39-51

[14] Zhengkui Zhang, Brian Nielsen, KG Larsen, G Nies, M Stenger, H Hermanns. Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. International Conference on Formal Engineering Methods, LNCS 10610, pp 481-495

[15] Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik M. Nyman. Mutation-Based Test-Case Generation with Ecdar. IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pages 319-328, 2017

[16] Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman: Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd. LNCS 10500, 107-124, 2017

[17] Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Distributed Algorithms for Time Optimal Reachability Analysis. 14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’16). Springer, 2016.

[18] Zhengkui Zhang, Brian Nielsen, Kim G. Larsen: Time optimal reachability analysis using swarm verification. ACM Symposium on Applied Computing (SAC 2016)

[19] Peter Fogh, Thomas C Hald, Brian Nielsen WUppaal: A web-service for the Uppaal model-checker. 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), IEEE 2016

[20] Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen: Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. FMICS 2015: 47-61

[21] Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Resource-Parameterized Timing Analysis of Real-Time Systems. Haifa Verification Conference 2015: 190-205

[22] Wolfgang Herzner, Sven Sieverding, Omar Kacimi, Eckard Böde, Thomas Bauer, Brian Nielsen. Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns. In Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, 2014. p. 299-304.

[23] Brian Nielsen. Towards a Method for Combined Model-based Testing and Analysis. In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lissabon, Portugal, 2014.

[24] Hua Mao, Yingke Chen, Manfred Jaeger, Thomas Dyhre Nielsen, Kim G. Larsen, Brian Nielsen. Learning Markov Decision Processes for Model Checking. I: Electronic Proceedings in Theoretical Computer Science, Vol. 103, 2012, s. 49-63

[25] Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim G. Larsen, Brian Nielsen, Learning Markov models for stationary system behaviors. In Proceedings NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Springer, 2012. p. 216-230 (Lecture Notes in Computer Science, Vol. 7226).

[26] Alexandre David, Kim G. Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen. Testing real-time systems under uncertainty. Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Vol. 6957 Berlin : Springer, 2012. s. 352-371 (Lecture Notes in Computer Science, Vol. 6957)

[27] Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, and Brian Nielsen. Learning probabilistic automata for model checking. In QEST, pages 111–120. IEEE Computer Society, 2011.

[28] Goran Frehse, Kim G. Larsen, Marius Mikucionis, and Brian Nielsen. Monitoring dynamical signals while testing timed aspects of a system. In Burkhart Wolff and Fatiha Zaïdi, editors, ICTSS, volume 7019 of Lecture Notes in Computer Science, pages 115–130. Springer, 2011.

[29] Marius Mikucionis, Kim G. Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, and Poul Hougaard. Schedulability analysis using uppaal: Herschel-planck case study. In 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’10), Crete, Greece, October 2010. Springer.

[30] Alexandre David, Kim G. Larsen, Shuhao Li, and Brian Nielsen. A game-theoretic approach to real-time system testing. In Proc. 11th Conf. on Design, Automation and Test in Europe (DATE’08), pages 486–491, Munich, Germany, March 2008. IEEE.

[31] Alexandre David, Kim G. Larsen, Shuhao Li, and Brian Nielsen. Cooperative testing of timed systems. Electr. Notes Theor. Comput. Sci., 220(1):79–92, 2008.

[32] Alexandre David, Kim G. Larsen, Shuhao Li, and Brian Nielsen. Timed testing under partial observability. In Proc. 2nd International Conference on Software Testing, Verification and Validation (ICST’09), pages 61–70, Denver, Colorado, USA, April 2009. IEEE Computer Society.

[33] Kim G. Larsen, Shuhao Li, Brian Nielsen, and Saulius Pusinskas. Verifying real-time systems against scenario-based requirements. In Proc. 16th International Symposium on Formal Methods (FM’09), volume 5850 of Lecture Notes in Computer Science, pages 676–691, Eindhoven, The Netherlands, November 2009. Springer.

[34] Kim G. Larsen, Shuhao Li, Brian Nielsen, and Saulius Pusinskas. Scenario-based analysis and synthesis of real-time systems using uppaal. In Proc. 13th Conf. on Design, Automation and Test in Europe (DATE’10), Dresden, Germany, March 2010. IEEE.

[35] Marius Mikucionis, Kim G. Larsen, Brian Nielsen, and Arne Skou. Testing real-time embedded software using uppaal-tron —an industrial case study. In Fifth ACM International Conference on Embedded Software (EMSOFT), pages 299–306. ACM, September 2005.

[36] Kim Larsen, Marius Mikucionis, and Brian Nielsen. Online Testing of Real-time Systems using Uppaal: Status and Future Work. In E. Brinksma, W. Grieskamp, J. Tretmans, and E. Weyuker, editors, Dagstuhl Seminar Proceedings volume 04371: Perspectives of Model-Based Testing, Schloss Dagstuhl, D-66687 Wadern, Germany., September 2004. IBFI gem. GmbH, Schloss Dagstuhl.

[37] Jens. Chr. Godskesen, Brian Nielsen, and Arne Skou. On the Construction of Connectivity Test Cases in the Setting of Uppaal. In 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE, September 2004.

[38] Kim Larsen, Marius Mikucionis, and Brian Nielsen. Online Testing of Real-time Systems using Uppaal. In Jens Grabowski and Brian Nielsen, editors, International workshop on Formal Approaches to Testing of Software, Co-located with IEEE Conference on Automates Software Engineering 2004, Linz, Austria., September 2004.

[39] Marius Mikucionis, Kim G. Larsen, and Brian Nielsen. T-uppaal: Online model-based testing of real-time systems. In 19th IEEE International Conference on Automated Software Engineering, September 2004. 2 pp.

[40] Kim Larsen, Marius Mikucionis, and Brian Nielsen. Real-time system testing on-the-fly. In Kaisa Sere, Marina Walden, and Anna Karlsson, editors, The 15th Nordic Workshop on Programming Theory (NWPT03), Abo Akademi University, Turku, Finland, October 2003.

[41] Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. Time-Optimal Test Cases for Real-Time Systems–extended abstract. In 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS), 2003. Invited Talk by Paul Pettersson.

[42] Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. Time-Optimal Test Cases for Real-Time Systems. In Alexandre Petrenko and Andreas Ulrich, editors, 3rd International Workshop on FORMAL APPROACHES TO TESTING OF SOFTWARE (FATES 2003), Montral, Qubec, Canada, October 2003. In affiliation with the 18th IEEE International Conference on AUTOMATED SOFTWARE ENGINEERING (ASE 2003).

[43] Torben W. Andersen, Anders Lildballe, and Brian Nielsen. Handoff Initiation in Mobile IPv6. In Fourth International Symposium on Wireless Personal Multimedia Communications, Aalborg, Denmark, September 2001.

[44] Brian Nielsen and Arne Skou. Test Generation for Time Critical Systems: Tool and Case Study. In 13th Euromicro Conference on Real-Time Systems, pages 155–162, Delft, The Netherlands, June 2001.

[45] Brian Nielsen and Arne Skou. Automated Test Generation from Timed Automata. In Tiziana Margaria and Wang Yi, editors, TACAS 2001 - Tools and Algorithms for the Construction and Analysis of Systems, pages 343–357, Genova, Italy, April 2001.

[46] Brian Nielsen and Arne Skou. Automated Test Generation from Timed Automata. In 21st IEEE Real-Time Systems Symposium 2000 Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000. IEEE.

[47] Morten Vadskær Jensen and Brian Nielsen. Real-Time Layered Video Compression using SIMD Computation. In P. Zinterhof and M. Vajtersic and A. Uhl, editor, 4th International Conference on Parallel Computation (ACPC 99), LNCS 1557, pages 377–387. Austrian Center for Parallel Computation, February 1999. Special Track on Image Processing, Video Processing and Multimedia.

[48] Brian Nielsen, Shangping Ren, and Gul Agha. Specification of Real-Time Interaction Constraints. In 1st International Symposium on Object-Oriented Real-Time Distributed Computing, pages 206–214. IEEE, April 1998. Kyoto, Japan.

[49] Brian Nielsen and Gul Agha. Semantics for an Actor-Based Real-Time Language. In 4th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), pages 223–228. Naval Surface Warfare Center Dahlgren Division/IEEE, April 1995. In conjunction with 10th IEEE Int. Parallel Processing Symposium (IPPS), Honolulu, Hawaii, USA.

Book Chapters

[50] Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, and Arne Skou. Automated Model-Based Conformance Testing of Real-Time Systems, Chapter 7, page 39pp. Springer Verlag, LNCS 4949, pp. 77-117. Springer Verlag. Jonathan Bowen, Mark Harman, and Rob Hierons(Eds.), 2008.

[51] Kim G. Larsen and Brian Nielsen. ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems. Year 1 deliverables of Project IST-2001-34820 ARTIST: Advanced Real-Time Systems ARTIST IST-2001-34820, May 6 2003. Road map is published as a book by Springer Verlag.

[52] Torben W. Andersen, Anders Lildballe, and Brian Nielsen. Wireless IP and Building the Mobile Internet, chapter 18: Handoff Initiation in Mobile IPv6. Artec House. Sudhir Dixit (Eds.), November 2002. ISBN 1-58053-354-X.

Conference Proceedings

[53] Carsten Weise, Brian Nielsen. Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Springer Publishing Company, Lecture Notes in Computer Science, Vol. 7641,2012.

[54] Carsten Weise, Brian Nielsen. Proceedings of the ICTSS 2012 Ph.D. Workshop. Aalborg, 2012

[55] Jens Grabowski and Brian Nielsen. International workshop on Formal Approaches to Testing of Software. Springer Verlag LNCS 3395, Co-located with IEEE Conference on Automates Software Engineering 2004, Linz, Austria., September 2004.

Scientific Magazines

[56] Søren Rønnest, Brian Nielsen. You Model the Behavior of Your System While Testing GateHouse Telecom and Aalborg University's SATCOM Terminals. Satnews Daily July 2nd, 2019

[57] Brian Nielsen. Quasimodo. Ercim News, (75):20–21, 2008.

[58] Brian Nielsen and Alexandre David. Model-driven Development of Embedded Real-Time Systems. Ercim News, (75):19–20, 2008.

Theses

[59] Brian Nielsen. Specification and Test of Real-Time Systems. PhD thesis, Department of Computer Science, Aalborg University, Denmark, April 2000.

[60] Brian Nielsen and Tom Sørensen. Distributed Programming with Multiple Tuple Space Linda. Master’s thesis, Aalborg University, Denmark, June 1993

Technical Reports

[61] Brian Nielsen. Specification and Test of Real-Time Systems—Bibliographical Notes. In F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan, editors, Proceedings of the Summer school in MOdelling and VErification of Parallel processes (MOVEP’ 2002), pages 4–24, IRCCyN, Ecole Centrale de Nantes, France, June 2002.

[62] Mikkel Christiansen, Jesper L. Hagen, Brian Nielsen, Arne Skou, and Kristian Q. Skov. The Design and Implementation of ZCRP Zero Copying Reliable Protocol. Technical Report R-98-5011, Aalborg University, Department of Computer Science, Aalborg, Denmark, 1998.

[63] Morten Vadskær Jensen and Brian Nielsen. Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks. Technical Report R-98- 5008, Aalborg University, Institute for Electronic Systems, Department of Computer Science, Aalborg, Denmark, November 1998.

[64] Thomas Husfeldt, Brian Nielsen, Finn Norman Pedersen, and Dao Van The. Experiments with Video Communications on ATM-networks. Technical Report R- 97-5002, Aalborg University, Institute for Electronic Systems, Department of Computer Science, Aalborg, Denmark, June 1997. LAN and WAN results available at http://www.cs.aau.dk/research/FS/research/atm/index.html.

Project Deliverables

[65]

[66] Brian Nielsen, MANTIS D7.21, Use-case 3.1: Validation report, 2018

[67] Brian Nielsen, MANTIS D7.21, Use-case 3.1: Integration report, 2017

[68] Brian Nielsen, MANTIS D7.21, Use-case 3.1: Preliminary results report, 2016

[69] Brian Nielsen, MBAT D_WP2.4_2, Specification of Model-based Analysis Methods and Tools, 2014 (several versions)

[70] Brian Nielsen, MBAT D_WP2.4_3, Prototype tools for model-based analysis, 2014 (several versions)

[71] Brian Nielsen, MBAT D_WP2.1_2, Overall T&A Methodology, 2014 (several versions)

[72] Brian Nielsen, MBAT D_WP2.4_1, Requirements for use of WP2.4 results in the RTP, 2013 (several versions)

[73] Marius Mikucionis, Kim G. Larsen, Brian Nielsen. Multiform D3.2.2 Uppaal TRON to Matlab/Simulink Interface and Co-Simulation, 2010

[74] Kim G. Larsen and Brian Nielsen and Esben Ahlman Hjuler. Quasimodo Y3 Management Report, 2011.

[75] Brian Nielsen, Kim g. Larsen, Jan Tretmans, Quasimodo D5.12 Industrial Handbook, 2011

[76] Brian Nielsen et al. Quasimodo D4.6 On-line hybrid/stochastic testing, 2011

[77] Brian Nielsen et al., Quasimodo D4.5 Final (Testing) Algorithms and Evaluation, 2011

[78] Kim G. Larsen and Brian Nielsen and Marlene Kræmmer Sparre. Quasimodo Y2 Management Report, 2010.

[79] Brian Nielsen, Quasimodo D4.2 Algorithms for off- and online quantitative testing, 2010

[80] Kim G. Larsen and Brian Nielsen and Marlene Kræmmer Sparre. Quasimodo Y1 Management Report, 2009.

[81] Brian Nielsen, Arne Skou, and Jørgen Biegel. Test af Software: Test and indlejret og teknisk software, 2009.

[82] Kim G. Larsen, Ulrik Larsen, Brian Nielsen, Arne Skou, and Andrzej Wasowski. Danfoss EKC Trial Project Deliverables. Technical Report (Confidential), Aalborg University and Center of Embedded Software Systems, Aalborg, Denmark, January 2004.

[83] Brian Nielsen, Arne Skou, Ivan Aaen, Peter Axel Nielsen, John Knudsen, and Jørgen Biegel. Prosoft: procesforbedring under udvikling af indlejret og teknisk software, 2006.

[84] Mikkel Christensen, Brian Nielsen, and Tue Brems Olesen. Running eCos on the Simrad 3603 board—Simrad Collaboration Project Status Report. Technical Report (Confidential), Aalborg University and Center of Embedded Software Systems, Aalborg, Denmark, January 2004.

[85] Brian Nielsen. Automated Software Testing — Siemens Project Deliverables. Technical Report (Confidential), Aalborg University, Department of Computer Science, Aalborg, Denmark, August 2002.

[86] Thomas J. Hansen, Brian Nielsen, Jens F. Dalsgaard Nielsen, and Arne Skou. Environments and Paradigms for Development of Reliable Distributed Real-Time Software: An Industrial Oriented Research Project — Pilot-Project Deliverables. Technical report, Aalborg University, Department of Computer Science, Aalborg, Denmark, 1994.

Academic Services

PC Chairs

· Aalborg U Robotics 4^th Workshop, Aalborg University, 2015 (Regional)

· Co-Chair of The 24th IFIP Int. Conference on Testing Software and Systems, ICTSS'12

· Co-chair of Formal Approaches to Testing of Software, FATES’04

Steering Committee

· IFIP International Conference on Testing Software and Systems, ICTSS (Rotating member, 2012-2015)

Conference Organization

· Local Organizer of The 24th IFIP Int. Conference on Testing Software and Systems, ICTSS'12

· Quasimodo Industrial Dissemination Workshop, Eindhoven 2009

· Organizational and technical assistance for CAV’02

· Organizational and technical assistance for CONCUR’01

· Local co-organizer of Formal Approaches to Testing of Software (FATES’01)

PC Memberships

· ITEQS 2022 International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 2022

· ITEQS 2021 International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 2021

· SVT-SAC 2020 Software Verification and Testing track at ACM Symposium on applied computing, 2021

· SVT-SAC 2020 Software Verification and Testing track at ACM Symposium on applied computing, 2020

· ITEQS 2020 International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 2020

· FORMATS International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019

· FMI (Formal Methods Integration) 2019

· ICST International Conference on Testing Software and Systems, 2019

· ACM-SAC SVT 2019 Software Verification and Testing track at ACM Symposium on applied computing

· ITEQS 2019 International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems

· AMOST 2018 Advances in Model-based Testing, 2018

· ITEQS 2nd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 2018

· SVT-SAC 2018 Software Verification and Testing track at ACM-SAC, 2018

· ICTSS 2017 28th IFIP International Conference on Testing Software and Systems

· IEEE International Workshop on Formal Methods Integration, FMi 2017

· SVT-SAC 2017 Software Verification and Testing track at ACM-SAC, 2017

· SVT-SAC 2016 Software Verification and Testing track at ACM-SAC, 2016

· 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2016

· IEEE International Workshop on Formal Methods Integration, FMi 2016

· ICTSS 2016 28th IFIP International Conference on Testing Software and Systems

· TAP 2016 10th IFIP International Conference on Tests and Proofs

· 12th AMOST 2016 Advances in Model-based Testing

· SVT-SAC 2015 Software Verification and Testing track at ACM-SAC, 2015

· 11th AMOST Advances in Model-based Testing, 2015

· 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015

· IEEE International Workshop on Formal Methods Integration, FMi 2015

· ICTSS 2015 27th IFIP International Conference on Testing Software and Systems

· IEEE International Conference on Software Testing, Verification and Validation, ICST’14

· International Conference on Pervasive and Embedded Computing and Communication Systems, PECCS 2014

· SVT-SAC 2014 Software Verification and Testing track at ACM-SAC, 2014

· Aalborg U Robotics Workshop 2014

· Advances in Model-based Testing AMOST 2014

· Embedded World Conference 2014

· Workshop on Formal Methods for Dependable Computer-Based Systems, FMDEP 2013

· Advances in Model-based Testing AMOST 2013

· International Conference on Pervasive and Embedded Computing and Communication Systems, PECCS 2013

· 25 IFIP Conference on International Conference on Testing Software and Systems, ICTSS 2013

· IEEE International Conference on Software Testing, Verification and Validation, ICST’13

· 24 IFIP Conference on International Conference on Testing Software and Systems, ICTSS 2012

· IEEE International Conference on Industrial Electronics (ICIT) 2012

· 6th Workshop on Advances in Model Based Testing, A-MOST 2011

· 2nd International Conference on Runtime Verification, RV’11

· 23 IFIP Conference on International Conference on Testing Software and Systems, ICTSS 2011

· 1st International Conference on Runtime Verification, RV’10

· 3rd IEEE International Conference on Software Testing, Verification and Validation, ICST’10

· Real-Time Systems and Operating Systems track of the 8th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC’10

· 22 IFIP Conference on International Conference on Testing Software and Systems, ICTSS 2010

· 5th International Workshop on Automation of Software Test, AST’10

· 6th Workshop on Advances in Model Based Testing, A-MOST 2010

· 5th Workshop on Advances in Model Based Testing, A-MOST 2009

· 2nd IEEE International Conference on Software Testing, Verification and Validation, ICST’09

· Fourth International Workshop on the Automation of Software Test, AST’09

· TestCom/Fates’09

· The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC’09

· 1st IEEE International Conference on Software Testing, Verification and Validation, ICST’08

· Formal Modelling and Analysis of Timed Systems, FORMATS 2008

· TestCom/Fates’08

· 4th Workshop on Advances in Model Based Testing, A-MOST 2008

· 3rd International Workshop on Automation of Software Test, AST’08

· TestCom/Fates’08

· Intern. Symposium on Quality Engineering for Embedded Systems, 2008

· TestCom/Fates’07

· 3rd Workshop on Advances in Model Based Testing (A-MOST 2007)

· 5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’07)

· Formal Approaches to Testing of Software and Runtime Verification FATES/RV 2006

· Formal Approaches to Testing of Software FATES’05

· Formal Approaches to Testing of Software FATES’03

· Formal Approaches to Testing of Software FATES’02 Conference Organization

Position Committees (Associate Professor or above)

• Senior Lecturer in Computer Science, Mälardalen University, Sweden, 2022

• Senior Lecturer in Computer Science, Mälardalen University, Sweden, 2019

• Assistant or Associate Professor at Department of Computer Science at University of Southern Denmark, September 2008

• Associate Professorship at Department of Computer Science at Aalborg University, June 2007

• Associate Professor at Department of Computer Science at University of Southern Denmark, September 2007

• Associate Professorship at Department of Computer Science at University of Southern Denmark, November 2006

• Assistant or Associate Professorship at Department of Computer Science at University of Southern Denmark, October 2005

PhD Graduation Committees

• Sahar Tahvili: Multi-criteria Optimization of System Integration Testing, Mälardalen University, Sweden, 2018

• Sara Abbaspour: Concurrency Bugs, Mälardalen University, 2018

• Raluca Marinescu, Model-Driven Verification of Automotive Embedded Systems, Mälardalen University, 2016

• Xueliang Li, Detecting, Diagnosing and Fixing Energy Issues for Mobile Applications, Roskilde University, 2016

• Morten Larsen: Model Driven Software Development of Agricultural Robotic, Århus University, 2016

• Thomas Pedersen: Smart Home Models– Analysis, Simulation and Synthesis, Aalborg, DK, 2018

• Thibaut Le Guilly: Model Based Analysis of Embedded Software for Smart Homes, Aalborg University 2016

• Leo Hatvani (Licentiate), Formal Verification of Adaptive Real-Time Systems by Extending Task Automata, Mälardalen University, 2014

• Muddassar Sindhu: Algorithms and Tools for Learning-based Testing of Reactive Systems (Opponent) KTH, 2013

• Saleem Vighio, Formal Analyses of Web Services Protocols with Compensation'', Aalborg University, 2012

• Claus R. Thrane: Quantitative Models and Analysis for Reactive Systems, Aalborg University, 2011

• Michael Achenbach, An Engineering Approach to Dynamic Program Analysis by Layering Language Abstractions, Århus University, Denmark

• Ann Marie Ericsson, Enabling Tool Support for Formal Analysis of ECA Rules, Linköbing University, 2009

• Henrik Thostrup Jensen, Taiga - A Distributed Grid Storage System, Aalborg University, 2009

• John Knudsen, Design Verification Patterns, Aalborg University, 2009

• Daniel Sundmark, Structural System-Level Testing of Embedded Real-Time Systems, Mälardalen University, 2008

• Jacob Illum, Optimal Scheduling using Real-Time Model Checking Techniques, Aalborg University, 2007

Teaching

Supervised PhD. Theses

• Zhang Zhengkui: Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis, 2017

• Shuhao Li: Games and Scenarioes for Real-Time Systems Validation, 2010

• Marius Mikucionis: Online Testing of Real-Time Systems, 2010

Supervised MSc. Theses

• 2022 Andrei-Eugen Birta Àdám Blázsek: Offsetting Impermanent Loss Using Financial Derivatives in Smart Contracts

• 2022 Dimitar Stanchev Stefanov, Stoycho Anastasov Nenov: Block Reorgs Mitigation in Ethereum Proof-of-Stake

• 2021 Aleksandar Dimitrov Zahariev, Tsvetomir Dimitrov Ivanov, Delyan Antonov Iliev: UPPAAL as a SaaS

• 2020 Valér Orlovsky, KuberShaper.

• 2020 Kim Larsen, Martin Martin Fabrin Karkov, Optimizing the real-time reviewing for Cloud Rendering in 3D CGI Production.

• 2018 Mathias Vestergaard Rasmussen, Decentralised and Trustless User-Driven Rating Platform Resilient to Attacks

• 2016 Emil Gydesen: Energy Efficient Continuous Gesture Recognition

• 2016 Kasper Lind Sørensen and Simon Binderup Støvring: Context-Aware Home Automation Using Gestures on a Wearable

• 2015 Thomas Skinner Larsen: Model-based testing of Data-Vaults (IT-Vest)

• 2015 Brian Holbech, Christian Mortensen, Søren Knudsen: Homeport, an extension to allow automation of smart devices on heterogeneous networks

• 2013 Erland Larsen og Ib Havn: Sharing Real-Time Objects in Distributed Embedded Systems (IT-Vest)

• 2011 Janus Hansen, Rune Kristian Jensen, Martin Breum Rosenbeck: RawRlocks - A fast-paced Peer-to-Peer Games

• 2011 Peter Schmidt Freiberg, Jimmy Merrild Krag, Brian Villumsen: Distributed parameter sweep for UPPAAL models

• 2010 Ron Cohen, Anders Ejlersen, Rasmus Kristensen: To Infinity and Beyond: Scaling Massively Multiplayer Games

• 2010 Peter Finderup, Thomas Birk Abildgaard, Robertas Backys: Energy Efficient Code Updates in Wireless Sensor Networks — Validation and enhancement of the GCP protocol

• 2007 Weiwei Zheng: Model-based Online Testing — A case study on SKOV feeding System

• 2006 Palle Ehmsen, Rene Vestergaard Madsen, and Morten Zinck: Multi-core 3D Game Engine Architecture

• 2005 Gunnar Hall, Piotr Kordy, and Dalia Vitkauskaite: Improvements on Online Testing with T-UppAal — Coverage Measurement and Reruns.

• 2005 Stanislav Levchenko: Automatic Online Real-Time Testing of Distributed Java Applications.

• 2003 Marius Mikucionis and Egle Sasnauskaite: On-the-fly Testing Using UPPAAL.

• 2001 Anders Lildballe and Torben W. Andersen: Seamless Handoff in MobileIPv6.

• 2001 Esben Bo Rasmussen and Klaus Torst Rasmussen: Authentication and Authorization in Stateless Autoconfiguration.

• 1999 Heino Juvoll Madsen, Thomas Poulsen and Thomas Bang: Multicasting Layered Video on ATM Networks.

• 1998 Morten Vadskær Jensen: Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks.

• 1997 Thomas Husfeldt, Finn Normann Pedersen, and Dao Van The: Adaptive Multi-media Scheduling.

• 1996 Anders Brahe and Bo Jensen. NOWS using Scalable Coherent Interface.

Project Supervision

Since 1997 I have continuously been serving as assistant- and associate professor, and in this capacity, I have a long teaching history. I have been supervising at all levels in the department’s educations in computer science and software engineering in multiple instances. In addition, I have supervised multiple groups on continued education. I am (and have been for several years) been acting as official censor in computer science, and recently (2022) computer engineering.

Course Teaching

• Computer Architecture and Operating Systems, B.Sc., 2021, 2022

• Internetwork and web-programming, B.Sc. level. 2020, 2021, 2022

• Computer Architecture. B. Sc. Level 2017,2018, 2019, 2020

• Distributed Systems, MS level, 2019

• Distributed Systems and Networks (w. Josva Kleist), 2011, 2012, 2013, 2014, 2015, 2016

• Advanced Topics in Distributed Systems. M.Sc. Level. 2011, 2012, 2014, 2015, 2016, 2017

• Embedded Real-Time Systems (With A. P. Ravn, Arne Skou, René Rydhof Hansen). Continued Education, 2013

• Model-driven and component based development of embedded systems (With AP. Ravn, Arne Skou), M.Sc. level. Continued Education, 2011

• Basic Embedded Systems (with AP. Ravn, Tom Pedersen). M.Sc. level. 2009, Continued Education

• Distributed Real-Time Systems (With AP. Ravn). M.Sc. level. Continued Education, 2006

• Introduction to Concurrency and Operating Systems. B.Sc Level. Numerous Instances.

• Introduction to Distributed Systems. B.Sc. level. Numerous Instances.

• Test and Verification of Software. M.Sc. level. Numerous Instances.

• Modelling, Testing and Validation. B.Sc. level. Numerous Instances.

• Professional System Administration (Curricula development and coordination, with others). B.Sc. level, 3 Instances

• Specialization Course in Distributed Systems. M.Sc. level. Numerous Instance.

Invited Lectures

• 5th Halmstad Summer School on Testing, HSST 2015, Model-based Testing of Embedded Real-time Systems under Uncertainty

• Testing Real-time Systems under Uncertainty, Dagstuhl Seminar 13021 – Symbolic Methods in Testing, 2013

• ARTIST Design Summer School in Morocco, Modeling, verification and testing in embedded systems, 2010

• Model-Driven Verification and Testing of Embedded Systems, Tutorial for European Commission Project Officers, Bruxelles, June 2009

• PhD Course on Model-based Testing and Validation of Real-Time Systems, Institute of Cybernetics, Talinn, 2008.

• Tutorial on Model-based Testing of Real-Time Systems, Testcom/Fates, Talinn, 2007.

• Model-based Testing of Real-Time Systems, Reykjavik University, 2007.

• Online Test and Monitoring of Real-time Systems. Dagstuhl seminar 07011 on Runtime Verification. Dagstuhl, Germany, 02.01.2007

• Online testing of real-time systems using relativized input/output conformance. Dagstuhl seminar 06411 on Specification, Verification and Test of Open Systems. Dagstuhl, Germany, 08.10.2006

• Model-based Testing and Validation of Real-Time Systems. TAROT Summer School, 2006 Toledo; Spain. 26-06-2006.

• Testing Real-Time Embedded Systems using UppAal-TRON—Tool and Applications. ARTIST 2 Summer school on Component and Modelling, Testing and Verification, and Static Analysis of Embedded Systems, Näslingen, Sweden, November 2005.

• Real-time online testing at Dagstuhl Seminar on Model Based Testing, September 2004

• Test af realtids egenskaber at Modelbaseret Test Arrangement om testaktiviteter ved CISS, August 2004

• Model driven development and test. Industrial Software Test Seminar. Fonden Center for Software Innovation. Sønderborg, 9. december 2003.

• Model Based Testing of Embedded Systems. Industrial Seminar: Software udvikling pa tværs: trends, teknologi, metoder og værktøjer til software- og systemudvikling. Teknologisk Institut, Copenhagen, 2-3. Juni 2003.

• Automatic generation of real-time test cases from timed automata specifications. IPA Ph.D. School: Herfstdagen on Timed Systems. Landgoed Huize Bergen, Vught, Holland, November 26-30, 2001

• Testing Timed Systems. Ph.D. School: MOVEP (MOdelling and Verification of Parallel Processes) 2002, Nantes, June 17-21, 2002

Professional Training

· AAU Pedagogical course for assistant professors (Adjunkt pædagogikum), Oct. 1997- feb. 1999

· Coaching - dig selv i rollen som coach, part 1 (2007) and part 2(2008)

· The professional EU project coordinator, November 11, 2008

· Krop og Stemme (AAU PUC), 2008

· Tids-styring (Time management), 28-29 June, 2012

· Undervisningens dag: Multiple instances< 2015, 2015

· Digital Transformation, course at AAU. 2020.

Teaching Administration and other

· Study plan revisions and curriculum development: Course development: Professional System Administration (Curricula development and coordination, with others), Distributed systems and networks, Operating systems, Computer Architecture and Operating systems, Internetworking and web-programming. Study regulation revision: multiple instances of computer science, software, and BAIT.

· BAIT-T education group representative (2020-

· DEIS coordinator for ITV courses (-2020)

· Paedagogical supervisor for new assistant professor, ????, 2019

· Mentor for new foreign supervisor, 2022