Johan Lilius Professor, Informationsteknologi gemensamma Professor, Datateknik E-post: johan.lilius@abo.fi Mobiltelefon: +358-405440741 Telefon: +358-2-2154099

Referentgranskade publikationer

A4 Konferenspublikationer Recursive Task Generation for Scalable SDF Graph Execution on Multicore Processors (2020) Georgios Georgakarakos, Johan Lilius IEEE Computer Society Conference Publishing Services (CPS)

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A3 Bokavsnitt, kapitel i forskningsböcker RDF stores for enhanced living environments: An overview (2019) Petteri Karvinen, Natalia Diaz-Rodriguez, Stefan Grönroos, Johan Lilius Springer Visa på utgivarens sida

A4 Konferenspublikationer Efficient task-based code generation for SDF graph execution on multicore processors (2018) Georgios Georgakarakos, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer Inactivity Benchmarking (2018) Wictor Lund, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer IoT at Sea (2018) Kristian Nybom, Wictor Lund, Sébastien Lafond, Johan Lilius, Jerker Björkqvist, Kalle Suominen, Kalle Tuulos IEEE Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Konferenspublikationer Detecting data-parallel synchronous dataflow graphs (2017) Sudeep Kanur, Johan Lilius, Johan Ersfolk IEEE Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A4 Konferenspublikationer Task-based execution of synchronous dataflow graphs for scalable multicore computing (2017) Georgios Georgakarakos, Sudeep Kanur, Johan Lilius, Karol Desnos IEEE Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Accurate energy modeling for many-core static schedules with streaming applications (2016) Simon Holmbacka, Jörg Keller, Patrick Eitschberger, Johan Lilius Microprocessors and Microsystems Visa på utgivarens sida

A4 Konferenspublikationer Analysis on scalability and energy efficiency of HEVC decoding using task-based programming model (2016) Georgios Georgakarakos, Simon Holmbacka, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer An Approach for Structuring Sound Sample Libraries Using Ontology (2016) Eugene Cherny, Johan Lilius, Johannes Brusila, Dmitry Mouromtsev, Gleb Rogozinsky Springer Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer Energy Aware Software: Issues, Approaches and Challenges (2016) Sébastien Lafond, Simon Holmbacka, Johan Lilius IEEE

A4 Konferenspublikationer 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 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A4 Konferenspublikationer Accurate Energy Modelling for Many-Core Static Schedules (2015) Simon Holmbacka, Jörg Keller, Patrick Eitschberger, Johan Lilius IEEE Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A4 Konferenspublikationer Analysis and Transcoding Time Prediction of Online Videos (2015) Tewodors Deneke, Sebastien Lafond, Johan Lilius IEEE International Symposium on Multimedia

A4 Konferenspublikationer 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) Visa på utgivarens sida

A4 Konferenspublikationer 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 Konferenspublikationer Execution of dataflow process networks on OpenCL platforms (2015) Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk IEEE Visa på utgivarens sida

A4 Konferenspublikationer Integration of Dataflow Components Within a Legacy Video Transcoding Framework (2015) Tewodros Deneke, Lionel Morel, Sébastien Lafond, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer Performance Evaluation of Parallel HEVC Strategies (2015) Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk IEEE Visa på utgivarens sida

A4 Konferenspublikationer 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 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A4 Konferenspublikationer A Run-Time Power Manager Exploiting Software Parallelism (2014) Holmbacka S, Lafond S, Lilius J International Conference on Parallel Architecture and Compilation Techniques Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Konferenspublikationer 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 Konferenspublikationer 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 Konferenspublikationer Evaluation of CPU Hotplug Latency on Multi-Core ARM Chips (2014) Simon Holmbacka, Johan Lilius Lunds Tekniska Högskola

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Exploiting Smart Spaces for Interactive TV Applications Development (2014) Saleemi MM, Díaz Rodríguez N, Lilius J Journal of Supercomputing

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A4 Konferenspublikationer Modelling Resilience of Data Processing Capabilities of CPS (2014) Laibinis L, Klionskiy D, Troubitsyna E, Dorokhov A, Lilius J, Kupriyanov M Springer Visa på utgivarens sida

