Peer-reviewed publications

A4 Conference proceedings
To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course (2017)
Marta Olszewska, Sergey Ostroumov, Mikołaj Olszewski
IEEE
View on publisher's site
A4 Conference proceedings
Visual Component-Based Development of Formal Models (2017)
S. Ostroumov, M. Waldén
Iaria xps press
A4 Conference proceedings
Using Scrum to Develop a Formal Model – An Experience Report (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
Derivation of Parallel and Resilient Programs from Simulink Models (2015)
Sergey Ostroumov, Pontus Boström, Marina Waldén
IEEE
View on publisher's site
A3 Book section, Chapters in research books
Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach (2014)
Sergey Ostroumov, Leonidas Tsiopoulos, Marina Waldén, Juha Plosila
IGI Global
A4 Conference proceedings
Derivation of Structural VHDL from Component-Based Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila and Kaisa Sere
TUCS
A1 Journal article (refereed)
Formal Approach to Agent-Based Dynamic Reconfiguration in Networks-On-Chip (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
Journal of Systems Architecture
View on publisher's site
A4 Conference proceedings
Generation of Structural VHDL Code with Library Components (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
IEEE
View on publisher's site
A1 Journal article (refereed)
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms (2012)
Sergey Ostroumov, Leonidas Tsiopoulos
International Journal of Embedded and Real-Time Communication Systems
View on publisher's site
A3 Book section, Chapters in research books
Towards Designing FPGA-Based Systems by Refinement in B (2011)
Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
View on publisher's site
A4 Conference proceedings
VHDL Code Generation from Formal Event-B Models (2011)
Sergey Ostroumov, Leonidas Tsiopoulos
IEEE
View on publisher's site


Other publications

D4 Published development or research report or study
Experimenting with Event-B and Scrum on Student Project Course (2017)
Marta Olszewska, Mikołaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf
D4 Published development or research report or study
Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
D4 Published development or research report or study
Facilitating Formal Event-B Development by Visual Component-based Design (2015)
Sergey Ostroumov, Marina Waldén
D4 Published development or research report or study
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
D4 Published development or research report or study
Deriving Efficient and Dependable Parallel Programs from Simulink Models (2014)
Sergey Ostroumov, Pontus Boström, Marina Waldén, Mikko Huova
D4 Published development or research report or study
Generation of Structural VHDL Code with Library Components from Formal Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

Last updated on 2017-20-06 at 09:52