Department of Computer Science
- 2013
Syntax and Semantics for UCN
Radu Iulian Mardare (Lecturer), Jan 2013 → Feb 2013Activity: Lecture and oral contribution
- 2012
The XII Brazilian Symposium on Information and Computer System Security
Erik Ramsgaard Wognsen (Speaker), 21 Nov 2012Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Truth, Provability and Metamathematics
Radu Iulian Mardare (Lecturer), Nov 2012Activity: Lecture and oral contribution
- 2011
Introduction to Logic and Model Theory
Radu Iulian Mardare (Lecturer), Nov 2011 → Dec 2011Activity: Lecture and oral contribution
- 2010
1st International Conference on Runtime Verification : PC Member
Brian Nielsen (Organizer), 11 Jan 2010 → 4 Nov 2010Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
22 IFIP Conference on International Conference on Testing Software and Systems
Brian Nielsen (Organizer), 11 Jan 2010 → 1 Nov 2010Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
PhD Evaluation Committee Michael Achenbach, DAIMI, 2010
Brian Nielsen (Member), 1 Aug 2010 → 7 Oct 2010Activity: Participation in council, board, committee and network › Membership in review committee
IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010
Brian Nielsen (Organizer), 26 Aug 2010 → 13 Dec 2010Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Usability Evaluation of a Home Telemedicine System
Anders Bruun (Lecturer), 12 Oct 2010 → 13 Oct 2010Activity: Lecture and oral contribution
- 2009
Bedømmelsesudvalg for Henrik Thostrup Jensen
Brian Nielsen (Member), 19 Jan 2009 → 13 May 2009Activity: Participation in council, board, committee and network › Membership in review committee
TESTCOM/FATES 2009
Brian Nielsen (Organizer), 19 Feb 2009 → 4 Nov 2009Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-09)
Brian Nielsen (Organizer), 19 Feb 2009 → 31 Aug 2009Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
AnnMarie Ericsson
Brian Nielsen (Member), 1 Mar 2009 → 16 Jun 2009Activity: Participation in council, board, committee and network › Membership in review committee
Opfører dit system sig som forventet?
Brian Nielsen (Editor), http://www.computerworld.dk, 20 Apr 2009Activity: Appearance in mass media › Participation in Interview for Printed Media
Model-Driven Verification and Testing of Embedded systems
Brian Nielsen (Lecturer), 19 Jun 2009Activity: Lecture and oral contribution
Proceedings of the Second International Workshop on: The Interplay between Usability Evaluation and Software Development (I-USED 2009)
Jan Stage (Editor), 24 Aug 2009 → …Activity: Ongoing editorial work › Editor of Research journal
3rd International Conference on Software Test and Validation (ICST'10)
Brian Nielsen (Organizer), 26 Aug 2009 → 10 Apr 2010Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Evaluation committee for John Knudsen
Brian Nielsen (Member), 30 Sep 2009 → 10 Dec 2009Activity: Participation in council, board, committee and network › Membership in review committee
5th International Workshop on Automation of Software Test : PC Member
Brian Nielsen (Organizer), 1 Dec 2009 → 4 May 2010Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member
Brian Nielsen (Organizer), 1 Dec 2009 → 6 Apr 2010Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
- 2008
ACM Transactions on Information Systems
Simonas Saltenis (Editor), 1 Jan 2008Activity: Ongoing editorial work › Peer review of manuscripts
IEEE Transactions on Knowledge and Data Engineering
Simonas Saltenis (Editor), 1 Jan 2008Activity: Ongoing editorial work › Peer review of manuscripts
IEEE Transactions on Knowledge and Data Engineering
Simonas Saltenis (Editor), 1 Jan 2008Activity: Ongoing editorial work › Peer review of manuscripts
IEEE Transactions on Knowledge and Data Engineering
Simonas Saltenis (Editor), 1 Jan 2008Activity: Ongoing editorial work › Peer review of manuscripts
Information Processing Letters
Simonas Saltenis (Editor), 1 Jan 2008Activity: Ongoing editorial work › Peer review of manuscripts
Journal of Systems and Software
Simonas Saltenis (Editor), 1 Jan 2008Activity: Ongoing editorial work › Peer review of manuscripts
Formal Modelling and Analysis of Timed Systems (Formats 2008)
Brian Nielsen (Organizer), 1 Jan 2008 → 17 Sep 2008Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
IEEE Transactions on Knowledge and Data Engineering
Simonas Saltenis (Editor), 1 Jan 2008Activity: Ongoing editorial work › Peer review of manuscripts
Third International Workshop on Automation of Software Test, AST´08 : Program Kommitte Medlem
Brian Nielsen (Organizer), 1 Jan 2008 → 18 May 2008Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
VLDB Journal
Simonas Saltenis (Editor), 1 Jan 2008Activity: Ongoing editorial work › Peer review of manuscripts
VLDB Journal
Simonas Saltenis (Editor), 1 Jan 2008Activity: Ongoing editorial work › Peer review of manuscripts
Quasimodo Kickoff Møde (Arrangør og vært)
Brian Nielsen (Organizer), 15 Jan 2008 → 16 Jan 2008Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
TV2nord Nyheder
Torben Bach Pedersen (Participant), TV2, 21 Feb 2008Activity: Appearance in mass media › Participation in TV Programme
Intern. Symposium on Quality Engineering for Embedded Systems
Brian Nielsen (Organizer), 1 Apr 2008 → 31 May 2008Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Model-based testing and validation of Real-Time Systems
Brian Nielsen (Participant), 14 Apr 2008 → 17 Apr 2008Activity: Other research and communication activities › External teaching and subject coordination
IEEE International Conference on Software Testing, Verification and Validation, ICST'09
Brian Nielsen (Organizer), 1 May 2008 → 30 Apr 2009Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
European Semantic Web Conference 2008
Peter Dolog (Speaker), 1 Jun 2008 → 5 Jun 2008Activity: Lecture and oral contribution
SemWiki 2008 - The Wiki Way of Semantics: 3rd Semantic Wiki Workshop co-located with the 5th European Semantic Web Conference (ESWC)
Peter Dolog (Speaker), 2 Jun 2008 → 6 Jun 2008Activity: Lecture and oral contribution
1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS
Alexandre David (Organizer), 28 Jul 2008 → 1 Aug 2008Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Bedømmelsesudvalg Stilling nr. 083004, Syddansk Universitet
Brian Nielsen (Member), 14 Aug 2008 → 11 Sep 2008Activity: Participation in council, board, committee and network › Membership in review committee
Workshop on Automata and Verification
Alexandre David (Participant), 25 Aug 2008 → 26 Aug 2008Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
5th Workshop on Advances in Model Based Testing (A-MOST 2009)
Brian Nielsen (Organizer), 1 Sep 2008 → 4 Apr 2009Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
International Workshop on Service-Oriented Architectures and Software Product Lines at Software Product Lines Conference
Peter Dolog (Speaker), 8 Oct 2008 → 12 Oct 2008Activity: Lecture and oral contribution
Fourth International Workshop on the Automation of Software Test (AST’09)
Brian Nielsen (Organizer), 24 Nov 2008 → 24 May 2009Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Udarbejdelse af projektrapporten: Test af Software”.
Brian Nielsen (Participant), 1 Dec 2008 → 1 Sep 2009Activity: Other research and communication activities › Other
- 2007
Dagstuhl workshop : Run-time verification
Kim Guldstrand Larsen (Participant), 2 Jan 2007 → 6 Jan 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Online Test and Monitoring of Real-time Systems
Brian Nielsen (Lecturer), 6 Jan 2007Activity: Lecture and oral contribution
Brug af TTCN til Protokoltest
Brian Nielsen (Lecturer), 16 Jan 2007Activity: Lecture and oral contribution
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Organizer), 20 Jan 2007 → 26 Jan 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Ansøgning START midler (Quasimodo)
Brian Nielsen (Participant), Bevilliget fra VTU : 134.000 Kr, 1 Feb 2007 → 31 Dec 2007Activity: Other research and communication activities › Prizes, scholarships, distinctions
Invited visit in Nantes to work on UPPAAL-Tiga
Alexandre David (Participant), 5 Feb 2007 → 9 Feb 2007Activity: Other research and communication activities › Period visiting other institutions
ARTIST2 : Winterschool
Kim Guldstrand Larsen (Lecturer), 19 Feb 2007Activity: Lecture and oral contribution
MOTIVES 07 : Testing and verification for embedded systems.
Kim Guldstrand Larsen (Participant), 19 Feb 2007 → 23 Feb 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
5th Latin American Web Congress, Oct.-Nov. 2007, Santiago de Chile, Chile
Peter Dolog (Member), 9 Mar 2007 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
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 (Member), 9 Mar 2007 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
Conference on Znalosti/Knowledge 2007, February 2007, Ostrava, Czech Republic;
Peter Dolog (Member), 9 Mar 2007 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
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 (Member), 9 Mar 2007 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
MOVES : a Tool for Modeling and Verification of Embedded Systems
Kim Guldstrand Larsen (Lecturer), 12 Mar 2007Activity: Lecture and oral contribution
Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia
Peter Dolog (Member), 15 Mar 2007 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Participant), 20 Mar 2007 → 26 Mar 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Kim Guldstrand Larsen (Participant), 24 Mar 2007 → 1 Apr 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Formal Approaches to Testing of Software (FATES 2007) : Program Kommitte Medlem
Brian Nielsen (Organizer), 1 Apr 2007 → 29 Jun 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Lektor bedømmelse Stillingsnr 40943, AAU
Brian Nielsen (Member), 2 Apr 2007 → 7 Jun 2007Activity: Participation in council, board, committee and network › Membership in review committee
UPPAAL-Tiga: Past, Present, and Future!
Alexandre David (Participant), LIAFA, Paris, 2 Apr 2007 → 6 Apr 2007Activity: Other research and communication activities › Period visiting other institutions
RTAS' 07 : Development, Verification, and Debug Tools for Real-Time and Embedded Systems
Kim Guldstrand Larsen (Participant), 3 Apr 2007 → 6 Apr 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Modeling, Testing, and Validation 2007
Brian Nielsen (Participant), Reykjavik University, 16 Apr 2007 → 17 Apr 2007Activity: Other research and communication activities › External teaching and subject coordination
PhD bedømmelsesudvalg for Jacob Illum
Brian Nielsen (Member), 17 Apr 2007 → 4 Jun 2007Activity: Participation in council, board, committee and network › Membership in review committee
Towards a Systematic Approach to Embedded System Design : DATE, Design, Automation, and Test in Europe
Kim Guldstrand Larsen (Lecturer), 20 Apr 2007Activity: Lecture and oral contribution
3rd International Conference on Semantic Technologies (I-Semantics'07), Graz, Austria, September 2007
Peter Dolog (Member), 17 Jun 2007 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
4th Annual Scientific Conference - Lornet Teaching Network (I2LOR 2007), November 2007, Montreal, Canada
Peter Dolog (Member), 17 Jun 2007 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
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 (Member), 17 Jun 2007 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
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 (Member), 17 Jun 2007 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
Adjunktbedømmelsesudvalg, Stillingsnr 073006, Syddansk Universitet
Brian Nielsen (Member), 25 Jun 2007 → 21 Sep 2007Activity: Participation in council, board, committee and network › Membership in review committee
Lektorbedømmelsesudvalg, Stillingsnr 073007, Syddansk Universitet
Brian Nielsen (Member), 25 Jun 2007 → 21 Sep 2007Activity: Participation in council, board, committee and network › Membership in review committee
Tutorial on Model-Based Testing of Real-Time Systems
Brian Nielsen (Lecturer), 26 Jun 2007Activity: Lecture and oral contribution
Tool Platforms for Embedded Modeling, Analysis and Validation CAV
Michael Rygaard Hansen (Lecturer), 1 Jul 2007Activity: Lecture and oral contribution
3rd Workshop on Advances in Model Based Testing (A-MOST 2007) : Program Kommitte Medlem
Brian Nielsen (Organizer), 9 Jul 2007 → 12 Jul 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
LICS'07 : Twenty-Second Annual IEEE Sympositum on Logic in Computer Science
Kim Guldstrand Larsen (Participant), 10 Jul 2007 → 14 Jul 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Ansøgning Koordinator Puljen (Quasimodo)
Brian Nielsen (Participant), Bevilliget fra VTU: 65.000 Kr, 1 Aug 2007 → 31 Dec 2007Activity: Other research and communication activities › Prizes, scholarships, distinctions
Ridder af Dannebrog
Kim Guldstrand Larsen (Participant), Hendes Majestæt Droning Magrethe, 1 Aug 2007 → …Activity: Other research and communication activities › Prizes, scholarships, distinctions
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 (Participant), 1 Aug 2007 → 10 Aug 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Visit and invited lectures
Kim Guldstrand Larsen (Participant), Chinese Academy of Science, 11 Aug 2007 → 17 Aug 2007Activity: Other research and communication activities › External teaching and subject coordination
Coverage metrikker, værktøjer til måling heraf og tool-demo
Brian Nielsen (Lecturer), 21 Aug 2007Activity: Lecture and oral contribution
Phd Defense and Grading committee for Daniel Sundmark
Brian Nielsen (Member), 28 Aug 2007 → 15 Feb 2008Activity: Participation in council, board, committee and network › Membership in review committee
4th Workshop on Advances in Model Based Testing, AMOST'08 : Program Kommitte Medlem
Brian Nielsen (Organizer), 1 Sep 2007 → 11 Apr 2008Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
First IEEE International Conference on Software Testing, Verification and Validation, ICST'08 : Program Kommitte Medlem
Brian Nielsen (Organizer), 1 Sep 2007 → 11 Apr 2008Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Formal Approaches to Testing of Software, Fates 2008 : Program Kommitte Medlem
Brian Nielsen (Organizer), 1 Sep 2007 → 13 Jun 2008Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
QEST: : 4th International Conference on the Quantitative Evaluation of SysTems
Kim Guldstrand Larsen (Participant), 16 Sep 2007 → 19 Sep 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
EPEW'2007 : 4th European Performance Engineering Workshop, 27-28 September 2007
Kim Guldstrand Larsen (Organizer), 27 Sep 2007 → 28 Sep 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Participant), 30 Sep 2007 → …Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Formal Modelling and Analysis of Timed Systems (Formats 2007) : Program Kommitte Medlem
Brian Nielsen (Organizer), 3 Oct 2007 → 5 Oct 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Participant), 10 Oct 2007 → 12 Oct 2007Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Participant), 17 Oct 2007 → …Activity: Participation in conference/workshop/course/seminar › Organisation and participation in conference
Introduction to Test Driven Development and Unit Testing
Brian Nielsen (Participant), Wirtek, 7 Nov 2007Activity: Other research and communication activities › Supervision and co-examiner
BSc. Course on Introduction to Distributed systems
Brian Nielsen (Participant), Reykjavik University, 26 Nov 2007 → 14 Dec 2007Activity: Other research and communication activities › External teaching and subject coordination
Honary Doctorate
Kim Guldstrand Larsen (Participant), from Ecole Normale Superiure Cachan, 27 Nov 2007 → …Activity: Other research and communication activities › Prizes, scholarships, distinctions
Model-Based Testing of Real-Time Systems
Brian Nielsen (Lecturer), 30 Nov 2007Activity: Lecture and oral contribution