Publications (289)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page2/6 Next page Last page
A Å B C D E F G H I J K L M N O P Q R S T U V W All 
D4 Published development or research report or study
The Uva Virtual Machine (2003)
Dan Österberg, Johan Lilius
D4 Published development or research report or study
Tool Support for DFD to UML Model-Based Transformations (2003)
Dragos Truscan, João Miguel Fernandes, Johan Lilius
D4 Published development or research report or study
UML-driven TTA-based protocol processor design (2003)
Johan Lilius, Dragos Truscan
D4 Published development or research report or study
Job satisfaction in Finland: Some results from the European Community household panel 1996-2001 (2004)
Edvard Johansson
D4 Published development or research report or study
Alcohol mortality, drinking behaviour, and business cycles: are slumps really dry seasons? (2005)
Johansson Edvard, Böckerman Petri, Prättälä Ritva, Uutela Antti
D4 Published development or research report or study
Development of Fault Tolerant Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
D4 Published development or research report or study
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Published development or research report or study
Optimisation-based black-box testing of assertions in Simulink models (2005)
Pontus Boström, Jerker Björkqvist
D4 Published development or research report or study
Simulations of human cannabinoid receptor model and bovine rhodopsin (2005)
Käsnänen H, Salo OM, Lahtela-Kakkonen M, Poso A
D4 Published development or research report or study
A Language for Modeling Network Availability (2006)
Petre L, Sere K, Walden M
D4 Published development or research report or study
Are the Healthier Wealthier or the Wealthier Healthier? The European Evidence (2006)
Skalli Ali, Johansson Edvard, Theodossiou Ioannis
D4 Published development or research report or study
Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2006)
Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
D4 Published development or research report or study
Human rights of women (2006)
Katarina Frostell
D4 Published development or research report or study
Mode-Automata in Simulink/Stateflow (2006)
Boström P, Morel L
D4 Published development or research report or study
Rialto 2.0: A Language for Heterogenous Computing (2006)
Lilius J, Morel L
Turku Centre for Computer Science
D4 Published development or research report or study
Alcohol consumption and sickness absence: Evidence from panel data (2007)
Johansson Edvard, Böckerman Petri, Uutela Antti
D4 Published development or research report or study
A System for Measuring Application Level Quality of Service in a DVB-H Network (2007)
Jerker Björkqvist, Janne Kempe, Kristian Nybom, Michael Stormbom, Raoul Sundsten
D4 Published development or research report or study
Economic inequality and health: looking beyond aggregate indicators (2007)
Petri Böckerman, Edvard Johansson, Satu Helakorpi, Antti Uutela
D4 Published development or research report or study
Eliten è liten, men växer : förändrade perspektiv på elitidrott (2007)
Mikael Lindfelt
D4 Published development or research report or study
Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow (2007)
Pontus Boström, Lionel Morel
D4 Published development or research report or study
Kielikylpyperheet valokeilassa. Taustat ja odotukset. (2007)
Mari Bergroth
D4 Published development or research report or study
Quality Comparison and Evaluation of Digital Hydraulic Control Systems (2007)
Marta Pląska, Marina Waldén
D4 Published development or research report or study
Testable specifications of NoTA-based modular embedded systems (2007)
Johan Lilius, Johan Lindqvist, Ivan Porres, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola
D4 Published development or research report or study
The effect of obesity on wages and employment: The difference between having a high BMI and being fat (2007)
Edvard Johansson, Petri Böckerman, Urpo Kiiskinen, Markku Heliövaara
D4 Published development or research report or study
The physical strenuousness of work is slightly associated with an upward trend in the body mass index (2007)
Petri Böckerman, Edvard Johansson, Pekka Jousilahti, Antti Uutela
D4 Published development or research report or study
Towards a Formal Definition of Model Driven Development (2007)
Johan Lilius, Ian Oliver
D4 Published development or research report or study
Two Cases of Data Overflow in the Protein Sequencing Program BLASTPGP (2007)
Kristoffer Osowski, Jan Westerholm, Mats Aspnäs
D4 Published development or research report or study
A Content Scheduling Algorithm for Multimedia Interactive Mobile Games (2008)
M. Mohsin Saleemi, Kristian Nybom, Jerker Björkqvist, Johan Lilius
D4 Published development or research report or study
Does Finland suffer from brain drain? (2008)
Edvard Johansson
D4 Published development or research report or study
Från opinion till deliberation (2008)
Marina Lindell
D4 Published development or research report or study
Generating Test Cases from Scenario-Based Formal Development (2008)
Qaisar A. Malik, Johan Lilius,Linas Laibinis
D4 Published development or research report or study
NoTA (Sub)System Specification Guidelines (2008)
Karlå M, Lilius J, Lindqvist J, Porres I, Truscan D, Eriksson T, Latva-Aho A, Rakkola J
D4 Published development or research report or study
Online Testing of the ÅBOT Game Server Using the Qtronic Tool (2008)
Liu X, Truscan D, Lilius J
D4 Published development or research report or study
The Canals Language and its Compiler (2008)
Dahlin A, Ersfolk J, Habli GYH, Lilius J
D4 Published development or research report or study
Työolot ja tuottavuus: Työpaikkavirtojen nosteessa vai puristuksessa? (2008)
Pekka Ilmakunnas, Edvard Johansson, Mika Maliranta
D4 Published development or research report or study
A Semantic Transformation from UML Models to Input for the Qtronic Test Design Tool (2009)
Fredrik Abbors, Tuomas Pääjärvi, Risto Teittinen, Dragos Truscan, Johan Lilius
D4 Published development or research report or study
A Software Based Implementation of the DVB-T2 Bit Interleaved Coding and Modulation Transmission Chain (2009)
Kristian Nybom, Jens Sandqvist, Thomas Soininen, Jerker Björkqvist, Johan Lilius
D4 Published development or research report or study
Creating Sequential Programs from Event-B Models (2009)
Pontus Boström
D4 Published development or research report or study
Creative destruction and employee well-being (2009)
Böckerman Petri, Ilmakunnas Pekka, Johansson Edvard
D4 Published development or research report or study
Does education shield against common mental disorders? (2009)
Johansson Edvard, Böckerman Petri, Martelin Tuija, Pirkola Sami, Poikolainen Kari
D4 Published development or research report or study
Ensuring Correctness of Network Services with MIDAS (2009)
Petre L, Sere K, Waldén M
D4 Published development or research report or study
Innovative work practices and sickness absence: what does a nationally representative employee survey tell? (2009)
Petri Böckerman, Edvard Johansson, Antti Kauhanen
D4 Published development or research report or study
Olympic OWA Operators for Modeling Group Decisions (2009)
Matteo Brunelli, Robert Fullér, József Mezei
D4 Published development or research report or study
Thematic Study on Child Trafficking: National Study on Finland (2009)
Krista Orama, Maija Mustaniemi-Laakso, Martin Scheinin
D4 Published development or research report or study
An Approach to Contract-Based Verification of Simulink Models (2010)
Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik
D4 Published development or research report or study
A Tool for Efficient Combination and Evaluation of Reusable Design Assets (2010)
Johan Ersfolk, Johan Lilius, Torbjörn Lundkvist, Ivan Porres
D4 Published development or research report or study
Does physical capacity explain the height premium? (2010)
Böckerman Petri, Johansson Edvard, Kiiskinen Urpo, Heliövaara Markku
D4 Published development or research report or study
Esi- ja perusopetuksen opetussuunnitelmajärjestelmän toimivuus (2010)
Katriina Sulonen, Ria Heilä-Ylikallio, Niina Junttila, Pia Kola-Torvinen, Tuula Laine, Eero Ropo, Markku Suortamo, Gunnel Knubb-Manninen, Esko Korkeakoski
D4 Published development or research report or study
Evaluation of the Energy Efficiency of ARM Based Processors for Cloud Infrastructure (2010)
Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius
D4 Published development or research report or study
Integrating FMEA into Event-B Development of Safety-Critical Control Systems (2010)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
10 | 25 | 50 | 100 
First page Previous page2/6 Next page Last page
Share link Export