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

• Jonatan Wiik, Pontus Boström, Contract-Based Verification of MATLAB-Style Matrix Programs. Formal Aspects of Computing 28(1), 79–107, 2016.
• Pontus Boström, Jonatan Wiik, Contract-Based Verification of Discrete-Time Multi-Rate Simulink Models. Software and Systems Modeling , 1–21, 2015.
• Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén, Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models. Formal Aspects of Computing 26(2), 281–303, 2014.
• Pontus Boström, Marina Waldén, Implementation of Control Systems using B Action Systems: A Case Study. Nordic Journal of Computing 11(2), 75–101, 2004.

Articles in proceedings (24):

• Jonatan Wiik, Pontus Boström, Specification and Automated Verification of Dynamic Dataflow Networks. In: Alessandro Cimatti, Marjan Sirjani (Eds.), Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, Lecture Notes in Computer Science 10469, 136–151, Springer, 2017.
• Johan Ersfolk, Pontus Boström, Ville Timonen, Jan Westerholm, Jonatan Wiik, Otso Karhu, Matti Linjama, Marina Waldén, Optimal Digital Valve Control Using Embedded GPU. In: Janne Uusi-Heikkilä, Matti Linjama (Eds.), Preceedings of the Eight Workshop on Digital Fluid Power, 239–250, Tampere University of Technology, 2016.
• Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama, Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems. In: Javier Campos, Boudewijn R. Haverkort (Eds.), Quantitative Evaluation of Systems (QEST'15), LNCS 9259, 312–328, Springer, 2015.
• Pontus Boström, Peter Müller, Modular Verification of Finite Blocking in Non-terminating Programs. In: John Boyland (Ed.), 29th European Conference on Object-Oriented Programming (ECOOP 2015), LIPICS 37, 639–663, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, 2015.
• 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.
• Jonatan Wiik, Pontus Boström, Contract-Based Specification and Verification of Dataflow Programs. In: Luca Aceto, Anna Ingolfsdottir (Eds.), Proceedings of 27th Nordic Workshop on Programming Theory, NWPT'15, 1–3, Reykjavik University, 2015.
• Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama, Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. In: Frédéric Lang, Francesco Flammini (Eds.), Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science 8718, 33–47, Springer, 2014.
• Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama, Verification and Validation of a Pressure Control Unit for Hydraulic Systems. In: István Majzik, Marco Vieira (Eds.), Software Engineering for Resilient Systems, Lecture Notes in Computer Science 8785, 101–115, Springer, 2014.
• Jonatan Wiik, Pontus Boström, Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. In: Stephan Merz, Jun Pang (Eds.), 16th International Conference on Formal Engineering Methods, ICFEM 2014, Lecture Notes in Computer Science 8829, 396–412, Springer, 2014.
• Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere, Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems. In: César Benavente-Peces, Joaquim Filipe (Eds.), Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems, 189 – 194 , SCITEPRESS, 2013.
• Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain, Refinement-Based Development of Timed Systems. In: Diego Latella, Helen Treharne (Eds.), 9th International Conference on Integrated Formal Methods (iFM 2012), Lecture Notes in Computer Science 7321, 69–84, Springer, Heidelberg, 2012.
• Pontus Boström, Contract-Based Verification of Simulink Models. In: Shengchao Qin, Zongyan Qiu (Eds.), 13th International Conference on Formal Engineering Methods, ICFEM 2011, Lecture Notes in Computer Science 6991, 291–306, Springer, 2011.
• Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén, Concurrent Scheduling of Event-B Models. In: John Derrick, Eerke A. Boiten, Steve Reeves (Eds.), Proceedings 15th International Refinement Workshop, Electronic Proceedings in Theoretical Computer Science 55, 166–182, Open Publishing Association, 2011.
• Pontus Boström, Creating Sequential Programs from Event-B Models. In: Domique Méry, Stephan Merz (Eds.), Integrated Formal Methods: 8th International Conference (IFM2010), Lecture Notes in Computer Science 6396, 74–88, Springer, 2010.
• Pontus Boström, Marta Plaska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén, Contract-based Design in Controller Development and its Evaluation. In: Mikael Asplund, Simin Nadjm-Tehrani, Luigia Petre (Eds.), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009, 41, 21-27, Linköping University Electronic Press, Linköpings universitet, 2009.
• Pontus Boström, Matti Linjama, Lionel Morel, Lauri Siivonen, Marina Waldén, Design and Validation of Digital Controllers for Hydraulics Systems. In: J. Vilenius, K. T. Koskimies, J. Uusi-Heikkilä (Eds.), Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07), 1, 227-241, Tampere University of Technology, 2007.
• Pontus Boström, Lionel Morel, Marina Waldén, Stepwise Development of Simulink Models Using the Refinement Calculus Framework. In: Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.), Theoretical Aspects of Computing - ICTAC2007, Lecture Notes in Computer Science 4711, 79–93, Springer, 2007.
• Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén, Formal Transformation of Platform Independent Models into Platform Specific Models. In: Jacques Julliand, Olga Kouchnarenko (Eds.), B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings, Lecture Notes in Computer Science 4355, 186–200, Springer-Verlag, 2007.
• Matti Linjama, Mikko Huova, Pontus Boström, Arto Laamanen, Lauri Siivonen, Lionel Morel, Marina Waldén, Matti Vilenius, Design and Implementation of Energy Saving Digital Hydraulic Control System. In: J. Vilenius, K. T. Koskimies, J. Uusi-Heikkilä (Eds.), Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07), 2, 341-359, Tampere University of Technology, 2007.
• Pontus Boström, Jerker Björkqvist, Detecting Design Flaws in Control Systems Using Optimisation Methods. In: Proceedings of the IEEE International Symposium on Computer-Aided Control Systems Design (CACSD) 2006, 1544-1549, 2006.
• Pontus Boström, Marina Waldén, Development of Fault Tolernt Grid Applications Using Distributed B. In: Judi Romijn, Graeme Smith, Jaco van de Pol (Eds.), 5th International Conference on Integrated Formal Methods, IFM2005, Lecture Notes in Computer Science 3771, 167–186, Springer, 2005.
• Pontus Boström, Marina Waldén, An Extension of Event B for Developing Grid Systems. In: H. Treharne, S. King, M. Henson, S. Schneider (Eds.), Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B, Lecture Notes in Computer Science, 142–161, Springer Verlag, 2005.
• Pontus Boström, Marina Waldén, Extensions of Event Based B for Development of Grid Systems . In: Proceedings of the 16th Nordic Workshop on Programming Theory, 110-112, Uppsala University, 2004.
• Pontus Boström, Marina Waldén, A Case Study: Implementation of Control Systems Using B-Action Systems. In: Proceedings of the 15th Nordic Workshop on Programming Theory , Ser. B,, 51-53, 2003.

