Distributed, Embedded and Intelligent Systems

Aktiviteter

Aktiviteter pr. år 2006 2019

• 37 Organisering af eller deltagelse i konference
• 10 Medlemskab af bedømmelsesudvalg
• 10 Foredrag og præsentationer i privat eller offentlig virksomhed
• 5 Undervisning og kursusvirksomhed ved andre universiteter
• 12 Mere
  • 3 Organisering af eller deltagelse i workshop, kursus, seminar eller lignende
  • 3 Redaktør af serie
  • 3 Konferenceoplæg
  • 1 Rådgivning og konsulentarbejde
  • 1 Andet
  • 1 Gæsteophold ved andre institutioner

Aktiviteter pr. år

Søgeresultater

• Quantitative Evaluation of Systems (QEST) 2019

  Mikkel Hansen (Oplægsholder)

  10 sep. 2019 → 12 sep. 2019

  Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg

• Quantitative Evaluation of Systems 2018

  Mikkel Hansen (Oplægsholder)

  4 sep. 2018

  Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg

• SELVKØRENDE BILER I DANMARK: ER DE SMÅ SKRIDT I 2018 DE SIDSTE SMÅ SKRIDT FØR SNEBOLDEN RULLER?

  Niels Agerholm (Arrangør), Ditte Bendix Lanng (Deltager), Jakob Haahr Taankvist (Deltager), Maria Vestergaard (Arrangør), Lars Overgaard (Deltager), Søren Randrup-Thomsen (Deltager) & Morten Ziethen (Deltager)

  22 maj 2018

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende

• International Symposium on Mathematical Foundations of Computer Science (Begivenhed)

  Kim Guldstrand Larsen (Fagfællebedømmer), Hans L. Bodlaender (Redaktør) & Jean-François Raskin (Redaktør)

  21 aug. 2017 → 25 aug. 2017

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning

• KiMfest

  Mikkel Hansen (Deltager)

  19 aug. 2017 → 20 aug. 2017

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende

• KiMfest 2017 (Begivenhed)

  Luca Aceto (Redaktør), Giorgio Bacci (Redaktør), Giovanni Bacci (Redaktør), Anna Ingolfsdottir (Redaktør), Axel Legay (Redaktør) & Radu Iulian Mardare (Redaktør)

  19 aug. 2017 → 20 aug. 2017

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning

• KiMfest (Begivenhed)

  Luca Aceto (Redaktør), Giorgio Bacci (Redaktør), Giovanni Bacci (Redaktør), Anna Ingolfsdottir (Redaktør), Axel Legay (Redaktør) & Radu Mardare (Redaktør)

  19 aug. 2017 → 20 aug. 2017

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning

• 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016

  Mikkel Hansen (Oplægsholder)

  9 nov. 2016 → 11 nov. 2016

  Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg

• IDEA4CPS Workshop

  Mikkel Hansen (Deltager)

  30 nov. 2015 → 2 dec. 2015

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende

• IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010

  Brian Nielsen (Arrangør)

  26 aug. 2010 → 13 dec. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (Ekstern organisation)

  Brian Nielsen (Medlem)

  1 aug. 2010 → 7 okt. 2010

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• 22 IFIP Conference on International Conference on Testing Software and Systems

  Brian Nielsen (Arrangør)

  11 jan. 2010 → 1 nov. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• 1st International Conference on Runtime Verification : PC Member

  Brian Nielsen (Arrangør)

  11 jan. 2010 → 4 nov. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• 5th International Workshop on Automation of Software Test : PC Member

  Brian Nielsen (Arrangør)

  1 dec. 2009 → 4 maj 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• 6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member

  Brian Nielsen (Arrangør)

  1 dec. 2009 → 6 apr. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Evaluation committee for John Knudsen (Ekstern organisation)

  Brian Nielsen (Medlem)

  30 sep. 2009 → 10 dec. 2009

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• 3rd International Conference on Software Test and Validation (ICST'10)

  Brian Nielsen (Arrangør)

  26 aug. 2009 → 10 apr. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Model-Driven Verification and Testing of Embedded systems

  Brian Nielsen (Foredragsholder)

  19 jun. 2009

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• AnnMarie Ericsson (Ekstern organisation)

  Brian Nielsen (Medlem)

  1 mar. 2009 → 16 jun. 2009

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-09)

  Brian Nielsen (Arrangør)

  19 feb. 2009 → 31 aug. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• TESTCOM/FATES 2009

  Brian Nielsen (Arrangør)

  19 feb. 2009 → 4 nov. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Bedømmelsesudvalg for Henrik Thostrup Jensen (Ekstern organisation)

  Brian Nielsen (Medlem)

  19 jan. 2009 → 13 maj 2009

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• Udarbejdelse af projektrapporten: Test af Software”.

  Brian Nielsen (Andet)

  1 dec. 2008 → 1 sep. 2009

  Aktivitet: Andet

