Distributed, Embedded and Intelligent Systems

Activities

Activities per year 1989 2007 2019

• 37 Conference organisation or participation
• 10 Membership of review committee
• 10 Talks and presentations in private or public companies
• 5 External teaching and course activities at other universities
• 14 More
  • 3 Organisation or participation in workshops, courses, or seminars
  • 3 Series editor
  • 3 Conference presentations
  • 2 Board duties in companies, associations, or public organisations
  • 1 Consultancy
  • 1 Other
  • 1 Visiting another research institution

Activities per year

Search results

• 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

• Folkeuniversitetet i Aalborg (External organisation)

  Kristian G. Olesen (Member)

  2018 → 2022

  Activity: Memberships › Board duties in companies, associations, or public organisations

• 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 (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

  Mikkel Hansen (Participant)

  19 Aug 2017 → 20 Aug 2017

  Activity: 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 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

• TESTCOM/FATES 2009

  Brian Nielsen (Organizer)

  19 Feb 2009 → 4 Nov 2009

  Activity: Attending an event › Conference organisation or participation

• 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

• 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

• University of Southern Denmark (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

• 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

• 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

• 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

• 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

• 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

• 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