Dubravka Ilic

According to our database, Dubravka Ilic authored at least 10 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Towards Security-Explicit Formal Modelling of Safety-Critical Systems.

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2016

2013

Developing mode-rich satellite software by refinement in Event-B.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala

Sci. Comput. Program., 2013

Formalisation of an Industrial Approach to Monitoring Critical Data.

Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2013

Deployment in the Space Sector.

Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2010

Verifying Mode Consistency for On-Board Satellite Software.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala

Proceedings of the Computer Safety, 2010

Supporting Reuse in Event B Development: Modularisation Approach.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala

Proceedings of the Abstract State Machines, 2010

2007

Deriving Formal Specifications from Informal Requirements.

Dubravka Ilic

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Formal Development of Mechanisms for Tolerating Transient Faults.

Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.

Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Formal Development of Software for Tolerating Transient Faults.

Dubravka Ilic, Elena Troubitsyna

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005