13 citations · 21 across the 9 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…
An Approach for Isolated Testing of Self-Organization Algorithms
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach +3
We provide a systematic approach for testing self-organization (SO) algorithms. The main challenges for such a testing domain are the strongly ramified state space, the possible er…
An Institution for Simple UML State Machines
Alexander Knapp, Till Mossakowski, Markus Roggenbach +1
We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which prov…
An Institutional Framework for Heterogeneous Formal Development in UML
Alexander Knapp, Till Mossakowski, Markus Roggenbach
We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogen…