• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (1):

• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala, Developing Mode-Rich Satellite Software by Refinement in Event-B. Science of Computer Programming 78(7), 884–905, 2013.

Articles in proceedings (12):

• Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala, Towards Security-Explicit Formal Modelling of Safety-Critical Systems. In: Amund Skavhaug, Jeremie Guiochet, Friedemann Bitsch (Eds.), Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, Lecture Notes in Computer Science 9922, 213–225, Springer, Cham, 2016.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala, Formalisation of an Industrial Approach to Monitoring Critical Data. In: Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (Eds.), Proceedings of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Lecture Notes in Computer Science 8153, 57–69, Springer-Verlag Berlin Heidelberg, 2013.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timmo Latvala, Supporting Reuse in Event B Development: Modularisation Approach. In: Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.), Proceedings of ABZ 2010, Lecture Notes in Computer Science 5977, 174–188, Springer, 2010.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala, Developing Mode-Rich Satellite Software by Refinement in Event B . In: Stefan Kowalewski, Marco Roveri (Eds.), Proceedings of FMICS 2010, the 15th International Workshop on Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science 6371, 50–66, Springer, 2010.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timmo Latvala, Verifying Mode Consistency for On-Board Satellite Software. In: Erwin Schoitsch (Ed.), Proceedings of SAFECOMP 2010, The 29th International Conference on Computer Safety, Reliability and Security, September 14-17, Vienna, Austria, Lecture Notes in Computer Science 6351, 126–141, Springer, 2010.
• Dubravka Ilic, Deriving Formal Specifications from Informal Requirements. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 1, 145-152, IEEE Computer Society, 2007.
• Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin Snook, Formalizing UML-based Development of Fault Tolerant Control Systems. In: Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT'2007), 70-79, RODIN, 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. In: Tiziana andAnna Philippou Margaria (Ed.), IEEE 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), 436-445, 2006.
• Dubravka Ilic, Elena Troubitsyna, Formal Development of Software for Tolerating Transient Faults. In: Proceeding of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005.
• Dubravka Ilic, Elena Troubitsyna, Modelling Fault Tolerance of Transient Faults. In: Cliff Jones Alexander Romanovsky Elena Troubitsyna Michael Butler (Ed.), Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), 84-92, 2005.
• Sari Leppänen, Dubravka Ilic, Qaisar Malik, Tarja Systä, Elena Troubitsyna, Specifying UML Profile for Distributed Communicating Systems and Communication Protocols. In: Gianna Reggio Jean Louis Sourrouille Miroslaw Staron Ludwik Kuzniarz (Ed.), Workshop on Consistency in Model Driven Engineering - C@MODE’05, 31-46, 2005.
• Dubravka Ilic, Elena Troubitsyna, A Formal Approach to Model-Driven Engineering. In: Proceedings of the 16th Nordic Workshop on Programming Theory, 25-26, Uppsala University, Uppsala, Sweden, 2004.

Chapters in edited books (1):

• Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin Snook, Formal Development of Mechanisms for Tolerating Transient Faults. In: Rigorous Development of Complex Fault-Tolerant Systems, Lecture Notes in Computer Science 4157, 189–209, Springer Berlin / Heidelberg, 2006.

Technical reports (8):

• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala, Formalisation of an Industrial Approach to Monitoring Critical Data. TUCS Technical Reports 1070, TUCS, 2013.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala, Supporting Reuse in Event B Development: Modularisation Approach. TUCS Technical Reports 947, Turku Centre for Computer Science, 2009.
• Dubravka Ilic, Sari Leppänen, Elena Troubitsyna, Linas Laibinis, Towards Automated Model-Driven Development of Distributed Communicating Systems and Communication Protocols. TUCS Technical Reports 829, Turku Centre for Computer Science, 2007.
• Dubravka Ilic, Colin Snook, Elena Troubitsyna, Linas Laibinis, Formal Model-Driven Development of Fault Tolerant Control Systems. TUCS Technical Reports 828, Turku Centre for Computer Science, 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. TUCS Technical Reports 777, Turku Centre for Computer Science, 2006.
• Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin Snook, Formal Development of Mechanisms for Tolerating Transient Faults. TUCS Technical Reports 763, Turku Centre for Computer Science, 2006.
• Dubravka Ilic, Elena Troubitsyna, A Formal Model-Driven Approach to Requirements Engineering. TUCS Technical Reports 667, Turku Centre for Computer Science, 2005.
• Dubravka Ilic, Elena Troubitsyna, Formal Development of Software for Tolerating Transient Faults. TUCS Technical Reports 694, Turku Centre for Computer Science, 2005.