The paper "Configurable abstraction of signals using signal temporal logic" by Ulrike Engeln and Sibylle Schupp has been accepted by the 51st Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2025). The conference will be held in Salerno, Italy, from 10th to 12th of September 2025.
