Aalborg University| Computer Science Dpt.| (Old) Intranet| Control Engineering Dpt.
Teaching| Research
Research
› Publications › FORMATS 2013 › DBM Library › UPPAAL › UPPAAL TIGA › ECDAR › SMC › Ruby-BDD › RTSS'05 Tutorial
Alexandre David
Formerly Associate Professor
Currently Senior Software Engineer at Synopsys


E-mail:

Courses

Aalborg

On permanent leave.
Spring 2014: Computer Architecture.
Spring 2014: Advanded Programming.
Fall 2013: Real-Time Systems.
Spring 2013: Computer Architecture.
Spring 2013: Advanced Programming.
Spring 2013: Principles of Operating Systems and Concurrency.
Fall 2012: Real-Time Systems.
Spring 2012: Advanced Programming.
Spring 2012: Principles of Operating Systems and Concurrency.
Spring 2012: Computer Architecture.
Fall 2011: Real-Time Software.
Spring 2011: Computer Architecture.
Spring 2011: Models and Tools for Parallelism.
Spring 2011: Computer and Network Architecture.
Fall 2010: Real-Time Software.
Spring 2010: Models and Tools for Parallelism.
Spring 2010: Computer and Network Architecture.
Fall 2009: Distributed systems.
Fall 2009: Real-time software.
Spring 2009: Test and Verification.
Spring 2009: Models and Tools for Parallellism.
Summer 2008: Livslang læring: Introduction to Parallel Computing.
Spring 2008: Models and Tools for Parallelism.
Spring 2008: Test and Verification.
Fall 2007: Distributed Systems - Advanced Topics.
Spring 2007: Models and Tools for Parallelism.
Fall 2006: Algorithms and Architecture I.
Spring 2006: Models and Tools for Parallelism.
Fall 2005: Algorithms and Architecture I.
Spring 2005: Models and Tools for Parallelism.
Fall 2004: Algorithms and Architecture I.

Uppsala

Lab work 1999--2003: Operating Systems.
Lab work 2002: Compiler Theory.
Lab work 1999--2002: Process Algebra.

Old Projects

Javassistant.
Epplets.
Utils.
VisualUL (MSc project).