About the department
Stefan Hallerstede
- 2020
Software and Systems Modeling (Journal)
Stefan Hallerstede (Reviewer)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
- 2019
Science of Computer Programming (Journal)
Stefan Hallerstede (Reviewer)
2019Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Communication
- 2018
Certificate for Contributions as a Reviewer for the Journal of Software and Systems Modeling
Stefan Hallerstede (Participant)
4 Mar 2018Activity: Other activity types › Other
Information and Software Technology (Journal)
Stefan Hallerstede (Editor)
2018Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Information and Software Technology (Journal)
Stefan Hallerstede (Reviewer)
2018Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Journal of Systems and Software (Journal)
Stefan Hallerstede (Reviewer)
2018Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Software and Systems Modeling (Journal)
Stefan Hallerstede (Editor)
2018Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
- 2017
Software and Systems Modeling (Journal)
Stefan Hallerstede (Editor)
May 2017Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Science of Computer Programming (Journal)
Stefan Hallerstede (Editor)
Apr 2017Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Science of Computer Programming (Journal)
Stefan Hallerstede (Editor)
Mar 2017Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
- 2016
Science of Computer Programming (Journal)
Stefan Hallerstede (Reviewer)
2016Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
- 2015
International Journal on Software Tools for Technology Transfer (Journal)
Stefan Hallerstede (Reviewer)
Aug 2015Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Acta Informatica (Journal)
Stefan Hallerstede (Reviewer)
Feb 2015Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Science of Computer Programming (Journal)
Stefan Hallerstede (Reviewer)
2015Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Software Tools for Technology Transfer (Journal)
Stefan Hallerstede (Reviewer)
2015Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
- 2014
5th Rodin User and Developer Workshop
Stefan Hallerstede (Organizer)
Jun 2014Activity: Participating in or organising an event types › Participation in or organisation af a conference
Formal Aspects of Computing (Journal)
Stefan Hallerstede (Reviewer)
May 2014Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
IEEE Transactions on Software Engineering (Journal)
Stefan Hallerstede (Reviewer)
Jan 2014Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
5th Rodin User and Developer Workshop
Stefan Hallerstede (Organizer)
2014Activity: Participating in or organising an event types › Participation in or organisation af a conference
ABZ 2014
Stefan Hallerstede (Organizer)
2014Activity: Participating in or organising an event types › Participation in or organisation af a conference
ABZ 2014
Stefan Hallerstede (Organizer)
2014Activity: Participating in or organising an event types › Participation in or organisation af a conference
- 2013
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Journal)
Stefan Hallerstede (Reviewer)
Sep 2013Activity: Publication peer-review and editorial work types › Editor of Research journal › Research
Journal of Automated Reasoning (Journal)
Stefan Hallerstede (Reviewer)
Jun 2013Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Proceedings of the 4th Rodin user and developer workshop. TUCS Lecture Notes No. 18 (Journal)
Stefan Hallerstede (Editor)
Jun 2013Activity: Publication peer-review and editorial work types › Editor of Research journal › Research
Formal Aspects of Computing (Journal)
Stefan Hallerstede (Reviewer)
2013Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Integration of Tools for Rigorous Software Construction and Analysis
Stefan Hallerstede (Organizer)
2013Activity: Participating in or organising an event types › Participation in or organisation af a conference
Rodin User and Developer Workshop
Stefan Hallerstede (Organizer)
2013Activity: Participating in or organising an event types › Participation in or organisation af a conference
Science of Computer Programming (Journal)
Stefan Hallerstede (Reviewer)
2013Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
- 2012
Rodin User & Developer Workshop 2012
Stefan Hallerstede (Organizer)
27 Feb 2012 → 29 Feb 2012Activity: Participating in or organising an event types › Participation in or organisation af a conference
Rodin User & Developer Workshop Proceedings (Journal)
Stefan Hallerstede (Editor)
27 Feb 2012 → 28 Feb 2100Activity: Publication peer-review and editorial work types › Editor of Research journal › Research
Rodin User and Developer Workshop
Stefan Hallerstede (Organizer)
2012Activity: Participating in or organising an event types › Participation in or organisation af a conference
iFM & ABZ 2012
Stefan Hallerstede (Organizer)
2012Activity: Participating in or organising an event types › Participation in or organisation af a conference
- 2010
FMCO 2010
Stefan Hallerstede (Organizer)
2010Activity: Participating in or organising an event types › Participation in or organisation af a conference
Rodin User and Developer Workshop
Stefan Hallerstede (Organizer)
2010Activity: Participating in or organising an event types › Participation in or organisation af a conference
- 2009
FMCO 2009
Stefan Hallerstede (Organizer)
2009Activity: Participating in or organising an event types › Participation in or organisation af a conference
IFM 2009
Stefan Hallerstede (Organizer)
2009Activity: Participating in or organising an event types › Participation in or organisation af a conference
Rodin User and Developer Workshop
Stefan Hallerstede (Organizer)
2009Activity: Participating in or organising an event types › Participation in or organisation af a conference
- 2007
ICTAC 2007
Stefan Hallerstede (Organizer)
2007Activity: Participating in or organising an event types › Participation in or organisation af a conference
- 2004
FDL 2004
Stefan Hallerstede (Participant)
2004Activity: Participating in or organising an event types › Participation in or organisation af a conference
- 2003
FDL 2003
Stefan Hallerstede (Organizer)
2003Activity: Participating in or organising an event types › Participation in or organisation af a conference