A4 Konferenspublikationer 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 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Konferenspublikationer 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 Konferenspublikationer Teaching Many-Core Programming (2014) Leonidas Tsiopoulos, Fareed Ahmed Johkio, Georgios Georgakarakos, Andreas Dahlin, Johan Lilius Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Konferenspublikationer 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 Visa på utgivarens sida

A3 Bokavsnitt, kapitel i forskningsböcker 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 Konferenspublikationer 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 Konferenspublikationer Modeling Control Tokens for Composition of CAL Actors (2013) Johan Ersfolk, Ghislain Roquier, Johan Lilius, Marco Mattavelli IEEE

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A3 Bokavsnitt, kapitel i forskningsböcker 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 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer Bit Rate Reduction Video Transcoding with Distributed Computing (2012) Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius IEEE Visa på utgivarens sida

A3 Bokavsnitt, kapitel i forskningsböcker Ontology Driven Smart Space Application Development (2012) Saleemi MM, Díaz Rodríguez N, Suenson E, Lilius J, Porres I River publishers

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer SCHEDULING OF DYNAMIC DATAFLOW PROGRAMS BASED ON STATE SPACE ANALYSIS (2012) Ersfolk J, Roquier G, Lilius J, Mattavelli M IEEE Visa på utgivarens sida

A4 Konferenspublikationer Towards Ontology-Driven Development of Ubiquitous and Intelligent interactive TV Applications (2012) Saleemi MM, Díaz Rodríguez N, Lilius J IEEE

A4 Konferenspublikationer A Framework for Context-Aware Applications for Smart Spaces (2011) M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Iván Porres Springer Visa på utgivarens sida

A4 Konferenspublikationer Analysis of Video Segmentation for Spatial Resolution Reduction Video Transcoding (2011) Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer A PID-Controlled Power Manager for Energy Efficient Web Clusters (2011) Simon Holmbacka, Sébastien Lafond, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer Cost and Energy Reduction Evaluation for ARM Based Web Servers (2011) Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer End-User’s Service Composition in Ubiquitous Computing using Smartspace Approach (2011) M. Mohsin Saleemi, Johan Lilius Iaria xps press

A4 Konferenspublikationer Framework for Smart Space Application Development (2011) André Kaustell, M. Mohsin Saleemi, Thomas Rosqvist, Juuso Jokiniemi, Johan Lilius, Ivan Porres SCITEPRESS Digital Library

A4 Konferenspublikationer Interfacing and Scheduling Legacy Code within the Canals Framework (2011) Andreas Dahlin, Fareed Jokhio, Johan Lilius, Jérôme Gorin, Mickaël Raulet IEEE Visa på utgivarens sida

A4 Konferenspublikationer OWL Web Ontology Language as a Scripting Language for Smart Space Applications. (2011) Suenson E, Lilius J, Porres I Springer Visa på utgivarens sida

A4 Konferenspublikationer Power Proportional Characteristics of an Energy Manager for Web Clusters (2011) Simon Holmbacka, Sébastien Lafond, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A4 Konferenspublikationer Interactive Applications for Mobile TV (2010) M. Mohsin Saleemi, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer 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 Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Konferenspublikationer Rialto 2.0: A Language for Heterogeneous Computations (2010) Lilius J, Dahlin A, Lionel M Springer Visa på utgivarens sida

A4 Konferenspublikationer Using UML Models and Formal Verification in Model-Based Testing (2010) Malik Q, Truscan D, Lilius J IEEE

A4 Konferenspublikationer Analysis of Memory Access Optimization for Motion Compensation Frames in MPEG-4 (2009) Haitham Habli, Johan Lilius, Johan Ersfolk IEEE Visa på utgivarens sida

A4 Konferenspublikationer Configurable Video Decoding in a Dataflow Language (2009) Dahlin A, Ersfolk J, Yang G, Lilius J

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Content Scheduling in Multimedia Interactive Mobile Games (2009) M. Mohsin Saleemi, Kristian Nybom, Jerker Björkqvist, Johan Lilius Loading...

A4 Konferenspublikationer 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 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Visa på utgivarens sida

A4 Konferenspublikationer Memory Analysis of Low Power MPEG-4 Decoder Architecture (2009) Andreas Dahlin, Johan Ersfolk, Haitham Habli, Johan Lilius IEEE Computer Society Visa på utgivarens sida

