13 citations · 21 across the 9 of their papers we have counts for
10 papers
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging
Phillip Entin, Wenchao Gu, Alexander Knapp +1
COBOL remains critical across banking, insurance, and government infrastructure. However, maintenance is increasingly challenging due to outdated technologies, sparse documentation…
Interpreting Knowledge-based Programs (Extended Version with Proofs)
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Knowledge-based programs specify multi-agent protocols with epistemic guards that abstract from how agents learn and record facts or information about other agents and the environm…
A Hoare Logic with Regular Behavioral Specifications
Gidon Ernst, Alexander Knapp, Toby Murray
We present a Hoare logic that extends program specifications with regular expressions that capture behaviors in terms of sequences of events that arise during the execution. The id…
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp +1
This paper provides the first correct semantical representation of UML state-machines within the logical framework of an institution (previous attempts were flawed). A novel encodi…
A Hybrid Dynamic Logic for Event/Data-based Systems
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
We propose -logic as a formal foundation for the specification and development of event-based systems with local data states. The logic is intended to cov…
Multi-view Consistency in UML
Alexander Knapp, Till Mossakowski
We study the question of consistency of multi-view models in UML and OCL. We first critically survey the large amount of literature that already exists. We find that only limited s…