About Aarhus University
Stefan Hallerstede
Associate Professor
Department of Electrical and Computer Engineering - Software Engineering & Computing systems
Helsingforsgade 10
building 5123, 411
8200 Aarhus N
Denmark
Phone: +4541893345
Profile
Stefan Hallerstede's research focuses on applied formal methods. This covers theoretical foundations, tool development and industrial use of mathematical technique for the description and development of computer systems.
In the past, he has contributed to the development of the Event-B modelling formalism and co-developed the associated software tool called Rodin. He is currently working on modelling and verification of sequential and concurrent programs, formal support for requirements analysis and, more generally, the use of formal techniques in early stages of (computer) systems engineering.
- Published
Towards Secure Digital Twins
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
- Published
On the Design of a New Software Engineering Curriculum in Computer Engineering
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
- Published
A Non-unified View of Modelling, Specification and Programming
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
INtegrated TOol chain for model-based design of CPSs
Project: Research
Comprehensive Modelling for Advanced Systems of Systems
Project: Research
Science of Computer Programming (Journal)
Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Communication
Computer (Journal)
Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Communication
Science of Computer Programming (Journal)
Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Communication
ID: 52787443