A4 Konferenspublikationer Scenario-based Test Case Generation Using Event-B Models (2009) Qaisar A. Malik, Johan Lilius, Linas Laibinis IEEE Computer Society Visa på utgivarens sida

A4 Konferenspublikationer The Canals Language and its Compiler (2009) Andreas Dahlin, Johan Ersfolk, Guyfu Yang, Haitham Habli, Johan Lilius ACM

A4 Konferenspublikationer Tracing Requirements in a Model-Based Testing Approach (2009) Fredrik Abbors, Dragoş Truşcan, and Johan Lilius IEEE Computer Society Visa på utgivarens sida

A4 Konferenspublikationer 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 Konferenspublikationer 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 Konferenspublikationer A Model-Based Design Process for the SegBus Distributed Architecture (2008) Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen IEEE Computer Society Visa på utgivarens sida

A4 Konferenspublikationer A Testing Framework for NOTA-Based Devices (2008) Karlå M, Truscan D, Lilius J, Porres I, Eriksson T, Hurskainen M

A4 Konferenspublikationer Energy efficiency analysis of multi MPEG-4 decoder systems (2008) Lafond S, Boutellier J, Lilius J, Silven O Proceedings of SPIE Visa på utgivarens sida

A4 Konferenspublikationer Interactive Applications for Mobile TV (2008) Saleemi MM, Lilius J

A4 Konferenspublikationer 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 Visa på utgivarens sida

A3 Bokavsnitt, kapitel i forskningsböcker Model-based Testing Using Scenarios and Event-B Refinements (2008) Qaisar A Malik, Johan Lilius, Linas Laibinis Springer Visa på utgivarens sida

A3 Bokavsnitt, kapitel i forskningsböcker SystemC-based Simulation of the MICAS Architecture (2008) Truscan D, Sandström K, Lilius J, Porres I

A4 Konferenspublikationer 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 Konferenspublikationer A Communication Methodology for Interactive Location-Based Mobile Games (2007) Kristian Nybom, Janne Kempe, M. Mohsin Saleemi, Jerker Björkqvist, Johan Lilius

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Energy consumption analysis for two embedded Java virtual machines (2007) Sébastien Lafond, Johan Lilius Journal of Systems Architecture Visa på utgivarens sida

A4 Konferenspublikationer Model-based Testing Using Scenarios and Event-B Refinements (2007) Qaisar A. Malik , Johan Lilius, Linas Laibinis

A3 Bokavsnitt, kapitel i forskningsböcker Protocol Processor Design Issues (2007) Dragos Truscan, Seppo Virtanen, Johan Lilius Springer Visa på utgivarens sida

A4 Konferenspublikationer Software Platform for Mobile TV (2007) M. Mohsin Saleemi, Jerker Björkqvist, Johan Lilius

A4 Konferenspublikationer SystemC-based Simulation of the MICAS Architecture (2007) Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan

A4 Konferenspublikationer Towards a Design Methodology for Multiprocessor Platforms (2007) Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius IEEE Computer Society Visa på utgivarens sida

A4 Konferenspublikationer An energy consumption model for an embedded Java virtual machine (2006) Sébastien Lafond, Johan Lilius Lecture Notes in Computer Science Visa på utgivarens sida

A4 Konferenspublikationer An Energy Consumption Model for Java Virtual Machine (2006) Lafond S, Lilius J Springer

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Konferenspublikationer Design Method Support for Domain Specific SoC Design (2006) Alanen M, Lilius J, Porres I, Truscan D, Oliver I, Sandström K

A3 Bokavsnitt, kapitel i forskningsböcker Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2006) Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Integration of DFDs Into a UML-Based Model-Driven Engineering Approach (2006) Fernandes JM, Lilius J, Truscan D Software and Systems Modeling

A4 Konferenspublikationer Static energy saving through multi-bank memory architecture (2006) Lafond S, Lilius J IEEE Computer Society Institute of Electrical and Electronic Engineers Visa på utgivarens sida

A4 Konferenspublikationer Synthesis of Scenario Based Test Cases from B Models (2006) Satpathy M, Malik QA, Lilius J

A4 Konferenspublikationer A MOF-Based Metamodel for SA/RT (2005) Joakim Isaksson, Johan Lilius, Dragos Truscan Springer Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) 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 Bokavsnitt, kapitel i forskningsböcker Code Generation for Embedded Systems (2005) Björklund D, Lilius J, Porres I Hermes Science Publications

