• Digitale DNA für traditionelle Unternehmen

  Handelsblatt Journal, Dezember 2018 (Andreas Nolte, Jörg Treiner, Josef Adersberger) zum Artikel

• Cloud-native Apps 2.0

  OBJEKTspektrum (Fachposter), Dezember 2018 (Nane Kratzke, Josef Adersberger) zum Poster

• Making Runtime Data Useful for Incident Diagnosis: An Experience Report

  PROFES 2018, November 2018 (Marcus Ciolkowski, Florian Lautenschlager) zum Artikel

• IOTA - die nächste Generation der Blockchain?

  heise Developer, November 2018 (Moritz Kammerer) zum Artikel

• Function as a Service: Die Evolution in zu Serverless-Architekturen

  OBJEKTspektrum (Fachposter), September 2018 (Nane Kratzke, Josef Adersberger) zum Poster

• Alternativen für die Cloud - Java und Go im Vergleich

  JavaSpektrum, September 2018 (Johannes Weigend, Johannes Siedersleben) zum Artikel

• Nie wieder Zertifikate! - Skalierbare Sicherheit mit SPIFFE

  ObjektSpektrum, August 2018 (Andreas Zitzelsberger) zum Artikel

• Challenges in Assessing Technical Debt based on Dynamic Runtime Data

  SEAA/SEaTeD 2018, August 2018 (Marcus Ciolkowski, Liliana Guzmán, Adam Trendowicz, Anna Maria Vollmer) zum Artikel

• Software-Industrialisierung 2.0: Qualität und Produktivität statt Nearshore und Farshore.

  Informatik Aktuell, Juli 2018 (Michael Rohleder) zum Interview

• Improving Model Usability by Layered Diagrams

  Proc. ACM/IEEE MiSE/ICSE, Mai 2018 (Harald Störrle) zum Artikel

• AWS Fargate: Container-Orchestrierung ohne Cluster

  heise Developer, April 2018 (Alex Krause) zum Artikel

• Machine learning-based run-time anomaly detection in software systems: An industrial evaluation

  Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE), 2018 (Fabian Huch, Mojdeh Golagha, Ana Petrovska, Alexander Krauss) zum Artikel

• Implementing Knowledge Management in Agile Projects by Pragmatic Modeling

  Modellierung, Februar 2018, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, Bonn 2018 (Harald Störrle) zum Artikel

• Cloud Native News

  Artikelserie auf heise Developer (Josef Adersberger, Andreas Zitzelsberger et al.) heise Developer

• Cloud Native News

  Artikelserie auf heise Developer (Josef Adersberger) heise Developer

• Lessons Learned from the ProDebt Research Project on Planning Technical Debt Strategically

  QuASD/PROFES, November 2017 (Marcus Ciolkowski, Liliana Guzmán, Adam Trendowicz, Felix Salfner) zum Artikel

• Formative Evaluation of a Tool for Managing Software Quality

  ESEIW/ESEM, November 2017 (Liliana Guzmán, Anna Maria Vollmer, Marcus Ciolkowski, Michael Gillmann) zum Artikel

• 3-D Visualization of Dynamic Runtime Structures in Applications

  IWSM/Mensura, Oktober 2017 (Marcus Ciolkowski, Simon Faber, Sebastian von Mammen) zum Artikel

• Per Anhalter durch das Cloud-Universum

  Java Magazin, Oktober 2017 (Josef Adersberger) zum Artikel

• User Experience for Model-Driven Engineering: Challenges and Future Directions

  Proc. ACM/IEEE MODELS, September 2017 (Silvia Abrahão, Francis Bordeleau, Betty Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle) zum Artikel

• Cloud-native Applikationen

  OBJEKTspektrum (Fachposter), Juli 2017 (Nane Kratzke, Josef Adersberger) zum Poster

• How are Conceptual Models used in Industrial Software Development? A Descriptive Survey

  EASE, Juni 2017 (Harald Störrle) zum Artikel

• Per Anhalter durch den Cloud Native Stack

  JAVAPRO, Juni 2017 (Mario-Leander Reimer) zum Artikel

