18 citations · 60 across the 35 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 5 cited
Finite Model Finding for Parameterized Verification
Alexei Lisitsa
In this paper we investigate to which extent a very simple and natural "reachability as deducibility" approach, originated in the research in formal methods in security, is applica…
cs.MA2010★ 1 cited
Agent Based Approaches to Engineering Autonomous Space Software
Louise A. Dennis, Michael Fisher, Nicholas Lincoln +2
Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's S…