A4 Konferenspublikationer Formal Model-Driven Development of Communicating Systems (2005) Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik Springer Visa på utgivarens sida

A4 Konferenspublikationer 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 Konferenspublikationer Highly Automated FPGA Synthesis of Application-Specific Protocol Processors (2005) Seppo Virtanen, Dragos Truscan, Jani Paakkulainen, Jouni Isoaho, Johan Lilius IEEE Visa på utgivarens sida

A3 Bokavsnitt, kapitel i forskningsböcker On Modeling Techniques for Supporting Model Driven Development of Protocol Processing Applications (2005) Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan Springer Visa på utgivarens sida

C2 Redigerat verk Selected Papers of the 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005) (2005) Lilius J, Machado RJ, Truscan D, Fernandes JM, Porres I

A4 Konferenspublikationer 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 Konferenspublikationer Using Feature Models to Automate Model Transformations (2005) Johan Lilius, Dragos Truscan

A3 Bokavsnitt, kapitel i forskningsböcker 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 Bokavsnitt, kapitel i forskningsböcker A Unified Approach to Code Generation from Behavioral Diagrams (2004) Björklund D, Lilius J, Porres I Kluwer Academic publishers

A4 Konferenspublikationer Functional and Object-Oriented Views in Embedded Software Modeling (2004) Fernandes JM, Lilius J

A4 Konferenspublikationer MDE Support in a Protocol Processing Design Method (2004) Alanen M, Lilius J, Porres I, Truscan D

A4 Konferenspublikationer Model Driven Engineering: A Position Paper (2004) Alanen M, Lilius J, Porres I, Truscan D

A4 Konferenspublikationer Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation (2004) Björklund D, Lilius J

A4 Konferenspublikationer Tool Support for DFD-UML Model-Based Transformations (2004) Truscan D, Fernandes JM, Lilius J

A4 Konferenspublikationer A Workbench to Experiment on New Model Engineering Applications (2003) Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres Springer Visa på utgivarens sida

A4 Konferenspublikationer Fast Evaluation of Protocol Processor Architectures for IPv6 Routing (2003) Johan Lilius, Dragos Truscan, Seppo Virtanen IEEE Computer Society Visa på utgivarens sida

A4 Konferenspublikationer Rialto Profile in the SMW Toolkit (2003) Dag Björklund, Johan Lilius, Ivan Porres I IEEE Computer Society Visa på utgivarens sida

A4 Konferenspublikationer SystemC Simulation Framework of Protocol Processing Architectures for IPv6 Routing (2003) Dragos Truscan, Seppo Virtanen, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer A Design Tool for the TACO Protocol Processor Development Framework (2002) Virtanen S, Lundström T, Lilius J

A4 Konferenspublikationer A Language for Multiple Models of Computation (2002) Dag Björklund, Johan Lilius ACM Press

A4 Konferenspublikationer From UML Behavioral Descriptions to Efficient Synthesizable VHDL (2002) Dag Björklund, Johan Lilius

A4 Konferenspublikationer Region Based Allocation in Java (2002) Henrik Enqvist, Johan Lilius

A4 Konferenspublikationer TACO: Rapid Design Space Exploration for Protocol Processors (2002) Seppo Virtanen, Johan Lilius, Tero Nurmi, Tomi Westerlund

A4 Konferenspublikationer Towards a Kernel Language for Heterogenous Computing (2002) Dag Björklund, Johan Lilius IEEE Computer Society

A4 Konferenspublikationer UML-driven TTA-based protocol processor design (2002) Lilius J, Truscan D

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Efficient verification of a class of time Petri nets using linear programming (2001) Xuandong Li, Johan Lilius Information Processing Letters Visa på utgivarens sida

A4 Konferenspublikationer SystemC Based Object Oriented System Design (2001) Seppo Virtanen, Dragos Truscan, Johan Lilius

A4 Konferenspublikationer The TACO Protocol Processor Simulation Environment (2001) Seppo Virtanen, Johan Lilius IEEE Visa på utgivarens sida

A4 Konferenspublikationer Towards Efficient Code Synthesis from Statecharts (2001) Dag Björklund, Johan Lilius, Ivan Porres

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) A causal semantics for time Petri nets (2000) Tuomas Aura, Johan Lilius Theoretical Computer Science Visa på utgivarens sida

