Activities per year
Activities
- 200 - 250 out of 399 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
-
Artist2
Kim Guldstrand Larsen (Lecturer)
1 Aug 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
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
-
4th Annual Scientific Conference - Lornet Teaching Network (I2LOR 2007), November 2007, Montreal, Canada (External organisation)
Peter Dolog (Member)
17 Jun 2007 → …Activity: Memberships › Membership of committees, commissions, boards, councils, associations, organisations, or similar
-
3rd International Conference on Semantic Technologies (I-Semantics'07), Graz, Austria, September 2007 (External organisation)
Peter Dolog (Member)
17 Jun 2007 → …Activity: Memberships › Membership of committees, commissions, boards, councils, associations, organisations, or similar
-
Fifth International Workshop on Ontologies and Semantic Web for E-Learning (SWEL'07) at 13th International Conference on Artificial Intelligence in Education (AIED2007), July 2007, LA, USA (External organisation)
Peter Dolog (Member)
17 Jun 2007 → …Activity: Memberships › Membership of committees, commissions, boards, councils, associations, organisations, or similar
-
Workshop on Cross-Media and Personalized Learning Applications on top of Digital Libraries (LADL 2007), at at the 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2007), 16-21 September, Budapest, Hungary (External organisation)
Peter Dolog (Member)
17 Jun 2007 → …Activity: Memberships › Membership of committees, commissions, boards, councils, associations, organisations, or similar
-
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
-
Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia (External organisation)
Peter Dolog (Member)
15 Mar 2007 → …Activity: Memberships › Membership 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 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
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: Memberships › Membership 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: Memberships › Membership of committees, commissions, boards, councils, associations, organisations, or similar
-
AEWSE2007: Second International Workshop on Adaptation and Evolution in Web Systems Engineering in conjunctions with 7th International Conference on Web Engineering (ICWE 2007), July 2007, Como, Italy; (External organisation)
Peter Dolog (Member)
9 Mar 2007 → …Activity: Memberships › Membership of committees, commissions, boards, councils, associations, organisations, or similar
-
Conference on Znalosti/Knowledge 2007, February 2007, Ostrava, Czech Republic; (External organisation)
Peter Dolog (Member)
9 Mar 2007 → …Activity: Memberships › Membership of committees, commissions, boards, councils, associations, organisations, or similar
-
Modelling Day
Kim Guldstrand Larsen (Lecturer)
3 Mar 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
ARTIST2: Winterschool
Kim Guldstrand Larsen (Lecturer)
19 Feb 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
ARTIST2
Kim Guldstrand Larsen (Lecturer)
19 Feb 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
-
Ukendt
Alexandre David (Visiting researcher)
5 Feb 2007 → 9 Feb 2007Activity: 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 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
-
Online Test and Monitoring of Real-time Systems
Brian Nielsen (Lecturer)
6 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
-
Udarbejdelse af projektrapporten: Test af Software”.
Brian Nielsen (Other)
1 Dec 2008 → 1 Sept 2009Activity: Other
-
Fourth International Workshop on the Automation of Software Test (AST’09)
Brian Nielsen (Organizer)
24 Nov 2008 → 24 May 2009Activity: Attending an event › Conference organisation or participation
-
International Workshop on Service-Oriented Architectures and Software Product Lines at Software Product Lines Conference
Peter Dolog (Speaker)
8 Oct 2008 → 12 Oct 2008Activity: Talks and presentations › Talks and presentations in private or public companies
-
5th Workshop on Advances in Model Based Testing (A-MOST 2009)
Brian Nielsen (Organizer)
1 Sept 2008 → 4 Apr 2009Activity: Attending an event › Conference organisation or participation
-
Workshop on Automata and Verification
Alexandre David (Participant)
25 Aug 2008 → 26 Aug 2008Activity: Attending an event › Conference organisation or participation
-
University of Southern Denmark (External organisation)
Brian Nielsen (Member)
14 Aug 2008 → 11 Sept 2008Activity: Memberships › Membership of review committee
-
1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS
Alexandre David (Organizer)
28 Jul 2008 → 1 Aug 2008Activity: Attending an event › Conference organisation or participation
-
SemWiki 2008 - The Wiki Way of Semantics: 3rd Semantic Wiki Workshop co-located with the 5th European Semantic Web Conference (ESWC)
Peter Dolog (Speaker)
2 Jun 2008 → 6 Jun 2008Activity: Talks and presentations › Talks and presentations in private or public companies
-
European Semantic Web Conference 2008
Peter Dolog (Speaker)
1 Jun 2008 → 5 Jun 2008Activity: Talks and presentations › Talks and presentations in private or public companies
-
IEEE International Conference on Software Testing, Verification and Validation, ICST'09
Brian Nielsen (Organizer)
1 May 2008 → 30 Apr 2009Activity: Attending an event › Conference organisation or participation
-
Model-based testing and validation of Real-Time Systems: Tallinn University, Institute of Cybernetics
Brian Nielsen (Other)
14 Apr 2008 → 17 Apr 2008Activity: Talks and presentations › External teaching and course activities at other universities