CSSE at SafeComp24
Tim Gonschorek and Konstantin Kirchheim presented their research contributions at this year's SafeComp conference, held in Florence, Italy.
Tim Gonschorek presented his work on "Validating Design-Intent System Specification Models with State-of-the-art Large Language Models," which explores innovative methods for validating system specifications using advanced language models.
Meanwhile, Konstantin Kirchheim received the Best Paper Award at the Workshop on Artificial Intelligence Safety Engineering (WAISE), co-located with SafeComp, for his paper "Language Models as Reasoners for Out-of-Distribution Detection." His work offers new insights into leveraging language models for improving safety-critical systems.
We proudly congratulate both Tim and Konstantin for their achievements.
