Stefan Jähnichen

According to our database1, Stefan Jähnichen authored at least 41 papers between 1976 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Know Your Customer Well - Selbstverwaltete, Authentische Digitale Identitäten.
Wirtschaftsinformatik & Management, 2018

Modelling the Transition to Distributed Ledgers.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

The Meaning of Adaptation: Mastering the Unforeseen?
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.
Proceedings of the Digitalisierung im Spannungsfeld von Politik, 2018

2017
Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers.
Informatik Spektrum, 2017

2016
A Library and Scripting Language for Tool Independent Simulation Descriptions.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Rigorous Engineering of Collective Adaptive Systems Track Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2nd international workshop on big data, smart data and semantic technologies - BDSDST 2016.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

2015
Big Data, Smart Data and Semantic Technologies (BDSDST).
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September, 2015

Towards a taxonomy of standards in smart data.
Proceedings of the 2015 IEEE International Conference on Big Data, 2015

2012
Modelica - Modeling and simulation of technical systems.
Proceedings of the Automotive, 2012

2011
Zehn Gründe Informatik zu studieren - Voraussetzungen, Motivation und Vorbereitung in der Schule.
Proceedings of the Informatik in Bildung und Beruf - 14. GI-Fachtagung "Informatik und Schule, 2011

2008
Editorial.
Informatik Spektrum, 2008

Manifest: Strategische Bedeutung des Software Engineering für die Medizin.
Inform., Forsch. Entwickl., 2008

2007
Strategische Bedeutung des Software Engineering für die Medizin.
Proceedings of the Software Engineering 2007, 2007

2005
Modellierung gemischt kontinuierlich-diskreter Systeme.
Proceedings of the Software Engineering 2005, 2005


GOOSE - A Generic Object-Oriented Search Environment.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Modeling Constraint Programs with Software Technology Standards.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Editorial.
Inform., Forsch. Entwickl., 2004

2002
Was, bitte, bedeutet Objektorientierung?
Informatik Spektrum, 2002

1999
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1997
Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme.
it+ti - Informationstechnik und Technische Informatik, 1997

KORSO - Korrekte Software durch formale Methoden.
Inform., Forsch. Entwickl., 1997

A Two-Layered Approach to Support Systematic Software Development.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Specification of Software Controlling a Discrete-Continuous Environment.
Proceedings of the Pulling Together, 1997

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism.
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1995
Formalization of Algebraic Specification in the Development Language DEVA.
Proceedings of the KORSO, 1995

1994
An experimental support system for formal mathematical reasoning.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993
The Data-Parallel Ada Run-Time System, Simulation and Empirical Results.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

Software und Softwaretechnik.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

1989
The ToolUse Approach to Integration.
Proceedings of the Software Engineering Environments, 1989

1986
Program Development by Transforamtion and Refinement.
Proceedings of the Advanced Programming Environments, 1986

Object-Oriented Synchronization in Distributed Multi-Processor Systems.
Proceedings of the Architektur von Rechensystemen, 1986

1985
Towards an alternative model for software development.
Proceedings of an International Workshop on the Software Process and Software Environments, 1985

1984
Aspekte der Konstruktion robuster Software.
Proceedings of the Software-Fehlertoleranz und -Zuverlässigkeit, 1984

1979
"Exception Handling" in sequentiellen Programmen.
PhD thesis, 1979

ELAN-Sprachbeschreibung.
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.
Proceedings of the Programmiersprachen, 1976


  Loading...