default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the EASST
Electronic Communication of the European Association of Software Science and Technology
- Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium
- Volume 81: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
- Volume 80: Conference on Networked Systems (NetSys 2021)
- Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020
- Volume 78: 8th International Symposiumon Leveraging Applications of Formal Methods, Verification and Validation, Doctoral Symposium, 2018
- Volume 77: Interactive Workshop on the Industrial Application ofVerification and Testing (InterAVT 2019)
- Volume 76: Automated Verification of Critical Systems (AVoCS 2018)
- Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science
- Volume 74: 7th International Symposiumon Leveraging Applications of Formal Methods, Verification and Validation, Doctoral Symposium, 2016
- Volume 73: Graph Computation Models, Selected Revised Papers from GCM 2015
- Volume 72: 15th International Workshop on Automated Verification of Critical Systeis, AVoCS 2015
- Volume 71: Graph Computation Models 2014
- Volume 70: Automated Verification of Critical Systems (AVoCS 2014)
- Volume 69: Formal Methods for Interactive Systems (FMIS 2013)
- Volume 68: 8th International Workshop on Graph-Based Tools (GraBaTs 2014)
- Volume 67: 13th International Workshop on Graph Transformation and Visual Modeling Techniques
- Volume 66: Automated Verification of Critical Systems
- Volume 65: Software Quality and Maintainability
- Volume 63: Software Clones
- Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner
- Volume 61: Graph Computation Models
- Volume 60: Software Quality and Maintainability
- Volume 59: Patterns Promotion and Anti-patterns Prevention
- Volume 58: Graph Transformation and Visual Modeling Techniques
- Volume 57: Bidirectional Transformations
- Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen.
- Volume 55: Programming and Computer Languages
- Volume 54: Graph-Based Tools
- Volume 53: Automated Verification of Critical Systems
- Volume 52: Software Modeling in Education
- Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms
- Volume 50: Multi-Paradigm Modeling
- Volume 49: Bidirectional Transformations
- Volume 48: Foundations and Techniques for Open Source Software Certification
- Volume 47: Graph Transformation and Visual Modeling Techniques
- Volume 46: Automated Verification of Critical Systems
- Volume 45: Formal Methods for Interactive Systems
- Volume 44: OCL and Textual Modelling
- Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services
- Volume 42: Multi-Paradigm Modeling
- Volume 41: Graph Transformation and Visual Modeling Techniques
- Volume 40: Petri Nets and Graph Transformations
- Volume 39: Graph Computation Models 2010
- Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium
- Volume 37: Kommunikation in Verteilten Systemen
- Volume 36: Workshop on OCL and Textual Modelling
- Volume 35: Automated Verification of Critical Systems
- Volume 34: Software Modeling in Education at MODELS
- Volume 33: Foundations and Techniques for Open Source Software Certification
- Volume 32: Fourth International Workshop on Graph-Based Tools
- Volume 31: Visual Formalisms for Patterns
- Volume 30: Graph and Model Transformation
- Volume 29: Graph Transformation and Visual Modeling Techniques
- Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services
- Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme
- Volume 26: Essays Dedicated to Hans-Jörg Kreowski
- Volume 25: Visual Formalisms for Patterns
- Volume 24: The Pragmatics of OCL and Other Textual Specification Languages
- Volume 23: Automated Verification of Critical Systems
- Volume 22: Formal Methods for Interactive Systems
- Volume 21: Multi-Paradigm Modeling
- Volume 20: Foundations and Techniques for Open Source Certification
- Volume 19: Context-Aware Adaptation Mechanism for Pervasive and Ubiquitous Services
- Volume 18: Graph Transformation and Visual Modeling Techniques
- Volume 17: Kommunikation in Verteilten Sytemen
- Volume 16: International Conference on Graph Transformation - Doctoral Symposium
- Volume 15: OCL Concepts and Tools
- Volume 14: Petri Nets and Graph Transformations
- Volume 13: Layout of (Software) Engineering Diagrams
- Volume 12: Formal Modeling of Adaptive and Mobile Processes
- Volume 11: Context-aware Adaption Mechanisms for Pervasive and Ubiquitous Services
- Volume 10: Graph Transformation and Visual Modeling Techniques
- Volume 9: Ocl4All - Modelling Systems with OCL
- Volume 8: ERCIM Symposium on Software Evolution
- Volume 7: Layout of (Software) Engineering Diagrams
- Volume 6: Graph Transformation and Visual Modeling Techniques
- Volume 5: OCL for (Meta-)Models in Multiple Application Domains
- Volume 4: Graph and Model Transformation
- Volume 3: Software Evolution through Transformations
- Volume 2: Petri Nets and Graph Transformations
- Volume 1: Graph Based Tools
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.
last updated on 2025-07-25 19:08 CEST 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:
