Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Activities 1989 2019

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

LIAFA, Paris

Alexandre David (Visiting researcher)
2 Apr 20076 Apr 2007

Activity: Visiting another research institution

Lektor bedømmelse Stillingsnr 40943, AAU (External organisation)

Brian Nielsen (Member)
2 Apr 20077 Jun 2007

Activity: MembershipsMembership of review committee

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

Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia (External organisation)

Peter Dolog (Member)
15 Mar 2007 → …

Activity: MembershipsMembership of committees, commissions, boards, councils, associations, organisations, or similar

MOVES: a Tool for Modeling and Verification of Embedded Systems

Kim Guldstrand Larsen (Lecturer)
12 Mar 2007

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

Conference on Znalosti/Knowledge 2007, February 2007, Ostrava, Czech Republic; (External organisation)

Peter Dolog (Member)
9 Mar 2007 → …

Activity: MembershipsMembership of committees, commissions, boards, councils, associations, organisations, or similar

International Workshop on Ubiquitous and Decentralized User Modeling: UBIDEUM 2007 une 26, 2007, Corfu, Greece, in conjunction with with the 11th International Conference on User Modeling (External organisation)

Peter Dolog (Member)
9 Mar 2007 → …

Activity: MembershipsMembership of committees, commissions, boards, councils, associations, organisations, or similar

5th Latin American Web Congress, Oct.-Nov. 2007, Santiago de Chile, Chile (External organisation)

Peter Dolog (Member)
9 Mar 2007 → …

Activity: MembershipsMembership of committees, commissions, boards, councils, associations, organisations, or similar

Modelling Day

Kim Guldstrand Larsen (Lecturer)
3 Mar 2007

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

MOTIVES 07 : Testing and verification for embedded systems.

Kim Guldstrand Larsen (Participant)
19 Feb 200723 Feb 2007

Activity: Attending an eventConference organisation or participation

ARTIST2: Winterschool

Kim Guldstrand Larsen (Lecturer)
19 Feb 2007

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

ARTIST2

Kim Guldstrand Larsen (Lecturer)
19 Feb 2007

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

Ukendt

Alexandre David (Visiting researcher)
5 Feb 20079 Feb 2007

Activity: Visiting another research institution

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

Brug af TTCN til Protokoltest

Brian Nielsen (Lecturer)
16 Jan 2007

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

Online Test and Monitoring of Real-time Systems

Brian Nielsen (Lecturer)
6 Jan 2007

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

Dagstuhl workshop : Run-time verification

Kim Guldstrand Larsen (Participant)
2 Jan 20076 Jan 2007

Activity: Attending an eventConference organisation or participation

7th Internation Conference on Web Engineering, Como, Italy, July 2007 (External organisation)

Peter Dolog (Member)
21 Nov 2006 → …

Activity: MembershipsMembership of committees, commissions, boards, councils, associations, organisations, or similar

2nd European Conference on Technology Enhanced Learning, 2007 (External organisation)

Peter Dolog (Member)
21 Nov 2006 → …

Activity: MembershipsMembership of committees, commissions, boards, councils, associations, organisations, or similar

Lektorbedømmelsesudvalg Stilling 063019 Syddansk Universitet (External organisation)

Brian Nielsen (Member)
20 Nov 200621 Dec 2006

Activity: MembershipsMembership of review committee

Ph.D. course on real-time systems

Alexandre David (Other)
16 Oct 200617 Oct 2006

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

Online testing of real-time systems using relativized input/output conformance

Brian Nielsen (Lecturer)
8 Oct 2006

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

European Workshop on Mapping eParticipation, Mediterranean Conference on Information Systems

Lars Torpe (Speaker)
5 Oct 2006

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

European Workshop on Mapping eParticipation, Mediterranean Conference on Information Systems

Jeremy Rose (Speaker)
5 Oct 2006

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

International Design for All Conference

Christian Thomsen (Speaker)
13 Sep 200615 Sep 2006

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

QEST 2006 - Quantitative Evaluation of SysTems

Alexandre David (Participant)
11 Sep 200614 Sep 2006

Activity: Attending an eventConference organisation or participation

International Conference on Very Large Data Bases

Christian Søndergaard Jensen (Participant)
1 Sep 20063 Sep 2006

Activity: Attending an eventConference organisation or participation

International Workshop on Spatio-Temporal Database Management

Christian Søndergaard Jensen (Participant)
1 Sep 20063 Sep 2006

Activity: Attending an eventConference organisation or participation

Test, Modelling and Verification of Embedded Systems

Arne Skou (Other)
17 Aug 2006

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

Test, Modeling, and Verification of Embedded Systems

Brian Nielsen (Other)
17 Aug 200618 Aug 2006

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

Model-based Testing and Validation of Real-Time Systems

Brian Nielsen (Lecturer)
26 Jun 2006

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

How Would You Like to Aggregate Your Temporal Data?

Christian Søndergaard Jensen (Lecturer)
15 Jun 2006

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

Fagkoordinator TestNet Erfagruppe

Brian Nielsen (Other)
1 Jun 200631 Dec 2008

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

Ministeriet for Videnskab, Teknologi og Udvikling (External organisation)

Peter Axel Nielsen (Member)
1 Jun 200631 Jul 2009

Activity: MembershipsMembership of committees, commissions, boards, councils, associations, organisations, or similar

2006 ACM SIGMOD International Conference on the Management of Data

Christian Søndergaard Jensen (Participant)
1 Jun 20063 Jun 2006

Activity: Attending an eventConference organisation or participation

International Conference on Flexible Query Answering Systems

Christian Søndergaard Jensen (Participant)
1 Jun 20063 Jun 2006

Activity: Attending an eventConference organisation or participation

Novo Nordisk A/S

Christian Søndergaard Jensen (Consultant)
1 Jun 2006 → …

Activity: Public/private sector consultancy and other employmentConsultancy

Unit testing and coverage analysis

Brian Nielsen (Other)
29 May 2006

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

Mobile Information Services: Trends and Challenges

Christian Søndergaard Jensen (Lecturer)
8 May 2006

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

Model-Based test and development of embedded software

Brian Nielsen (Other)
3 May 20064 May 2006

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

Geo-Enabled Mobile Services-A Tale of Routes, Detours, and Dead Ends

Christian Søndergaard Jensen (Lecturer)
12 Apr 2006

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

Georgia institute of Technology, College of Computing (External organisation)

Christian Søndergaard Jensen (Member)
1 Apr 2006 → …

Activity: MembershipsMembership of review committee

Linkoping University, Department of Computer and Information Science (External organisation)

Christian Søndergaard Jensen (Member)
1 Mar 2006 → …

Activity: MembershipsMembership of review committee

Database Management Systems

Christian Søndergaard Jensen (Other)
1 Mar 200631 May 2006

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

Censor at Aalborg University in Copenhagen: For students at 7th semester, "reliable software" theme.

Alexandre David (External examiner)
11 Jan 2006

Activity: ExaminationExternal examination

RTSS 2005 - The 26th IEEE Real-Time Systems Symposium : UPPAAL Tutorial

Alexandre David (Organizer)
5 Dec 2005

Activity: Attending an eventConference organisation or participation