Johan Lilius

Email: johan.lilius@abo.fi
Mobile: +358-405440741
Phone: +358-2-2154099


Peer-reviewed publications

A1 Journal article (refereed)
An efficient model for quantifying the interaction between structural properties of software and hardware in the ARM big.LITTLE architecture (2019)
Stepanovic S, Georgakarakos G, Holmbacka S, Lilius J
Concurrency and Computation: Practice and Experience
View on publisher's site
A4 Conference proceedings
Efficient task-based code generation for SDF graph execution on multicore processors (2018)
Georgios Georgakarakos, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Inactivity Benchmarking (2018)
Wictor Lund, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
IoT at Sea (2018)
Kristian Nybom, Wictor Lund, Sébastien Lafond, Johan Lilius, Jerker Björkqvist, Kalle Suominen, Kalle Tuulos
IEEE
View on publisher's site
A4 Conference proceedings
Quantifying the Interaction Between Structural Properties of Software and Hardware in the ARM Big.LITTLE Architecture (2018)
Srboljub Stepanovic, Georgios Georgakarakos, Simon Holmbacka, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
A Method for Automatic Whoosh Sound Description (2017)
Eugene Cherny, Johan Lilius, Dmitry Mouromtsev
Proceedings of the 20th International Conference on Digital Audio Effects (DAFx-17), Edinburgh, UK, September 5–9, 2017
A4 Conference proceedings
Detecting data-parallel synchronous dataflow graphs (2017)
Sudeep Kanur, Johan Lilius, Johan Ersfolk
IEEE
View on publisher's site
A1 Journal article (refereed)
Energy-Awareness and Performance Management with Parallel Dataflow Applications (2017)
Simon Holmbacka, Erwan Nogues, Maxime Pelcat, Sébastien Lafond, Daniel Menard, Johan Lilius
Journal of Signal Processing Systems
View on publisher's site
A4 Conference proceedings
Task-based execution of synchronous dataflow graphs for scalable multicore computing (2017)
Georgios Georgakarakos, Sudeep Kanur, Johan Lilius, Karol Desnos
IEEE
View on publisher's site
A1 Journal article (refereed)
Accurate energy modeling for many-core static schedules with streaming applications (2016)
Simon Holmbacka, Jörg Keller, Patrick Eitschberger, Johan Lilius
Microprocessors and Microsystems
View on publisher's site
A4 Conference proceedings
Analysis on scalability and energy efficiency of HEVC decoding using task-based programming model (2016)
Georgios Georgakarakos, Simon Holmbacka, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
An Approach for Structuring Sound Sample Libraries Using Ontology (2016)
Eugene Cherny, Johan Lilius, Johannes Brusila, Dmitry Mouromtsev, Gleb Rogozinsky
Springer
View on publisher's site
A4 Conference proceedings
A Semantic Security Framework and Context-Aware Role-Based Access Control Ontology for Smart Spaces (2016)
Shohreh Hosseinzadeh, Seppo Virtanen, Natalia Díaz Rodríguez, Johan Lilius
ACM
View on publisher's site
A4 Conference proceedings
Energy Aware Software: Issues, Approaches and Challenges (2016)
Sébastien Lafond, Simon Holmbacka, Johan Lilius
IEEE
A4 Conference proceedings
Medicine Tray Design and Security for Medication Administration Processes at Hospital Wards. (2016)
Pradhan Ranjita, Díaz Rodríguez Natalia, Danielsson-Ojala Riitta, Pirinen Hanna, Hamari Lotta, Tuominen Ilona, Salanterä Sanna, Soini Annamari, Lilius Johan
ACM
A1 Journal article (refereed)
Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing (2016)
Dražen Lučanin, Ilia Pietri, Simon Holmbacka, Ivona Brandic, Johan Lilius, Rizos Sakellariou
IEEE Transactions on Cloud Computing
View on publisher's site
A4 Conference proceedings
Accurate Energy Modelling for Many-Core Static Schedules (2015)
Simon Holmbacka, Jörg Keller, Patrick Eitschberger, Johan Lilius
IEEE
View on publisher's site
A1 Journal article (refereed)
Actor Merging for Dataflow Process Networks (2015)
Jani Boutellier, Johan Ersfolk, Johan Lilius, Marco Mattavelli, Ghislain Roquier, Olli Silvén
IEEE Transactions on Signal Processing
View on publisher's site
A4 Conference proceedings
Analysis and Transcoding Time Prediction of Online Videos (2015)
Tewodors Deneke, Sebastien Lafond, Johan Lilius
IEEE International Symposium on Multimedia
A4 Conference proceedings
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud (2015)
Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
IEEE Computer Society Conference Publishing Services (CPS)
View on publisher's site
A4 Conference proceedings
Determining a Device Crossover Point in CPU/GPU Systems for Streaming Applications (2015)
Sudeep Kanur, Wictor Lund, Leonidas Tsiopoulos, Johan Lilius
IEEE Global Conference on Signal and Information Processing
A4 Conference proceedings
Execution of dataflow process networks on OpenCL platforms (2015)
Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
IEEE
View on publisher's site
A4 Conference proceedings
Integration of Dataflow Components Within a Legacy Video Transcoding Framework (2015)
Tewodros Deneke, Lionel Morel, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Performance Evaluation of Parallel HEVC Strategies (2015)
Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
IEEE
View on publisher's site
A4 Conference proceedings
Performance Monitor Based Power Management for big.LITTLE Platforms (2015)
Simon Holmbacka, Sébastien Lafond, Johan Lilius
International conference on high-performance and embedded architectures and compilers
A1 Journal article (refereed)
Safe Motor Controller in a Mixed-Critical Environment with Runtime Updating Capabilities (2015)
José-Luis Gutiérrez-Rivas, Simon Holmbacka, Miguel Méndez-Macías, Wictor Lund, Sébastien Lafond, Johan Lilius, Javier Díaz-Alonso
Journal of Universal Computer Science
A1 Journal article (refereed)
Active Video Games to Promote Physical Activity in Children with Cancer: A Randomized Clinical Trial with Follow-Up (2014)
Lotta Kauhanen, Liisa Järvelä, Päivi M Lähteenmäki, Mikko Arola, Olli J Heinonen, Anna Axelin, Johan Lilius, Tero Vahlberg, Sanna Salanterä
BMC Pediatrics
View on publisher's site
A1 Journal article (refereed)
A Fuzzy Ontology for Semantic Modelling and Recognition of Human Behaviour (2014)
Natalia Díaz Rodríguez, Manuel P. Cuéllar, Johan Lilius, Miguel Delgado Calvo-Flores
Knowledge-Based Systems
View on publisher's site
A4 Conference proceedings
A Run-Time Power Manager Exploiting Software Parallelism (2014)
Holmbacka S, Lafond S, Lilius J
International Conference on Parallel Architecture and Compilation Techniques
View on publisher's site
A1 Journal article (refereed)
A Survey on Ontologies for Human Behaviour Recognition (2014)
Natalia Díaz Rodríguez, M. P. Cuéllar, Johan Lilius, Miguel Delgado Calvo-Flores
ACM Computing Surveys
View on publisher's site
A1 Journal article (refereed)
A task migration mechanism for distributed many-core operating systems (2014)
Simon Holmbacka, Mohammad Fattah, Wictor Lund, Amir-Mohammad Rahmani, Sébastien Lafond, Johan Lilius
Journal of Supercomputing
View on publisher's site
A4 Conference proceedings
Can IT health-care applications improve the medication tray-filling process at hospital wards? An exploratory study using eye-tracking and stress response (2014)
Natalia Dias Rodriguez, Johan Lilius, Riitta Danielsson-Ojala, Hanna Pirinen, Lotta Kauhanen, Sanna Salanterä, Sebu Björklund, Joachim Majors, Kimmo Rautanen, Tapio Salakoski, Ilona Tuominen
IEEE Computer Society Institute of Electrical and Electronic Engineers
A4 Conference proceedings
Decoding of DVB-T2 LDPC Codes on a Tile Processor: Optimisations and Performance Comparisons (2014)
Sudeep Kanur, Stefan Grönroos, Kristian Nybom, Jerker Björkqvist, Johan Lilius
A4 Conference proceedings
Energy Efficiency and Performance Management of Parallel Dataflow Applications (2014)
Simon Holmbacka, Erwan Nogues, Maxime Pelcat, Sébastien Lafond, Johan Lilius
ECDI Electronic Chips & Systems design initiative
A4 Conference proceedings
Evaluation of CPU Hotplug Latency on Multi-Core ARM Chips (2014)
Simon Holmbacka, Johan Lilius
Lunds Tekniska Högskola
A1 Journal article (refereed)
Exploiting Smart Spaces for Interactive TV Applications Development (2014)
Saleemi MM, Díaz Rodríguez N, Lilius J
Journal of Supercomputing
A1 Journal article (refereed)
Handling Real-World Context-Awareness, Uncertainty and Vagueness in Real-Time Human Activity Tracking and Recognition with a Fuzzy Ontology-Based Hybrid Method (2014)
Natalia Díaz Rodríguez, Olmo León Cadahía, Manuel Pegalajar Cuéllar, Johan Lilius, Miguel DelgadoCalvo-Flores
Sensors
View on publisher's site
A4 Conference proceedings
Modelling Resilience of Data Processing Capabilities of CPS (2014)
Laibinis L, Klionskiy D, Troubitsyna E, Dorokhov A, Lilius J, Kupriyanov M
Springer
View on publisher's site
A4 Conference proceedings
Monitorizado remoto de ejercicios de rehabilitación en tiempo real con sensores de profundidad 3D y tecnologías semánticas. (2014)
Díaz Rodríguez N, Wikström R, Grönroos S, Wickström F, Karvinen P, Berg A, Hosseinzadeh S, Lilius J, Cuéllar MP, Delgado Calvo-Flores M, Karppi M
Conference proceedings PDF online
A4 Conference proceedings
Power-Aware HEVC Decoding with Tunable Image Quality (2014)
Erwan Nogues, Simon Holmbacka, Maxime Pelcat, Daniel Menard, Johan Lilius
IEEE workshop on signal processing systems
View on publisher's site
A4 Conference proceedings
Semantic and Fuzzy Modelling of Human Behaviour in Smart Spaces. A case study on Ambient Assisted Living and Remote Rehabilitation (2014)
Díaz Rodríguez N, Cuéllar MP, Lilius J, Delgado Calvo-Flores M
Conference proceedings PDF online
A4 Conference proceedings
Smart Dosing: A Mobile Application for Tracking the Medication Tray-Filling and Dispensation Processes in Hospital Wards (2014)
Khan NA, Díaz Rodríguez N, Danielsson-Ojala R, Pirinen H, Kauhanen L, Salanterä S, Majors J, Björklund S, Rautanen K, Salakoski T, Tuominen I, Porres I, Lilius J
Workshop proceedings in PDF (not online)
A4 Conference proceedings
Teaching Many-Core Programming (2014)
Leonidas Tsiopoulos, Fareed Ahmed Johkio, Georgios Georgakarakos, Andreas Dahlin, Johan Lilius
View on publisher's site
A4 Conference proceedings
Video Transcoding Time Prediction for Proactive Load Balancing (2014)
Tewodors Deneke, Habtegebreil Haile, Sebastien Lafond, Johan Lilius
IEEE international conference on multimedia and expo
IEEE Computer Society Institute of Electrical and Electronic Engineers
View on publisher's site
A4 Conference proceedings
A Computation and Storage Trade-Off Strategy for Cost-Efficient Video Transcoding in the Cloud (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
An Approach to Improve Semantics in Smart Spaces Using Reactive Fuzzy Rules (2013)
Natalia Díaz Rodríguez, Johan Lilius, M. P. Cuéllar, Miguel Delgado Calvo-Flores
IEEE
View on publisher's site
A4 Conference proceedings
A Scalable Distributed M3 Platform on a Low-Power Cluster (2013)
Anders Berg, Petteri Karvinen, Stefan Grönroos, Frank Wickström, Natalia Díaz Rodríguez, Shohreh Hosseinzadeh, Johan Lilius
TUCS
A4 Conference proceedings
Extending Semantic Web Tools for Improving Smart Spaces Interoperability and Usability (2013)
Natalia Díaz Rodríguez, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores
Springer
View on publisher's site
A3 Book section, Chapters in research books
Introduction to Cloud Computing Technologies (2013)
Adnan Ashraf, Mikko Hartikainen, Usman Hassan, Keijo Heljanko, Johan Lilius, Tommi Mikkonen, Ivan Porres, Mahbubul Syeed, Sasu Tarkoma
TUCS general publications
A4 Conference proceedings
M3 Interoperability for Remote Rehabilitation with Kinect (2013)
Natalia Díaz Rodríguez, Stefan Grönroos, Franck Wickström, Petteri Karvinen, Anders Berg, Shohreh Hosseinzadeh, Marion Karppi, Johan Lilius
TUCS
A4 Conference proceedings
Modeling Control Tokens for Composition of CAL Actors (2013)
Johan Ersfolk, Ghislain Roquier, Johan Lilius, Marco Mattavelli
IEEE
A4 Conference proceedings
Parallel Decoder for Low Density Parity Check Codes: A MPSoC Study (2013)
Sudeep Kanur, Georgios Georgakarakos, Antti Siirilä, Jérémie Lagravière, Kristian Nybom, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
Parallel, Distributed and Network-Based Processing
IEEE
View on publisher's site
A3 Book section, Chapters in research books
Proactive Virtual Machine Allocation for Video Transcoding in the Cloud (2013)
Fareed Jokhio, Adnan Ashraf, Tewodros Deneke, Sebastien Lafond, Ivan Porres, Johan Lilius
TUCS general publications
A4 Conference proceedings
QoS Manager for Energy Efficient Many-Core Operating Systems (2013)
Simon Holmbacka, Dag Ågren, Sébastien Lafond, Johan Lilius
Parallel, Distributed and Network-Based Processing
IEEE
View on publisher's site
A4 Conference proceedings
Rapid Prototyping of Semantic Applications in Smart Spaces with a Visual Rule Language (2013)
Natalia Díaz Rodríguez, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores
ACM
View on publisher's site
A4 Conference proceedings
Static and Quasi-static Compositions of Stream Processing Applications from Dynamic Dataflow Programs (2013)
Johan Ersfolk, Ghislain Roquier, Wictor Lund, Marco Mattavelli, Johan Lilius
IEEE International Conference on Acoustics Speech and Signal Processing
IEEE
View on publisher's site
A4 Conference proceedings
Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing (2013)
Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Ivan Porres, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems (2013)
Simon Holmbacka, Wictor Lund, Sébastien Lafond, Johan Lilius
Parallel, Distributed and Network-Based Processing
IEEE
View on publisher's site
A4 Conference proceedings
Thermal Influence on the Energy Efficiency of Workload Consolidation in Many-Core Architectures (2013)
Fredric Hällis, Simon Holmbacka, Wictor Lund, Robert Slotte, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Understanding Movement and Interaction: An Ontology for Kinect-Based 3D Depth Sensors (2013)
Natalia Díaz Rodríguez, Robin Wikström, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores
Springer
View on publisher's site
A4 Conference proceedings
Bit Rate Reduction Video Transcoding with Distributed Computing (2012)
Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A3 Book section, Chapters in research books
Ontology Driven Smart Space Application Development (2012)
Saleemi MM, Díaz Rodríguez N, Suenson E, Lilius J, Porres I
River publishers
A4 Conference proceedings
Optimizing Off-Chip Memory Access Costs in Low Power MPEG-4 Decoder (2012)
Habli H, Ersfolk J, Lilius J, Westerlund T, Nurmi J
ACM Press
View on publisher's site
A4 Conference proceedings
SCHEDULING OF DYNAMIC DATAFLOW PROGRAMS BASED ON STATE SPACE ANALYSIS (2012)
Ersfolk J, Roquier G, Lilius J, Mattavelli M
IEEE
View on publisher's site
A4 Conference proceedings
Towards Ontology-Driven Development of Ubiquitous and Intelligent interactive TV Applications (2012)
Saleemi MM, Díaz Rodríguez N, Lilius J
IEEE
A4 Conference proceedings
A Framework for Context-Aware Applications for Smart Spaces (2011)
M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Iván Porres
Springer
View on publisher's site
A4 Conference proceedings
Analysis of Video Segmentation for Spatial Resolution Reduction Video Transcoding (2011)
Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
A PID-Controlled Power Manager for Energy Efficient Web Clusters (2011)
Simon Holmbacka, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings

Scheduling of dynamic dataflow programs with model checking
(2011)
Johan Ersfolk, Ghislain Roquier, Fareed Jokhio, Johan Lilius, Marco Mattavelli
2011 IEEE WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS)
IEEE
View on publisher's site
A4 Conference proceedings
Cost and Energy Reduction Evaluation for ARM Based Web Servers (2011)
Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
End-User’s Service Composition in Ubiquitous Computing using Smartspace Approach (2011)
M. Mohsin Saleemi, Johan Lilius
Iaria xps press
A4 Conference proceedings
Framework for Smart Space Application Development (2011)
André Kaustell, M. Mohsin Saleemi, Thomas Rosqvist, Juuso Jokiniemi, Johan Lilius, Ivan Porres
SCITEPRESS Digital Library
A4 Conference proceedings
Interfacing and Scheduling Legacy Code within the Canals Framework (2011)
Andreas Dahlin, Fareed Jokhio, Johan Lilius, Jérôme Gorin, Mickaël Raulet
IEEE
View on publisher's site
A4 Conference proceedings
OWL Web Ontology Language as a Scripting Language for Smart Space Applications. (2011)
Suenson E, Lilius J, Porres I
Springer
View on publisher's site
A4 Conference proceedings
Power Proportional Characteristics of an Energy Manager for Web Clusters (2011)
Simon Holmbacka, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Programming Biomedical Smart Space Applications with BioImageXD and PythonRules (2011)
Natalia Díaz Rodríguez, Pasi Kankaanpää, M Mohsin Saleemi, Johan Lilius, Ivan Porres
ACM
View on publisher's site
A4 Conference proceedings
Interactive Applications for Mobile TV (2010)
M. Mohsin Saleemi, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Model-Based Testing using System vs. Test Models - What is the Difference? (2010)
Malik Q, Jääskeläinen A, Virtanen H, Katara M, Abbors F, Truscan D, Lilius J
IEEE
View on publisher's site
A1 Journal article (refereed)
Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development (2010)
Qaisar A. Malik, Linas Laibinis, Dragoş Truşcan, and Johan Lilius
International Journal on Advances in Software
A4 Conference proceedings
Rialto 2.0: A Language for Heterogeneous Computations (2010)
Lilius J, Dahlin A, Lionel M
Springer
View on publisher's site
A4 Conference proceedings
Using UML Models and Formal Verification in Model-Based Testing (2010)
Malik Q, Truscan D, Lilius J
IEEE
A4 Conference proceedings
Analysis of Memory Access Optimization for Motion Compensation Frames in MPEG-4 (2009)
Haitham Habli, Johan Lilius, Johan Ersfolk
IEEE
View on publisher's site
A4 Conference proceedings
Configurable Video Decoding in a Dataflow Language (2009)
Dahlin A, Ersfolk J, Yang G, Lilius J
A1 Journal article (refereed)
Content Scheduling in Multimedia Interactive Mobile Games (2009)
M. Mohsin Saleemi, Kristian Nybom, Jerker Björkqvist, Johan Lilius
Loading...
A4 Conference proceedings
Design Complexity Management in Embedded System Design (2009)
Johan Ersfolk, Johan Lilius, Jari Muurinen, Ari Salomäki, Niklas Fors, Johnny Nylund
CEUR-WS.org
A1 Journal article (refereed)
MDE for Soc Design (2009)
Dragoş Truşcan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Ivan Lilius
Innovations in Systems and Software Engineering
View on publisher's site
A4 Conference proceedings
Memory Analysis of Low Power MPEG-4 Decoder Architecture (2009)
Andreas Dahlin, Johan Ersfolk, Haitham Habli, Johan Lilius
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Scenario-based Test Case Generation Using Event-B Models (2009)
Qaisar A. Malik, Johan Lilius, Linas Laibinis
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
The Canals Language and its Compiler (2009)
Andreas Dahlin, Johan Ersfolk, Guyfu Yang, Haitham Habli, Johan Lilius
ACM
A4 Conference proceedings
Tracing Requirements in a Model-Based Testing Approach (2009)
Fredrik Abbors, Dragoş Truşcan, and Johan Lilius
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Transformational Support for Model-Based Testing – from UML to QML (2009)
Fredrik Abbors, Tuomas Pääjärvi, Risto Teittinen, Dragoş Truşcan, Johan Lilius
Fraunhofer focus
A4 Conference proceedings
Using System Models vs. Test Models in Model-Based Testing (2009)
Malik QA, Jääskeläinen A, Virtanen H, Katara M, Abbors F, Truscan D, Lilius J
A4 Conference proceedings
A Model-Based Design Process for the SegBus Distributed Architecture (2008)
Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
A Testing Framework for NOTA-Based Devices (2008)
Karlå M, Truscan D, Lilius J, Porres I, Eriksson T, Hurskainen M
A4 Conference proceedings
Energy efficiency analysis of multi MPEG-4 decoder systems (2008)
Lafond S, Boutellier J, Lilius J, Silven O
Proceedings of SPIE
View on publisher's site
A4 Conference proceedings
Interactive Applications for Mobile TV (2008)
Saleemi MM, Lilius J
A4 Conference proceedings
Interrupt costs in embedded system with short latency hardware accelerators (2008)
Lafond S, Lilius J
International conference and workshops on engineering of computer-based systems
View on publisher's site
A3 Book section, Chapters in research books
Model-based Testing Using Scenarios and Event-B Refinements (2008)
Qaisar A Malik, Johan Lilius, Linas Laibinis
Springer
View on publisher's site
A3 Book section, Chapters in research books
SystemC-based Simulation of the MICAS Architecture (2008)
Truscan D, Sandström K, Lilius J, Porres I
A4 Conference proceedings
Testable Specifications of NoTA-Based Modular Embedded Systems (2008)
Truscan D, Lindqvist J, Lilius J, Porres I, Eriksson T, Rakkola J, Latva-Aho A
A4 Conference proceedings
A Communication Methodology for Interactive Location-Based Mobile Games (2007)
Kristian Nybom, Janne Kempe, M. Mohsin Saleemi, Jerker Björkqvist, Johan Lilius
A1 Journal article (refereed)
Energy consumption analysis for two embedded Java virtual machines (2007)
Sébastien Lafond, Johan Lilius
Journal of Systems Architecture
View on publisher's site
A4 Conference proceedings
Model-based Testing Using Scenarios and Event-B Refinements (2007)
Qaisar A. Malik , Johan Lilius, Linas Laibinis
A3 Book section, Chapters in research books
Protocol Processor Design Issues (2007)
Dragos Truscan, Seppo Virtanen, Johan Lilius
Springer
View on publisher's site
A4 Conference proceedings
Software Platform for Mobile TV (2007)
M. Mohsin Saleemi, Jerker Björkqvist, Johan Lilius
A4 Conference proceedings
SystemC-based Simulation of the MICAS Architecture (2007)
Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan
A4 Conference proceedings
Towards a Design Methodology for Multiprocessor Platforms (2007)
Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
An energy consumption model for an embedded Java virtual machine (2006)
Sébastien Lafond, Johan Lilius
Lecture Notes in Computer Science
View on publisher's site
A4 Conference proceedings
An Energy Consumption Model for Java Virtual Machine (2006)
Lafond S, Lilius J
Springer
A1 Journal article (refereed)
A System-level Framework for Designing and Evaluating Protocol Processor Architectures (2006)
Virtanen S, Nurmi T, Paakkulainen J, Lilius J
International Journal of Embedded Systems
A4 Conference proceedings
Design Method Support for Domain Specific SoC Design (2006)
Alanen M, Lilius J, Porres I, Truscan D, Oliver I, Sandström K
A3 Book section, Chapters in research books
Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2006)
Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
A1 Journal article (refereed)
Integration of DFDs Into a UML-Based Model-Driven Engineering Approach (2006)
Fernandes JM, Lilius J, Truscan D
Software and Systems Modeling
A4 Conference proceedings
Static energy saving through multi-bank memory architecture (2006)
Lafond S, Lilius J
IEEE Computer Society Institute of Electrical and Electronic Engineers
View on publisher's site
A4 Conference proceedings
Synthesis of Scenario Based Test Cases from B Models (2006)
Satpathy M, Malik QA, Lilius J
A4 Conference proceedings
A MOF-Based Metamodel for SA/RT (2005)
Joakim Isaksson, Johan Lilius, Dragos Truscan
Springer
View on publisher's site
A1 Journal article (refereed)
An Architecture Exploration Environment for System on Chip Design (2005)
Lilius J, Lillqvist T, Lundkvist T, Oliver I, Porres I, Sandström K, Sveholm G, Zaka AP
Nordic Journal of Computing
A3 Book section, Chapters in research books
Code Generation for Embedded Systems (2005)
Björklund D, Lilius J, Porres I
Hermes Science Publications
A4 Conference proceedings
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Springer
View on publisher's site
A4 Conference proceedings
Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
School of Computing Science, University of Newcastle upon Tyne
A4 Conference proceedings
Highly Automated FPGA Synthesis of Application-Specific Protocol Processors (2005)
Seppo Virtanen, Dragos Truscan, Jani Paakkulainen, Jouni Isoaho, Johan Lilius
IEEE
View on publisher's site
A3 Book section, Chapters in research books
On Modeling Techniques for Supporting Model Driven Development of Protocol Processing Applications (2005)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
Springer
View on publisher's site
A4 Conference proceedings
The MICAS Tool (2005)
Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glenn Sveholm, Asim Pervez Zaka
Tampere University Press
A4 Conference proceedings
Using Feature Models to Automate Model Transformations (2005)
Johan Lilius, Dragos Truscan
A3 Book section, Chapters in research books
A Brunch from the Coffee Table - Case Study in NoC Platform Design (2004)
Ahonen T, Virtanen S, Kylliäinen J, Truscan D, Sigüenza-Tortosa D, Paakkulainen J, Ristimäki T, Kasanko T, Nurmi T, Isäannäinen H, Saastamoinen I, Lilius J, Nurmi J, Isoaho J
Kluwer Academic publishers
A3 Book section, Chapters in research books
A Unified Approach to Code Generation from Behavioral Diagrams (2004)
Björklund D, Lilius J, Porres I
Kluwer Academic publishers
A4 Conference proceedings
Functional and Object-Oriented Views in Embedded Software Modeling (2004)
Fernandes JM, Lilius J
A4 Conference proceedings
MDE Support in a Protocol Processing Design Method (2004)
Alanen M, Lilius J, Porres I, Truscan D
A4 Conference proceedings
Model Driven Engineering: A Position Paper (2004)
Alanen M, Lilius J, Porres I, Truscan D
A4 Conference proceedings
Tool Support for DFD-UML Model-Based Transformations (2004)
Truscan D, Fernandes JM, Lilius J
A4 Conference proceedings
A Workbench to Experiment on New Model Engineering Applications (2003)
Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan
Porres

Springer
View on publisher's site
A4 Conference proceedings
Fast Evaluation of Protocol Processor Architectures for IPv6 Routing (2003)
Johan Lilius, Dragos Truscan, Seppo Virtanen
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Rialto Profile in the SMW Toolkit (2003)
Dag Björklund, Johan Lilius, Ivan Porres I
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
SystemC Simulation Framework of Protocol Processing Architectures for IPv6 Routing (2003)
Dragos Truscan, Seppo Virtanen, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
A Design Tool for the TACO Protocol Processor Development Framework (2002)
Virtanen S, Lundström T, Lilius J
A4 Conference proceedings
A Language for Multiple Models of Computation (2002)
Dag Björklund, Johan Lilius
ACM Press
A4 Conference proceedings
From UML Behavioral Descriptions to Efficient Synthesizable VHDL (2002)
Dag Björklund, Johan Lilius
A4 Conference proceedings
Region Based Allocation in Java (2002)
Henrik Enqvist, Johan Lilius
A4 Conference proceedings
TACO: Rapid Design Space Exploration for Protocol Processors (2002)
Seppo Virtanen, Johan Lilius, Tero Nurmi, Tomi Westerlund
A4 Conference proceedings
Towards a Kernel Language for Heterogenous Computing (2002)
Dag Björklund, Johan Lilius
IEEE Computer Society
A4 Conference proceedings
UML-driven TTA-based protocol processor design (2002)
Lilius J, Truscan D
A1 Journal article (refereed)
Efficient verification of a class of time Petri nets using linear programming (2001)
Xuandong Li, Johan Lilius
Information Processing Letters
View on publisher's site
A4 Conference proceedings
SystemC Based Object Oriented System Design (2001)
Seppo Virtanen, Dragos Truscan, Johan Lilius
A4 Conference proceedings
The TACO Protocol Processor Simulation Environment (2001)
Seppo Virtanen, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Towards Efficient Code Synthesis from Statecharts (2001)
Dag Björklund, Johan Lilius, Ivan Porres
A1 Journal article (refereed)
A causal semantics for time Petri nets (2000)
Tuomas Aura, Johan Lilius
Theoretical Computer Science
View on publisher's site
A4 Conference proceedings
An Expandable Protocol Processor Architecture (2000)
Seppo Virtanen, Johan Lilius
A4 Conference proceedings
A Processor Architecture for the TACO Protocol Processor Development Framework (2000)
Seppo Virtanen, Johan Lilius, Tomi Westerlund
A4 Conference proceedings
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuoandong Li, Johan Lilius
IEEE Computer Society
A3 Book section, Chapters in research books
Defining precise semantics for UML (2000)
Jean-Michel Bruel, Johan Lilius, Ana Moreira, Robert B. France
Lecture Notes in Computer Science
Springer
A4 Conference proceedings
The Production Cell: An Exercise in the Formal Verification of a UML Model (2000)
Lilius J, Porres Paltor I
IEEE Computer Society
A4 Conference proceedings
A programmable general protocol processor - a proposal for an expandable architecture (1999)
Seppo Virtanen, Jouni Isoaho, Tomi Westerlund, Johan Lilius
A4 Conference proceedings
Checking time petri nets for linear duration properties (1999)
Xuandong Li, Johan Lilius
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Formalising UML State Machines for Model Checking (1999)
Johan Lilius, Iván Porres Paltor
Springer
View on publisher's site
A4 Conference proceedings
Timing analysis of UML sequence diagrams (1999)
Xuandong Li, Johan Lilius
Springer
View on publisher's site
A4 Conference proceedings
vUML: A Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
IEEE Computer Society
View on publisher's site
A1 Journal article (refereed)
Efficient State Space Search for Time Petri Nets (1998)
Lilius J
Electronic Notes in Theoretical Computer Science
A4 Conference proceedings
Partial Order Reductions for Timed Systems (1998)
Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
View on publisher's site
A4 Conference proceedings
Time Processes for Time Nets (1997)
Tuomas Aura, Johan Lilius
Springer
View on publisher's site


