Stefan Jähnichen

59 papers A* 1A 2B 1C 5Journal 13Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Rigorous engineering of collective adaptive systems - 3rd special section: part I. Int. J. Softw. Tools Technol. Transf. Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
2024	—	`conf`	Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70 ISoLA (1) Mirco Tribastone, Stefan Jähnichen, Martin Wirsing
2024	—	`conf`	Rigorous Engineering of Collective Adaptive Systems Introduction to the 5 ISoLA (2) Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
2023	J	`jnl`	Rigorous engineering of collective adaptive systems - 2nd special section. Int. J. Softw. Tools Technol. Transf. Martin Wirsing, Stefan Jähnichen, Rocco De Nicola
2022	—	`conf`	Rigorous Engineering of Collective Adaptive Systems Introduction to the 4 ISoLA (3) Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
2020	—	`conf`	Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. ISoLA (2) Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
2020	J	`jnl`	Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
2019	—	`conf`	GI 50 - und wie geht es weiter? GI-Jahrestagung Volker Claus, Stefan Jähnichen, Reinhard Wilhelm
2018	J	`jnl`	Know Your Customer Well - Selbstverwaltete, Authentische Digitale Identitäten. Wirtschaftsinformatik Manag. Jan Sürmeli, Stefan Jähnichen
2018	—	`conf`	Modelling the Transition to Distributed Ledgers. ISoLA (3) Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders
2018	—	`conf`	Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. ISoLA (3) Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
2018	—	`ch.`	Selbstverwaltete digitale Identitäten - Chancen und Herausforderungen für die weltweite Digitalisierung. Digitalisierung im Spannungsfeld von Politik, Wirtschaft, Wissenschaft und Recht (2) Uwe Der, Stefan Jähnichen, Jan Sürmeli
2018	—	`conf`	The Meaning of Adaptation: Mastering the Unforeseen? ISoLA (3) Stefan Jähnichen, Rocco De Nicola, Martin Wirsing
2017	J	`jnl`	Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers. Inform. Spektrum Jan Sürmeli, Uwe Der, Stefan Jähnichen, Andreas Vogelsang
2017	J	`jnl`	Self-sovereign Identity - Opportunities and Challenges for the Digital Revolution. CoRR Uwe Der, Stefan Jähnichen, Jan Sürmeli
2016	—	`conf`	2 GI-Jahrestagung Nico Rödder, Stefan Zander, Natalja Kleiner, Suad Sejdovic, Stefan Jähnichen, Rudi Studer
2016	—	`conf`	A Library and Scripting Language for Tool Independent Simulation Descriptions. ISoLA (1) Alexandra Mehlhase, Stefan Jähnichen, Amir Czwink, Robert Heinrichs
2016	—	`conf`	Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. ISoLA (1) Stefan Jähnichen, Martin Wirsing
2016	—	`conf`	Rigorous Engineering of Collective Adaptive Systems Track Introduction. ISoLA (1) Stefan Jähnichen, Martin Wirsing
2015	—	`conf`	Big Data, Smart Data and Semantic Technologies (BDSDST). GI-Jahrestagung Natalja Kleiner, Suad Sejdovic, Stefan Zander, Thomas Setzer, Rudi Studer, Stefan Jähnichen
2015	—	`conf`	Towards a taxonomy of standards in smart data. IEEE BigData Alexander Lenk, Leif Bonorden, Astrid Hellmanns, Nico Rödder, Stefan Jähnichen
2012	—	`conf`	Modelica - Modeling and simulation of technical systems. Automotive - Safety & Security Stefan Jähnichen
2012	C	`ed.`	Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin Software Engineering (Workshops) Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff
2012	C	`ed.`	Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin Software Engineering Stefan Jähnichen, Axel Küpper, Sahin Albayrak
2011	J	`jnl`	Berichte. LOG IN Wolfgang Pohl, Gerhard Röhner, Jürgen Poloczek, Alexander Hug, Stefan Jähnichen
2011	C	`ed.`	Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe Software Engineering (Workshops) Ralf H. Reussner, Alexander Pretschner, Stefan Jähnichen
2011	—	`conf`	Zehn Gründe Informatik zu studieren - Voraussetzungen, Motivation und Vorbereitung in der Schule. INFOS Stefan Jähnichen
2008	J	`jnl`	Editorial. Inform. Spektrum Stefan Jähnichen
2008	—	`conf`	Flying Sensors - Swarms in Space. SJTU-TUB Joint Workshop Stefan Jähnichen, Klaus Brieß, Rodger Burmeister
2008	J	`jnl`	Manifest: Strategische Bedeutung des Software Engineering für die Medizin. Inform. Forsch. Entwickl. Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter
2007	C	`conf`	Strategische Bedeutung des Software Engineering für die Medizin. Software Engineering Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter
2005	—	`conf`	Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 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
2005	A	`conf`	GOOSE - A Generic Object-Oriented Search Environment. CP Henry Müller, Stefan Jähnichen
2005	A	`conf`	Modeling Constraint Programs with Software Technology Standards. CP Matthias Hoche, Stefan Jähnichen
2005	C	`conf`	Modellierung gemischt kontinuierlich-diskreter Systeme. Software Engineering Stefan Jähnichen
2004	J	`jnl`	Editorial. Inform. Forsch. Entwickl. Theo Härder, Stefan Jähnichen
2003	—	`ed.`	Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings APPT Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao
2002	J	`jnl`	Was, bitte, bedeutet Objektorientierung? Inform. Spektrum Stefan Jähnichen, Stephan Herrmann
1999	B	`ed.`	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 CC Stefan Jähnichen
1999	—	`ed.`	German-Argentinian Workshop on Information Technology, Königswinter, Germany, March 3-5, 1999. International Bureau of the BMBF, North and South America, Bonn, 1999 GAIT Stefan Jähnichen, Irene Loiseau
1999	—	`conf`	Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. German-Argentinian Workshop on Information Technology 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
1997	—	`conf`	A Two-Layered Approach to Support Systematic Software Development. Requirements Targeting Software and Systems Engineering Maritta Heisel, Stefan Jähnichen
1997	—	`conf`	Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. APDC K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, Wolf Pfannenstiel, Martin Simons
1997	J	`jnl`	Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme. Informationstechnik Tech. Inform. Stefan Jähnichen, Matthias Weber
1997	J	`jnl`	KORSO - Korrekte Software durch formale Methoden. Inform. Forsch. Entwickl. Manfred Broy, Stefan Jähnichen
1997	A*	`conf`	Specification of Software Controlling a Discrete-Continuous Environment. ICSE Viktor Friesen, Stefan Jähnichen, Matthias Weber
1995	—	`ch.`	Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer
1995	—	`book`	KORSO - Methods, Languages, and Tools for the Construction of Correct Software KORSO Book Manfred Broy, Stefan Jähnichen
1994	—	`conf`	An experimental support system for formal mathematical reasoning. FME Matthias Anlauff, Stefan Jähnichen, Martin Simons
1993	—	`conf`	Software und Softwaretechnik. Perspektiven der Informatik Boris Groth, Stefan Jähnichen, Wilfried Koch
1993	—	`conf`	The Data-Parallel Ada Run-Time System, Simulation and Empirical Results. IPPS Herbert G. Mayer, Stefan Jähnichen
1989	—	`conf`	The ToolUse Approach to Integration. SEE Robert Gabriel, Stefan Jähnichen
1986	—	`conf`	Object-Oriented Synchronization in Distributed Multi-Processor Systems. ARCS Stefan Jähnichen, Clemens Kordecki
1986	—	`conf`	Program Development by Transforamtion and Refinement. Advanced Programming Environments Stefan Jähnichen, Fatima Ali Hussain, Matthias Weber
1985	—	`conf`	Towards an alternative model for software development. ISPW Stefan Jähnichen, Gerhard Goos
1984	—	`conf`	Aspekte der Konstruktion robuster Software. Software-Fehlertoleranz und -Zuverlässigkeit Stefan Jähnichen, Karl Kleine, Guido Persch
1979	—	`—`	"Exception Handling" in sequentiellen Programmen. Stefan Jähnichen
1979	—	`book`	ELAN-Sprachbeschreibung. Günter Hommel, Joachim Jäckel, Stefan Jähnichen, Karl Kleine, Wilfried Koch
1976	—	`conf`	SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung. Fachtagung über Programmiersprachen Günter Hommel, Stefan Jähnichen, Wilfried Koch