Archives

• deRSE25 - Selected Contributions of the 5th Conference for Research Software Engineering in Germany

  Vol. 85 (2025)

  We are pleased to present the proceedings of deRSE25 - the 5th Conference for Research Software Engineering in Germany, organised in 2025 by the Karlsruhe Institute of Technology (KIT). 31 papers were submitted in response to our call for contributions to this post-proceedings volume, and 29 of those were finally accepted for publication. All accepted contributions are published in this diamond open-access journal, ensuring free access for both authors and readers while maintaining rigorous academic quality. We hope these proceedings serve as both a valuable reference, and an inspiration for further innovation and collaboration in Research Software Engineering.

• 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation / 2nd AISoLA - Doctoral Symposium, 2024

  Vol. 84 (2025)

• deRSE24 - Selected Contributions of the 4th Conference for Research Software Engineering in Germany

  Vol. 83 (2025)

  The fourth Conference on Research Software Engineering in Germany, deRSE24, took place at Julius-Maximilians-Universität Würzburg from March 5 to 7, 2024. For the first time in the conference's history, a post-conference volume was created, featuring full-paper versions of selected contributions. All presenters were invited to submit an extended version of their conference contribution, and each submission underwent a thorough review process by experts in the respective fields. This volume represents a curated collection of outstanding contributions from deRSE24.

• 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022

  Vol. 82 (2023)

• 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021

  Vol. 81 (2022)

• Conference on Networked Systems 2021 (NetSys 2021)

  Vol. 80 (2021)

• Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)

  Vol. 79 (2020)

• 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018

  Vol. 78 (2019)

• Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019)

  Vol. 77 (2019)

• Automated Verification of Critical Systems 2018 (AVoCS 2018)

  Vol. 76 (2019)

• 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017)

  Vol. 75 (2018)

• 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016)

  Vol. 74 (2017)

• Graph Computation Models - Selected Revised Papers from GCM 2015

  Vol. 73 (2016)

• Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)

  Vol. 72 (2015)

• Graph Computation Models 2014

  Vol. 71 (2015)

• Automated Verification of Critical Systems 2014

  Vol. 70 (2014)

• Formal Methods for Interactive Systems 2013

  Vol. 69 (2014)

• Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014)

  Vol. 68 (2014)

• Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014)

  Vol. 67 (2014)

• Automated Verification of Critical Systems 2013

  Vol. 66 (2014)

• Software Quality and Maintainability 2014

  Vol. 65 (2014)

• Programming and Computer Languages 2013

  Vol. 64 (2014)

• Software Clones 2014

  Vol. 63 (2014)

• Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner

  Vol. 62 (2013)

• Graph Computation Models 2012

  Vol. 61 (2013)

• Software Quality and Maintainability 2013

  Vol. 60 (2013)

• Patterns Promotion and Anti-patterns Prevention 2013

  Vol. 59 (2013)

• Graph Transformation and Visual Modeling Techniques 2013

  Vol. 58 (2013)

• Bidirectional Transformations 2013

  Vol. 57 (2013)

• Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013

  Vol. 56 (2013)

• Programming and Computer Languages 2012

  Vol. 55 (2013)

• Graph-Based Tools 2012

  Vol. 54 (2012)

• Automated Verification of Critical Systems 2012

  Vol. 53 (2012)

• Software Modeling in Education 2011

  Vol. 52 (2012)

• Petri Nets, Graph Transformation and other Concurrency Formalisms 2012

  Vol. 51 (2012)

• Multi-Paradigm Modeling 2011

  Vol. 50 (2012)

• Bidirectional Transformations 2012

  Vol. 49 (2012)

• Foundations and Techniques for Open Source Software Certification 2011

  Vol. 48 (2012)

• Graph Transformation and Visual Modeling Techniques 2012

  Vol. 47 (2012)

• Automated Verification of Critical Systems 2011

  Vol. 46 (2012)

• Formal Methods for Interactive Systems 2011

  Vol. 45 (2011)

• OCL and Textual Modelling 2011

  Vol. 44 (2011)

• Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011

  Vol. 43 (2011)

• Multi-Paradigm Modeling 2010

  Vol. 42 (2011)

• Graph Transformation and Visual Modeling Techniques 2011

  Vol. 41 (2011)

• Petri Nets and Graph Transformations 2010

  Vol. 40 (2011)

• Graph Computation Models 2010

  Vol. 39 (2011)

• International Conference on Graph Transformation 2010 - Doctoral Symposium

  Vol. 38 (2011)

• Communication in Distributed Systems 2011

  Vol. 37 (2011)

• OCL and Textual Modelling

  Vol. 36 (2010)

• Automated Verification of Critical Systems 2010

  Vol. 35 (2010)

• Software Modeling in Education at MODELS 2010

  Vol. 34 (2010)

• Foundations and Techniques for Open Source Software Certification 2010

  Vol. 33 (2010)

• Graph-Based Tools 2010

  Vol. 32 (2010)

• Visual Formalisms for Patterns 2010

  Vol. 31 (2010)

• Graph and Model Transformation 2010

  Vol. 30 (2010)

• Graph Transformation and Visual Modeling Techniques 2010

  Vol. 29 (2010)

• Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010

  Vol. 28 (2010)

• Self-Organising, Adaptive, Context-Aware Distributed Systems 2010

  Vol. 27 (2010)

• Manipulation of Graphs, Algebras and Pictures

  Vol. 26 (2010)

• Visual Formalisms for Patterns 2009

  Vol. 25 (2010)

• The Pragmatics of OCL and Other Textual Specification Languages 2009

  Vol. 24 (2009)

• Automated Verification of Critical Systems 2009

  Vol. 23 (2009)

• Formal Methods for Interactive Systems 2009

  Vol. 22 (2009)

• Multi-Paradigm Modeling 2009

  Vol. 21 (2009)

• Foundations and Techniques for Open Source Certification 2009

  Vol. 20 (2009)

• Context-Aware Adaptation Mechanism for Pervasive and Ubiquitous Services 2009

  Vol. 19 (2009)

• Graph Transformation and Visual Modeling Techniques 2009

  Vol. 18 (2009)

• Communication in Distributed Systems 2009

  Vol. 17 (2009)

• International Conference on Graph Transformation 2008 - Doctoral Symposium

  Vol. 16 (2009)

• OCL Concepts and Tools 2008

  Vol. 15 (2008)

• Petri Nets and Graph Transformations 2008

  Vol. 14 (2008)

• Layout of (Software) Engineering Diagrams 2008

  Vol. 13 (2008)

• Formal Modeling of Adaptive and Mobile Processes

  Vol. 12 (2008)

• Context-aware Adaption Mechanisms for Pervasive and Ubiquitous Services

  Vol. 11 (2008)

• Graph Transformation and Visual Modeling Techniques 2008

  Vol. 10 (2008)

• Ocl4All - Modelling Systems with OCL

  Vol. 9 (2008)

• ERCIM Symposium on Software Evolution 2007

  Vol. 8 (2008)

• Layout of (Software) Engineering Diagrams 2007

  Vol. 7 (2007)

• Graph Transformation and Visual Modeling Techniques 2007

  Vol. 6 (2007)

• OCL for (Meta-)Models in Multiple Application Domains 2006

  Vol. 5 (2006)

• Graph and Model Transformation 2006

  Vol. 4 (2006)

• Software Evolution through Transformations 2006

  Vol. 3 (2006)

• Petri Nets and Graph Transformations

  Vol. 2 (2006)

• Graph Based Tools 2006

  Vol. 1 (2006)