A4 Konferenspublikationer An Expandable Protocol Processor Architecture (2000) Seppo Virtanen, Johan Lilius

A4 Konferenspublikationer A Processor Architecture for the TACO Protocol Processor Development Framework (2000) Seppo Virtanen, Johan Lilius, Tomi Westerlund

A4 Konferenspublikationer Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000) Xuoandong Li, Johan Lilius IEEE Computer Society

A3 Bokavsnitt, kapitel i forskningsböcker Defining precise semantics for UML (2000) Jean-Michel Bruel, Johan Lilius, Ana Moreira, Robert B. France Lecture Notes in Computer Science Springer

A4 Konferenspublikationer The Production Cell: An Exercise in the Formal Verification of a UML Model (2000) Lilius J, Porres Paltor I IEEE Computer Society

A4 Konferenspublikationer A programmable general protocol processor - a proposal for an expandable architecture (1999) Seppo Virtanen, Jouni Isoaho, Tomi Westerlund, Johan Lilius

A4 Konferenspublikationer Checking time petri nets for linear duration properties (1999) Xuandong Li, Johan Lilius IEEE Computer Society Visa på utgivarens sida

A4 Konferenspublikationer Formalising UML State Machines for Model Checking (1999) Johan Lilius, Iván Porres Paltor Springer Visa på utgivarens sida

A4 Konferenspublikationer Timing analysis of UML sequence diagrams (1999) Xuandong Li, Johan Lilius Springer Visa på utgivarens sida

A4 Konferenspublikationer vUML: A Tool for Verifying UML Models (1999) Johan Lilius, Iván Porres Paltor IEEE Computer Society Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Efficient State Space Search for Time Petri Nets (1998) Lilius J Electronic Notes in Theoretical Computer Science

A4 Konferenspublikationer Partial Order Reductions for Timed Systems (1998) Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi Visa på utgivarens sida

A4 Konferenspublikationer Time Processes for Time Nets (1997) Tuomas Aura, Johan Lilius Springer Visa på utgivarens sida

Övriga publikationer

B3 Icke-referentgranskade konferenspublikationer Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels (2020) Ashraf Adnan, Lilius Johan, Porres Ivan, Waldén Marina, Petre Luigia

D3 Professionell konferenspublikation A Knowledge Engineering Approach to Computational Creativity in Sound Design (2016) Eugene Cherny, Johan Lilius, Johannes Brusila, Dmitry Mouromtsev University of Huddersfield

D3 Professionell konferenspublikation 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 Publicerad utvecklings- eller forskningsrapport eller studie Analysis and Transcoding Time Prediction of Online Videos (2015) Tewodros Deneke, Sebastien Lafond, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie 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 Publicerad utvecklings- eller forskningsrapport eller studie 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 Publicerad utvecklings- eller forskningsrapport eller studie Turku Centre for Computer Science, Annual Report 2013 (2014) Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen

D4 Publicerad utvecklings- eller forskningsrapport eller studie Cost-Efficient Dynamically Scalable Video Transcoding in Cloud Computing (2013) Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius

D3 Professionell konferenspublikation 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 Professionell konferenspublikation Power Optimized Many-Cores with User Centric Notion of Parallelism (2013) Holmbacka S, Lafond S, Lilius J Swedish Multicore Initiative

D4 Publicerad utvecklings- eller forskningsrapport eller studie Turku Centre for Computer Science, Annual Report 2012 (2013) Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen

D4 Publicerad utvecklings- eller forskningsrapport eller studie Analysis of an RVC-CAL MPEG-4 Simple Profile Decoder (2011) Fareed Jokhio, Andreas Dahlin, Johan Ersfolk, Johan Lilius

D3 Professionell konferenspublikation Analysis of Video Transcoding on Multi-Core Platform (2011) Jokhio F, Deneke T, Lafond S, Lilius J

D4 Publicerad utvecklings- eller forskningsrapport eller studie 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 Professionell konferenspublikation System Level Power Management for Many-Core Systems (2011) Holmbacka S, Smeds J, Lafond S, Lilius J Springer

D4 Publicerad utvecklings- eller forskningsrapport eller studie A Tool for Efficient Combination and Evaluation of Reusable Design Assets (2010) Johan Ersfolk, Johan Lilius, Torbjörn Lundkvist, Ivan Porres

