Aktiviteter pr. år
Aktiviteter
- 1 - 50 ud af 76 resultater
Søgeresultater
-
Quantitative Evaluation of Systems (QEST) 2019
Mikkel Hansen (Oplægsholder)
10 sep. 2019 → 12 sep. 2019Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg
-
Quantitative Evaluation of Systems 2018
Mikkel Hansen (Oplægsholder)
4 sep. 2018Aktivitet: 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 2018Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende
-
Folkeuniversitetet i Aalborg (Ekstern organisation)
Kristian G. Olesen (Medlem)
2018 → …Aktivitet: Medlemskab › Bestyrelsesarbejde i virksomhed, forening eller organisation
-
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. 2017Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning
-
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
-
KiMfest
Mikkel Hansen (Deltager)
19 aug. 2017 → 20 aug. 2017Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende
-
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. 2017Aktivitet: 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. 2016Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg
-
IDEA4CPS Workshop
Mikkel Hansen (Deltager)
30 nov. 2015 → 2 dec. 2015Aktivitet: 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. 2010Aktivitet: 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
-
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
-
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
-
6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member
Brian Nielsen (Arrangør)
1 dec. 2009 → 6 apr. 2010Aktivitet: 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 2010Aktivitet: 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. 2009Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
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-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
-
AnnMarie Ericsson (Ekstern organisation)
Brian Nielsen (Medlem)
1 mar. 2009 → 16 jun. 2009Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
TESTCOM/FATES 2009
Brian Nielsen (Arrangør)
19 feb. 2009 → 4 nov. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
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
-
Bedømmelsesudvalg for Henrik Thostrup Jensen (Ekstern organisation)
Brian Nielsen (Medlem)
19 jan. 2009 → 13 maj 2009Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Udarbejdelse af projektrapporten: Test af Software”.
Brian Nielsen (Andet)
1 dec. 2008 → 1 sep. 2009Aktivitet: Andet
-
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
-
5th Workshop on Advances in Model Based Testing (A-MOST 2009)
Brian Nielsen (Arrangør)
1 sep. 2008 → 4 apr. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Workshop on Automata and Verification
Alexandre David (Deltager)
25 aug. 2008 → 26 aug. 2008Aktivitet: 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
-
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
-
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
-
Model-based testing and validation of Real-Time Systems: Tallinn University, Institute of Cybernetics
Brian Nielsen (Andet)
14 apr. 2008 → 17 apr. 2008Aktivitet: 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 2008Aktivitet: 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. 2008Aktivitet: 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 2008Aktivitet: 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. 2008Aktivitet: 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
-
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
-
BSc. Course on Introduction to Distributed systems
Brian Nielsen (Andet)
26 nov. 2007 → 14 dec. 2007Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Introduction to Test Driven Development and Unit Testing
Brian Nielsen (Konsulent)
7 nov. 2007Aktivitet: 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. 2007Aktivitet: 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. 2007Aktivitet: 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. 2007Aktivitet: 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. 2007Aktivitet: 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. 2007Aktivitet: 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. 2007Aktivitet: 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
-
Formal Approaches to Testing of Software, Fates 2008 : Program Kommitte Medlem
Brian Nielsen (Arrangør)
1 sep. 2007 → 13 jun. 2008Aktivitet: 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. 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
-
Coverage metrikker, værktøjer til måling heraf og tool-demo
Brian Nielsen (Foredragsholder)
21 aug. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed