12 citations · 24 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 1 cited
Towards Deriving Verification Properties
Michael Winikoff
Formal software verification uses mathematical techniques to establish that software has certain properties. For example, that the behaviour of a software system satisfies certain…
cs.MA2019
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach
Angelo Ferrando, Michael Winikoff, Stephen Cranefield +2
Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce iss…