Linas Laibinis

	2009
14		Linas Laibinis, Elena Troubitsyna, Sari Leppänen: Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. Methods, Models and Tools for Fault Tolerance 2009: 130-151
13		Qaisar A. Malik, Johan Lilius, Linas Laibinis: Model-Based Testing Using Scenarios and Event-B Refinements. Methods, Models and Tools for Fault Tolerance 2009: 177-195
	2007
12		Alexei Iliasov, Alexander Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna: On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC 2007: 141-145
	2006
11		Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen: Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. ISoLA 2006: 425-432
10		Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook: Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book 2006: 189-209
9		Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky: Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book 2006: 241-260
8		Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik: Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book 2006: 261-287
	2005
7		Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik: Formal Model-Driven Development of Communicating Systems. ICFEM 2005: 188-203
6		Linas Laibinis, Elena Troubitsyna: Formal Development of Reactive Fault Tolerant Systems. RISE 2005: 234-249
	2004
5		Linas Laibinis, Elena Troubitsyna: Refinement of Fault Tolerant Control Systems in B. SAFECOMP 2004: 254-268
4		Linas Laibinis, Elena Troubitsyna: Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. SEFM 2004: 346-355
	2000
3		Linas Laibinis, Joakim von Wright: Functional Procedures in Higher-Order Logic. TPHOLs 2000: 372-387
	1999
2		Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis: Developing Components in the Presence of Re-entrance. World Congress on Formal Methods 1999: 1301-1320
	1996
1		Linas Laibinis: Using Lattice Theory in Higher Order Logic. TPHOLs 1996: 315-330

Coauthor Index

1	Budi Arief	[12]
2	Alexei Iliasov	[9] [12]
3	Dubravka Ilic	[10] [11]
4	Sari Leppänen	[7] [8] [11] [14]
5	Johan Lilius	[7] [8] [13]
6	Qaisar A. Malik	[7] [8] [13]
7	Leonid Mikhajlov	[2]
8	Alexander Romanovsky (Alexander B. Romanovsky)	[9] [12]
9	Emil Sekerinski	[2]
10	Colin F. Snook	[10]
11	Elena Troubitsyna	[4] [5] [6] [7] [8] [9] [10] [11] [12] [14]
12	Joakim von Wright	[3]

Colors in the list of coauthors