Activities per year
Activities
- 50 - 78 out of 78 results
Search results
-
Phd Defense and Grading committee for Daniel Sundmark (External organisation)
Brian Nielsen (Member)
28 Aug 2007 → 15 Feb 2008Activity: Memberships › Membership of review committee
-
Coverage metrikker, værktøjer til måling heraf og tool-demo
Brian Nielsen (Lecturer)
21 Aug 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Visit and invited lectures
Kim Guldstrand Larsen (Other)
11 Aug 2007 → 17 Aug 2007Activity: Talks and presentations › External teaching and course activities at other universities
-
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 2007 → 10 Aug 2007Activity: Attending an event › Conference organisation or participation
-
LICS'07 : Twenty-Second Annual IEEE Sympositum on Logic in Computer Science
Kim Guldstrand Larsen (Participant)
10 Jul 2007 → 14 Jul 2007Activity: Attending an event › Conference organisation or participation
-
3rd Workshop on Advances in Model Based Testing (A-MOST 2007) : Program Kommitte Medlem
Brian Nielsen (Organizer)
9 Jul 2007 → 12 Jul 2007Activity: Attending an event › Conference organisation or participation
-
Tool Platforms for Embedded Modeling, Analysis and Validation CAV
Michael Rygaard Hansen (Lecturer)
1 Jul 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Tutorial on Model-Based Testing of Real-Time Systems
Brian Nielsen (Lecturer)
26 Jun 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
University of Southern Denmark (External organisation)
Brian Nielsen (Member)
25 Jun 2007 → 21 Sept 2007Activity: Memberships › Membership of review committee
-
University of Southern Denmark (External organisation)
Brian Nielsen (Member)
25 Jun 2007 → 21 Sept 2007Activity: Memberships › Membership of review committee
-
Towards a Systematic Approach to Embedded System Design: DATE, Design, Automation, and Test in Europe
Kim Guldstrand Larsen (Lecturer)
20 Apr 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
PhD bedømmelsesudvalg for Jacob Illum (External organisation)
Brian Nielsen (Member)
17 Apr 2007 → 4 Jun 2007Activity: Memberships › Membership of review committee
-
Modeling, Testing, and Validation 2007
Brian Nielsen (Other)
16 Apr 2007 → 17 Apr 2007Activity: Talks and presentations › External teaching and course activities at other universities
-
RTAS' 07 : Development, Verification, and Debug Tools for Real-Time and Embedded Systems
Kim Guldstrand Larsen (Participant)
3 Apr 2007 → 6 Apr 2007Activity: Attending an event › Conference organisation or participation
-
Lektor bedømmelse Stillingsnr 40943, AAU (External organisation)
Brian Nielsen (Member)
2 Apr 2007 → 7 Jun 2007Activity: Memberships › Membership of review committee
-
LIAFA, Paris
Alexandre David (Visiting researcher)
2 Apr 2007 → 6 Apr 2007Activity: Visiting another research institution
-
Formal Approaches to Testing of Software (FATES 2007) : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Apr 2007 → 29 Jun 2007Activity: Attending an event › Conference organisation or participation
-
TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Kim Guldstrand Larsen (Participant)
24 Mar 2007 → 1 Apr 2007Activity: Attending an event › Conference 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 2007 → 26 Mar 2007Activity: Attending an event › Conference organisation or participation
-
MOVES: a Tool for Modeling and Verification of Embedded Systems
Kim Guldstrand Larsen (Lecturer)
12 Mar 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Modelling Day
Kim Guldstrand Larsen (Lecturer)
3 Mar 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
MOTIVES 07 : Testing and verification for embedded systems.
Kim Guldstrand Larsen (Participant)
19 Feb 2007 → 23 Feb 2007Activity: Attending an event › Conference organisation or participation
-
ARTIST2: Winterschool
Kim Guldstrand Larsen (Lecturer)
19 Feb 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
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 2007 → 26 Jan 2007Activity: Attending an event › Conference organisation or participation
-
Brug af TTCN til Protokoltest
Brian Nielsen (Lecturer)
16 Jan 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Dagstuhl workshop : Run-time verification
Kim Guldstrand Larsen (Participant)
2 Jan 2007 → 6 Jan 2007Activity: Attending an event › Conference organisation or participation
-
Fagkoordinator TestNet Erfagruppe
Brian Nielsen (Other)
1 Jun 2006 → 31 Dec 2008Activity: Talks and presentations › External teaching and course activities at other universities
-
Hugin Expert A/S (External organisation)
Kristian G. Olesen (Member)
1989 → …Activity: Memberships › Board duties in companies, associations, or public organisations