Dubravka Ilic

	2007
4		Dubravka Ilic: Deriving Formal Specifications from Informal Requirements. COMPSAC (1) 2007: 145-152
	2006
3		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
2		Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook: Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book 2006: 189-209
	2005
1		Dubravka Ilic, Elena Troubitsyna: Formal Development of Software for Tolerating Transient Faults. PRDC 2005: 140-150

Coauthor Index

1	Linas Laibinis	[2] [3]
2	Sari Leppänen	[3]
3	Colin F. Snook	[2]
4	Elena Troubitsyna	[1] [2] [3]