Activities per year
Activities
Search results
-
Quantitative Evaluation of Systems (QEST) 2019
Mikkel Hansen (Speaker)
10 Sep 2019 → 12 Sep 2019Activity: Talks and presentations › Conference presentations
-
Quantitative Evaluation of Systems 2018
Mikkel Hansen (Speaker)
4 Sep 2018Activity: Talks and presentations › Conference presentations
-
SELVKØRENDE BILER I DANMARK: ER DE SMÅ SKRIDT I 2018 DE SIDSTE SMÅ SKRIDT FØR SNEBOLDEN RULLER?
Niels Agerholm (Organizer), Ditte Bendix Lanng (Participant), Jakob Haahr Taankvist (Participant), Maria Vestergaard (Organizer), Lars Overgaard (Participant), Søren Randrup-Thomsen (Participant) & Morten Ziethen (Participant)
22 May 2018Activity: Attending an event › Organisation or participation in workshops, courses, or seminars
-
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
-
KiMfest
Mikkel Hansen (Participant)
19 Aug 2017 → 20 Aug 2017Activity: Attending an event › Organisation or participation in workshops, courses, or seminars
-
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
-
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
-
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
-
IDEA4CPS Workshop
Mikkel Hansen (Participant)
30 Nov 2015 → 2 Dec 2015Activity: Attending an event › Organisation or participation in workshops, courses, or seminars
-
IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010
Brian Nielsen (Organizer)
26 Aug 2010 → 13 Dec 2010Activity: Attending an event › Conference organisation or participation
-
PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (External organisation)
Brian Nielsen (Member)
1 Aug 2010 → 7 Oct 2010Activity: Memberships › Membership of review committee
-
22 IFIP Conference on International Conference on Testing Software and Systems
Brian Nielsen (Organizer)
11 Jan 2010 → 1 Nov 2010Activity: 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
-
5th International Workshop on Automation of Software Test : PC Member
Brian Nielsen (Organizer)
1 Dec 2009 → 4 May 2010Activity: 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
-
Evaluation committee for John Knudsen (External organisation)
Brian Nielsen (Member)
30 Sep 2009 → 10 Dec 2009Activity: Memberships › Membership of review committee
-
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
-
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
-
AnnMarie Ericsson (External organisation)
Brian Nielsen (Member)
1 Mar 2009 → 16 Jun 2009Activity: Memberships › Membership of review committee
-
The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-09)
Brian Nielsen (Organizer)
19 Feb 2009 → 31 Aug 2009Activity: 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
-
Bedømmelsesudvalg for Henrik Thostrup Jensen (External organisation)
Brian Nielsen (Member)
19 Jan 2009 → 13 May 2009Activity: Memberships › Membership of review committee
-
Udarbejdelse af projektrapporten: Test af Software”.
Brian Nielsen (Other)
1 Dec 2008 → 1 Sep 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
-
5th Workshop on Advances in Model Based Testing (A-MOST 2009)
Brian Nielsen (Organizer)
1 Sep 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
-
Bedømmelsesudvalg Stilling nr. 083004, Syddansk Universitet (External organisation)
Brian Nielsen (Member)
14 Aug 2008 → 11 Sep 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
-
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
-
Intern. Symposium on Quality Engineering for Embedded Systems
Brian Nielsen (Organizer)
1 Apr 2008 → 31 May 2008Activity: 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
-
Formal Modelling and Analysis of Timed Systems (Formats 2008)
Brian Nielsen (Organizer)
1 Jan 2008 → 17 Sep 2008Activity: Attending an event › Conference organisation or participation
-
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
-
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 Sep 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 Sep 2007 → 28 Sep 2007Activity: Attending an event › Conference organisation or participation
-
QEST: : 4th International Conference on the Quantitative Evaluation of SysTems
Kim Guldstrand Larsen (Participant)
16 Sep 2007 → 19 Sep 2007Activity: Attending an event › Conference organisation or participation
-
Formal Approaches to Testing of Software, Fates 2008 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Sep 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 Sep 2007 → 11 Apr 2008Activity: Attending an event › Conference organisation or participation
-
4th Workshop on Advances in Model Based Testing, AMOST'08 : Program Kommitte Medlem
Brian Nielsen (Organizer)
1 Sep 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