Aktiviteter pr. år
Aktiviteter
- 150 - 200 ud af 398 resultater
Søgeresultater
-
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
-
I E E E Transactions on Knowledge & Data Engineering (Tidsskrift)
Simonas Saltenis (Redaktør)
1 jan. 2008Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
I E E E Transactions on Knowledge & Data Engineering (Tidsskrift)
Simonas Saltenis (Redaktør)
1 jan. 2008Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
V L D B Journal (Tidsskrift)
Simonas Saltenis (Redaktør)
1 jan. 2008Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
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
-
Information Processing Letters (Tidsskrift)
Simonas Saltenis (Redaktør)
1 jan. 2008Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
I E E E Transactions on Knowledge & Data Engineering (Tidsskrift)
Simonas Saltenis (Redaktør)
1 jan. 2008Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
I E E E Transactions on Knowledge & Data Engineering (Tidsskrift)
Simonas Saltenis (Redaktør)
1 jan. 2008Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
V L D B Journal (Tidsskrift)
Simonas Saltenis (Redaktør)
1 jan. 2008Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
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
-
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
-
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
-
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
-
Visit and invited lectures
Kim Guldstrand Larsen (Andet)
11 aug. 2007 → 17 aug. 2007Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Artist2
Kim Guldstrand Larsen (Foredragsholder)
1 aug. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
UNI-IIST School : ARTIST2 has organized, in collaboration with UNU-IIST, the 2nd edition of a school on embedded systems design in Suzhou.
Kim Guldstrand Larsen (Deltager)
1 aug. 2007 → 10 aug. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
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
-
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
-
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
-
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
-
University of Southern Denmark (Ekstern organisation)
Brian Nielsen (Medlem)
25 jun. 2007 → 21 sep. 2007Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
University of Southern Denmark (Ekstern organisation)
Brian Nielsen (Medlem)
25 jun. 2007 → 21 sep. 2007Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
3rd International Conference on Semantic Technologies (I-Semantics'07), Graz, Austria, September 2007 (Ekstern organisation)
Peter Dolog (Medlem)
17 jun. 2007 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
Workshop on Cross-Media and Personalized Learning Applications on top of Digital Libraries (LADL 2007), at at the 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2007), 16-21 September, Budapest, Hungary (Ekstern organisation)
Peter Dolog (Medlem)
17 jun. 2007 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
4th Annual Scientific Conference - Lornet Teaching Network (I2LOR 2007), November 2007, Montreal, Canada (Ekstern organisation)
Peter Dolog (Medlem)
17 jun. 2007 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
Fifth International Workshop on Ontologies and Semantic Web for E-Learning (SWEL'07) at 13th International Conference on Artificial Intelligence in Education (AIED2007), July 2007, LA, USA (Ekstern organisation)
Peter Dolog (Medlem)
17 jun. 2007 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
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
-
PhD bedømmelsesudvalg for Jacob Illum (Ekstern organisation)
Brian Nielsen (Medlem)
17 apr. 2007 → 4 jun. 2007Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Modeling, Testing, and Validation 2007
Brian Nielsen (Andet)
16 apr. 2007 → 17 apr. 2007Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
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
-
Lektor bedømmelse Stillingsnr 40943, AAU (Ekstern organisation)
Brian Nielsen (Medlem)
2 apr. 2007 → 7 jun. 2007Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
LIAFA, Paris
Alexandre David (Gæsteforsker)
2 apr. 2007 → 6 apr. 2007Aktivitet: Gæsteophold ved andre institutioner
-
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
-
TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Kim Guldstrand Larsen (Deltager)
24 mar. 2007 → 1 apr. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Deltager)
20 mar. 2007 → 26 mar. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia (Ekstern organisation)
Peter Dolog (Medlem)
15 mar. 2007 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
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
-
Conference on Znalosti/Knowledge 2007, February 2007, Ostrava, Czech Republic; (Ekstern organisation)
Peter Dolog (Medlem)
9 mar. 2007 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
International Workshop on Ubiquitous and Decentralized User Modeling: UBIDEUM 2007 une 26, 2007, Corfu, Greece, in conjunction with with the 11th International Conference on User Modeling (Ekstern organisation)
Peter Dolog (Medlem)
9 mar. 2007 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende