Johan Lilius

Julkaisut

Julkaisuja vuodessa 1997 1999 2003 2005 2008 2009 2011 2013 2014 2015 2023

• 140 Konferenssiartikkeli
• 42 Tutkimusraportti
• 25 Artikkeli
• 14 Luku
• 3 Lisää
  • 2 Antologia/toimitettu lehti
  • 1 Tiivistelmä

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2015

  Analysis and Transcoding Time Prediction of Online Videos

  Deneke, T., Lafond, S. & Lilius, J., 2015, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2014

  Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud

  Byholm, B., Jokhio, F., Ashraf, A., Lafond, S., Lilius, J. & Porres Paltor, I., 2014, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Energy and Power Management, Measurement and Analysis for Multi-Core Processors

  Holmbacka, S., Hällis, F., Lund, K. W., Lafond, S. & Lilius, J., 2014, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Turku Centre for Computer Science, Annual Report 2013

  Laine, I., Lilius, J., Mäntylä, T., Petre, I., Tuohi, O. & Tuominen, I., 2014, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2013

  Cost-Efficient Dynamically Scalable Video Transcoding in Cloud Computing

  Jokhio, F., Ashraf, A., Lafond, S., Porres Paltor, I. & Lilius, J., 2013, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Turku Centre for Computer Science, Annual Report 2012

  Laine, I., Lilius, J., Mäntylä, T., Petre, I., Tuohi, O. & Tuominen, I., 2013, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2011

  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).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• A System Level Power Management for Web Clusters

  Lafond, S., Holmbacka, S., Lilius, J., Pierson, J. (toim.) & Hlavacs, H. (toim.), 2011, IRIT Institut de Recherche en Informatique de Toulouse.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2010

  A Tool for Efficient Combination and Evaluation of Reusable Design Assets

  Ersfolk, J., Lilius, J., Lundkvist, T. & Porres Paltor, I., 2010, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Evaluation of the Energy Efficiency of ARM Based Processors for Cloud Infrastructure

  Svanfeldt-Winter, O., Lafond, S. & Lilius, J., 2010, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2009

  A Semantic Transformation from UML Models to Input for the Qtronic Test Design Tool

  Abbors, F., Pääjärvi, T., Teittinen, R., Truscan, D. & Lilius, J., 2009, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• A Software Based Implementation of the DVB-T2 Bit Interleaved Coding and Modulation Transmission Chain

  Nybom, K., Sandqvist, J., Soininen, T., Björkqvist, J. & Lilius, J., 2009, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2008

  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).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Generating Test Cases from Scenario-Based Formal Development

  Malik, Q. A., Lilius, J. & Laibinis, L., 2008, Turku Centre for Computer Science (TUCS). 40 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• NoTA (Sub)System Specification Guidelines

  Karlå, M., Lilius, J., Lindqvist, J., Porres Paltor, I., Truscan, D., Eriksson, T., Latva-Aho, A. & Rakkola, J., 2008, Turku Centre for Computer Science.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Online Testing of the ÅBOT Game Server Using the Qtronic Tool

  Liu, X., Truscan, D. & Lilius, J., 2008, Turku Centre for Computer Science.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• The Canals Language and its Compiler

  Dahlin, A., Ersfolk, J., GYH, H. & Lilius, J., 2008, Turku Centre for Computer Science.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2007

  Testable specifications of NoTA-based modular embedded systems

  Lilius, J., Lindqvist, J., Porres Paltor, I., Truscan, D., Eriksson, T., Latva-Aho, A. & Rakkola, J., 2007, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Specifications 100%
  • Networks 50%
  • System Designer 33%
  • Process Specification 16%
  • Embedded Systems 16%
  9 Lataukset (Pure)

• Towards a Formal Definition of Model Driven Development

  Lilius, J. & Oliver, I., 2007, Turku Centre for Computer Science (TUCS). 15 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2006

  Formal Service-Oriented Development of Fault Tolerant Communicating Systems

  Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J. & Malik, Q., 2006, Turku Centre for Computer Science.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Rialto 2.0: A Language for Heterogenous Computing

  Lilius, J. & Morel, L., 2006, Turku Centre for Computer Science.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2005

  Formal Model-Driven Development of Communicating Systems

  Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J. & Malik, Q., 2005, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2003

  A MOF-Based Metamodel for SA/RT

  Isaksson, J., Truscan, D. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto
  9 Lataukset (Pure)

• An Implementation of Escape Analysis for Java

  Munsin, J. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Memory Usage Estimation of Java Programs

  Enqvist, H. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Realizing a Model Driven Engineering Process

  Alanen, M., Lilius, J., Porres Paltor, I. & Truscan, D., 2003, Turku Centre for Computer Science (TUCS). 27 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto
  9 Lataukset (Pure)

• Region Based Allocation in Java

  Enqvist, H. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Rethinking Software Updating; Concepts for Improved Updatability

  Österberg, D. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS). 107 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• TACO IPv6 Router - a Case Study in Protocol Processor Design

  Virtanen, S., Truscan, D. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS). 56 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto
  12 Lataukset (Pure)

• The Uva Virtual Machine

  Österberg, D. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Tool Support for DFD to UML Model-Based Transformations

  Truscan, D., Miguel Fernandes, J. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto
  14 Lataukset (Pure)

• UML-driven TTA-based protocol processor design

  Lilius, J. & Truscan, D., 2003, Turku Centre for Computer Science (TUCS). 36 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto
  12 Lataukset (Pure)
• 2000

  Checking Compositions of UML Sequence Diagrams for Timing Inconsistency

  Xuandong, L. & Lilius, J., 2000, Turku Centre for Computer Science. 20 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  8 Sitaatiot (Scopus)
• 1999

  Checking Timing Petri Nets for Linear Duration Properties

  Xuandong, L. & Lilius, J., 1999, Turku Centre for Computer Science (TUCS). 19 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation

  Porres Paltor, I. & Lilius, J., 1999, Turku Centre for Computer Science (TUCS). 34 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• OB(PN)² : An Object Based Petri Net Programming Notation

  Lilius, J., 1999, Turku Centre for Computer Science (TUCS). 33 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• The Production Cell: An Exercise in the Formal Verification of a UML Model

  Lilius, J. & Porres Paltor, I., 1999, Turku Centre for Computer Science (TUCS). 20 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• The Semantics of UML State Machines

  Lilius, J. & Porres Paltor, I., 1999, Turku Centre for Computer Science (TUCS). 20 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Timing Analysis of Message Sequence Charts

  Xuandong, L. & Lilius, J., 1999, Turku Centre for Computer Science (TUCS). 28 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Timing Analysis of UML Sequence Diagrams

  Xuandong, L. & Lilius, J., 1999, Turku Centre for Computer Science (TUCS). 16 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  31 Sitaatiot (Scopus)

• Verifying Time Petri Nets by Linear Programming

  Xuandong, L. & Lilius, J., 1999, Turku Centre for Computer Science (TUCS). 14 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• vUML: a Tool for Verifying UML Models

  Lilius, J. & Porres Paltor, I., 1999, Turku Centre for Computer Science (TUCS). 14 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen