Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Aktiviteter

Quantitative Evaluation of Systems (QEST) 2019

Mikkel Hansen (Oplægsholder)
10 sep. 201912 sep. 2019

Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

Quantitative Evaluation of Systems 2018

Mikkel Hansen (Oplægsholder)
4 sep. 2018

Aktivitet: Foredrag og mundtlige bidragKonferenceoplæ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 begivenhedOrganisering 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. 201725 aug. 2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af serieForskning

KiMfest

Mikkel Hansen (Deltager)
19 aug. 201720 aug. 2017

Aktivitet: Deltagelse i faglig begivenhedOrganisering 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. 201720 aug. 2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af serieForskning

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. 201720 aug. 2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af serieForskning

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

Mikkel Hansen (Oplægsholder)
9 nov. 201611 nov. 2016

Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

IDEA4CPS Workshop

Mikkel Hansen (Deltager)
30 nov. 20152 dec. 2015

Aktivitet: Deltagelse i faglig begivenhedOrganisering 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. 201013 dec. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Medlem)
1 aug. 20107 okt. 2010

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

1st International Conference on Runtime Verification : PC Member

Brian Nielsen (Arrangør)
11 jan. 20104 nov. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

22 IFIP Conference on International Conference on Testing Software and Systems

Brian Nielsen (Arrangør)
11 jan. 20101 nov. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
1 dec. 20096 apr. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
1 dec. 20094 maj 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Evaluation committee for John Knudsen (Ekstern organisation)

Brian Nielsen (Medlem)
30 sep. 200910 dec. 2009

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

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

Brian Nielsen (Arrangør)
26 aug. 200910 apr. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Model-Driven Verification and Testing of Embedded systems

Brian Nielsen (Foredragsholder)
19 jun. 2009

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

AnnMarie Ericsson (Ekstern organisation)

Brian Nielsen (Medlem)
1 mar. 200916 jun. 2009

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

TESTCOM/FATES 2009

Brian Nielsen (Arrangør)
19 feb. 20094 nov. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
19 feb. 200931 aug. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Bedømmelsesudvalg for Henrik Thostrup Jensen (Ekstern organisation)

Brian Nielsen (Medlem)
19 jan. 200913 maj 2009

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

Udarbejdelse af projektrapporten: Test af Software”.

Brian Nielsen (Andet)
1 dec. 20081 sep. 2009

Aktivitet: Andet

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

Brian Nielsen (Arrangør)
24 nov. 200824 maj 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
1 sep. 20084 apr. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Workshop on Automata and Verification

Alexandre David (Deltager)
25 aug. 200826 aug. 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Medlem)
14 aug. 200811 sep. 2008

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

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

Alexandre David (Arrangør)
28 jul. 20081 aug. 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
1 maj 200830 apr. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Andet)
14 apr. 200817 apr. 2008

Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

Intern. Symposium on Quality Engineering for Embedded Systems

Brian Nielsen (Arrangør)
1 apr. 200831 maj 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
15 jan. 200816 jan. 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
1 jan. 200818 maj 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Formal Modelling and Analysis of Timed Systems (Formats 2008)

Brian Nielsen (Arrangør)
1 jan. 200817 sep. 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Kim Guldstrand Larsen (Deltager)
12 dec. 200714 dec. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Model-Based Testing of Real-Time Systems

Brian Nielsen (Foredragsholder)
30 nov. 2007

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

BSc. Course on Introduction to Distributed systems

Brian Nielsen (Andet)
26 nov. 200714 dec. 2007

Aktivitet: Foredrag og mundtlige bidragUndervisning 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ættelseRådgivning og konsulentarbejde

Embedded Systems Workshop : ESI en STW Progress

Kim Guldstrand Larsen (Deltager)
17 okt. 200720 okt. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

NWPT07 : The 19th Nordic Workshop on Programming Theory

Kim Guldstrand Larsen (Deltager)
10 okt. 200712 okt. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
3 okt. 20075 okt. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Embedded Systems Week : Foundations of Component-based Design

Kim Guldstrand Larsen (Deltager)
30 sep. 20071 okt. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Kim Guldstrand Larsen (Arrangør)
27 sep. 200728 sep. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Kim Guldstrand Larsen (Deltager)
16 sep. 200719 sep. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
1 sep. 200711 apr. 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering 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. 200711 apr. 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
1 sep. 200713 jun. 2008

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Medlem)
28 aug. 200715 feb. 2008

Aktivitet: MedlemskabMedlemskab 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 bidragForedrag og præsentationer i privat eller offentlig virksomhed

Visit and invited lectures

Kim Guldstrand Larsen (Andet)
11 aug. 200717 aug. 2007

Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter