default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefan Jähnichen
Person information
- affiliation: Technical University of Berlin, Department of Mathematics, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c34]Mirco Tribastone, Stefan Jähnichen, Martin Wirsing:
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday. ISoLA (1) 2024: 1-12- [c33]Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5rmth Track Edition. ISoLA (2) 2024: 1-12 - 2023
- [j11]Martin Wirsing, Stefan Jähnichen, Rocco De Nicola:
Rigorous engineering of collective adaptive systems - 2nd special section. Int. J. Softw. Tools Technol. Transf. 25(5): 617-624 (2023) - 2022
- [c32]Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition. ISoLA (3) 2022: 3-12 - 2020
- [j10]Rocco De Nicola
, Stefan Jähnichen, Martin Wirsing:
Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4): 389-397 (2020) - [c31]Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. ISoLA (2) 2020: 161-170
2010 – 2019
- 2019
- [c30]Volker Claus, Stefan Jähnichen, Reinhard Wilhelm:
GI 50 - und wie geht es weiter? GI-Jahrestagung 2019: 25 - 2018
- [j9]Jan Sürmeli, Stefan Jähnichen:
Know Your Customer Well - Selbstverwaltete, Authentische Digitale Identitäten. Wirtschaftsinformatik Manag. 10(5): 30-32 (2018) - [c29]Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. ISoLA (3) 2018: 3-12 - [c28]Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders:
Modelling the Transition to Distributed Ledgers. ISoLA (3) 2018: 48-62 - [c27]Stefan Jähnichen, Rocco De Nicola, Martin Wirsing:
The Meaning of Adaptation: Mastering the Unforeseen? ISoLA (3) 2018: 109-117 - [p2]Uwe Der, Stefan Jähnichen, Jan Sürmeli:
Selbstverwaltete digitale Identitäten - Chancen und Herausforderungen für die weltweite Digitalisierung. Digitalisierung im Spannungsfeld von Politik, Wirtschaft, Wissenschaft und Recht (2) 2018: 25-33 - 2017
- [j8]Jan Sürmeli, Uwe Der, Stefan Jähnichen, Andreas Vogelsang:
Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers. Inform. Spektrum 40(6): 595-601 (2017) - [i2]Uwe Der, Stefan Jähnichen, Jan Sürmeli:
Self-sovereign Identity - Opportunities and Challenges for the Digital Revolution. CoRR abs/1712.01767 (2017) - 2016
- [c26]Nico Rödder, Stefan Zander, Natalja Kleiner, Suad Sejdovic, Stefan Jähnichen, Rudi Studer:
2nd international workshop on big data, smart data and semantic technologies - BDSDST 2016. GI-Jahrestagung 2016: 311-312 - [c25]Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Track Introduction. ISoLA (1) 2016: 535-538 - [c24]Alexandra Mehlhase, Stefan Jähnichen, Amir Czwink, Robert Heinrichs:
A Library and Scripting Language for Tool Independent Simulation Descriptions. ISoLA (1) 2016: 622-638 - [c23]Stefan Jähnichen, Martin Wirsing:
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. ISoLA (1) 2016: 639-641 - 2015
- [c22]Alexander Lenk, Leif Bonorden, Astrid Hellmanns, Nico Rödder, Stefan Jähnichen:
Towards a taxonomy of standards in smart data. IEEE BigData 2015: 1749-1754 - [c21]Natalja Kleiner, Suad Sejdovic, Stefan Zander, Thomas Setzer, Rudi Studer, Stefan Jähnichen:
Big Data, Smart Data and Semantic Technologies (BDSDST). GI-Jahrestagung 2015: 1169-1170 - 2012
- [c20]Stefan Jähnichen:
Modelica - Modeling and simulation of technical systems. Automotive - Safety & Security 2012: 11 - [e7]Stefan Jähnichen, Axel Küpper, Sahin Albayrak:
Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. LNI P-198, GI 2012, ISBN 978-3-88579-292-5 [contents] - [e6]Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff:
Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. LNI P-199, GI 2012, ISBN 978-3-88579-293-2 [contents] - 2011
- [j7]Wolfgang Pohl, Gerhard Röhner, Jürgen Poloczek, Alexander Hug, Stefan Jähnichen:
Berichte. LOG IN 31(1): 4-25 (2011) - [c19]Stefan Jähnichen:
Zehn Gründe Informatik zu studieren - Voraussetzungen, Motivation und Vorbereitung in der Schule. INFOS 2011: 13-14 - [e5]Ralf H. Reussner, Alexander Pretschner, Stefan Jähnichen:
Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe. LNI P-184, GI 2011, ISBN 978-3-88579-278-9 [contents]
2000 – 2009
- 2008
- [j6]Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter:
Manifest: Strategische Bedeutung des Software Engineering für die Medizin. Inform. Forsch. Entwickl. 22(3): 127-135 (2008) - [j5]Stefan Jähnichen:
Editorial. Inform. Spektrum 31(2): 113 (2008) - [c18]Stefan Jähnichen, Klaus Brieß, Rodger Burmeister:
Flying Sensors - Swarms in Space. SJTU-TUB Joint Workshop 2008: 71-77 - 2007
- [c17]Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter:
Strategische Bedeutung des Software Engineering für die Medizin. Software Engineering 2007: 25-27 - 2005
- [c16]Matthias Hoche, Stefan Jähnichen:
Modeling Constraint Programs with Software Technology Standards. CP 2005: 850 - [c15]Henry Müller, Stefan Jähnichen:
GOOSE - A Generic Object-Oriented Search Environment. CP 2005: 863 - [c14]Stefan Jähnichen:
Modellierung gemischt kontinuierlich-diskreter Systeme. Software Engineering 2005: 17- - [i1]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:
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 2005 - 2004
- [j4]Theo Härder, Stefan Jähnichen:
Editorial. Inform. Forsch. Entwickl. 18(3-4): 103-104 (2004) - 2003
- [e4]Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao:
Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings. Lecture Notes in Computer Science 2834, Springer 2003, ISBN 3-540-20054-1 [contents] - 2002
- [j3]Stefan Jähnichen, Stephan Herrmann:
Was, bitte, bedeutet Objektorientierung? Inform. Spektrum 25(4): 266-276 (2002)
1990 – 1999
- 1999
- [c13]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:
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. German-Argentinian Workshop on Information Technology 1999: 23-30 - [e3]Stefan Jähnichen:
Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings. Lecture Notes in Computer Science 1575, Springer 1999, ISBN 3-540-65717-7 [contents] - [e2]Stefan Jähnichen, Irene Loiseau:
German-Argentinian Workshop on Information Technology, Königswinter, Germany, March 3-5, 1999. International Bureau of the BMBF, North and South America, Bonn, 1999. 1999 [contents] - 1997
- [j2]Manfred Broy, Stefan Jähnichen:
KORSO - Korrekte Software durch formale Methoden. Inform. Forsch. Entwickl. 12(3): 157-160 (1997) - [j1]Stefan Jähnichen, Matthias Weber:
Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme. Informationstechnik Tech. Inform. 39(3): 7-14 (1997) - [c12]K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, Wolf Pfannenstiel, Martin Simons:
Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. APDC 1997: 66-73 - [c11]Viktor Friesen, Stefan Jähnichen, Matthias Weber:
Specification of Software Controlling a Discrete-Continuous Environment. ICSE 1997: 315-325 - [c10]Maritta Heisel, Stefan Jähnichen:
A Two-Layered Approach to Support Systematic Software Development. Requirements Targeting Software and Systems Engineering 1997: 179-202 - 1995
- [p1]Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer:
Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238 - [e1]Manfred Broy, Stefan Jähnichen:
KORSO - Methods, Languages, and Tools for the Construction of Correct Software. Lecture Notes in Computer Science 1009, Springer 1995, ISBN 3-540-60589-4 [contents] - 1994
- [c9]Matthias Anlauff, Stefan Jähnichen, Martin Simons:
An experimental support system for formal mathematical reasoning. FME 1994: 421-440 - 1993
- [c8]Boris Groth, Stefan Jähnichen, Wilfried Koch:
Software und Softwaretechnik. Perspektiven der Informatik 1993: 76-83 - [c7]Herbert G. Mayer, Stefan Jähnichen:
The Data-Parallel Ada Run-Time System, Simulation and Empirical Results. IPPS 1993: 621-627
1980 – 1989
- 1989
- [c6]Robert Gabriel, Stefan Jähnichen:
The ToolUse Approach to Integration. SEE 1989: 167-178 - 1986
- [c5]Stefan Jähnichen, Clemens Kordecki:
Object-Oriented Synchronization in Distributed Multi-Processor Systems. ARCS 1986: 208-221 - [c4]Stefan Jähnichen, Fatima Ali Hussain, Matthias Weber:
Program Development by Transforamtion and Refinement. Advanced Programming Environments 1986: 471-486 - 1985
- [c3]Stefan Jähnichen, Gerhard Goos:
Towards an alternative model for software development. ISPW 1985: 66-70 - 1984
- [c2]Stefan Jähnichen, Karl Kleine, Guido Persch:
Aspekte der Konstruktion robuster Software. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 39-50
1970 – 1979
- 1979
- [b2]Günter Hommel, Joachim Jäckel, Stefan Jähnichen, Karl Kleine, Wilfried Koch:
ELAN-Sprachbeschreibung. Studien-Texte Informatik, Akademische Verlagsgesellschaft 1979, ISBN 978-3-400-00384-0, pp. I-V, 1-95 - [b1]Stefan Jähnichen:
"Exception Handling" in sequentiellen Programmen. Technical University of Berlin, Germany, 1979, pp. 1-154 - 1976
- [c1]Günter Hommel, Stefan Jähnichen, Wilfried Koch:
SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung. Fachtagung über Programmiersprachen 1976: 101-110
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