Other publications

D3 Professional conference proceedings
A Knowledge Engineering Approach to Computational Creativity in Sound Design (2016)
Eugene Cherny, Johan Lilius, Johannes Brusila, Dmitry Mouromtsev
University of Huddersfield
D3 Professional conference proceedings
An Ontology for Wearables Data Interoperability and Ambient Assisted Living Application Development. (2016)
Natalia Díaz Rodríguez, Stefan Grönroos, Frank Wickström, Johan Lilius, Henk Eertink, Andreas Braun, Paul Dillen, James Crowley, Jan Alexandersson,
Springer
D4 Published development or research report or study
Analysis and Transcoding Time Prediction of Online Videos (2015)
Tewodros Deneke, Sebastien Lafond, Johan Lilius
D4 Published development or research report or study
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud (2014)
Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
D4 Published development or research report or study
Energy and Power Management, Measurement and Analysis for Multi-Core Processors (2014)
Simon Holmbacka, Fredric Hällis, Wictor Lund, Sébastien Lafond, Johan Lilius
D4 Published development or research report or study
Turku Centre for Computer Science, Annual Report 2013 (2014)
Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen
D4 Published development or research report or study
Cost-Efficient Dynamically Scalable Video Transcoding in Cloud Computing (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
D3 Professional conference proceedings
Lightweight Framework for Runtime Updating of C-Based Software in Embedded Systems (2013)
Holmbacka S, Lund W, Lafond S, Lilius J
Usenix : the advanced computing systems association
D3 Professional conference proceedings
Power Optimized Many-Cores with User Centric Notion of Parallelism (2013)
Holmbacka S, Lafond S, Lilius J
Swedish Multicore Initiative
D4 Published development or research report or study
Turku Centre for Computer Science, Annual Report 2012 (2013)
Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen
D4 Published development or research report or study
Analysis of an RVC-CAL MPEG-4 Simple Profile Decoder (2011)
Fareed Jokhio, Andreas Dahlin, Johan Ersfolk, Johan Lilius
D3 Professional conference proceedings
Analysis of Video Transcoding on Multi-Core Platform (2011)
Jokhio F, Deneke T, Lafond S, Lilius J
D4 Published development or research report or study
A System Level Power Management for Web Clusters (2011)
Sébastien Lafond, Simon Holmbacka, Johan Lilius
IRIT Institut de Recherche en Informatique de Toulouse
D3 Professional conference proceedings
System Level Power Management for Many-Core Systems (2011)
Holmbacka S, Smeds J, Lafond S, Lilius J
Springer
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
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
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
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
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
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
Towards a Formal Definition of Model Driven Development (2007)
Johan Lilius, Ian Oliver
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
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
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
A MOF-Based Metamodel for SA/RT (2003)
Joakim Isaksson, Dragos Truscan, Johan Lilius
D4 Published development or research report or study
An Implementation of Escape Analysis for Java (2003)
Jonas Munsin, Johan Lilius
D4 Published development or research report or study
Memory Usage Estimation of Java Programs (2003)
Henrik Enqvist, Johan Lilius
D4 Published development or research report or study
Realizing a Model Driven Engineering Process (2003)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
D4 Published development or research report or study
Region Based Allocation in Java (2003)
Henrik Enqvist, Johan Lilius
D4 Published development or research report or study
Rethinking Software Updating; Concepts for Improved Updatability (2003)
Dan Österberg, Johan Lilius
D4 Published development or research report or study
TACO IPv6 Router - a Case Study in Protocol Processor Design (2003)
Seppo Virtanen, Dragos Truscan, Johan Lilius
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
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuandong Li, Johan Lilius
TUCS Publication Series
D4 Published development or research report or study
Checking Timing Petri Nets for Linear Duration Properties (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation (1999)
Ivan Porres Paltor, Johan Lilius
D4 Published development or research report or study
OB(PN)² : An Object Based Petri Net Programming Notation (1999)
Johan Lilius
D4 Published development or research report or study
The Production Cell: An Exercise in the Formal Verification of a UML Model (1999)
Johan Lilius, Ivan Porres Paltor
D4 Published development or research report or study
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
D4 Published development or research report or study
Timing Analysis of Message Sequence Charts (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor


Other Research Activities


Last updated on 2018-19-09 at 19:48