1 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2019★ 1 cited
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…
cs.SE2014★ 1 cited
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…
cs.SE2014★ 1 cited
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…