Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. 2020
  2. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Reviewer)

    2020

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

  3. 2019
  4. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2019

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

  5. 2018
  6. Information and Software Technology (Journal)

    Stefan Hallerstede (Editor)

    2018

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

  7. Information and Software Technology (Journal)

    Stefan Hallerstede (Reviewer)

    2018

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

  8. Journal of Systems and Software (Journal)

    Stefan Hallerstede (Reviewer)

    2018

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

  9. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Editor)

    2018

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

  10. 2017
  11. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Editor)

    May 2017

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

  12. Science of Computer Programming (Journal)

    Stefan Hallerstede (Editor)

    Apr 2017

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

  13. Science of Computer Programming (Journal)

    Stefan Hallerstede (Editor)

    Mar 2017

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

  14. 2016
  15. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2016

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

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

  18. Acta Informatica (Journal)

    Stefan Hallerstede (Reviewer)

    Feb 2015

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

  19. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2015

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

  20. Software Tools for Technology Transfer (Journal)

    Stefan Hallerstede (Reviewer)

    2015

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

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

  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. 5th Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2014

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

  26. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

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

  27. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

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

  28. 2013
  29. 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

  30. Journal of Automated Reasoning (Journal)

    Stefan Hallerstede (Reviewer)

    Jun 2013

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

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

  32. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    2013

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

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

  34. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2013

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

  35. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2013

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

  36. 2012
  37. 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

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

  39. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2012

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

  40. iFM & ABZ 2012

    Stefan Hallerstede (Organizer)

    2012

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

  41. 2010
  42. FMCO 2010

    Stefan Hallerstede (Organizer)

    2010

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

  43. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2010

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

  44. 2009
  45. FMCO 2009

    Stefan Hallerstede (Organizer)

    2009

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

  46. IFM 2009

    Stefan Hallerstede (Organizer)

    2009

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

  47. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2009

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

  48. 2007
  49. ICTAC 2007

    Stefan Hallerstede (Organizer)

    2007

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

  50. 2004
  51. FDL 2004

    Stefan Hallerstede (Participant)

    2004

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

  52. 2003
  53. FDL 2003

    Stefan Hallerstede (Organizer)

    2003

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