Research output per year
Research output per year
Publications
- 200 - 218 out of 218 results
Search results
-
An Excursion Through Quantitative Model Refinement
Azimi Rashti, S., Czeizler, E., Gratie, D-E., Gratie, C., Iancu, B., Nebiat, I., Petre, I., Rogojin, V., Shadbahr, T. & Shokri-Manninen, F., 2015, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
2 Citations (Scopus) -
An Event-B Model for On-Demand Streaming
Sandvik, P., Sere, K. & Walden, M., 2010, Turku, Finland: Turku Centre for Computer Science. (TUCS Technical Reports; no. 994)Research output: Book/Journal/Report › Commissioned report › Professional
Open AccessFile10 Downloads (Pure) -
An Approach to Contract-Based Verification of Simulink Models
Boström, P., Grönblom, R., Huotari, T. & Wiik, J., 2010, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
Analysis of Three-Dimensional Nuclear Data on a Transputer-Based Multiprocessor System
Back, R-J., Aspnäs, M., Granlund, J., Hattula, J., Julin, R., Lampinen, A., Lönnroth, T. & Waxlax, P., 1991, Åbo Akademi University. 17 p.Research output: Book/Journal/Report › Commissioned report › Professional
-
Analysis of an RVC-CAL MPEG-4 Simple Profile Decoder
Jokhio, F., Dahlin, A., Ersfolk, J. & Lilius, J., 2011, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
Analysis and Transcoding Time Prediction of Online Videos
Deneke, T., Lafond, S. & Lilius, J., 2015, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
A MOF-Based Metamodel for SA/RT
Isaksson, J., Truscan, D. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
Open AccessFile18 Downloads (Pure) -
A Modular Approach to Formal Modelling of Peer-to-Peer Networks
Petre, L., Sandvik, P. & Sere, K., 2012, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
A Methodology for integration of formal methods in a healthcare case study
Petre, L., Troubitsyna, E., Walden, M., Boström, P., Engblom, N. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). 64 p. (TUCS Technical Reports; vol. 436)Research output: Book/Journal/Report › Commissioned report › Professional
Open AccessFile18 Downloads (Pure) -
A methodology for co-design based on a healthcare case study
Petre, L., Rönkkö, M., Troubitsyna, E., Walden, M. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; vol. 437)Research output: Book/Journal/Report › Commissioned report › Professional
Open AccessFile13 Downloads (Pure) -
A Language for Modeling Network Availability
Petre, L., Sere, K. & Walden, M., 2006, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
A Language for Modeling Network Availability
Petre, L., Sere, K. & Walden, M., 2006, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 752)Research output: Book/Journal/Report › Commissioned report › Professional
Open AccessFile17 Downloads (Pure) -
A Healthcare Case Study: Fillwell
Boström, P., Jansson, M. & Walden, M., 2003, Turku Centre for Computer Science (TUCS). 59 p. (TUCS Technical Reports; vol. 569)Research output: Book/Journal/Report › Commissioned report › Professional
Open AccessFile30 Downloads (Pure) -
Agile Development of Formal Systems Models
Snook, C., Walden, M., Edmunds, A. & Butler, M., 2019, Turku Center for Computer Science (TUCS). (TUCS Technical Report; vol. 1202)Research output: Book/Journal/Report › Commissioned report › Professional
Open AccessFile77 Downloads (Pure) -
A Content Scheduling Algorithm for Multimedia Interactive Mobile Games
Mohsin Saleemi, M., Nybom, K., Björkqvist, J. & Lilius, J., 2008, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
A conservative de Branges-Rovnyak functional model for operator Schur functions on C+
Ball, J. A., Kurula, M. & Staffans, O. J., 2017, arXiv.org.Research output: Book/Journal/Report › Commissioned report › Professional
-
A case study in requirement analysis of control systems using UML and B
Snook, C., Tsiopoulos, L. & Walden, M., 2003, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 533)Research output: Book/Journal/Report › Commissioned report › Professional
Open AccessFile30 Downloads (Pure) -
Åbo Akademi Process Chemistry Centre : Annual report 2013-2014
Lindqvist, H., Brink, A., Latonen, R-M., Mäki-Arvela, P. & Sundberg, A., 2014, Åbo Akademi University.Research output: Book/Journal/Report › Commissioned report › Professional