• Robustheit und Antifragilität: Eignen sich Microservices für die Systeme der Zukunft?

  OBJEKTspektrum, November 2016 (Josef Adersberger, Johannes Siedersleben, Johannes Weigend) zum Artikel

• Mehr als die Summe der Teile: Modulare Software-Systeme mit Jigsaw

  JavaSPEKTRUM, Oktober/November 2016 (Johannes Weigend) zum Artikel

• Test long and prosper! Next-Generation-Enterprise-Tests mit Spock

  Java Magazin, Oktober 2016 (Mario-Leander Reimer) zum Artikel

• Das Betriebssystem der Cloud

  Java Magazin, September 2016 (Mario-Leander Reimer, Andreas Zitzelsberger) zum Artikel

• Bindings für Eclipse SmartHome entwickeln

  JavaSPEKTRUM, Juli 2016 (Moritz Kammerer) zum Artikel

• Cloud-native Anwendungen mit Kubernetes

  Java Magazin, Juli 2016 (Josef Adersberger, Mario-Leander Reimer) zum Artikel

• Agil zum Ziel: Sieben Erfolgsfaktoren für agile Großprojekte

  OBJEKTspektrum, Juni 2016 (Christian Kamm, Josef Adersberger) zum Artikel

• Cloud-native Anwendungen bauen mit Spring Cloud und Netflix OSS

  Java Magazin, Mai 2016 (Josef Adersberger, Mario-Leander Reimer) zum Artikel

• Cloud Ready? Migration von Anwendungen in die Cloud

  OBJEKTspektrum (Fachposter), April 2016 (Oliver Denninger, Josef Adersberger) zum Poster

• Cloud-native Anwendungen. Der neue Stack: ‎ Mesos, Kubernetes, Netflix OSS & Spring Cloud

  Java Magazin, April 2016 (Josef Adersberger, Andreas Zitzelsberger, Mario-Leander Reimer) zum Artikel

• Partiality and recursion in interactive theorem provers: An overview

  In: Mathematical Structures in Computer Science, 26(1), 2016. (Ana Bove, Alexander Krauss, Matthieu Sozeau) zum Artikel

• NewSQL-Datenbanken - SQL liebt NoSQL

  iX Sonderausgabe Big Data, April 2015 (Josef Adersberger) heise.de

• Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten

  Lecture Notes in Informatics – Proceedings: Series of the Gesellschaft für Informatik, Volume P-239, S. 177 – 183, Köllen Druck+Verlag, 2015 (Josef Adersberger, Andreas Kumlehn, Florian Lautenschlager, Michael Philippsen) PDF

• Fast and efficient operational time series storage: The missing link in dynamic software analysis

  GI eV (Hrsg.): Proceedings of the Symposium on Software Performance (SSP 2015, München), Softwaretechnik-Trends Bd. 35, Nr. 3, ISSN 0720-8928 (BibTeX) (Florian Lautenschlager, Andreas Kumlehn, Josef Adersberger, Michael Philippsen)

• Design for Diagnosability

  Java Magazin, Mai 2014 (Florian Lautenschlager, Josef Adersberger, Michael Philippsen, Andreas Kumlehn) Java-Magazin

• Wo ist die Rich-Client-Plattform für JavaFX?

  Java Magazin, Januar 2014 (Johannes Weigend, Josef Adersberger, Johannes Siedersleben)

• Scalable LCF-style proof translation

  In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 51–66. Springer Verlag, 2013 (Cezary Kaliszyk, Alexander Krauss) PDF

• Data refinement in Isabelle/HOL

  In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow) PDF

• Proof pearl: Regular expression equivalence and relation algebra

  In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow) PDF

• BMW Data Performance Analyzer

  NetBeans Platform 06/2011 (Johannes Weigend) netbeans.dzone.com

• Dynamische Analyse mit dem Software-EKG

  Informatik-Spektrum 5/2011 (Johannes Siedersleben, Johannes Weigend, Josef Adersberger) Springer Link

• Lehrgang „Software im Automobil”

  CTI 2011 (Christian Kamm, Zoltán Ádám Mann)

• Termination of Isabelle functions via termination of rewriting

  In: Marko van Eekelen, Herman Geuvers, Julien Schmaltz, and Freek Wiedijk, editors, Interactive Theorem Proving (ITP 2011) (Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, and Jürgen Giesl) PDF

