Curriculum Vitae: Brian Nielsen

Contents

Curriculum Vitae: Brian Nielsen. 3

Personal Information. 3

Academic Degrees. 3

Positions. 3

Short Biography. 3

Research. 4

Research Administration. 4

Co-Authored Research Applications. 4

Industrial Collaboration. 4

Publications. 5

Journal Papers. 5

Refereed Conference Papers. 5

Book Chapters. 7

Conference Proceedings. 7

Scientific Magazines. 8

Theses. 8

Technical Reports. 8

Project Deliverables. 8

Academic Services. 9

PC Chairs. 9

Steering Committee. 9

Conference Organization. 9

PC Memberships. 9

Position Committees (Associate Professor or above) 11

PhD Graduation Committees. 11

Teaching. 11

Supervised PhD. Theses. 11

Supervised MSc. Theses. 11

Course Teaching. 12

Professional Training. 13

Invited Lectures. 13

 


 

Curriculum Vitae: Brian Nielsen

Personal Information

 

Private Address: Godske Lindenovs Vej 105, DK-9210 Aalborg. Phone: +45 20 25 29 53

Work Address: Aalborg University, Department of Computer Science, Selma Lagerlöffs Vej 300, DK-9220 Aalborg SØ.

Born: May 28 1969.

Nationality: Danish.

Marital status: Not married.

 

Academic Degrees

·        1993 Cand. Polyt. (Master of Science in Engineering, MSc. EE.), Aalborg University

·        2000 Ph.D. in Computer Science, Aalborg University

 

Positions

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 and Embedded Systems research group.

His research interests include distributed, embedded, and cyber-physical systems and software, Internet-of-Things, robotics, 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 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

·        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

        Siemens Mobile Phones: Automated protocol testing. 2000-2001

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

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

        GateHouse: Automated Software Test. 2004

        Prosoft delprojekt 4. Generisk Software test. 2005-2006

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

        Skov A/S: Automated Testing. 2005-2009

        TestNet 2006-2009

        TestNet 2 2009-2014

        Danish Software Testing Board (board member) 2010 –

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

Publications

 

Journal Papers

[1]                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

[2]                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.

[3]                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.

[4]                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

[5]                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.

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

[7]                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

[8]                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

[9]                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

[10]            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.

[11]            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.

[12]            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

[13]            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).

[14]            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)

[15]            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.

[16]            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.

[17]            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.

[18]            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.

[19]            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.

[20]            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.

[21]            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.

[22]            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.

[23]            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.

[24]            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.

[25]            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.

[26]            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.

[27]            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.

[28]            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.

[29]            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.

[30]            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).

[31]            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.

[32]            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.

[33]            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.

[34]            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.

[35]            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.

[36]            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.

[37]            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

[38]            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.

[39]            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.

[40]            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

[41]            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.

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

[43]            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

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

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

Theses

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

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

Technical Reports

[48]            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.

[49]            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.

[50]            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.

[51]            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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[66]            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.

[67]            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.

[68]            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.

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

[70]            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 4th 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

·        SVT-SAC 2016 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)

        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

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

        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

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

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

Supervised MSc. Theses

        2016 Emil Gydesen: Energy Efficient Continuous Gesture Recognition

        2026 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.

 

Course Teaching

        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.

        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

        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

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

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

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

·        Tidsstyring (Time management), 28-29 June, 2012

·        Undervisningsdag: Multiple instances< 2015, 2015