9 citations · 28 across the 7 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
An epistemic ensemble is composed of knowledge-based agents capable of retrieving and sharing knowledge and beliefs about themselves and their peers. These agents access a global k…
cs.SE2011★ 9 cited
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
Interface specifications play an important role in component-based software development. An interface theory is a formal framework supporting composition, refinement and compatibil…