Activities per year
Activities 2006 2019
- 1 - 50 out of 74 results
- Start date (descending)
Quantitative Evaluation of Systems (QEST) 2019
Mikkel Hansen (Speaker)10 Sep 2019 → 12 Sep 2019
Activity: Talks and presentations › Conference presentations
Quantitative Evaluation of Systems 2018
Mikkel Hansen (Speaker)4 Sep 2018
Activity: 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 2018
Activity: 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 2017
Activity: Editorial work and peer review › Series editor › Research
KiMfest
Mikkel Hansen (Participant)19 Aug 2017 → 20 Aug 2017
Activity: Attending an event › Organisation or participation in workshops, courses, or seminars
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 2017
Activity: Editorial work and peer review › Series editor › Research
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 2017
Activity: 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 2016
Activity: Talks and presentations › Conference presentations
IDEA4CPS Workshop
Mikkel Hansen (Participant)30 Nov 2015 → 2 Dec 2015
Activity: 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 2010
Activity: Attending an event › Conference organisation or participation
PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (External organisation)
Brian Nielsen (Member)1 Aug 2010 → 7 Oct 2010
Activity: Memberships › Membership of review committee
1st International Conference on Runtime Verification : PC Member
Brian Nielsen (Organizer)11 Jan 2010 → 4 Nov 2010
Activity: Attending an event › Conference organisation or participation
22 IFIP Conference on International Conference on Testing Software and Systems
Brian Nielsen (Organizer)11 Jan 2010 → 1 Nov 2010
Activity: 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 2010
Activity: 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 2010
Activity: Attending an event › Conference organisation or participation
Evaluation committee for John Knudsen (External organisation)
Brian Nielsen (Member)30 Sep 2009 → 10 Dec 2009
Activity: Memberships › Membership of review committee
3rd International Conference on Software Test and Validation (ICST'10)
Brian Nielsen (Organizer)26 Aug 2009 → 10 Apr 2010
Activity: Attending an event › Conference organisation or participation
Model-Driven Verification and Testing of Embedded systems
Brian Nielsen (Lecturer)19 Jun 2009
Activity: Talks and presentations › Talks and presentations in private or public companies
AnnMarie Ericsson (External organisation)
Brian Nielsen (Member)1 Mar 2009 → 16 Jun 2009
Activity: 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 2009
Activity: Attending an event › Conference organisation or participation
TESTCOM/FATES 2009
Brian Nielsen (Organizer)19 Feb 2009 → 4 Nov 2009
Activity: Attending an event › Conference organisation or participation
Bedømmelsesudvalg for Henrik Thostrup Jensen (External organisation)
Brian Nielsen (Member)19 Jan 2009 → 13 May 2009
Activity: Memberships › Membership of review committee
Udarbejdelse af projektrapporten: Test af Software”.
Brian Nielsen (Other)1 Dec 2008 → 1 Sep 2009
Activity: Other
Fourth International Workshop on the Automation of Software Test (AST’09)
Brian Nielsen (Organizer)24 Nov 2008 → 24 May 2009
Activity: 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 2009
Activity: Attending an event › Conference organisation or participation
Workshop on Automata and Verification
Alexandre David (Participant)25 Aug 2008 → 26 Aug 2008
Activity: Attending an event › Conference organisation or participation
Bedømmelsesudvalg Stilling nr. 083004, Syddansk Universitet (External organisation)
Brian Nielsen (Member)14 Aug 2008 → 11 Sep 2008
Activity: 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 2008
Activity: 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 2009
Activity: 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 2008
Activity: 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 2008
Activity: Attending an event › Conference organisation or participation
Quasimodo Kickoff Møde (Arrangør og vært)
Brian Nielsen (Organizer)15 Jan 2008 → 16 Jan 2008
Activity: 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 2008
Activity: Attending an event › Conference organisation or participation
Formal Modelling and Analysis of Timed Systems (Formats 2008)
Brian Nielsen (Organizer)1 Jan 2008 → 17 Sep 2008
Activity: 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 2007
Activity: Attending an event › Conference organisation or participation
Model-Based Testing of Real-Time Systems
Brian Nielsen (Lecturer)30 Nov 2007
Activity: 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 2007
Activity: Talks and presentations › External teaching and course activities at other universities
Introduction to Test Driven Development and Unit Testing
Brian Nielsen (Consultant)7 Nov 2007
Activity: Public/private sector consultancy and other employment › Consultancy
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Participant)17 Oct 2007 → 20 Oct 2007
Activity: Attending an event › Conference organisation or participation
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Participant)10 Oct 2007 → 12 Oct 2007
Activity: 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 2007
Activity: Attending an event › Conference organisation or participation
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Participant)30 Sep 2007 → 1 Oct 2007
Activity: 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 2007
Activity: 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 2007
Activity: 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 2008
Activity: 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 2008
Activity: 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 2008
Activity: 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 2008
Activity: Memberships › Membership of review committee
Coverage metrikker, værktøjer til måling heraf og tool-demo
Brian Nielsen (Lecturer)21 Aug 2007
Activity: Talks and presentations › Talks and presentations in private or public companies
Visit and invited lectures
Kim Guldstrand Larsen (Other)11 Aug 2007 → 17 Aug 2007
Activity: Talks and presentations › External teaching and course activities at other universities