• Fourth International Workshop on the Automation of Software Test (AST’09)

  Brian Nielsen (Arrangør)

  24 nov. 2008 → 24 maj 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• 5th Workshop on Advances in Model Based Testing (A-MOST 2009)

  Brian Nielsen (Arrangør)

  1 sep. 2008 → 4 apr. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Workshop on Automata and Verification

  Alexandre David (Deltager)

  25 aug. 2008 → 26 aug. 2008

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Bedømmelsesudvalg Stilling nr. 083004, Syddansk Universitet (Ekstern organisation)

  Brian Nielsen (Medlem)

  14 aug. 2008 → 11 sep. 2008

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• 1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS

  Alexandre David (Arrangør)

  28 jul. 2008 → 1 aug. 2008

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

•  IEEE International Conference on Software Testing, Verification and Validation, ICST'09

  Brian Nielsen (Arrangør)

  1 maj 2008 → 30 apr. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Model-based testing and validation of Real-Time Systems: Tallinn University, Institute of Cybernetics

  Brian Nielsen (Andet)

  14 apr. 2008 → 17 apr. 2008

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• Intern. Symposium on Quality Engineering for Embedded Systems

  Brian Nielsen (Arrangør)

  1 apr. 2008 → 31 maj 2008

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Quasimodo Kickoff Møde (Arrangør og vært)

  Brian Nielsen (Arrangør)

  15 jan. 2008 → 16 jan. 2008

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Formal Modelling and Analysis of Timed Systems (Formats 2008)

  Brian Nielsen (Arrangør)

  1 jan. 2008 → 17 sep. 2008

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Third International Workshop on Automation of Software Test, AST´08 : Program Kommitte Medlem

  Brian Nielsen (Arrangør)

  1 jan. 2008 → 18 maj 2008

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science

  Kim Guldstrand Larsen (Deltager)

  12 dec. 2007 → 14 dec. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Model-Based Testing of Real-Time Systems

  Brian Nielsen (Foredragsholder)

  30 nov. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• BSc. Course on Introduction to Distributed systems

  Brian Nielsen (Andet)

  26 nov. 2007 → 14 dec. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• Introduction to Test Driven Development and Unit Testing

  Brian Nielsen (Konsulent)

  7 nov. 2007

  Aktivitet: Myndighedsbetjening, konsulentarbejde og øvrig ansættelse › Rådgivning og konsulentarbejde

• Embedded Systems Workshop : ESI en STW Progress

  Kim Guldstrand Larsen (Deltager)

  17 okt. 2007 → 20 okt. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• NWPT07 : The 19th Nordic Workshop on Programming Theory

  Kim Guldstrand Larsen (Deltager)

  10 okt. 2007 → 12 okt. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Formal Modelling and Analysis of Timed Systems (Formats 2007) : Program Kommitte Medlem

  Brian Nielsen (Arrangør)

  3 okt. 2007 → 5 okt. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Embedded Systems Week : Foundations of Component-based Design

  Kim Guldstrand Larsen (Deltager)

  30 sep. 2007 → 1 okt. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• EPEW'2007 : 4th European Performance Engineering Workshop, 27-28 September 2007

  Kim Guldstrand Larsen (Arrangør)

  27 sep. 2007 → 28 sep. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• QEST: : 4th International Conference on the Quantitative Evaluation of SysTems

  Kim Guldstrand Larsen (Deltager)

  16 sep. 2007 → 19 sep. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Formal Approaches to Testing of Software, Fates 2008 : Program Kommitte Medlem

  Brian Nielsen (Arrangør)

  1 sep. 2007 → 13 jun. 2008

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• First IEEE International Conference on Software Testing, Verification and Validation, ICST'08 : Program Kommitte Medlem

  Brian Nielsen (Arrangør)

  1 sep. 2007 → 11 apr. 2008

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• 4th Workshop on Advances in Model Based Testing, AMOST'08 : Program Kommitte Medlem

  Brian Nielsen (Arrangør)

  1 sep. 2007 → 11 apr. 2008

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Phd Defense and Grading committee for Daniel Sundmark (Ekstern organisation)

  Brian Nielsen (Medlem)

  28 aug. 2007 → 15 feb. 2008

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• Coverage metrikker, værktøjer til måling heraf og tool-demo

  Brian Nielsen (Foredragsholder)

  21 aug. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• Visit and invited lectures

  Kim Guldstrand Larsen (Andet)

  11 aug. 2007 → 17 aug. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter