Institut for Datalogi
- 2011
Introduction to Logic and Model Theory
Radu Iulian Mardare (Foredragsholder), nov 2011 → dec 2011Aktivitet: Foredrag og mundtlige bidrag
- 2010
1st International Conference on Runtime Verification : PC Member
Brian Nielsen (Arrangør), 11 jan 2010 → 4 nov 2010Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
22 IFIP Conference on International Conference on Testing Software and Systems
Brian Nielsen (Arrangør), 11 jan 2010 → 1 nov 2010Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
PhD Evaluation Committee Michael Achenbach, DAIMI, 2010
Brian Nielsen (Medlem), 1 aug 2010 → 7 okt 2010Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010
Brian Nielsen (Arrangør), 26 aug 2010 → 13 dec 2010Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Usability Evaluation of a Home Telemedicine System
Anders Bruun (Foredragsholder), 12 okt 2010 → 13 okt 2010Aktivitet: Foredrag og mundtlige bidrag
- 2009
Bedømmelsesudvalg for Henrik Thostrup Jensen
Brian Nielsen (Medlem), 19 jan 2009 → 13 maj 2009Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
TESTCOM/FATES 2009
Brian Nielsen (Arrangør), 19 feb 2009 → 4 nov 2009Aktivitet: Konference/workshop/kursus/seminar › Organisation og 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: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
AnnMarie Ericsson
Brian Nielsen (Medlem), 1 mar 2009 → 16 jun 2009Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
Opfører dit system sig som forventet?
Brian Nielsen (Redaktør), http://www.computerworld.dk, 20 apr 2009Aktivitet: Forskningsformidling i massemedier › Deltagelse i interview til trykte medier
Model-Driven Verification and Testing of Embedded systems
Brian Nielsen (Foredragsholder), 19 jun 2009Aktivitet: Foredrag og mundtlige bidrag
Proceedings of the Second International Workshop on: The Interplay between Usability Evaluation and Software Development (I-USED 2009)
Jan Stage (Redaktør), 24 aug 2009 → …Aktivitet: Løbende redaktionsarbejde › Redaktør af tidsskrift
3rd International Conference on Software Test and Validation (ICST'10)
Brian Nielsen (Arrangør), 26 aug 2009 → 10 apr 2010Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Evaluation committee for John Knudsen
Brian Nielsen (Medlem), 30 sep 2009 → 10 dec 2009Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
5th International Workshop on Automation of Software Test : PC Member
Brian Nielsen (Arrangør), 1 dec 2009 → 4 maj 2010Aktivitet: Konference/workshop/kursus/seminar › Organisation og 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: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
- 2008
ACM Transactions on Information Systems
Simonas Saltenis (Redaktør), 1 jan 2008Aktivitet: Løbende redaktionsarbejde › Peer reviewer/fagfællebedømmer af manuskripter
IEEE Transactions on Knowledge and Data Engineering
Simonas Saltenis (Redaktør), 1 jan 2008Aktivitet: Løbende redaktionsarbejde › Peer reviewer/fagfællebedømmer af manuskripter
IEEE Transactions on Knowledge and Data Engineering
Simonas Saltenis (Redaktør), 1 jan 2008Aktivitet: Løbende redaktionsarbejde › Peer reviewer/fagfællebedømmer af manuskripter
IEEE Transactions on Knowledge and Data Engineering
Simonas Saltenis (Redaktør), 1 jan 2008Aktivitet: Løbende redaktionsarbejde › Peer reviewer/fagfællebedømmer af manuskripter
Information Processing Letters
Simonas Saltenis (Redaktør), 1 jan 2008Aktivitet: Løbende redaktionsarbejde › Peer reviewer/fagfællebedømmer af manuskripter
Journal of Systems and Software
Simonas Saltenis (Redaktør), 1 jan 2008Aktivitet: Løbende redaktionsarbejde › Peer reviewer/fagfællebedømmer af manuskripter
Formal Modelling and Analysis of Timed Systems (Formats 2008)
Brian Nielsen (Arrangør), 1 jan 2008 → 17 sep 2008Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
IEEE Transactions on Knowledge and Data Engineering
Simonas Saltenis (Redaktør), 1 jan 2008Aktivitet: Løbende redaktionsarbejde › Peer reviewer/fagfællebedømmer af manuskripter
Third International Workshop on Automation of Software Test, AST´08 : Program Kommitte Medlem
Brian Nielsen (Arrangør), 1 jan 2008 → 18 maj 2008Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
VLDB Journal
Simonas Saltenis (Redaktør), 1 jan 2008Aktivitet: Løbende redaktionsarbejde › Peer reviewer/fagfællebedømmer af manuskripter
VLDB Journal
Simonas Saltenis (Redaktør), 1 jan 2008Aktivitet: Løbende redaktionsarbejde › Peer reviewer/fagfællebedømmer af manuskripter
Quasimodo Kickoff Møde (Arrangør og vært)
Brian Nielsen (Arrangør), 15 jan 2008 → 16 jan 2008Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
TV2nord Nyheder
Torben Bach Pedersen (Deltager), TV2, 21 feb 2008Aktivitet: Forskningsformidling i massemedier › Deltagelse i TV-program
Intern. Symposium on Quality Engineering for Embedded Systems
Brian Nielsen (Arrangør), 1 apr 2008 → 31 maj 2008Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Model-based testing and validation of Real-Time Systems
Brian Nielsen (Deltager), 14 apr 2008 → 17 apr 2008Aktivitet: Andre forsknings- og formidlingsaktiviteter › Ekstern undervisning og censoraktivitet
IEEE International Conference on Software Testing, Verification and Validation, ICST'09
Brian Nielsen (Arrangør), 1 maj 2008 → 30 apr 2009Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
European Semantic Web Conference 2008
Peter Dolog (Oplægsholder), 1 jun 2008 → 5 jun 2008Aktivitet: Foredrag og mundtlige bidrag
SemWiki 2008 - The Wiki Way of Semantics: 3rd Semantic Wiki Workshop co-located with the 5th European Semantic Web Conference (ESWC)
Peter Dolog (Oplægsholder), 2 jun 2008 → 6 jun 2008Aktivitet: Foredrag og mundtlige bidrag
1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS
Alexandre David (Arrangør), 28 jul 2008 → 1 aug 2008Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Bedømmelsesudvalg Stilling nr. 083004, Syddansk Universitet
Brian Nielsen (Medlem), 14 aug 2008 → 11 sep 2008Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
Workshop on Automata and Verification
Alexandre David (Deltager), 25 aug 2008 → 26 aug 2008Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
5th Workshop on Advances in Model Based Testing (A-MOST 2009)
Brian Nielsen (Arrangør), 1 sep 2008 → 4 apr 2009Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
International Workshop on Service-Oriented Architectures and Software Product Lines at Software Product Lines Conference
Peter Dolog (Oplægsholder), 8 okt 2008 → 12 okt 2008Aktivitet: Foredrag og mundtlige bidrag
Fourth International Workshop on the Automation of Software Test (AST’09)
Brian Nielsen (Arrangør), 24 nov 2008 → 24 maj 2009Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Udarbejdelse af projektrapporten: Test af Software”.
Brian Nielsen (Deltager), 1 dec 2008 → 1 sep 2009Aktivitet: Andre forsknings- og formidlingsaktiviteter › Andet
- 2007
Dagstuhl workshop : Run-time verification
Kim Guldstrand Larsen (Deltager), 2 jan 2007 → 6 jan 2007Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Online Test and Monitoring of Real-time Systems
Brian Nielsen (Foredragsholder), 6 jan 2007Aktivitet: Foredrag og mundtlige bidrag
Brug af TTCN til Protokoltest
Brian Nielsen (Foredragsholder), 16 jan 2007Aktivitet: Foredrag og mundtlige bidrag
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: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Ansøgning START midler (Quasimodo)
Brian Nielsen (Deltager), Bevilliget fra VTU : 134.000 Kr, 1 feb 2007 → 31 dec 2007Aktivitet: Andre forsknings- og formidlingsaktiviteter › Priser, stipendier, udnævnelser
Invited visit in Nantes to work on UPPAAL-Tiga
Alexandre David (Deltager), 5 feb 2007 → 9 feb 2007Aktivitet: Andre forsknings- og formidlingsaktiviteter › Gæsteophold ved andre institutioner
ARTIST2 : Winterschool
Kim Guldstrand Larsen (Foredragsholder), 19 feb 2007Aktivitet: Foredrag og mundtlige bidrag
MOTIVES 07 : Testing and verification for embedded systems.
Kim Guldstrand Larsen (Deltager), 19 feb 2007 → 23 feb 2007Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Modelling Day
Kim Guldstrand Larsen (Foredragsholder), 3 mar 2007Aktivitet: Foredrag og mundtlige bidrag
5th Latin American Web Congress, Oct.-Nov. 2007, Santiago de Chile, Chile
Peter Dolog (Medlem), 9 mar 2007 → …Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
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;
Peter Dolog (Medlem), 9 mar 2007 → …Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
Conference on Znalosti/Knowledge 2007, February 2007, Ostrava, Czech Republic;
Peter Dolog (Medlem), 9 mar 2007 → …Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
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
Peter Dolog (Medlem), 9 mar 2007 → …Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
MOVES : a Tool for Modeling and Verification of Embedded Systems
Kim Guldstrand Larsen (Foredragsholder), 12 mar 2007Aktivitet: Foredrag og mundtlige bidrag
Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia
Peter Dolog (Medlem), 15 mar 2007 → …Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
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: Konference/workshop/kursus/seminar › Organisation og 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: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Formal Approaches to Testing of Software (FATES 2007) : Program Kommitte Medlem
Brian Nielsen (Arrangør), 1 apr 2007 → 29 jun 2007Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Lektor bedømmelse Stillingsnr 40943, AAU
Brian Nielsen (Medlem), 2 apr 2007 → 7 jun 2007Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
UPPAAL-Tiga: Past, Present, and Future!
Alexandre David (Deltager), LIAFA, Paris, 2 apr 2007 → 6 apr 2007Aktivitet: Andre forsknings- og formidlingsaktiviteter › Gæsteophold ved andre institutioner
RTAS' 07 : Development, Verification, and Debug Tools for Real-Time and Embedded Systems
Kim Guldstrand Larsen (Deltager), 3 apr 2007 → 6 apr 2007Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Modeling, Testing, and Validation 2007
Brian Nielsen (Deltager), Reykjavik University, 16 apr 2007 → 17 apr 2007Aktivitet: Andre forsknings- og formidlingsaktiviteter › Ekstern undervisning og censoraktivitet
PhD bedømmelsesudvalg for Jacob Illum
Brian Nielsen (Medlem), 17 apr 2007 → 4 jun 2007Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
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
3rd International Conference on Semantic Technologies (I-Semantics'07), Graz, Austria, September 2007
Peter Dolog (Medlem), 17 jun 2007 → …Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
4th Annual Scientific Conference - Lornet Teaching Network (I2LOR 2007), November 2007, Montreal, Canada
Peter Dolog (Medlem), 17 jun 2007 → …Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
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
Peter Dolog (Medlem), 17 jun 2007 → …Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
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
Peter Dolog (Medlem), 17 jun 2007 → …Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
Adjunktbedømmelsesudvalg, Stillingsnr 073006, Syddansk Universitet
Brian Nielsen (Medlem), 25 jun 2007 → 21 sep 2007Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
Lektorbedømmelsesudvalg, Stillingsnr 073007, Syddansk Universitet
Brian Nielsen (Medlem), 25 jun 2007 → 21 sep 2007Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
Tutorial on Model-Based Testing of Real-Time Systems
Brian Nielsen (Foredragsholder), 26 jun 2007Aktivitet: Foredrag og mundtlige bidrag
Tool Platforms for Embedded Modeling, Analysis and Validation CAV
Michael Rygaard Hansen (Foredragsholder), 1 jul 2007Aktivitet: Foredrag og mundtlige bidrag
3rd Workshop on Advances in Model Based Testing (A-MOST 2007) : Program Kommitte Medlem
Brian Nielsen (Arrangør), 9 jul 2007 → 12 jul 2007Aktivitet: Konference/workshop/kursus/seminar › Organisation og 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: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Ansøgning Koordinator Puljen (Quasimodo)
Brian Nielsen (Deltager), Bevilliget fra VTU: 65.000 Kr, 1 aug 2007 → 31 dec 2007Aktivitet: Andre forsknings- og formidlingsaktiviteter › Priser, stipendier, udnævnelser
Ridder af Dannebrog
Kim Guldstrand Larsen (Deltager), Hendes Majestæt Droning Magrethe, 1 aug 2007 → …Aktivitet: Andre forsknings- og formidlingsaktiviteter › Priser, stipendier, udnævnelser
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: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Visit and invited lectures
Kim Guldstrand Larsen (Deltager), Chinese Academy of Science, 11 aug 2007 → 17 aug 2007Aktivitet: Andre forsknings- og formidlingsaktiviteter › Ekstern undervisning og censoraktivitet
Coverage metrikker, værktøjer til måling heraf og tool-demo
Brian Nielsen (Foredragsholder), 21 aug 2007Aktivitet: Foredrag og mundtlige bidrag
Phd Defense and Grading committee for Daniel Sundmark
Brian Nielsen (Medlem), 28 aug 2007 → 15 feb 2008Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
4th Workshop on Advances in Model Based Testing, AMOST'08 : Program Kommitte Medlem
Brian Nielsen (Arrangør), 1 sep 2007 → 11 apr 2008Aktivitet: Konference/workshop/kursus/seminar › Organisation og 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: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Formal Approaches to Testing of Software, Fates 2008 : Program Kommitte Medlem
Brian Nielsen (Arrangør), 1 sep 2007 → 13 jun 2008Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
QEST: : 4th International Conference on the Quantitative Evaluation of SysTems
Kim Guldstrand Larsen (Deltager), 16 sep 2007 → 19 sep 2007Aktivitet: Konference/workshop/kursus/seminar › Organisation og 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: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Deltager), 30 sep 2007 → …Aktivitet: Konference/workshop/kursus/seminar › Organisation og 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: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Deltager), 10 okt 2007 → 12 okt 2007Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Deltager), 17 okt 2007 → …Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
Introduction to Test Driven Development and Unit Testing
Brian Nielsen (Deltager), Wirtek, 7 nov 2007Aktivitet: Andre forsknings- og formidlingsaktiviteter › Rådgivnings- og konsulentvirksomhed
BSc. Course on Introduction to Distributed systems
Brian Nielsen (Deltager), Reykjavik University, 26 nov 2007 → 14 dec 2007Aktivitet: Andre forsknings- og formidlingsaktiviteter › Ekstern undervisning og censoraktivitet
Honary Doctorate
Kim Guldstrand Larsen (Deltager), from Ecole Normale Superiure Cachan, 27 nov 2007 → …Aktivitet: Andre forsknings- og formidlingsaktiviteter › Priser, stipendier, udnævnelser
Model-Based Testing of Real-Time Systems
Brian Nielsen (Foredragsholder), 30 nov 2007Aktivitet: Foredrag og mundtlige bidrag
FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science
Kim Guldstrand Larsen (Deltager), 12 dec 2007 → 14 dec 2007Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
- 2006
Censor at Aalborg University in Copenhagen
Alexandre David (Deltager), Aalborg University in Copenhagen, 11 jan 2006Aktivitet: Andre forsknings- og formidlingsaktiviteter › Ekstern undervisning og censoraktivitet
Database Management Systems
Christian Søndergaard Jensen (Deltager), Agder University College, 1 mar 2006 → 31 maj 2006Aktivitet: Andre forsknings- og formidlingsaktiviteter › Ekstern undervisning og censoraktivitet