D4 Publicerad utvecklings- eller forskningsrapport eller studie Evaluation of the Energy Efficiency of ARM Based Processors for Cloud Infrastructure (2010) Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie 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 Publicerad utvecklings- eller forskningsrapport eller studie 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 Publicerad utvecklings- eller forskningsrapport eller studie A Content Scheduling Algorithm for Multimedia Interactive Mobile Games (2008) M. Mohsin Saleemi, Kristian Nybom, Jerker Björkqvist, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie Generating Test Cases from Scenario-Based Formal Development (2008) Qaisar A. Malik, Johan Lilius,Linas Laibinis

D4 Publicerad utvecklings- eller forskningsrapport eller studie NoTA (Sub)System Specification Guidelines (2008) Karlå M, Lilius J, Lindqvist J, Porres I, Truscan D, Eriksson T, Latva-Aho A, Rakkola J

D4 Publicerad utvecklings- eller forskningsrapport eller studie Online Testing of the ÅBOT Game Server Using the Qtronic Tool (2008) Liu X, Truscan D, Lilius J

D4 Publicerad utvecklings- eller forskningsrapport eller studie The Canals Language and its Compiler (2008) Dahlin A, Ersfolk J, Habli GYH, Lilius J

D4 Publicerad utvecklings- eller forskningsrapport eller studie 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 Publicerad utvecklings- eller forskningsrapport eller studie Towards a Formal Definition of Model Driven Development (2007) Johan Lilius, Ian Oliver

D4 Publicerad utvecklings- eller forskningsrapport eller studie Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2006) Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q

D4 Publicerad utvecklings- eller forskningsrapport eller studie Rialto 2.0: A Language for Heterogenous Computing (2006) Lilius J, Morel L Turku Centre for Computer Science

D4 Publicerad utvecklings- eller forskningsrapport eller studie Formal Model-Driven Development of Communicating Systems (2005) Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik

D4 Publicerad utvecklings- eller forskningsrapport eller studie A MOF-Based Metamodel for SA/RT (2003) Joakim Isaksson, Dragos Truscan, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie An Implementation of Escape Analysis for Java (2003) Jonas Munsin, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie Memory Usage Estimation of Java Programs (2003) Henrik Enqvist, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie Realizing a Model Driven Engineering Process (2003) Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan

D4 Publicerad utvecklings- eller forskningsrapport eller studie Region Based Allocation in Java (2003) Henrik Enqvist, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie Rethinking Software Updating; Concepts for Improved Updatability (2003) Dan Österberg, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie TACO IPv6 Router - a Case Study in Protocol Processor Design (2003) Seppo Virtanen, Dragos Truscan, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie The Uva Virtual Machine (2003) Dan Österberg, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie Tool Support for DFD to UML Model-Based Transformations (2003) Dragos Truscan, João Miguel Fernandes, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie UML-driven TTA-based protocol processor design (2003) Johan Lilius, Dragos Truscan

D4 Publicerad utvecklings- eller forskningsrapport eller studie Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000) Xuandong Li, Johan Lilius TUCS Publication Series

D4 Publicerad utvecklings- eller forskningsrapport eller studie Checking Timing Petri Nets for Linear Duration Properties (1999) Xuandong Li, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation (1999) Ivan Porres Paltor, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie OB(PN)² : An Object Based Petri Net Programming Notation (1999) Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie The Production Cell: An Exercise in the Formal Verification of a UML Model (1999) Johan Lilius, Ivan Porres Paltor

D4 Publicerad utvecklings- eller forskningsrapport eller studie The Semantics of UML State Machines (1999) Johan Lilius, Iván Porres Paltor

D4 Publicerad utvecklings- eller forskningsrapport eller studie Timing Analysis of Message Sequence Charts (1999) Xuandong Li, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie Timing Analysis of UML Sequence Diagrams (1999) Xuandong Li, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie Verifying Time Petri Nets by Linear Programming (1999) Xuandong Li, Johan Lilius

D4 Publicerad utvecklings- eller forskningsrapport eller studie vUML: a Tool for Verifying UML Models (1999) Johan Lilius, Iván Porres Paltor

Samverkansaktiviteter