Vol. 82 (2023): 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022

DOI: https://doi.org/10.14279/tuj.eceasst.82

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