Aktiviteter pr. år
Aktiviteter
- 1 - 50 ud af 78 resultater
Søgeresultater
-
Tool Platforms for Embedded Modeling, Analysis and Validation CAV
Michael Rygaard Hansen (Foredragsholder)
1 jul. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
KiMfest
Mikkel Hansen (Deltager)
19 aug. 2017 → 20 aug. 2017Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar, udstilling eller lignende
-
Hugin Expert A/S (Ekstern organisation)
Kristian G. Olesen (Medlem)
1989 → …Aktivitet: Medlemskab › Bestyrelsesarbejde i virksomhed, forening eller organisation
-
Folkeuniversitetet i Aalborg (Ekstern organisation)
Kristian G. Olesen (Medlem)
2018 → 2022Aktivitet: Medlemskab › Bestyrelsesarbejde i virksomhed, forening eller organisation
-
Quantitative Evaluation of Systems 2018
Mikkel Hansen (Oplægsholder)
4 sep. 2018Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg
-
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. 2017Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning
-
Formal Modelling and Analysis of Timed Systems (Formats 2007) : Program Kommitte Medlem
Brian Nielsen (Arrangør)
3 okt. 2007 → 5 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Formal Approaches to Testing of Software (FATES 2007) : Program Kommitte Medlem
Brian Nielsen (Arrangør)
1 apr. 2007 → 29 jun. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Lektor bedømmelse Stillingsnr 40943, AAU (Ekstern organisation)
Brian Nielsen (Medlem)
2 apr. 2007 → 7 jun. 2007Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
AnnMarie Ericsson (Ekstern organisation)
Brian Nielsen (Medlem)
1 mar. 2009 → 16 jun. 2009Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Evaluation committee for John Knudsen (Ekstern organisation)
Brian Nielsen (Medlem)
30 sep. 2009 → 10 dec. 2009Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010
Brian Nielsen (Arrangør)
26 aug. 2010 → 13 dec. 2010Aktivitet: 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 2009Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Tutorial on Model-Based Testing of Real-Time Systems
Brian Nielsen (Foredragsholder)
26 jun. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
First IEEE International Conference on Software Testing, Verification and Validation, ICST'08 : Program Kommitte Medlem
Brian Nielsen (Arrangør)
1 sep. 2007 → 11 apr. 2008Aktivitet: 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. 2008Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
1st International Conference on Runtime Verification : PC Member
Brian Nielsen (Arrangør)
11 jan. 2010 → 4 nov. 2010Aktivitet: 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. 2008Aktivitet: 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. 2010Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
3rd Workshop on Advances in Model Based Testing (A-MOST 2007) : Program Kommitte Medlem
Brian Nielsen (Arrangør)
9 jul. 2007 → 12 jul. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
TESTCOM/FATES 2009
Brian Nielsen (Arrangør)
19 feb. 2009 → 4 nov. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
ARTIST2: Winterschool
Kim Guldstrand Larsen (Foredragsholder)
19 feb. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
MOTIVES 07 : Testing and verification for embedded systems.
Kim Guldstrand Larsen (Deltager)
19 feb. 2007 → 23 feb. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
MOVES: a Tool for Modeling and Verification of Embedded Systems
Kim Guldstrand Larsen (Foredragsholder)
12 mar. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
LICS'07 : Twenty-Second Annual IEEE Sympositum on Logic in Computer Science
Kim Guldstrand Larsen (Deltager)
10 jul. 2007 → 14 jul. 2007Aktivitet: 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. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
LIAFA, Paris
Alexandre David (Gæsteforsker)
2 apr. 2007 → 6 apr. 2007Aktivitet: Gæsteophold ved andre institutioner
-
1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS
Alexandre David (Arrangør)
28 jul. 2008 → 1 aug. 2008Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
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 2018Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar, udstilling eller lignende
-
Formal Modelling and Analysis of Timed Systems (Formats 2008)
Brian Nielsen (Arrangør)
1 jan. 2008 → 17 sep. 2008Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Brug af TTCN til Protokoltest
Brian Nielsen (Foredragsholder)
16 jan. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
IEEE International Conference on Software Testing, Verification and Validation, ICST'09
Brian Nielsen (Arrangør)
1 maj 2008 → 30 apr. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
University of Southern Denmark (Ekstern organisation)
Brian Nielsen (Medlem)
25 jun. 2007 → 21 sep. 2007Aktivitet: 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. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
22 IFIP Conference on International Conference on Testing Software and Systems
Brian Nielsen (Arrangør)
11 jan. 2010 → 1 nov. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Modeling, Testing, and Validation 2007
Brian Nielsen (Andet)
16 apr. 2007 → 17 apr. 2007Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Fourth International Workshop on the Automation of Software Test (AST’09)
Brian Nielsen (Arrangør)
24 nov. 2008 → 24 maj 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
University of Southern Denmark (Ekstern organisation)
Brian Nielsen (Medlem)
14 aug. 2008 → 11 sep. 2008Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Intern. Symposium on Quality Engineering for Embedded Systems
Brian Nielsen (Arrangør)
1 apr. 2008 → 31 maj 2008Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
3rd International Conference on Software Test and Validation (ICST'10)
Brian Nielsen (Arrangør)
26 aug. 2009 → 10 apr. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Model-Based Testing of Real-Time Systems
Brian Nielsen (Foredragsholder)
30 nov. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Model-Driven Verification and Testing of Embedded systems
Brian Nielsen (Foredragsholder)
19 jun. 2009Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
PhD bedømmelsesudvalg for Jacob Illum (Ekstern organisation)
Brian Nielsen (Medlem)
17 apr. 2007 → 4 jun. 2007Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Modelling Day
Kim Guldstrand Larsen (Foredragsholder)
3 mar. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Deltager)
17 okt. 2007 → 20 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Towards a Systematic Approach to Embedded System Design: DATE, Design, Automation, and Test in Europe
Kim Guldstrand Larsen (Foredragsholder)
20 apr. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Summer School in Applied Circular Economy
Massimo Pizzol (Arrangør), Mette Mosgaard (Arrangør), Louise Møller Haase (Arrangør), Michael Søgaard Jørgensen (Arrangør), Reza Tadayoni (Arrangør), Anja Marie Bundgaard (Arrangør), Rikke Dorothea Huulgaard (Arrangør), Monia Niero (Arrangør), Nancy Maria Petronella Bocken (Arrangør), Ruth Mugge (Arrangør), Melanie Gabriele Jaeger-Erben (Arrangør) & Bent Thomsen (Arrangør)
8 maj 2023 → 15 sep. 2023Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar, udstilling eller lignende
Fil -
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Deltager)
30 sep. 2007 → 1 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
RTAS' 07 : Development, Verification, and Debug Tools for Real-Time and Embedded Systems
Kim Guldstrand Larsen (Deltager)
3 apr. 2007 → 6 apr. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Dagstuhl workshop : Run-time verification
Kim Guldstrand Larsen (Deltager)
2 jan. 2007 → 6 jan. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference