Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Activities 2006 2019

Quantitative Evaluation of Systems (QEST) 2019

Mikkel Hansen (Speaker)
10 Sep 201912 Sep 2019

Activity: Talks and presentationsConference presentations

Quantitative Evaluation of Systems 2018

Mikkel Hansen (Speaker)
4 Sep 2018

Activity: Talks and presentationsConference presentations

SELVKØRENDE BILER I DANMARK: ER DE SMÅ SKRIDT I 2018 DE SIDSTE SMÅ SKRIDT FØR SNEBOLDEN RULLER?

Niels Agerholm (Organizer), Ditte Bendix Lanng (Participant), Jakob Haahr Taankvist (Participant), Maria Vestergaard (Organizer), Lars Overgaard (Participant), Søren Randrup-Thomsen (Participant), Morten Ziethen (Participant)
22 May 2018

Activity: Attending an eventOrganisation or participation in workshops, courses, or seminars

International Symposium on Mathematical Foundations of Computer Science (Event)

Kim Guldstrand Larsen (Peer reviewer), Hans L. Bodlaender (Editor), Jean-François Raskin (Editor)
21 Aug 201725 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch

KiMfest

Mikkel Hansen (Participant)
19 Aug 201720 Aug 2017

Activity: Attending an eventOrganisation or participation in workshops, courses, or seminars

KiMfest (Event)

Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor), Radu Mardare (Editor)
19 Aug 201720 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch

KiMfest 2017 (Event)

Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor), Radu Iulian Mardare (Editor)
19 Aug 201720 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch

2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016

Mikkel Hansen (Speaker)
9 Nov 201611 Nov 2016

Activity: Talks and presentationsConference presentations

IDEA4CPS Workshop

Mikkel Hansen (Participant)
30 Nov 20152 Dec 2015

Activity: Attending an eventOrganisation or participation in workshops, courses, or seminars

IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010

Brian Nielsen (Organizer)
26 Aug 201013 Dec 2010

Activity: Attending an eventConference organisation or participation

PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (External organisation)

Brian Nielsen (Member)
1 Aug 20107 Oct 2010

Activity: MembershipsMembership of review committee

1st International Conference on Runtime Verification : PC Member

Brian Nielsen (Organizer)
11 Jan 20104 Nov 2010

Activity: Attending an eventConference organisation or participation

22 IFIP Conference on International Conference on Testing Software and Systems

Brian Nielsen (Organizer)
11 Jan 20101 Nov 2010

Activity: Attending an eventConference organisation or participation

5th International Workshop on Automation of Software Test : PC Member

Brian Nielsen (Organizer)
1 Dec 20094 May 2010

Activity: Attending an eventConference organisation or participation

6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member

Brian Nielsen (Organizer)
1 Dec 20096 Apr 2010

Activity: Attending an eventConference organisation or participation

Evaluation committee for John Knudsen (External organisation)

Brian Nielsen (Member)
30 Sep 200910 Dec 2009

Activity: MembershipsMembership of review committee

3rd International Conference on Software Test and Validation (ICST'10)

Brian Nielsen (Organizer)
26 Aug 200910 Apr 2010

Activity: Attending an eventConference organisation or participation

Model-Driven Verification and Testing of Embedded systems

Brian Nielsen (Lecturer)
19 Jun 2009

Activity: Talks and presentationsTalks and presentations in private or public companies

AnnMarie Ericsson (External organisation)

Brian Nielsen (Member)
1 Mar 200916 Jun 2009

Activity: MembershipsMembership of review committee

The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-09)

Brian Nielsen (Organizer)
19 Feb 200931 Aug 2009

Activity: Attending an eventConference organisation or participation

TESTCOM/FATES 2009

Brian Nielsen (Organizer)
19 Feb 20094 Nov 2009

Activity: Attending an eventConference organisation or participation

Bedømmelsesudvalg for Henrik Thostrup Jensen (External organisation)

Brian Nielsen (Member)
19 Jan 200913 May 2009

Activity: MembershipsMembership of review committee

Udarbejdelse af projektrapporten: Test af Software”.

Brian Nielsen (Other)
1 Dec 20081 Sep 2009

Activity: Other

Fourth International Workshop on the Automation of Software Test (AST’09)

Brian Nielsen (Organizer)
24 Nov 200824 May 2009

Activity: Attending an eventConference organisation or participation

5th Workshop on Advances in Model Based Testing (A-MOST 2009)

Brian Nielsen (Organizer)
1 Sep 20084 Apr 2009

Activity: Attending an eventConference organisation or participation

Workshop on Automata and Verification

Alexandre David (Participant)
25 Aug 200826 Aug 2008