Chapters in edited books (2):

• Jüri Vain, Leonidas Tsiopoulos, Pontus Boström, Integrating Refinement-Based Methods for Developing Timed Systems. In: Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems: The Refinement Approach, 171 – 185, Taylor & Francis, 2016.
• Pontus Boström, Mikko Heikkilä, Mikko Huova, Matti Linjama, Marta Olszewska, Kaisa Sere, Marina Waldén, Development of Controllers Using Simulink and Contract-Based Design. In: Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, 151–169, IGI Global, 2011.

Ph.D. thesis (1):

• Pontus Boström, Formal Design and Verification of Systems Using Domain-Specific Languages. TUCS Dissertations 110. Turku Centre for Computer Science, 2008.

Technical reports (17):

• Jonatan Wiik, Pontus Boström, Specification and Automated Verification of Dynamic Dataflow Networks. TUCS Technical Reports 1170, TUCS, 2016.
• Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama, Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems. TUCS Technical Reports 1136, TUCS, 2015.
• Pontus Boström, Peter Müller, Modular Verification of Finite Blocking in Non-terminating Programs. ETH-Zürich Research Collection , ETH-Zürich, 2014.
• 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.
• Jonatan Wiik, Pontus Boström, Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. TUCS Technical Reports 1107, TUCS, 2014.
• Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik, An Approach to Contract-Based Verification of Simulink Models. TUCS Technical Reports 985, Turku Centre for Computer Science, 2010.
• Pontus Boström, Creating Sequential Programs from Event-B Models. TUCS Technical Reports 955, Turku Centre for Computer Science, 2009.
• Pontus Boström, Lionel Morel, Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow. TUCS Technical Reports 830, Turku Centre for Computer Science, 2007.
• Pontus Boström, Lionel Morel, Marina Waldén, Stepwise Development of Simulink Models Using the Refinement Calculus Framework. TUCS Technical Reports 821, Turku Centre for Computer Science, 2007.
• Pontus Boström, Matti Linjama, Lionel Morel, Lauri Siivonen, Marina Waldén, Design and Validation of Digital Controllers for Hydraulics Systems. TUCS Technical Reports 800, Turku Centre for Computer Science, 2006.
• Pontus Boström, Lionel Morel, Mode-Automata in Simulink/Stateflow. TUCS Technical Reports 772, Turku Centre for Computer Science, 2006.
• Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén, Formal Transformation of Platform Independent Models into Platform Specific Models in MDA. TUCS Technical Reports 759, Turku Centre for Computer Science, 2006.
• Pontus Boström, Jerker Björkqvist, Optimisation Based Black-Box Testing of Assertions in Simulink Models. TUCS Technical Reports 711, Turku Centre for Computer Science, 2005.
• Pontus Boström, Marina Waldén, Development of Fault Tolerant Grid Applications Using Distributed B. TUCS Technical Reports 706, Turku Centre for Computer Science, 2005.
• Pontus Boström, Marina Waldén, An Extension of Event B for Developing Grid Systems. TUCS Technical Reports 632, Turku Centre for Computer Science, 2004.
• Pontus Boström, Micaela Jansson, Marina Waldén, A Healthcare Case Study: Fillwell. TUCS Technical Reports 569, Turku Centre for Computer Science, 2003.
• Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson, A Methodology for Integration of Formal Methods in a Healthcare Case Study. TUCS Technical Reports 436, Turku Centre for Computer Science, 2001.