Sergey Ostroumov

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 3

Top Topics

Dynamic Reconfiguration

Monitoring System

University Courses

Student Knowledge

Top Venues

Int. J. Embed. Real Time Commun. Syst.

J. Syst. Archit.

Publications

Somayeh Malakuti, Sergey Ostroumov
The Quest for Introducing Technical Debt Management in a Large-Scale Industrial Company. ECSA (2020)
Marta Olszewska, Sergey Ostroumov, Mikolaj Olszewski
To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course. SEAA (2017)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
Using Scrum to Develop a Formal Model - An Experience Report. PROFES (2016)
Sergey Ostroumov, Pontus Boström, Marina Waldén
Derivation of Parallel and Resilient Programs from Simulink Models. PDP (2015)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip. J. Syst. Archit. 59 (9) (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila
Generation of Structural VHDL Code with Library Components from Formal Event-B Models. DSD (2013)
Sergey Ostroumov, Leonidas Tsiopoulos
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms. Int. J. Embed. Real Time Commun. Syst. 3 (2) (2012)
Sergey Ostroumov, Leonidas Tsiopoulos
VHDL Code Generation from Formal Event-B Models. DSD (2011)
Yuliya Prokhorova, Vyacheslav S. Kharchenko, Sergey Ostroumov, Stanislav Yatsenko, Mykola Sidorenko, Boris Ostroumov
Dependable SoPC-Based On-board Ice Protection System: From Research Project to Implementation. DepCoS-RELCOMEX (2008)