Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. Other
  2. Participation in or organisation af a conference
  3. 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

  4. 5th Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2014

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

  5. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

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

  6. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

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

  7. FDL 2003

    Stefan Hallerstede (Organizer)

    2003

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

  8. FDL 2004

    Stefan Hallerstede (Participant)

    2004

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

  9. FMCO 2009

    Stefan Hallerstede (Organizer)

    2009

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

  10. FMCO 2010

    Stefan Hallerstede (Organizer)

    2010

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

  11. ICTAC 2007

    Stefan Hallerstede (Organizer)

    2007

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

  12. IFM 2009

    Stefan Hallerstede (Organizer)

    2009

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

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

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

  15. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2010

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

  16. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2012

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

  17. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2013

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

  18. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2009

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

  19. iFM & ABZ 2012

    Stefan Hallerstede (Organizer)

    2012

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

  20. Peer review of manuscripts
  21. Acta Informatica (Journal)

    Stefan Hallerstede (Reviewer)

    Feb 2015

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

  22. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    2013

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

  23. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    May 2014

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

  24. IEEE Transactions on Software Engineering (Journal)

    Stefan Hallerstede (Reviewer)

    Jan 2014

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

  25. Information and Software Technology (Journal)

    Stefan Hallerstede (Reviewer)

    2018

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

  26. Information and Software Technology (Journal)

    Stefan Hallerstede (Editor)

    2018

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

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

  28. Journal of Automated Reasoning (Journal)

    Stefan Hallerstede (Reviewer)

    Jun 2013

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

  29. Journal of Systems and Software (Journal)

    Stefan Hallerstede (Reviewer)

    2018

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

  30. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2016

    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)

    2013

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

  33. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2015

    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. Science of Computer Programming (Journal)

    Stefan Hallerstede (Editor)

    Mar 2017

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

  36. Software Tools for Technology Transfer (Journal)

    Stefan Hallerstede (Reviewer)

    2015

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

  37. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Reviewer)

    2020

    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. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Editor)

    May 2017

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

  40. Editor of Research journal
  41. 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

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

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