Activities per year
Activities
- 150 - 200 out of 399 results
Search results
-
Formal Modelling and Analysis of Timed Systems (Formats 2008)
Brian Nielsen (Organizer)
1 Jan 2008 → 17 Sept 2008Activity: Attending an event › Conference organisation or participation
-
V L D B Journal (Journal)
Simonas Saltenis (Editor)
1 Jan 2008Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
I E E E Transactions on Knowledge & Data Engineering (Journal)
Simonas Saltenis (Editor)
1 Jan 2008Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Information Processing Letters (Journal)
Simonas Saltenis (Editor)
1 Jan 2008Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
V L D B Journal (Journal)
Simonas Saltenis (Editor)
1 Jan 2008Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
I E E E Transactions on Knowledge & Data Engineering (Journal)
Simonas Saltenis (Editor)
1 Jan 2008Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
I E E E Transactions on Knowledge & Data Engineering (Journal)
Simonas Saltenis (Editor)
1 Jan 2008Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
I E E E Transactions on Knowledge & Data Engineering (Journal)
Simonas Saltenis (Editor)
1 Jan 2008Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
A C M Transactions on Information Systems (Journal)
Simonas Saltenis (Editor)
1 Jan 2008Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Journal of Systems and Software (Journal)
Simonas Saltenis (Editor)
1 Jan 2008Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science
Kim Guldstrand Larsen (Participant)
12 Dec 2007 → 14 Dec 2007Activity: Attending an event › Conference organisation or participation
-
Model-Based Testing of Real-Time Systems
Brian Nielsen (Lecturer)
30 Nov 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
BSc. Course on Introduction to Distributed systems
Brian Nielsen (Other)
26 Nov 2007 → 14 Dec 2007Activity: Talks and presentations › External teaching and course activities at other universities
-
Introduction to Test Driven Development and Unit Testing
Brian Nielsen (Consultant)
7 Nov 2007Activity: Public/private sector consultancy and other employment › Consultancy
-
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Participant)
17 Oct 2007 → 20 Oct 2007Activity: Attending an event › Conference organisation or participation
-
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Participant)
10 Oct 2007 → 12 Oct 2007Activity: Attending an event › Conference organisation or participation
-
Formal Modelling and Analysis of Timed Systems (Formats 2007) : Program Kommitte Medlem
Brian Nielsen (Organizer)
3 Oct 2007 → 5 Oct 2007Activity: Attending an event › Conference organisation or participation
-
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Participant)
30 Sept 2007 → 1 Oct 2007Activity: Attending an event › Conference organisation or participation
-
EPEW'2007 : 4th European Performance Engineering Workshop, 27-28 September 2007
Kim Guldstrand Larsen (Organizer)
27 Sept 2007 → 28 Sept 2007Activity: Attending an event › Conference organisation or participation
-
QEST: : 4th International Conference on the Quantitative Evaluation of SysTems
Kim Guldstrand Larsen (Participant)
16 Sept 2007 → 19 Sept 2007Activity: Attending an event › Conference organisation or participation
-
4th Workshop on Advances in Model Based Testing, AMOST'08 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Sept 2007 → 11 Apr 2008Activity: Attending an event › Conference organisation or participation
-
Formal Approaches to Testing of Software, Fates 2008 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Sept 2007 → 13 Jun 2008Activity: Attending an event › Conference organisation or participation
-
First IEEE International Conference on Software Testing, Verification and Validation, ICST'08 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Sept 2007 → 11 Apr 2008Activity: Attending an event › Conference organisation or participation
-
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
-
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
-
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
-
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
-
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