CRC 901 - Composition Analysis in Partially Unknown Contexts (Subproject B3)

Overview

Key Facts

Project duration:
07/2011 - 06/2023
Funded by:
DFG
Website:
Homepage

More Information

Principal Investigators

contact-box image

Prof. Dr. Heike Wehrheim

Specification and Modelling of Software Systems

About the person
contact-box image

Prof. Dr. Eyke Hüllermeier

Transregional Collaborative Research Centre 318

About the person
contact-box image

Steffen Becker

Universit?t Stuttgart

Publications

On the Membership and Correctness Problem for State Serializability and Value Opacity
J. K?nig, On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023.
On-The-Fly Computing -- Individualized IT-services in dynamic markets
C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim, On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universit?t Paderborn, Paderborn, 2023.
Composition Analysis in Unknown Contexts
H. Wehrheim, E. Hüllermeier, S. Becker, M. Becker, C. Richter, A. Sharma, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universit?t Paderborn, Paderborn, 2023, pp. 105–123.
Property-Driven Testing of Black-Box Functions
A. Sharma, V. Melnikov, E. Hüllermeier, H. Wehrheim, in: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–123.
MLCHECK–Property-Driven Testing of Machine Learning Classifiers
A. Sharma, C. Demir, A.-C. Ngonga Ngomo, H. Wehrheim, in: Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), IEEE, n.d.
Show all publications