Projects per year
Search results
-
Finished
BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL
Larsen, K. G. (PI), Stoustrup, J. (CoPI), Jensen, P. G. (Project Participant), Mikučionis, M. (Project Participant), Jørgensen, K. Y. (Project Participant), Muniz Rodriguez, M. A. (Project Participant), Poulsen, D. B. (Project Participant) & Tschaikowski, M. (Project Participant)
27/04/2020 → 01/10/2020
Project: Research
-
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A. (Project Participant), Larsen, K. G. (Project Participant), Nielsen, B. (Project Participant), David, A. (Project Participant), Nyman, U. (Project Participant), Mikučionis, M. (Project Participant), Olsen, P. (Project Participant), Boudjadar, J. (Project Participant) & Kim, J. H. (Project Participant)
01/06/2012 → 30/09/2015
Project: Research
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Project Participant), Larsen, K. G. (Project Participant), David, A. (Project Participant), Mikučionis, M. (Project Participant) & Skou, A. (Project Participant)
01/11/2011 → 31/10/2014
Project: Research
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Larsen, K. G. (Project Manager), David, A. (Project Participant), Skou, A. (Project Participant), Nielsen, B. (Project Participant), Mikučionis, M. (Project Participant) & Li, S. (Project Participant)
01/11/2008 → 31/10/2011
Project: Research
-
MULTIFORM - Integrated Multi-formalism Tool Support for the Design of Networked Embedded Control Systems
Nielsen, B. (Project Participant), Mikučionis, M. (Project Participant), Larsen, K. G. (Project Licensee), Nielsen, B. (Project Manager) & David, A. (Project Manager)
01/09/2008 → 01/02/2012
Project: Research
-
Quasimodo
Larsen, K. G. (Project Licensee), Nielsen, B. (Project Coordinator), Skou, A. (Project Participant), David, A. (Project Participant), Mikučionis, M. (Project Participant) & Li, S. (Project Participant)
01/01/2008 → 31/12/2010
Project: Research
-
Modelbaseret Integrationstest af Software i Mobile Enheder
Rasmussen, J. I. (Project Participant), Skou, A. (Project Manager) & Mikučionis, M. (Project Participant)
01/11/2007 → 31/10/2009
Project: Research
-
DaNES
Larsen, K. G. (Project Participant), Mikučionis, M. (Project Participant), Nielsen, P. A. (Project Participant), Nielsen, B. (Project Participant), Ravn, A. P. (Project Participant), Skou, A. (Project Participant), (AAU), D. O. C. (Project Participant), Danmarks Tekniske Universitet, D. (Project Participant), Syddansk Universitet, S. (Project Participant), A/S, I. (Project Participant), A/S, N. N. (Project Participant), A/S, P. S. (Project Participant), A/S, P. (Project Participant) & A/S, S. (Project Participant)
Danish Advanced Technology Foundation.
01/04/2007 → 31/03/2011
Project: Research
-
Automated Model-based Software Testing
Nielsen, B. (Project Manager), Mikučionis, M. (Project Participant), Skou, A. (Project Participant), Justesen, J. (Project Participant), Riisgaard-Jensen, M. (Project Participant) & Madsen, K. B. (Project Participant)
01/06/2006 → 31/05/2007
Project: Research
-
Automated Test-Execution system
Nielsen, B. (Project Manager), Mikučionis, M. (Project Participant), Skou, A. (Project Participant), Andersen, F. (Project Participant) & Wiwe, C. B. (Project Participant)
01/01/2006 → 28/02/2006
Project: Research