Activity: Attending an eventConference organisation or participation

Bedømmelsesudvalg Stilling nr. 083004, Syddansk Universitet (External organisation)

Brian Nielsen (Member)
14 Aug 200811 Sep 2008

Activity: MembershipsMembership of review committee

1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS

Alexandre David (Organizer)
28 Jul 20081 Aug 2008

Activity: Attending an eventConference organisation or participation

IEEE International Conference on Software Testing, Verification and Validation, ICST'09

Brian Nielsen (Organizer)
1 May 200830 Apr 2009

Activity: Attending an eventConference organisation or participation

Model-based testing and validation of Real-Time Systems: Tallinn University, Institute of Cybernetics

Brian Nielsen (Other)
14 Apr 200817 Apr 2008

Activity: Talks and presentationsExternal teaching and course activities at other universities

Intern. Symposium on Quality Engineering for Embedded Systems

Brian Nielsen (Organizer)
1 Apr 200831 May 2008

Activity: Attending an eventConference organisation or participation

Quasimodo Kickoff Møde (Arrangør og vært)

Brian Nielsen (Organizer)
15 Jan 200816 Jan 2008

Activity: Attending an eventConference organisation or participation

Third International Workshop on Automation of Software Test, AST´08 : Program Kommitte Medlem

Brian Nielsen (Organizer)
1 Jan 200818 May 2008

Activity: Attending an eventConference organisation or participation

Formal Modelling and Analysis of Timed Systems (Formats 2008)

Brian Nielsen (Organizer)
1 Jan 200817 Sep 2008

Activity: Attending an eventConference organisation or participation

FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science

Kim Guldstrand Larsen (Participant)
12 Dec 200714 Dec 2007

Activity: Attending an eventConference organisation or participation

Model-Based Testing of Real-Time Systems

Brian Nielsen (Lecturer)
30 Nov 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

BSc. Course on Introduction to Distributed systems

Brian Nielsen (Other)
26 Nov 200714 Dec 2007

Activity: Talks and presentationsExternal teaching and course activities at other universities

Introduction to Test Driven Development and Unit Testing

Brian Nielsen (Consultant)
7 Nov 2007

Activity: Public/private sector consultancy and other employmentConsultancy

Embedded Systems Workshop : ESI en STW Progress

Kim Guldstrand Larsen (Participant)
17 Oct 200720 Oct 2007

Activity: Attending an eventConference organisation or participation

NWPT07 : The 19th Nordic Workshop on Programming Theory

Kim Guldstrand Larsen (Participant)
10 Oct 200712 Oct 2007

Activity: Attending an eventConference organisation or participation

Formal Modelling and Analysis of Timed Systems (Formats 2007) : Program Kommitte Medlem

Brian Nielsen (Organizer)
3 Oct 20075 Oct 2007

Activity: Attending an eventConference organisation or participation

Embedded Systems Week : Foundations of Component-based Design

Kim Guldstrand Larsen (Participant)
30 Sep 20071 Oct 2007

Activity: Attending an eventConference organisation or participation

EPEW'2007 : 4th European Performance Engineering Workshop, 27-28 September 2007

Kim Guldstrand Larsen (Organizer)
27 Sep 200728 Sep 2007

Activity: Attending an eventConference organisation or participation

QEST: : 4th International Conference on the Quantitative Evaluation of SysTems

Kim Guldstrand Larsen (Participant)
16 Sep 200719 Sep 2007

Activity: Attending an eventConference organisation or participation

First IEEE International Conference on Software Testing, Verification and Validation, ICST'08 : Program Kommitte Medlem

Brian Nielsen (Organizer)
1 Sep 200711 Apr 2008

Activity: Attending an eventConference organisation or participation

4th Workshop on Advances in Model Based Testing, AMOST'08 : Program Kommitte Medlem

Brian Nielsen (Organizer)
1 Sep 200711 Apr 2008

Activity: Attending an eventConference organisation or participation

Formal Approaches to Testing of Software, Fates 2008 : Program Kommitte Medlem

Brian Nielsen (Organizer)
1 Sep 200713 Jun 2008

Activity: Attending an eventConference organisation or participation

Phd Defense and Grading committee for Daniel Sundmark (External organisation)

Brian Nielsen (Member)
28 Aug 200715 Feb 2008

Activity: MembershipsMembership of review committee

Coverage metrikker, værktøjer til måling heraf og tool-demo

Brian Nielsen (Lecturer)
21 Aug 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Visit and invited lectures

Kim Guldstrand Larsen (Other)
11 Aug 200717 Aug 2007

Activity: Talks and presentationsExternal teaching and course activities at other universities