Aktiviteter pr. år
Aktiviteter
- 150 - 200 ud af 359 resultater
Søgeresultater
-
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
-
5th Latin American Web Congress, Oct.-Nov. 2007, Santiago de Chile, Chile (Ekstern organisation)
Peter Dolog (Medlem)
9 mar. 2007 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
AEWSE2007: Second International Workshop on Adaptation and Evolution in Web Systems Engineering in conjunctions with 7th International Conference on Web Engineering (ICWE 2007), July 2007, Como, Italy; (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
-
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
-
Modelling Day
Kim Guldstrand Larsen (Foredragsholder)
3 mar. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
ARTIST2: Winterschool
Kim Guldstrand Larsen (Foredragsholder)
19 feb. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
ARTIST2
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
-
Ukendt
Alexandre David (Gæsteforsker)
5 feb. 2007 → 9 feb. 2007Aktivitet: Gæsteophold ved andre institutioner
-
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Arrangør)
20 jan. 2007 → 26 jan. 2007Aktivitet: 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
-
Online Test and Monitoring of Real-time Systems
Brian Nielsen (Foredragsholder)
6 jan. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
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
-
7th Internation Conference on Web Engineering, Como, Italy, July 2007 (Ekstern organisation)
Peter Dolog (Medlem)
21 nov. 2006 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
2nd European Conference on Technology Enhanced Learning, 2007 (Ekstern organisation)
Peter Dolog (Medlem)
21 nov. 2006 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
University of Southern Denmark (Ekstern organisation)
Brian Nielsen (Medlem)
20 nov. 2006 → 21 dec. 2006Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Ph.D. course on real-time systems
Alexandre David (Andet)
16 okt. 2006 → 17 okt. 2006Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Online testing of real-time systems using relativized input/output conformance
Brian Nielsen (Foredragsholder)
8 okt. 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
European Workshop on Mapping eParticipation, Mediterranean Conference on Information Systems
Jeremy Rose (Oplægsholder)
5 okt. 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
European Workshop on Mapping eParticipation, Mediterranean Conference on Information Systems
Lars Torpe (Oplægsholder)
5 okt. 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
International Design for All Conference
Christian Thomsen (Oplægsholder)
13 sep. 2006 → 15 sep. 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
QEST 2006 - Quantitative Evaluation of SysTems
Alexandre David (Deltager)
11 sep. 2006 → 14 sep. 2006Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
International Conference on Very Large Data Bases
Christian Søndergaard Jensen (Deltager)
1 sep. 2006 → 3 sep. 2006Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
International Workshop on Spatio-Temporal Database Management
Christian Søndergaard Jensen (Deltager)
1 sep. 2006 → 3 sep. 2006Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Test, Modellering og Verifikation af Indlejrede Systemer
Arne Skou (Andet)
17 aug. 2006Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Test, Modellering og verifikation af indlejrede systemer
Brian Nielsen (Andet)
17 aug. 2006 → 18 aug. 2006Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Model-based Testing and Validation of Real-Time Systems
Brian Nielsen (Foredragsholder)
26 jun. 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
How Would You Like to Aggregate Your Temporal Data?
Christian Søndergaard Jensen (Foredragsholder)
15 jun. 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
2006 ACM SIGMOD International Conference on the Management of Data
Christian Søndergaard Jensen (Deltager)
1 jun. 2006 → 3 jun. 2006Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Fagkoordinator TestNet Erfagruppe
Brian Nielsen (Andet)
1 jun. 2006 → 31 dec. 2008Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Novo Nordisk A/S
Christian Søndergaard Jensen (Konsulent)
1 jun. 2006 → …Aktivitet: Myndighedsbetjening, konsulentarbejde og øvrig ansættelse › Rådgivning og konsulentarbejde
-
International Conference on Flexible Query Answering Systems
Christian Søndergaard Jensen (Deltager)
1 jun. 2006 → 3 jun. 2006Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Ministeriet for Videnskab, Teknologi og Udvikling (Ekstern organisation)
Peter Axel Nielsen (Medlem)
1 jun. 2006 → 31 jul. 2009Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
Unit testing and coverage analysis
Brian Nielsen (Andet)
29 maj 2006Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Mobile Information Services: Trends and Challenges
Christian Søndergaard Jensen (Foredragsholder)
8 maj 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Model-Baseret Test og Udvikling af indlejret software
Brian Nielsen (Andet)
3 maj 2006 → 4 maj 2006Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Geo-Enabled Mobile Services-A Tale of Routes, Detours, and Dead Ends
Christian Søndergaard Jensen (Foredragsholder)
12 apr. 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Georgia institute of Technology, College of Computing (Ekstern organisation)
Christian Søndergaard Jensen (Medlem)
1 apr. 2006 → …Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Linkoping University, Department of Computer and Information Science (Ekstern organisation)
Christian Søndergaard Jensen (Medlem)
1 mar. 2006 → …Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Database Management Systems
Christian Søndergaard Jensen (Andet)
1 mar. 2006 → 31 maj 2006Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter
-
Censor at Aalborg University in Copenhagen: For students at 7th semester, "reliable software" theme.
Alexandre David (Censor)
11 jan. 2006Aktivitet: Censoraktivitet og eksaminering › Ekstern censoraktivitet