Projekter pr. år
Fingeraftryk
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
-
INTO-CPS: INtegrated TOol chain for model-based design of CPSs
Ouy, J. (Deltager), Lecomte, T. (Deltager), Christiansen, M. P. (Deltager), Vill Henriksen, A. (Deltager), Green, O. (Deltager), Hallerstede, S. (Deltager), Larsen, P. G. (Deltager), Jger, C. (Deltager), Basagiannis, S. (Deltager), Couto, L. D. (Deltager), El-din Mady, A. (Deltager), Ridouanne, H. (Deltager), Moner Poy, H. (Deltager), Valverde Alcala, J. (Deltager), König, C. (Deltager) & Balcu, N. (Deltager)
01/11/2016 → …
Projekter: Projekt › Forskning
-
INTO-CPS: Integrated Tool Chain for Model-based Design of Cyber-Physical Systems
Larsen, P. G. (Deltager), Hallerstede, S. (Deltager), Tran-Jørgensen, P. W. V. (Deltager), Lausdahl, K. (Deltager), Couto, L. D. (Deltager), Thule, C. (Deltager) & Hasanagic, M. (Deltager)
01/01/2015 → 31/12/2017
Projekter: Projekt › Forskning
-
COMPASS: Comprehensive Modelling for Advanced Systems of Systems
Larsen, P. G. (Deltager), Lausdahl, K. (Deltager), Coleman, J. (Deltager), Hallerstede, S. (Deltager), Hansen, F. O. (Deltager), Couto, L. D. (Deltager) & Tran-Jørgensen, P. W. V. (Deltager)
01/10/2011 → 30/09/2014
Projekter: Projekt › Forskning
Publikation
-
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime
Hallerstede, S. & Hatcliff, J., jan. 2024, Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Cámara, J. & Jongmans, S.-S. (red.). 1 udg. Cham: Springer, s. 45-64 20 s. (Lecture Notes in Computer Science, Bind 14485).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
2 Citationer (Scopus) -
Applications of Formal Methods and Digital Twins
Hallerstede, S. & Kamburjan, E., 2023, I: CEUR Workshop Proceedings. 3507Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder › peer review
Åben adgang -
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering
Abraham, E. (Redaktør), Hallerstede, S. (Redaktør), Hatcliff, J. (Redaktør), Stewart, D. (Redaktør) & Abou El Wafa, N., sep. 2023, I: Dagstuhl Reports. 13, 1, s. 155-183 29 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning
-
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023)
Hallerstede, S. (Redaktør) & Kamburjan, E. (Redaktør), 6 mar. 2023, Lübeck: CEUR-WS.org. (CEUR Workshop Proceedings, Bind 3507).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Åben adgang -
State of the Art Report: Verified Computation
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M., 29 aug. 2023, 54 s.Publikation: Working paper/Preprint › Preprint
Aktiviteter
-
Science of Computer Programming (Tidsskrift)
Hallerstede, S. (Fagfællebedømmer)
2024Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Formidling
-
Science of Computer Programming (Tidsskrift)
Hallerstede, S. (Fagfællebedømmer)
2022Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Formidling
-
Computer (Tidsskrift)
Hallerstede, S. (Fagfællebedømmer)
2021Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Formidling
-
Science of Computer Programming (Tidsskrift)
Hallerstede, S. (Fagfællebedømmer)
2021Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Formidling
-
Software and Systems Modeling (Tidsskrift)
Hallerstede, S. (Fagfællebedømmer)
2020Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
Priser
-
Fil