10 citations · 19 across the 3 of their papers we have counts for
3 papers
Industrial-Strength Verification of Solid State Interlocking Programs
Alexei Iliasov, Dominic Taylor, Linas Laibinis +1
The increasing complexity of modern interlocking poses a major challenge to ensuring railway safety. This calls for application of formal methods forassurance and verification of t…
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach to formal development of a fault tolerant multi-a…
Self-Recovering Sensor-Actor Networks
Maryam Kamali, Linas Laibinis, Luigia Petre +1
Wireless sensor-actor networks are a recent development of wireless networks where both ordinary sensor nodes and more sophisticated and powerful nodes, called actors, are present.…