-
Uddannelse
Find uddannelse
Studievejledning
Kvalitet
- Forskning
-
Samarbejde
Virksomheder
Kommuner og regioner
Gymnasier
Myndigheder
-
Om AU
Organisation
Kontakt
Om AU
- Organisation
- Ledelse
- Strategi
- AU i tal
- AU's historie
- Internationalt samarbejde
- Bæredygtighed
- Campus 2.0
- Diversitet og ligestilling
- Ledige stillinger
- Presse
- Kontakt
Stefan Hallerstede
Lektor
Institut for Elektro- og Computerteknologi - Software Engineering & Computing systems
Helsingforsgade 10
bygning 5123, 411
8200 Aarhus N
Danmark
Fastnet: +4541893345
Profil
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.
- Udgivet
Towards Secure Digital Twins
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
- Udgivet
On the Design of a New Software Engineering Curriculum in Computer Engineering
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
- Udgivet
A Non-unified View of Modelling, Specification and Programming
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
INtegrated TOol chain for model-based design of CPSs
Projekter: Projekt › Forskning
Integrated Tool Chain for Model-based Design of Cyber-Physical Systems
Projekter: Projekt › Forskning
Comprehensive Modelling for Advanced Systems of Systems
Projekter: Projekt › Forskning
Science of Computer Programming (Tidsskrift)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Formidling
Computer (Tidsskrift)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Formidling
Science of Computer Programming (Tidsskrift)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Formidling
ID: 52787443