Dubravka Ilic

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Hardware Design

Data Mining Algorithms

Top Venues

Sci. Comput. Program.

Publications

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Towards Security-Explicit Formal Modelling of Safety-Critical Systems. SAFECOMP (2016)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala
Formalisation of an Industrial Approach to Monitoring Critical Data. SAFECOMP (2013)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. 78 (7) (2013)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Supporting Reuse in Event B Development: Modularisation Approach. ASM (2010)
Dubravka Ilic
Deriving Formal Specifications from Informal Requirements. COMPSAC (1) (2007)
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)
Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook
Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book (2006)
Dubravka Ilic, Elena Troubitsyna
Formal Development of Software for Tolerating Transient Faults. PRDC (2005)