| 2024 | ISoLA | Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70 | Mirco Tribastone, Stefan Jhnichen, Martin Wirsing |
| 2024 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 5 | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen, Mirco Tribastone |
| 2022 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 4 | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen |
| 2020 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen |
| 2019 | GI | GI 50 - und wie geht es weiter? | Volker Claus, Stefan Jhnichen, Reinhard Wilhelm |
| 2018 | ISoLA | The Meaning of Adaptation: Mastering the Unforeseen? | Stefan Jhnichen, Rocco De Nicola, Martin Wirsing |
| 2018 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. | Rocco De Nicola, Stefan Jhnichen, Martin Wirsing |
| 2018 | ISoLA | Modelling the Transition to Distributed Ledgers. | Jan Srmeli, Stefan Jhnichen, Jeff W. Sanders |
| 2016 | GI | 2 | Nico Rdder, Stefan Zander, Natalja Kleiner, Suad Sejdovic, Stefan Jhnichen, Rudi Studer |
| 2016 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Track Introduction. | Stefan Jhnichen, Martin Wirsing |
| 2016 | ISoLA | Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. | Stefan Jhnichen, Martin Wirsing |
| 2016 | ISoLA | A Library and Scripting Language for Tool Independent Simulation Descriptions. | Alexandra Mehlhase, Stefan Jhnichen, Amir Czwink, Robert Heinrichs |
| 2015 | GI | Big Data, Smart Data and Semantic Technologies (BDSDST). | Natalja Kleiner, Suad Sejdovic, Stefan Zander, Thomas Setzer, Rudi Studer, Stefan Jhnichen |
| 2005 | CP | Modeling Constraint Programs with Software Technology Standards. | Matthias Hoche, Stefan Jhnichen |
| 2005 | CP | GOOSE - A Generic Object-Oriented Search Environment. | Henry Mller, Stefan Jhnichen |
| 1997 | ICSE | Specification of Software Controlling a Discrete-Continuous Environment. | Viktor Friesen, Stefan Jhnichen, Matthias Weber |
| 1994 | FM | An experimental support system for formal mathematical reasoning. | Matthias Anlauff, Stefan Jhnichen, Martin Simons |