150 citations · 250 across the 7 of their papers we have counts for
8 papers
Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers
Mike Zhang, Euan D Lindsay, Frederik Bode Thorbensen +2
End of semester student evaluations of teaching are the dominant mechanism for providing feedback to academics on their teaching practice. For large classes, however, the volume of…
A Generic Information Extraction System for String Constraints
Joel D. Day, Adrian Kröger, Mitja Kulczynski +3
String constraint solving, and the underlying theory of word equations, are highly interesting research topics both for practitioners and theoreticians working in the wide area of…
Analysis of Source Code Using UPPAAL
Mitja Kulczynski, Axel Legay, Dirk Nowotka +1
In recent years there has been a considerable effort in optimising formal methods for application to code. This has been driven by tools such as CPAChecker, DIVINE, and CBMC. At th…
Automatic Verification of LLVM Code
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
In this work we present our work in developing a software verification tool for llvm-code - Lodin - that incorporates both explicit-state model checking, statistical model checking…
On Solving Word Equations Using SAT
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski +3
We present Woorpje, a string solver for bounded word equations (i.e., equations where the length of each variable is upper bounded by a given integer). Our algorithm works by refor…
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David, Dehui Du, Kim G. Larsen +4
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how…