default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Communication of the European Association of Software Science and Technology, Volume 82

> Home > Journals > Electronic Communication of the European Association of Software Science and Technology

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 82, 2022

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

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/JorgesSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/JorgesSS22
Sven Jörges, Salim Saay, Steven Smyth:
Preface.

Articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/Busch22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/Busch22
Daniel Busch:
Towards Code-centric Code Generators.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/PetzoldH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/PetzoldH22
Jette Petzold, Reinhard von Hanxleden:
Tool Support for System-Theoretic Process Analysis.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/TeumertKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/TeumertKS22
Sebastian Teumert, Marvin Krause, Bernhard Steffen:
SOS-Supported Graph Transformation.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BrandonM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BrandonM22
Colm Brandon, Tiziana Margaria:
Low-Code/No-Code Artificial Intelligence Platforms for the Health Informatics Domain.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SchallauN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SchallauN22
Till Schallau, Stefan Naujokat:
Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/Steffen22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/Steffen22
Bruno Steffen:
DSL-driven Integration of OpenAPI based Web Services into DIME.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/KlusKRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/KlusKRW22
Holger Klus, Christoph Knieke, Andreas Rausch, Stefan H. A. Wittek:
Software Engineering meets Artificial Intelligence.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SchluterN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SchluterN22
Maximilian Schlüter, Gerrit Nolte:
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SchurmannS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SchurmannS22
Jonas Schürmann, Bernhard Steffen:
Lazy Merging: From a Potential of Universes to a Universe of Potentials.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SinghMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SinghMM22
Amandeep Singh, Olga Minguett, Tiziana Margaria:
Binary Decision Diagrams and Composite Classifiers for Analysis of Imbalanced Medical Datasets.

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.