Archives

• 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)