Dubravka Ilic

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

1	Alexei Iliasov	[c7] [c6] [c5]
2	Linas Laibinis	[c7] [c6] [c5] [c3] [c2]
3	Timo Latvala	[c7] [c6] [c5]
4	Sari Leppänen	[c3]
5	Alexander Romanovsky (Alexander B. Romanovsky)	[c7] [c6] [c5]
6	Colin F. Snook	[c2]
7	Elena Troubitsyna	[c7] [c6] [c5] [c3] [c2] [c1]
8	Kimmo Varpaaniemi	[c7] [c6] [c5]
9	Pauli Väisänen	[c5]

Last update Thu May 23 19:49:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page