• 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 (2):

• Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere, Formal Approach to Agent-Based Dynamic Reconfiguration in Networks-On-Chip. Journal of Systems Architecture 59(9), 709–728, 2013.
• Sergey Ostroumov, Leonidas Tsiopoulos, Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms. International Journal of Embedded and Real-Time Communication Systems 3(2), 40–72, 2012.

Articles in proceedings (7):

• Marta Olszewska, Sergey Ostroumov, Mikołaj Olszewski, To Agile or not to Agile Students (With a Twist) - Experience Report from a Student Project Course. In: Michael Felderer, Helena Holmström-Olsson (Eds.), The Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 83–87, IEEE, 2017.
• Sergey Ostroumov, Marina Waldén, Visual Component-Based Development of Formal Models. In: Mira Kajko-Mattsson, Pål Ellingsen, Paolo Maresca (Eds.), The Third International Conference on Advances and Trends in Software Engineering (SoftEng), 43–50, IARIA, 2017.
• Marta Olszewska, Sergey Ostroumov, Marina Waldén, Using Scrum to Develop a Formal Model – An Experience Report. In: Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki, Tommi Mikkonen (Eds.), Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, LNCS 10027, 621–626, Springer International Publishing, 2016.
• Sergey Ostroumov, Pontus Boström, Marina Walden, Derivation of Parallel and Resilient Programs from Simulink Models. In: Lisa O'Conner (Ed.), 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 416–420, Conference Publishing Services, 2015.
• Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere, Derivation of Structural VHDL from Component-Based Event-B Models. In: Michael Butler, Stefan Hallerstede, Marina Walden (Eds.), Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes 18, 31–32, TUCS, 2013.
• Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere, Generation of Structural VHDL Code with Library Components. In: José Silva, Francesco Leporati (Eds.), 16th Euromicro Conference on Digital System Design DSD 2013, 111–118, IEEE Conference Publishing Services (CPS), 2013.
• Sergey Ostroumov, Leonidas Tsiopoulos, VHDL Code Generation from Formal Event-B Models. In: Paris Kitsos (Ed.), Digital System Design: Architectures, Methods and Tools, 127–134, IEEE Computer Society Conference Publishing Services (CPS), 2011.

Chapters in edited books (2):

• Sergey Ostroumov, Leonidas Tsiopoulos, Marina Waldén, Juha Plosila, Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach. In: Seppo Virtanen (Ed.), Advancing Embedded Systems and Real-Time Communications with Emerging Technologies, 302–333, IGI Global, 2014.
• Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko, Towards Designing FPGA-Based Systems by Refinement in B. In: Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, 92–112, IGI Global, 2011.

Ph.D. thesis (1):

• Sergey Ostroumov, Agent-Based Management System for Many-Core Platforms: Rigorous Design and Efficient Implementation. TUCS Dissertations 196. Åbo Akademi University, 2015.

Technical reports (6):

• Marta Olszewska, Mikołaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf, Experimenting with Event-B and Scrum on Student Project Course. TUCS Technical Reports 1176, TUCS, 2017.
• Marta Olszewska, Sergey Ostroumov, Marina Waldén, Synergising Event-B and Scrum – Experimentation on a Formal Development in an Agile Setting. TUCS Technical Reports 1152, TUCS, 2016.
• Sergey Ostroumov, Marina Waldén, Formal Library of Visual Components. TUCS Technical Reports 1147, TUCS, 2015.
• Sergey Ostroumov, Marina Waldén, Facilitating Formal Event-B Development by Visual Component-Based Design. TUCS Technical Reports 1148, TUCS, 2015.
• Sergey Ostroumov, Pontus Boström, Marina Waldén, Mikko Huova, Deriving Efficient and Dependable Parallel Programs from Simulink Models. TUCS Technical Reports 1111, TUCS, 2014.
• Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere, Generation of Structural VHDL Code with Library Components from Formal Event-B Models. TUCS Technical Reports 1073, TUCS, 2013.