Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
INTO-CPS: INtegrated TOol chain for model-based design of CPSs
Ouy, J. (Participant), Lecomte, T. (Participant), Christiansen, M. P. (Participant), Vill Henriksen, A. (Participant), Green, O. (Participant), Hallerstede, S. (Participant), Larsen, P. G. (Participant), Jger, C. (Participant), Basagiannis, S. (Participant), Couto, L. D. (Participant), El-din Mady, A. (Participant), Ridouanne, H. (Participant), Moner Poy, H. (Participant), Valverde Alcala, J. (Participant), König, C. (Participant) & Balcu, N. (Participant)
01/11/2016 → …
Project: Research
-
INTO-CPS: Integrated Tool Chain for Model-based Design of Cyber-Physical Systems
Larsen, P. G. (Participant), Hallerstede, S. (Participant), Tran-Jørgensen, P. W. V. (Participant), Lausdahl, K. (Participant), Couto, L. D. (Participant), Thule, C. (Participant) & Hasanagic, M. (Participant)
01/01/2015 → 31/12/2017
Project: Research
-
COMPASS: Comprehensive Modelling for Advanced Systems of Systems
Larsen, P. G. (Participant), Lausdahl, K. (Participant), Coleman, J. (Participant), Hallerstede, S. (Participant), Hansen, F. O. (Participant), Couto, L. D. (Participant) & Tran-Jørgensen, P. W. V. (Participant)
01/10/2011 → 30/09/2014
Project: Research
Research output
-
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. (eds.). 1 ed. Cham: Springer, p. 45-64 20 p. (Lecture Notes in Computer Science, Vol. 14485).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
2 Citations (Scopus) -
Applications of Formal Methods and Digital Twins
Hallerstede, S. & Kamburjan, E., 2023, In: CEUR Workshop Proceedings. 3507Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial › peer-review
Open Access -
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering
Abraham, E. (Editor), Hallerstede, S. (Editor), Hatcliff, J. (Editor), Stewart, D. (Editor) & Abou El Wafa, N., Sept 2023, In: Dagstuhl Reports. 13, 1, p. 155-183 29 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research
-
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. (Editor) & Kamburjan, E. (Editor), 6 Mar 2023, Lübeck: CEUR-WS.org. (CEUR Workshop Proceedings, Vol. 3507).Research output: Book/anthology/dissertation/report › Anthology › Research
Open Access -
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 p.Research output: Working paper/Preprint › Preprint
Activities
-
Science of Computer Programming (Journal)
Hallerstede, S. (Reviewer)
2024Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Communication
-
Science of Computer Programming (Journal)
Hallerstede, S. (Reviewer)
2022Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Communication
-
Computer (Journal)
Hallerstede, S. (Reviewer)
2021Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Communication
-
Science of Computer Programming (Journal)
Hallerstede, S. (Reviewer)
2021Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Communication
-
Software and Systems Modeling (Journal)
Hallerstede, S. (Reviewer)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Prizes
-
2018 Reviewer Recognition
Hallerstede, Stefan (Recipient), 2018
Prize: Prizes, scholarships, distinctions
File