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


E-mail:

On permanent leave. Now working on static analysis.

Publications

2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998