Projects per year
Search results
-
Finished
domOS: Operating System for Smart Services in Buildings
Skou, A., Nielsen, B., Pedersen, T. B. & Thomsen, C.
01/09/2020 → 31/08/2023
Project: Research
-
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Project: Research
-
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A. B. E., Boudjadar, J. & Kim, J. H.
Independent Research Fund Denmark | Technology and Production sciences
01/08/2017 → 31/07/2021
Project: Other
-
Productive4.0: Productive4.0
Skou, A., Nielsen, B. & Albano, M.
01/05/2017 → 30/09/2020
Project: Research
-
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.
01/05/2015 → 30/04/2018
Project: Research
-
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B., Guerrero, J. M. & Raptis, D.
01/01/2015 → 31/12/2020
Project: Research
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Project: Research
-
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.
01/06/2012 → 30/09/2015
Project: Research
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
01/11/2011 → 31/10/2014
Project: Research
-
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.
01/04/2011 → 30/04/2015
Project: Research
-
InfinIT: Innovation Network for IT
Larsen, K. G., Skou, A., Nielsen, P. A., Stage, J., Nielsen, B., Larsen, L. B., Brendborg, B., Werning Uhrenholt, R. & Kristensen, S. K.
Council for Technology and Innovation
01/03/2009 → 01/07/2018
Project: Research
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Larsen, K. G., David, A., Skou, A., Nielsen, B., Mikucionis, M. & Li, S.
01/11/2008 → 31/10/2011
Project: Research
-
MULTIFORM - Integrated Multi-formalism Tool Support for the Design of Networked Embedded Control Systems
Nielsen, B., Mikucionis, M., Larsen, K. G., Nielsen, B. & David, A.
01/09/2008 → 01/02/2012
Project: Research
-
Quasimodo
Larsen, K. G., Nielsen, B., Skou, A., David, A., Mikucionis, M. & Li, S.
01/01/2008 → 31/12/2010
Project: Research
-
DaNES
Larsen, K. G., Mikucionis, M., Nielsen, P. A., Nielsen, B., Ravn, A. P., Skou, A., (AAU), D. O. C., Danmarks Tekniske Universitet, D. -., Syddansk Universitet, S., A/S, I., A/S, N. N., A/S, P. S., A/S, P. & A/S, S.
Danish Advanced Technology Foundation.
01/04/2007 → 31/03/2011
Project: Research
-
Automated Model-based Software Testing
Nielsen, B., Mikucionis, M., Skou, A., Justesen, J., Riisgaard-Jensen, M. & Madsen, K. B.
01/06/2006 → 31/05/2007
Project: Research
-
-
Automated Test-Execution system
Nielsen, B., Mikucionis, M., Skou, A., Andersen, F. & Wiwe, C. B.
01/01/2006 → 28/02/2006
Project: Research
-
Artist 2, Network of Excellence on Embedded Systems Design
Larsen, K. G., Kleist, J., Nielsen, B., Skou, A., Ravn, A. P. & Behrmann, G.
01/08/2004 → 31/07/2008
Project: Research
-
Prosoft
Knudsen, J., Aaen, I., Skou, A., Nielsen, B. & Nielsen, P. A.
01/01/2004 → 01/04/2006
Project: Research
-
Advanced Real-Time Systems - ARTIST
Larsen, K. G., Skou, A. & Nielsen, B.
01/04/2002 → 31/03/2005
Project: Research
-
Networks and Paradigms for the Next Generation of Distributed Systems, 1996-2002
Christiansen, M., Pietraszek, W. A., Skou, A. & Nielsen, B.
01/01/1996 → 31/12/2002
Project: Research