Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Activities 2006 2019

Filter
Conference organisation or participation

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

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

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

TESTCOM/FATES 2009

Brian Nielsen (Organizer)
19 Feb 20094 Nov 2009

Activity: Attending an eventConference organisation or participation

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

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

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

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

Formal Modelling and Analysis of Timed Systems (Formats 2008)

Brian Nielsen (Organizer)
1 Jan 200817 Sep 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

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

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

UNI-IIST School : ARTIST2 has organized, in collaboration with UNU-IIST, the 2nd edition of a school on embedded systems design in Suzhou.

Kim Guldstrand Larsen (Participant)
1 Aug 200710 Aug 2007

Activity: Attending an eventConference organisation or participation

LICS'07 : Twenty-Second Annual IEEE Sympositum on Logic in Computer Science

Kim Guldstrand Larsen (Participant)
10 Jul 200714 Jul 2007

Activity: Attending an eventConference organisation or participation

3rd Workshop on Advances in Model Based Testing (A-MOST 2007) : Program Kommitte Medlem

Brian Nielsen (Organizer)
9 Jul 200712 Jul 2007

Activity: Attending an eventConference organisation or participation

RTAS' 07 : Development, Verification, and Debug Tools for Real-Time and Embedded Systems

Kim Guldstrand Larsen (Participant)
3 Apr 20076 Apr 2007

Activity: Attending an eventConference organisation or participation

Formal Approaches to Testing of Software (FATES 2007) : Program Kommitte Medlem

Brian Nielsen (Organizer)
1 Apr 200729 Jun 2007

Activity: Attending an eventConference organisation or participation

TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Kim Guldstrand Larsen (Participant)
24 Mar 20071 Apr 2007

Activity: Attending an eventConference organisation or participation

SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track

Kim Guldstrand Larsen (Participant)
20 Mar 200726 Mar 2007

Activity: Attending an eventConference organisation or participation

MOTIVES 07 : Testing and verification for embedded systems.

Kim Guldstrand Larsen (Participant)
19 Feb 200723 Feb 2007

Activity: Attending an eventConference organisation or participation

SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track

Kim Guldstrand Larsen (Organizer)
20 Jan 200726 Jan 2007

Activity: Attending an eventConference organisation or participation

Dagstuhl workshop : Run-time verification

Kim Guldstrand Larsen (Participant)
2 Jan 20076 Jan 2007

Activity: Attending an eventConference organisation or participation