Activities per year
Activities
- 1 - 50 out of 78 results
Search results
-
Workshop on Automata and Verification
Alexandre David (Participant)
25 Aug 2008 → 26 Aug 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
-
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
-
Intern. Symposium on Quality Engineering for Embedded Systems
Brian Nielsen (Organizer)
1 Apr 2008 → 31 May 2008Activity: Attending an event › Conference organisation or participation
-
TESTCOM/FATES 2009
Brian Nielsen (Organizer)
19 Feb 2009 → 4 Nov 2009Activity: Attending an event › Conference organisation or participation
-
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
-
AnnMarie Ericsson (External organisation)
Brian Nielsen (Member)
1 Mar 2009 → 16 Jun 2009Activity: Memberships › Membership of review committee
-
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
-
Model-Driven Verification and Testing of Embedded systems
Brian Nielsen (Lecturer)
19 Jun 2009Activity: Talks and presentations › Talks and presentations in private or public companies
-
2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016
Mikkel Hansen (Speaker)
9 Nov 2016 → 11 Nov 2016Activity: Talks and presentations › Conference presentations
-
Modelling Day
Kim Guldstrand Larsen (Lecturer)
3 Mar 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
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
-
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
-
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
-
Summer School in Applied Circular Economy
Massimo Pizzol (Organizer), Mette Mosgaard (Organizer), Louise Møller Haase (Organizer), Michael Søgaard Jørgensen (Organizer), Reza Tadayoni (Organizer), Anja Marie Bundgaard (Organizer), Rikke Dorothea Huulgaard (Organizer), Monia Niero (Organizer), Nancy Maria Petronella Bocken (Organizer), Ruth Mugge (Organizer), Melanie Gabriele Jaeger-Erben (Organizer) & Bent Thomsen (Organizer)
8 May 2023 → 15 Sept 2023Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
File -
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
-
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
-
KiMfest 2017 (Event)
Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Iulian Mardare (Editor)
19 Aug 2017 → 20 Aug 2017Activity: Editorial work and peer review › Series editor › Research
-
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
-
LIAFA, Paris
Alexandre David (Visiting researcher)
2 Apr 2007 → 6 Apr 2007Activity: Visiting another research institution
-
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
-
IDEA4CPS Workshop
Mikkel Hansen (Participant)
30 Nov 2015 → 2 Dec 2015Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
-
Hugin Expert A/S (External organisation)
Kristian G. Olesen (Member)
1989 → …Activity: Memberships › Board duties in companies, associations, or public organisations
-
Folkeuniversitetet i Aalborg (External organisation)
Kristian G. Olesen (Member)
2018 → 2022Activity: Memberships › Board duties in companies, associations, or public organisations
-
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
-
1st International Conference on Runtime Verification : PC Member
Brian Nielsen (Organizer)
11 Jan 2010 → 4 Nov 2010Activity: Attending an event › Conference organisation or participation
-
3rd International Conference on Software Test and Validation (ICST'10)
Brian Nielsen (Organizer)
26 Aug 2009 → 10 Apr 2010Activity: Attending an event › Conference organisation or participation
-
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
-
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
-
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
-
6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member
Brian Nielsen (Organizer)
1 Dec 2009 → 6 Apr 2010Activity: Attending an event › Conference organisation or participation
-
Quasimodo Kickoff Møde (Arrangør og vært)
Brian Nielsen (Organizer)
15 Jan 2008 → 16 Jan 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
-
University of Southern Denmark (External organisation)
Brian Nielsen (Member)
14 Aug 2008 → 11 Sept 2008Activity: Memberships › Membership of review committee
-
PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (External organisation)
Brian Nielsen (Member)
1 Aug 2010 → 7 Oct 2010Activity: Memberships › Membership of review committee
-
PhD bedømmelsesudvalg for Jacob Illum (External organisation)
Brian Nielsen (Member)
17 Apr 2007 → 4 Jun 2007Activity: Memberships › Membership of review committee
-
Fagkoordinator TestNet Erfagruppe
Brian Nielsen (Other)
1 Jun 2006 → 31 Dec 2008Activity: Talks and presentations › External teaching and course activities at other universities
-
Quantitative Evaluation of Systems (QEST) 2019
Mikkel Hansen (Speaker)
10 Sept 2019 → 12 Sept 2019Activity: Talks and presentations › Conference presentations
-
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
-
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
-
Dagstuhl workshop : Run-time verification
Kim Guldstrand Larsen (Participant)
2 Jan 2007 → 6 Jan 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
-
International Symposium on Mathematical Foundations of Computer Science (Event)
Kim Guldstrand Larsen (Peer reviewer), Hans L. Bodlaender (Editor) & Jean-François Raskin (Editor)
21 Aug 2017 → 25 Aug 2017Activity: Editorial work and peer review › Series editor › Research
-
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
-
KiMfest (Event)
Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Mardare (Editor)
19 Aug 2017 → 20 Aug 2017Activity: Editorial work and peer review › Series editor › Research
-
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Participant)
17 Oct 2007 → 20 Oct 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
-
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
-
KiMfest
Mikkel Hansen (Participant)
19 Aug 2017 → 20 Aug 2017Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
-
Third International Workshop on Automation of Software Test, AST´08 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Jan 2008 → 18 May 2008Activity: Attending an event › Conference organisation or participation