Stefan Jähnichen

According to our database, Stefan Jähnichen authored at least 49 papers between 1976 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Rigorous engineering of collective adaptive systems - 2nd special section.

Martin Wirsing, Stefan Jähnichen, Rocco De Nicola

Int. J. Softw. Tools Technol. Transf., December, 2023

2022

Rigorous Engineering of Collective Adaptive Systems Introduction to the 4^th Track Edition.

Martin Wirsing, Rocco De Nicola, Stefan Jähnichen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2020

Rigorous engineering of collective adaptive systems: special section.

Rocco De Nicola, Stefan Jähnichen, Martin Wirsing

Int. J. Softw. Tools Technol. Transf., 2020

Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition.

Martin Wirsing, Rocco De Nicola, Stefan Jähnichen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

GI 50 - und wie geht es weiter?

Volker Claus, Stefan Jähnichen, Reinhard Wilhelm

Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik, 2019

2018

Know Your Customer Well - Selbstverwaltete, Authentische Digitale Identitäten.

Jan Sürmeli, Stefan Jähnichen

Wirtschaftsinformatik Manag., 2018

Modelling the Transition to Distributed Ledgers.

Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition.

Rocco De Nicola, Stefan Jähnichen, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

The Meaning of Adaptation: Mastering the Unforeseen?

Stefan Jähnichen, Rocco De Nicola, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Selbstverwaltete digitale Identitäten - Chancen und Herausforderungen für die weltweite Digitalisierung.

Uwe Der, Stefan Jähnichen, Jan Sürmeli

Proceedings of the Digitalisierung im Spannungsfeld von Politik, 2018

2017

Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers.

Jan Sürmeli, Uwe Der, Stefan Jähnichen, Andreas Vogelsang

Inform. Spektrum, 2017

Self-sovereign Identity - Opportunities and Challenges for the Digital Revolution.

Uwe Der, Stefan Jähnichen, Jan Sürmeli

CoRR, 2017

2016

A Library and Scripting Language for Tool Independent Simulation Descriptions.

Alexandra Mehlhase, Stefan Jähnichen, Amir Czwink, Robert Heinrichs

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction.

Stefan Jähnichen, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Rigorous Engineering of Collective Adaptive Systems Track Introduction.

Stefan Jähnichen, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2^nd international workshop on big data, smart data and semantic technologies - BDSDST 2016.

Nico Rödder, Stefan Zander, Natalja Kleiner, Suad Sejdovic, Stefan Jähnichen, Rudi Studer

Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

2015

Big Data, Smart Data and Semantic Technologies (BDSDST).

Natalja Kleiner, Suad Sejdovic, Stefan Zander, Thomas Setzer, Rudi Studer, Stefan Jähnichen

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

Towards a taxonomy of standards in smart data.

Alexander Lenk, Leif Bonorden, Astrid Hellmanns, Nico Rödder, Stefan Jähnichen

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

2012

Modelica - Modeling and simulation of technical systems.

Stefan Jähnichen

Proceedings of the Automotive, 2012

2011

Berichte.

Wolfgang Pohl, Gerhard Röhner, Jürgen Poloczek, Alexander Hug, Stefan Jähnichen

LOG IN, 2011

Zehn Gründe Informatik zu studieren - Voraussetzungen, Motivation und Vorbereitung in der Schule.

Stefan Jähnichen

Proceedings of the Informatik in Bildung und Beruf - 14. GI-Fachtagung "Informatik und Schule, 2011

2008

Editorial.

Stefan Jähnichen

Inform. Spektrum, 2008

Manifest: Strategische Bedeutung des Software Engineering für die Medizin.

Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter

Inform. Forsch. Entwickl., 2008

Flying Sensors - Swarms in Space.

Stefan Jähnichen, Klaus Brieß, Rodger Burmeister

Proceedings of the Autonomous Systems, 2008

2007

Strategische Bedeutung des Software Engineering für die Medizin.

Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter

Proceedings of the Software Engineering 2007, 2007

2005

Modellierung gemischt kontinuierlich-diskreter Systeme.

Stefan Jähnichen

Proceedings of the Software Engineering 2005, 2005

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

GOOSE - A Generic Object-Oriented Search Environment.

Henry Müller, Stefan Jähnichen

Proceedings of the Principles and Practice of Constraint Programming, 2005

Modeling Constraint Programs with Software Technology Standards.

Matthias Hoche, Stefan Jähnichen

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Editorial.

Theo Härder, Stefan Jähnichen

Inform. Forsch. Entwickl., 2004

2002

Was, bitte, bedeutet Objektorientierung?

Stefan Jähnichen, Stephan Herrmann

Inform. Spektrum, 2002

1999

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.

Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1997

Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme.

Stefan Jähnichen, Matthias Weber

Informationstechnik Tech. Inform., 1997

KORSO - Korrekte Software durch formale Methoden.

Manfred Broy, Stefan Jähnichen

Inform. Forsch. Entwickl., 1997

A Two-Layered Approach to Support Systematic Software Development.

Maritta Heisel, Stefan Jähnichen

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Specification of Software Controlling a Discrete-Continuous Environment.

Viktor Friesen, Stefan Jähnichen, Matthias Weber

Proceedings of the Pulling Together, 1997

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism.

K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, Wolf Pfannenstiel, Martin Simons

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1995

Formalization of Algebraic Specification in the Development Language DEVA.

Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer

Proceedings of the KORSO, 1995

1994

An experimental support system for formal mathematical reasoning.

Matthias Anlauff, Stefan Jähnichen, Martin Simons

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

The Data-Parallel Ada Run-Time System, Simulation and Empirical Results.

Herbert G. Mayer, Stefan Jähnichen

Proceedings of the Seventh International Parallel Processing Symposium, 1993

Software und Softwaretechnik.

Boris Groth, Stefan Jähnichen, Wilfried Koch

Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

1989

The ToolUse Approach to Integration.

Robert Gabriel, Stefan Jähnichen

Proceedings of the Software Engineering Environments, 1989

1986

Program Development by Transforamtion and Refinement.

Stefan Jähnichen, Fatima Ali Hussain, Matthias Weber

Proceedings of the Advanced Programming Environments, 1986

Object-Oriented Synchronization in Distributed Multi-Processor Systems.

Stefan Jähnichen, Clemens Kordecki

Proceedings of the Architektur von Rechensystemen, 1986

1985

Towards an alternative model for software development.

Stefan Jähnichen, Gerhard Goos

Proceedings of an International Workshop on the Software Process and Software Environments, 1985

1984

Aspekte der Konstruktion robuster Software.

Stefan Jähnichen, Karl Kleine, Guido Persch

Proceedings of the Software-Fehlertoleranz und -Zuverlässigkeit, 1984

1979

"Exception Handling" in sequentiellen Programmen.

Stefan Jähnichen

PhD thesis, 1979

ELAN-Sprachbeschreibung.

Günter Hommel, Joachim Jäckel, Stefan Jähnichen, Karl Kleine, Wilfried Koch

Studien-Texte Informatik, Akademische Verlagsgesellschaft, ISBN: 978-3-400-00384-0, 1979

1976

SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung.

Günter Hommel, Stefan Jähnichen, Wilfried Koch

Proceedings of the Programmiersprachen, 1976