Publikationer per år
Publikationer per år
- 11 resultat
Sökresultat
-
2015
Derivation of Parallel and Resilient Programs from Simulink Models
Ostroumov, S., Boström, P. & Walden, M., 2015, Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. O'Conner, L. (red.). IEEE, s. 416–420Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
2014
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System
Boström, P., Alexeev, P. S., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2014, Formal Methods for Industrial Critical Systems. Lang, F. & Flammini, F. (red.). Lecture notes for computer science, s. 33–47Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
Wiik, J. & Boström, P., 2014, Formal Methods and Software Engineering. Merz, S. & Pang, J. (red.). Springer, s. 396–412Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
Wiik, J. & Boström, P., 2014, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
4 Citeringar (Scopus) -
Deriving Efficient and Dependable Parallel Programs from Simulink Models
Ostroumov, S., Boström, P., Walden, M. & Huova, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1111)Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
Öppen tillgångFil84 Nedladdningar (Pure) -
2013
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems
Alexeev, P. S., Boström, P., Walden, M., Huova, M., Linjama, M. & Sere, K., 2013, Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems. Benavente-Peces, C. & Filipe, J. (red.). SCITEPRESS Digital Library, s. 189–194Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
2012
Simulations with Fault-Tolerant Controller Software of a Digital Valve
Huova, M., Ketonen, M., Alexeev, P., Boström, P., Linjama, M., Waldén, M. & Sere, K., 2012, Proceedings of the Fifth Workshop on Digital Fluid Power : DFP12. Laamanen, A. & Linjama, M. (red.). Tampere, Finland: Tampere University of Technology, s. 223-242Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
2011
Development of Controllers Using Simulink and Contract-Based Design
Boström, P., Huova, M., Olszewska, M., Linjama, M., Heikkilä, M., Sere, K. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (red.). Information science reference IGI, s. 151–169Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
-
Simulink-Specific Design Quality Metrics
Olszewska, M., 2011, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
-
2009
Controller Design of Digital Hydraulic Flow Control Valve
Huova, M., Olszewska, M., Siivonen, L., Linjama, M., Walden, M., Vilenius, M. & Sere, K., 2009, Proceedings of 11th Scandinavian International Conference on Fluid Power (SICFP'09). s. –Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Quality Analysis of Simulink Models
Olszewska, M., Huova, M., Walden, M., Sere, K. & Linjama, M., 2009, Software Quality Engineering. Proceedings of the CONQUEST 2009.. Schieferdecker, I. & Goericke, S. (red.). dpunkt.verlag GmbH, s. –Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review