Projects per year
- 1 - 50 out of 65 results
Search results
-
Advanced Real-Time Systems - ARTIST
Larsen, K. G., Skou, A. & Nielsen, B.
01/04/2002 → 31/03/2005
Project: Research
-
BETTY: Behavioural Types for Reliable Large-Scale Software Systems
01/10/2012 → 01/11/2015
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
-
Agil
Skou, A., Aaen, I., Hosbond, J. H., Nielsen, P. A. & Biegel, J.
01/03/2006 → 01/06/2007
Project: Research
-
AIDK: AI Denmark
Jurowetzki, R., Hain, D. S., Brøns Kringelum, L., Holmgren, J., Gjerding, A. N., Larsen, M. V., Moeslund, T. B., Nielsen, T. D., Madsen, K. M., Holm, C. G., Bekamiri, H. & Hviid, L.
The Danish Industry Foundation
01/01/2021 → 31/03/2024
Project: Research
-
AMIDST: Analysis of MassIve Data STreams - AMIDST
Madsen, A. L., Rommerdahl Bock, A., Nielsen, T. D. & Martinez, A. M.
01/01/2014 → 31/12/2016
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
-
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
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
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
-
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
-
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Project: Research
-
CLINES: Cluster-based Innovation through Embedded Systems technology
Skou, A., Nielsen, P. A., Aaen, I., Larsen, K. G., Nøhr, B. P., Holmene, C. F., Nielsen, C., Kristiansen, K. B. & Pedersen, J. E.
01/09/2013 → 31/08/2016
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
-
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
-
Contract-Oriented Software Development for Internet Services
Ravn, A. P., Owe, O., Schneider, G., Prisacariou, C., Giambiagi, P., Haridi, S. & Okika, J.
01/06/2006 → 01/06/2009
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
-
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
-
Danish Center for Grid Computing (DCGC)
Kleist, J., Behrmann, G., Skou, A. & Jensen, H. T.
19/05/2010 → 19/05/2013
Project: Research
-
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
-
Data Science meets Microbial Dark Matter
Albertsen, M., Hose, K., Nielsen, T. D., Lamurias, A. & Mølvang Dall, S.
Villum Fonden, Danish E-infrastructure Cooperation
01/01/2021 → 31/12/2023
Project: Research
-
Digital technologies for Industry 4.0
Berardinelli, G., Nyman, U., Schjørring, A., Schiøler, H., Tan, Z., Popovski, P., Kristjansen, M., Klicius, N., Xie, Y., Chiariotti, F. & Kalør, A. E.
Project: Research
-
-
Directed algebraic topology and concurrency
Fajstrup, L., Fahrenberg, U. & Raussen, M.
19/05/2010 → …
Project: Research
-
Energieffektiv måling og regulering af dekantere
Larsen, J. A. & Skou, A.
01/01/2012 → 31/12/2013
Project: Research
-
Energieffektiv regulering af separationsprocessor
Larsen, J. A., Sloth, C. & Skou, A.
01/01/2011 → 31/12/2012
Project: Research
-
ENCOURAGE: Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE
Skou, A., Larsen, K. G., Ravn, A. P., Rosenkilde, J., Olsen, P., Le Guilly, T., Madsen, P. P., Holmene, C. F. & Mardare, D.
01/06/2011 → 30/11/2014
Project: Research
-
Explainable and Causally Enforced Reinforcement Learning
Høeg-Petersen, A. H., Larsen, K. G., Wasowski, A. & Jensen, P. G.
01/09/2022 → …
Project: PhD Project
-
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
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
-
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
-
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
-
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
-
Hybrid Systems
Wisniewski, R., Izadi-Zamanabadi, R., Ravn, A. P., Bhanderi, D., Thomsen, J. S., Larsen, J. A., N. Soltani, M., Stoustrup, J., Bendtsen, J. D., Trangbæk, K., Alminde, L., Grunnet, J. D. & Laursen, K. K.
19/05/2010 → 18/05/2013
Project: Research
-
IKT Agil
Skou, A., Aaen, I., Biegel, J. & Coplien, J.
Danish Enterprise and Construction Authority
01/01/2009 → 01/01/2011
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
-
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
-
INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level
Larsen, K. G., Skou, A. & Ravn, A. P.
01/11/2012 → 31/10/2015
Project: Research
-
Java Object
Skou, A., Thomsen, B. & Ravn, A. P.
Council for Technology and Innovation
01/01/2007 → 31/12/2009
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
-
Modelbaseret Integrationstest af Software i Mobile Enheder
Rasmussen, J. I., Skou, A. & Mikucionis, M.
01/11/2007 → 31/10/2009
Project: Research
-
MoDES: Model Driven Development of Embedded Systems
Larsen, K. G., Skou, A. & Ravn, A. P.
The Strategic Research Council
01/01/2006 → 31/07/2010
Project: Research
-
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.
01/10/2008 → 01/10/2013
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
-
P3: Popular Parallel Programming
Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.
01/02/2015 → 31/03/2019
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