Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. 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

  2. 5th Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2014

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

  3. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

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

  4. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

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

  5. Acta Informatica (Journal)

    Stefan Hallerstede (Reviewer)

    Feb 2015

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

  6. FDL 2003

    Stefan Hallerstede (Organizer)

    2003

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

  7. FDL 2004

    Stefan Hallerstede (Participant)

    2004

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

  8. FMCO 2009

    Stefan Hallerstede (Organizer)

    2009

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

  9. FMCO 2010

    Stefan Hallerstede (Organizer)

    2010

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

  10. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    2013

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

  11. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    May 2014

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

  12. ICTAC 2007

    Stefan Hallerstede (Organizer)

    2007

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

  13. IEEE Transactions on Software Engineering (Journal)

    Stefan Hallerstede (Reviewer)

    Jan 2014

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

  14. IFM 2009

    Stefan Hallerstede (Organizer)

    2009

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

  15. Information and Software Technology (Journal)

    Stefan Hallerstede (Reviewer)

    2018

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

  16. Information and Software Technology (Journal)

    Stefan Hallerstede (Editor)

    2018

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

  17. 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

  18. 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

  19. 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

  20. Journal of Automated Reasoning (Journal)

    Stefan Hallerstede (Reviewer)

    Jun 2013

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

  21. Journal of Systems and Software (Journal)

    Stefan Hallerstede (Reviewer)

    2018

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

  22. 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

  23. 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

  24. 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

  25. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2009

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

  26. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2010

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

  27. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2012

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

  28. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2013

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

  29. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2013

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

  30. Science of Computer Programming (Journal)

    Stefan Hallerstede (Editor)

    Mar 2017

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

  31. Science of Computer Programming (Journal)

    Stefan Hallerstede (Editor)

    Apr 2017

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

  32. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2015

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

  33. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2016

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

  34. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2019

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

  35. Software Tools for Technology Transfer (Journal)

    Stefan Hallerstede (Reviewer)

    2015

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

  36. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Reviewer)

    2020

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

  37. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Editor)

    May 2017

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

  38. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Editor)

    2018

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

  39. iFM & ABZ 2012

    Stefan Hallerstede (Organizer)

    2012

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