Linas Laibinis

Augmenting Event-B modelling with real-time verification

Alexei Iliasov, Alexander Romanovsky, Linas Laibinis et al. · 2012 · 30 citations

Engineering, Computer Engineering, Computer Science +14

Fault tolerance in a layered architecture: a general specification pattern in B

Linas Laibinis, Elena Troubitsynå · 2004 · 27 citations

Computing, Computer Science, Systems Engineering +16

Formal Development of Critical Multi-agent Systems: A Refinement Approach

Inna Pereverzeva, Elena Troubitsynå, Linas Laibinis · 2012 · 26 citations

Computing, Computer Science, Systems Engineering +13

Developing mode-rich satellite software by refinement in Event-B

Alexei Iliasov, Elena Troubitsynå, Linas Laibinis et al. · Science of Computer Programming · 2012 · 26 citations

Computing, Computer Science, Systems Engineering +3

Facilitating construction of safety cases from formal models in Event-B

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsynå · Information and Software Technology · 2015 · 24 citations

Engineering, Systems Engineering, Formal Methods +8