Referentgranskade publikationer

A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
Visual Component-Based Development of Formal Models (2017)
S. Ostroumov, M. Waldén
Iaria xps press
A4 Konferenspublikationer
Using Scrum to Develop a Formal Model – An Experience Report (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Derivation of Parallel and Resilient Programs from Simulink Models (2015)
Sergey Ostroumov, Pontus Boström, Marina Waldén
IEEE
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
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 Konferenspublikationer
Derivation of Structural VHDL from Component-Based Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila and Kaisa Sere
TUCS
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Approach to Agent-Based Dynamic Reconfiguration in Networks-On-Chip (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
Journal of Systems Architecture
Visa på utgivarens sida
A4 Konferenspublikationer
Generation of Structural VHDL Code with Library Components (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
IEEE
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Towards Designing FPGA-Based Systems by Refinement in B (2011)
Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
Visa på utgivarens sida
A4 Konferenspublikationer
VHDL Code Generation from Formal Event-B Models (2011)
Sergey Ostroumov, Leonidas Tsiopoulos
IEEE
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
(2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Facilitating Formal Event-B Development by Visual Component-based Design (2015)
Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Deriving Efficient and Dependable Parallel Programs from Simulink Models (2014)
Sergey Ostroumov, Pontus Boström, Marina Waldén, Mikko Huova
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generation of Structural VHDL Code with Library Components from Formal Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

Senast uppdaterad 2017-20-06 vid 09:52

Kom i kontakt