Skip to main content
Skip to main navigation menu
Skip to the current issue
Skip to site footer
Open Menu
Electronic Communications of the EASST
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Search
Register
Login
Current Issue
Vol. 82 (2023): 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022
Published:
2023-10-06
Preface
Preface
Sven Jörges, Salim Saay, Steven Smyth
PDF
Articles
Towards Code-centric Code Generators
Daniel Busch
PDF
Tool Support for System-Theoretic Process Analysis
Jette Petzold, Reinhard von Hanxleden
PDF
SOS-Supported Graph Transformation
Sebastian Teumert, Marvin Krause, Bernhard Steffen
PDF
Low-Code/No-Code Artificial Intelligence Platforms for the Health Informatics Domain
Colm Brandon, Tiziana Margaria
PDF
Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing
Till Schallau, Stefan Naujokat
PDF
DSL-driven Integration of OpenAPI based Web Services into DIME
Bruno Steffen
PDF
Software Engineering meets Artificial Intelligence
Holger Klus, Christoph Knieke, Andreas Rausch, Stefan Wittek
PDF
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models
Maximilian Schlüter, Gerrit Nolte
PDF
Lazy Merging: From a Potential of Universes to a Universe of Potentials
Jonas Schürmann, Bernhard Steffen
PDF
Binary Decision Diagrams and Composite Classifiers for Analysis of Imbalanced Medical Datasets
Amandeep Singh, Olga Minguett, Tiziana Margaria
PDF
View All Issues
Information
For Readers
For Authors
For Librarians