• Monotonicity inference for higher-order formulas

  In: Journal of Automated Reasoning, 47(4), 2011 (Jasmin Christian Blanchette and Alexander Krauss) PDF

• Recursive definitions of monadic functions

  In: Ana Bove, Ekaterina Komendantskaya, and Milad Niqui, editors, Workshop on Partiality and Recursion in Interactive Theorem Proving (PAR 2010) (Alexander Krauss) PDF

• A mechanized translation from higher-order logic to set theory

  In: Matt Kaufmann and Lawrence C. Paulson, editors, Interactive Theorem Proving (ITP 2010) (Alexander Krauss and Andreas Schopp) PDF

• p.TrAC: Pattern-based Trace Analysis and Correction

  Jahresbericht des Departments für Informatik der Universität Erlangen-Nürnberg, 2008 (Josef Adersberger)

• Partial and nested recursive function definitions in higher-order logic

  In: Journal of Automated Reasoning (Alexander Krauss) PDF

• Pattern minimization problems over recursive data types

  In: James Hook and Peter Thiemann, editors, International Conference on Functional Programming (ICFP 2008) (Alexander Krauss) PDF

• Imperative functional programming in Isabelle/HOL

  In: Otmane Ait Mohamed, César Muñoz, and Sofiène Tahar, editors, Theorem Proving in Higher Order Logics (TPHOLs 2008) (Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, and John Matthews) PDF

• SOA revisited — Komponentenorientierung bei Systemlandschaften

  Wirtschaftsinformatik, Februar 2007 (Johannes Siedersleben) PDF

• Softwaretechnik im Auto

  Management-Lehrgang „Software im Automobil”, Euroforum Verlag 2007 (Christian Kamm, Zoltán Ádám Mann, Klaus Renzel)

• Einschränkungen und Konsistenzbedingungen bei der Entwicklung einer Softwarearchitektur

  GI AK Traceability, 2007 (Josef Adersberger)

• Finding lexicographic orders for termination proofs in Isabelle/HOL

  In: K. Schneider and J. Brandt, editors, Theorem Proving in Higher Order Logics (TPHOLs 2007) (Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow) PDF

• Certified size-change termination

  In: Frank Pfenning, editor, Automated Deduction (CADE-21) (Alexander Krauss) PDF

• Funktionale Programmierung mit Java 5

  Java Magazin April 2006, (Christian Neumann) PDF

• Fit for Fun — Wiki-getriebene Akzeptanztests

  Java Magazin, Februar 2006 (Josef Adersberger)

• Partial recursive functions in higher-order logic

  In: Ulrich Furbach and Natarajan Shankar, editors, Automated Reasoning (IJCAR 2006) (Alexander Krauss) PDF

• Kann man die Benutzerfreundlichkeit von Text messen?

  In: Bosenick, T., Hassenzahl, M., Peissner, M. & Müller-Prove, M. (Hrsg.), Tagungsband UP06. Stuttgart: Fraunhofer Verlag. (S. 66-69) (Andreas Zitzelsberger)

• Java 5.0 Pitfalls

  Java Magazin, August 2005 (Josef Adersberger)

• Systematische Aufwandsschätzung für Software im Fahrzeug

  „Euroforum Software im Automobil”, Mai 2005 (Christian Kamm)

• Systematische Aufwandsschätzung für Software im Fahrzeug

  OBJEKTspektrum, Juni 2004 (Christian Kamm, Daniel Schick, Alexandre Saad, Johannes Siedersleben) PDF

• Formale Konsistenzsicherung in informellen Software-Spezifikationen

  Informatik Forschung und Entwicklung 19(1), 2004 (Uwe M. Borghoff, Jan Scheffczyk, Johannes Siedersleben, Christiane Stutz) PDF

• Komplexe Web-Anwendungen mit Struts

  OBJEKTspektrum, März 2002 (Christian Kamm, Carsten Klein) PDF

• Objektorientierte Programmierung & Softwareentwicklung — Eine kritische Einschätzung

  Informatik Spektrum 25(1), 2002 (Manfred Broy, Johannes Siedersleben) PDF