Dubravka Ilic

	2010
7		Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala: Supporting Reuse in Event B Development: Modularisation Approach. ASM 2010: 174-188
6		Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala: Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS 2010: 50-66
5		Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala: Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP 2010: 126-141
	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	Alexei Iliasov	[5] [6] [7]
2	Linas Laibinis	[2] [3] [5] [6] [7]
3	Timo Latvala	[5] [6] [7]
4	Sari Leppänen	[3]
5	Alexander Romanovsky (Alexander B. Romanovsky)	[5] [6] [7]
6	Colin F. Snook	[2]
7	Elena Troubitsyna	[1] [2] [3] [5] [6] [7]
8	Pauli Väisänen	[5]
9	Kimmo Varpaaniemi	[5] [6] [7]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page