Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. iFM & ABZ 2012

    Stefan Hallerstede (Organizer)

    2012

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  2. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Reviewer)

    2020

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  3. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Editor)

    May 2017

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  4. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Editor)

    2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  5. Software Tools for Technology Transfer (Journal)

    Stefan Hallerstede (Reviewer)

    2015

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  6. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2013

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  7. Science of Computer Programming (Journal)

    Stefan Hallerstede (Editor)

    Mar 2017

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  8. Science of Computer Programming (Journal)

    Stefan Hallerstede (Editor)

    Apr 2017

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  9. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2015

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  10. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2016

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  11. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2019

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsCommunication

  12. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  13. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2010

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  14. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2012

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  15. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2013

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  16. Rodin User & Developer Workshop Proceedings (Journal)

    Stefan Hallerstede (Editor)

    27 Feb 201228 Feb 2100

    Activity: Publication peer-review and editorial work typesEditor of Research journalResearch

  17. Rodin User & Developer Workshop 2012

    Stefan Hallerstede (Organizer)

    27 Feb 201229 Feb 2012

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  18. Proceedings of the 4th Rodin user and developer workshop. TUCS Lecture Notes No. 18 (Journal)

    Stefan Hallerstede (Editor)

    Jun 2013

    Activity: Publication peer-review and editorial work typesEditor of Research journalResearch

  19. Journal of Systems and Software (Journal)

    Stefan Hallerstede (Reviewer)

    2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  20. Journal of Automated Reasoning (Journal)

    Stefan Hallerstede (Reviewer)

    Jun 2013

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  21. International Journal on Software Tools for Technology Transfer (Journal)

    Stefan Hallerstede (Reviewer)

    Aug 2015

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  22. Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Journal)

    Stefan Hallerstede (Reviewer)

    Sep 2013

    Activity: Publication peer-review and editorial work typesEditor of Research journalResearch

  23. Integration of Tools for Rigorous Software Construction and Analysis

    Stefan Hallerstede (Organizer)

    2013

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  24. Information and Software Technology (Journal)

    Stefan Hallerstede (Reviewer)

    2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  25. Information and Software Technology (Journal)

    Stefan Hallerstede (Editor)

    2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  26. IFM 2009

    Stefan Hallerstede (Organizer)

    2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  27. IEEE Transactions on Software Engineering (Journal)

    Stefan Hallerstede (Reviewer)

    Jan 2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  28. ICTAC 2007

    Stefan Hallerstede (Organizer)

    2007

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  29. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    2013

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  30. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    May 2014

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  31. FMCO 2010

    Stefan Hallerstede (Organizer)

    2010

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  32. FMCO 2009

    Stefan Hallerstede (Organizer)

    2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  33. FDL 2004

    Stefan Hallerstede (Participant)

    2004

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  34. FDL 2003

    Stefan Hallerstede (Organizer)

    2003

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  35. Acta Informatica (Journal)

    Stefan Hallerstede (Reviewer)

    Feb 2015

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  36. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  37. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  38. 5th Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    Jun 2014

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  39. 5th Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2014

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference