Projects per year
- 1 - 50 out of 87 results
Search results
-
Other
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
-
PhD Project
Data Processing and Selection for Improving In-field Data Quality in Battery Health Management
Weinreich, N. A., Teodorescu, R. & Larsen, K. G.
01/08/2023 → 31/07/2026
Project: PhD Project
-
Decoding Human Intentions by Mobile Robot Interaction
Svenstrup, M., Bak, T. & Andersen, H. J.
01/09/2007 → 01/09/2010
Project: PhD Project
-
Research
Energy optimization for single- and heterogeneous multi-processor architectures, using Dynamic Voltage Scaling methods
Olsen, A. B. & Koch, P.
01/03/2004 → 01/06/2007
Project: Research
-
Energieffektiv måling og regulering af dekantere
Larsen, J. A. & Skou, A.
01/01/2012 → 31/12/2013
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
-
The Software Corridor
Skou, A., Hansen, J. A., Jessen, J. J., Andersen, P. & Balstrup, B.
Danish Enterprise and Construction Authority
01/01/2009 → 31/12/2011
Project: Research
-
-
UAWorld
Holst, J., Theilgaard Madsen, N. B., Gjerrild, N. & Schiøler, H.
01/03/2015 → 31/05/2018
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
-
Plug and Play Process Control (P<sup>3</sup>C)
Stoustrup, J., Kragelund, M. N., Knudsen, T., Michelsen, A. G., Nielsen, K. M., Pedersen, T. S., Schiøler, H., Bendtsen, J. D., Wisniewski, R., Nielsen, J. F. D., Trangbæk, K., Jensen, T. N., De Persis, C., Izadi-Zamanabadi, R., Thybo, C., Larsen, L. F. S., Vadstrup, P., Kallesøe, C. S., Riisgaard-Jensen, M., Hauberg Fischer, T., Christensen, S. H., Mølbak, T., Just Nielsen, R., Knudsen, J. & Edlund, K. S.
01/09/2006 → 31/08/2011
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
-
RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms
Skou, A., Larsen, K. G., Nyman, U., Ravn, A. P. & David, A.
01/04/2010 → 01/04/2013
Project: Research
-
Improving Power Plant Operation through Hybrid Control
Niemczyk, P., Bendtsen, J. D. & Ravn, A. P.
Center for Embedded Software Systems (CISS), Section for Automation and Control, DONG Energy A/S
01/12/2007 → 31/10/2010
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
-
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
-
HVAC / Control of heating, ventilation, and airconditioning systems
Rasmussen, H., Stoustrup, J. & Komareji, M.
30/06/2005 → 30/06/2005
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
-
Støtte- og styringssystem til rutebusser
Lahrmann, H., Larsen, K. G., Tibo, A., Skov, M. B., Øhlenschlæger, R., Stakenaite, D., Gøeg, P. R. & Christensen, A. E.
01/08/2020 → 30/11/2021
Project: Research
-
Distributed localization in sensor networks
Figueiras, J., Bøgsted, M., Rasmussen, J. G., Schiøler, H. & Schwefel, H. C.
01/01/2006 → 31/12/2007
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
-
P3: Popular Parallel Programming
Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.
01/02/2015 → 31/03/2019
Project: Research
-
Satellit Formation Flying based on a Distributed Hybrid Control Framework
Grunnet, J. D., Bak, T. & Bendtsen, J. D.
01/12/2005 → 05/10/2009
Project: Research
-
FEVER: Flexible Energy Production, Demand and Storage-based Virtual Power Plants for Electricity Markets and Resilient DSO Operation
Skou, A., Pedersen, T. B., Skov, M. B., Chakraborty, N., Jensen, R. H. & Raptis, D.
01/02/2020 → 31/07/2023
Project: Research
-
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
-
The MIRABEL project
Siksnys, L., Pedersen, T. B. & Kaulakiene, D.
01/01/2010 → 31/12/2012
Project: Research
-
-
-
-
Euro-TM: Action IC1001: Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)
10/02/2011 → 09/02/2015
Project: Research
-
InfinIT Embedded Systems Engineering interest group
Thomsen, B. & Madsen, J.
01/07/2014 → 31/12/2018
Project: Research
-
InfinIT Interessegruppen for højniveau sprog til indlejrede systemer
22/04/2009 → 30/06/2014
Project: Research
-
Methods for accelerated design for FPGA technology
Abildgren, R., Koch, P., Le Moullec, Y. & Knudsen, R. B.
01/10/2005 → 01/05/2009
Project: Research
-
Embedded Controller Design and Automatic Code Generation for Pig Stable Ventilation Systems
Jessen, J. J. & Schiøler, H.
01/08/2003 → 31/12/2006
Project: Research
-
SSETI Express
Nielsen, J. F. D., Bhanderi, D., Alminde, L., Laursen, K. K., Grunnet, J. D. & Larsen, J. A.
01/01/2004 → 31/12/2005
Project: Research
-
-
Agil
Skou, A., Aaen, I., Hosbond, J. H., Nielsen, P. A. & Biegel, J.
01/03/2006 → 01/06/2007
Project: Research
-
The Virtual Desktop and Beyond
Skou, A., Thomsen, L. L. & Christensen, K.
Den regionale IKT satsning, INS fakultetets medfinancieringspulje, Landmandens Virtuelle Skrivebord, Dansk Landbrugsrådgivning
15/08/2006 → 15/08/2009
Project: Research
-
Homeport
Skou, A., Madsen, P. P., Brønsted, J., Torbensen, R., Ravn, A. P., Olsen, P., Rosenkilde, J. & Le Guilly, T.
Danish Enterprise and Construction Authority
01/04/2009 → 31/07/2012
Project: Research
-
Java Object
Skou, A., Thomsen, B. & Ravn, A. P.
Council for Technology and Innovation
01/01/2007 → 31/12/2009
Project: Research
-
-
Towards Coordination and Control of Multi-robot Systems
Quottrup, M. M., Bak, T. & Izadi-Zamanabadi, R.
01/09/2002 → 31/05/2007
Project: Research
File -
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
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G., Skou, A., David, A. & Srba, J.
01/04/2013 → 31/03/2016
Project: Research
-
Productive4.0: Productive4.0
Skou, A., Nielsen, B. & Albano, M.
01/05/2017 → 30/09/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
-
ASETA : Adaptive Surveying and Early treatment of crops with a Team of Autonomous vehicles
la Cour-Harbo, A., Bak, T., Bendtsen, J. D., Bisgaard, M., Wulfson, D. & Griepentrog, H. W.
Det Strategiske Forskningsråd - Nabiit
01/01/2010 → 01/04/2014
Project: Research
-
AAUSAT-II
Izadi-Zamanabadi, R., Bhanderi, D., Nielsen, J. F. D., Bisgaard, M., Alminde, L., Larsen, J. A., Laursen, K. K. & Grunnet, J. D.
01/08/2003 → 01/09/2011
Project: Research
-
Efficient Water Supply in HVAC Systems
Komareji, M. & Stoustrup, J.
01/09/2005 → 31/08/2008
Project: Research
-
Advanced Methods for Timed Systems - AMETIST
Larsen, K. G., Behrmann, G. & Fleury, E.
Euro Contract number: IST-2001-35304
01/04/2002 → 31/03/2005
Project: Research