Johan Lilius - RankMe

141 papers A* 2A 3B 6C 21Misc 4Journal 31Unranked 70

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Roadmap Toward Neurosymbolic Approaches in AI Design. IEEE Access Prashani Jayasingha Arachchige, Bogdan Iancu, Johan Lilius
2025	J	`jnl`	PruneX: A Hierarchical Communication-Efficient System for Distributed CNN Training with Structured Pruning. CoRR Alireza Olama, Andreas Lundell, Izzat El Hajj, Johan Lilius, Jerker Björkqvist
2023	Misc	`conf`	Data Sharing in RoPax Ports: Challenges and Opportunities. FRUCT Bogdan Iancu, Andrei-Raoul Morariu, Yiran Chen, Irina Wahlstrom, Anastasia Tsvetkova, Johan Lilius
2022	J	`jnl`	Parallel decoder for Low Density Parity Check Codes: A MPSoC study. CoRR Sudeep Kanur, Georgios Georgakarakos, Antti Siirilä, Jérémie Lagravière, Kristian Nybom, Sébastien Lafond, Johan Lilius
2021	J	`jnl`	ABOShips - An Inshore and Offshore Maritime Vessel Detection Dataset with Precise Annotations. CoRR Bogdan Iancu, Valentin Soloviev, Luca Zelioli, Johan Lilius
2021	J	`jnl`	ABOships - An Inshore and Offshore Maritime Vessel Detection Dataset with Precise Annotations. Remote. Sens. Bogdan Iancu, Valentin Soloviev, Luca Zelioli, Johan Lilius
2021	J	`jnl`	On the Verification and Validation of AI Navigation Algorithms. CoRR Ivan Porres, Sepinoud Azimi, Sébastien Lafond, Johan Lilius, Johanna Salokannel, Mirva Salokorpi
2020	J	`jnl`	An efficient model for quantifying the interaction between structural properties of software and hardware in the ARM big.LITTLE architecture. Concurr. Comput. Pract. Exp. Srboljub Stepanovic, Georgios Georgakarakos, Simon Holmbacka, Johan Lilius
2020	—	`conf`	Comparing CNN-Based Object Detectors on Two Novel Maritime Datasets. ICME Workshops Valentin Soloviev, Fahimeh Farahnakian, Luca Zelioli, Bogdan Iancu, Johan Lilius, Jukka Heikkonen
2020	J	`jnl`	Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing. IEEE Trans. Cloud Comput. Drazen Lucanin, Ilia Pietri, Simon Holmbacka, Ivona Brandic, Johan Lilius, Rizos Sakellariou
2020	C	`conf`	Recursive Task Generation for Scalable SDF Graph Execution on Multicore Processors. PDP Georgios Georgakarakos, Johan Lilius
2020	B	`conf`	Scenario-based Testing of a Ship Collision Avoidance System. SEAA Ivan Porres, Sepinoud Azimi, Johan Lilius
2019	—	`ch.`	RDF Stores for Enhanced Living Environments: An Overview. Enhanced Living Environments Petteri Karvinen, Natalia Díaz Rodríguez, Stefan Grönroos, Johan Lilius
2018	—	`conf`	Efficient Task-Based Code Generation for SDF Graph Execution on Multicore Processors. DASIP Georgios Georgakarakos, Johan Lilius
2018	—	`conf`	Inactivity Benchmarking. HPCS Wictor Lund, Johan Lilius
2018	—	`conf`	IoT at Sea. BMSB Kristian Nybom, Wictor Lund, Sébastien Lafond, Johan Lilius, Jerker Björkqvist, Kalle Suominen, Kalle Tuulos
2018	—	`conf`	Model-Based Representations for Dataflow Schedules. Principles of Modeling Shuvra S. Bhattacharyya, Johan Lilius
2018	J	`jnl`	Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing. CoRR Drazen Lucanin, Ilia Pietri, Simon Holmbacka, Ivona Brandic, Johan Lilius, Rizos Sakellariou
2018	C	`conf`	Quantifying the Interaction Between Structural Properties of Software and Hardware in the ARM Big.LITTLE Architecture. PDP Srboljub Stepanovic, Georgios Georgakarakos, Simon Holmbacka, Johan Lilius
2017	—	`conf`	Detecting data-parallel synchronous dataflow graphs. DASIP Sudeep Kanur, Johan Lilius, Johan Ersfolk
2017	J	`jnl`	Energy-Awareness and Performance Management with Parallel Dataflow Applications. J. Signal Process. Syst. Simon Holmbacka, Erwan Nogues, Maxime Pelcat, Sébastien Lafond, Daniel Ménard, Johan Lilius
2017	—	`conf`	Task-based execution of synchronous dataflow graphs for scalable multicore computing. SiPS Georgios Georgakarakos, Sudeep Kanur, Johan Lilius, Karol Desnos
2016	—	`conf`	A semantic security framework and context-aware role-based access control ontology for smart spaces. SBD@SIGMOD Shohreh Hosseinzadeh, Seppo Virtanen, Natalia Díaz Rodríguez, Johan Lilius
2016	J	`jnl`	Accurate energy modeling for many-core static schedules with streaming applications. Microprocess. Microsystems Simon Holmbacka, Jörg Keller, Patrick Eitschberger, Johan Lilius
2016	—	`conf`	An Approach for Structuring Sound Sample Libraries Using Ontology. KESW Eugene Cherny, Johan Lilius, Johannes Brusila, Dmitry Mouromtsev, Gleb G. Rogozinsky
2016	—	`conf`	An Ontology for Wearables Data Interoperability and Ambient Assisted Living Application Development. WCSC Natalia Díaz Rodríguez, Stefan Grönroos, Frank Wickström, Johan Lilius, Henk Eertink, Andreas Braun, Paul Dillen, James Crowley, Jan Alexandersson
2016	—	`conf`	Analysis on scalability and energy efficiency of HEVC decoding using task-based programming model. DASIP Georgios Georgakarakos, Simon Holmbacka, Johan Lilius
2016	—	`conf`	Energy aware software: Issues, approaches and challenges. IGSC Sébastien Lafond, Simon Holmbacka, Johan Lilius
2015	C	`ed.`	23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015 PDP Masoud Daneshtalab, Marco Aldinucci, Ville Leppänen, Johan Lilius, Mats Brorsson
2015	C	`conf`	Accurate Energy Modelling for Many-Core Static Schedules. PDP Simon Holmbacka, Jörg Keller, Patrick Eitschberger, Johan Lilius
2015	J	`jnl`	Actor Merging for Dataflow Process Networks. IEEE Trans. Signal Process. Jani Boutellier, Johan Ersfolk, Johan Lilius, Marco Mattavelli, Ghislain Roquier, Olli Silvén
2015	C	`conf`	Analysis and Transcoding Time Prediction of Online Videos. ISM Tewodros Deneke, Sébastien Lafond, Johan Lilius
2015	C	`conf`	Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud. PDP Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
2015	—	`conf`	Determining a device crossover point in CPU/GPU systems for streaming applications. GlobalSIP Sudeep Kanur, Wictor Lund, Leonidas Tsiopoulos, Johan Lilius
2015	C	`conf`	Execution of Dataflow Process Networks on OpenCL Platforms. PDP Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
2015	—	`conf`	Integration of dataflow components within a legacy video transcoding framework. SiPS Tewodros Deneke, Lionel Morel, Sébastien Lafond, Johan Lilius
2015	C	`conf`	Performance Evaluation of Parallel HEVC Strategies. PDP Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
2015	J	`jnl`	Safe Motor Controller in a Mixed-Critical Environment with Runtime Updating Capabilities. J. Univers. Comput. Sci. José Luis Gutiérrez Rivas, Simon Holmbacka, Miguel Míndez-Macías, Wictor Lund, Sébastien Lafond, Johan Lilius, Javier Díaz Alonso
2015	—	`ch.`	Smart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards. Recent Advances in Ambient Assisted Living N. A. Khan, Natalia Díaz Rodríguez, Riitta Danielsson-Ojala, Hanna Pirinen, Lotta Kauhanen, Sanna Salanterä, Joachim Majors, Sebu Björklund, Kimmo Rautanen, Tapio Salakoski, Ilona Tuominen, Ivan Porres, Johan Lilius
2014	—	`conf`	1Teaching many-core programming. EWME Leonidas Tsiopoulos, Fareed Ahmed Johkio, Georgios Georgakarakos, Andreas Dahlin, Johan Lilius
2014	J	`jnl`	A fuzzy ontology for semantic modelling and recognition of human behaviour. Knowl. Based Syst. Natalia Díaz Rodríguez, Manuel P. Cuéllar, Johan Lilius, Miguel Delgado Calvo-Flores
2014	B	`conf`	A run-time power manager exploiting software parallelism. PACT Simon Holmbacka, Sébastien Lafond, Johan Lilius
2014	J	`jnl`	A task migration mechanism for distributed many-core operating systems. J. Supercomput. Simon Holmbacka, Mohammad Fattah, Wictor Lund, Amir-Mohammad Rahmani, Sébastien Lafond, Johan Lilius
2014	C	`conf`	Can IT health-care applications improve the medication tray-filling process at hospital wards? An exploratory study using eye-tracking and stress response. Healthcom Natalia Díaz Rodríguez, Johan Lilius, Sebu Björklund, Joachim Majors, Kimmo Rautanen, Riitta Danielsson-Ojala, Hanna Pirinen, Lotta Kauhanen, Sanna Salanterä, Tapio Salakoski, Ilona Tuominen
2014	—	`conf`	Energy efficiency and performance management of parallel dataflow applications. DASIP Simon Holmbacka, Erwan Nogues, Maxime Pelcat, Sébastien Lafond, Johan Lilius
2014	J	`jnl`	Erratum to: Exploiting smart spaces for interactive TV applications development. J. Supercomput. M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius
2014	J	`jnl`	Exploiting smart spaces for interactive TV applications development. J. Supercomput. M. Mohsin Saleemi, Johan Lilius
2014	J	`jnl`	Handling Real-World Context Awareness, Uncertainty and Vagueness in Real-Time Human Activity Tracking and Recognition with a Fuzzy Ontology-Based Hybrid Method. Sensors Natalia Díaz Rodríguez, Olmo León Cadahía, Manuel Pegalajar Cuéllar, Johan Lilius, Miguel Delgado Calvo-Flores
2014	—	`conf`	Modelling Resilience of Data Processing Capabilities of CPS. SERENE Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov
2014	—	`conf`	Power-aware HEVC decoding with tunable image quality. SiPS Erwan Nogues, Simon Holmbacka, Maxime Pelcat, Daniel Ménard, Johan Lilius
2014	A	`conf`	Video transcoding time prediction for proactive load balancing. ICME Tewodros Deneke, Habtegebreil Haile, Sébastien Lafond, Johan Lilius
2013	—	`conf`	A Computation and Storage Trade-off Strategy for Cost-Efficient Video Transcoding in the Cloud. EUROMICRO-SEAA Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius
2013	J	`jnl`	A survey on ontologies for human behavior recognition. ACM Comput. Surv. Natalia Díaz Rodríguez, Manuel P. Cuéllar, Johan Lilius, Miguel Delgado Calvo-Flores
2013	—	`conf`	An approach to improve semantics in Smart Spaces using reactive fuzzy rules. IFSA/NAFIPS Natalia Díaz Rodríguez, Johan Lilius, Manuel P. Cuéllar, Miguel Delgado Calvo-Flores
2013	Misc	`conf`	Extending Semantic Web Tools for Improving Smart Spaces Interoperability and Usability. DCAI Natalia Díaz Rodríguez, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores
2013	—	`conf`	Lightweight Framework for Runtime Updating of C-Based Software in Embedded Systems. HotSWUp Simon Holmbacka, Wictor Lund, Sébastien Lafond, Johan Lilius
2013	—	`conf`	Modeling control tokens for composition of CAL actors. DASIP Johan Ersfolk, Ghislain Roquier, Johan Lilius, Marco Mattavelli
2013	—	`conf`	Parallel decoder for low density parity check codes: A MPSoC study. HPCS Sudeep Kanur, Georgios Georgakarakos, Antti Simla, Jérémie Lagravière, Kristian Nybom, Sébastien Lafond, Johan Lilius
2013	C	`conf`	Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. PDP Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
2013	C	`conf`	QoS Manager for Energy Efficient Many-Core Operating Systems. PDP Simon Holmbacka, Dag Agren, Sébastien Lafond, Johan Lilius
2013	—	`conf`	Rapid prototyping of semantic applications in smart spaces with a visual rule language. UbiComp (Adjunct Publication) Natalia Díaz Rodríguez, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores
2013	Misc	`conf`	Static and quasi-static compositions of stream processing applications from dynamic dataflow programs. ICASSP Johan Ersfolk, Ghislain Roquier, Wictor Lund, Marco Mattavelli, Johan Lilius
2013	B	`conf`	Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing. CCGRID Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Ivan Porres, Johan Lilius
2013	C	`conf`	Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems. PDP Simon Holmbacka, Wictor Lund, Sébastien Lafond, Johan Lilius
2013	—	`conf`	Understanding Movement and Interaction: An Ontology for Kinect-Based 3D Depth Sensors. UCAmI Natalia Díaz Rodríguez, Robin Wikström, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores
2012	C	`conf`	Bit Rate Reduction Video Transcoding with Distributed Computing. PDP Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius
2012	Misc	`conf`	Scheduling of dynamic dataflow programs based on state space analysis. ICASSP Johan Ersfolk, Ghislain Roquier, Johan Lilius, Marco Mattavelli
2011	—	`conf`	A Framework for Context-Aware Applications for Smart Spaces. NEW2AN M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Ivan Porres
2011	C	`conf`	A PID-Controlled Power Manager for Energy Efficient Web Clusters. DASC Simon Holmbacka, Sébastien Lafond, Johan Lilius
2011	—	`conf`	Analysis of video segmentation for spatial resolution reduction video transcoding. ISPACS Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius
2011	C	`conf`	Cost and Energy Reduction Evaluation for ARM Based Web Servers. DASC Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius
2011	—	`conf`	Interfacing and scheduling legacy code within the Canals framework. DASIP Andreas Dahlin, Fareed Jokhio, Johan Lilius, Jérôme Gorin, Mickaël Raulet
2011	—	`conf`	OWL Web Ontology Language as a Scripting Language for Smart Space Applications. RuleML Europe Espen Suenson, Johan Lilius, Ivan Porres
2011	—	`conf`	Power proportional characteristics of an energy manager for web clusters. ICSAMOS Simon Holmbacka, Sébastien Lafond, Johan Lilius
2011	J	`jnl`	Preface. Fundam. Informaticae Johan Lilius, Wojciech Penczek
2011	—	`conf`	Programming biomedical smart space applications with SWAT4LS Natalia Díaz Rodríguez, Pasi Kankaanpää, M. Mohsin Saleemi, Johan Lilius, Ivan Porres
2011	—	`conf`	Scheduling of dynamic dataflow programs with model checking. SiPS Johan Ersfolk, Ghislain Roquier, Fareed Jokhio, Johan Lilius, Marco Mattavelli
2010	B	`ed.`	Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings Petri Nets Johan Lilius, Wojciech Penczek
2010	—	`conf`	Model-Based Testing Using System vs. Test Models - What Is the Difference?. ECBS Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius
2010	—	`conf`	Rialto 2.0: A Language for Heterogeneous Computations. DIPES/BICC Johan Lilius, Andreas Dahlin, Lionel Morel
2010	—	`conf`	Using UML Models and Formal Verification in Model-Based Testing. ECBS Qaisar A. Malik, Dragos Truscan, Johan Lilius
2009	—	`conf`	Analysis of memory access optimization for motion compensation frames in MPEG-4. SoC Haitham Habli, Johan Lilius, Johan Ersfolk
2009	—	`conf`	Design Complexity Management in Embedded System Design. ACES-MB@MoDELS Johan Ersfolk, Johan Lilius, Jari Muurinen, Ari Salomäki, Niklas Fors, Johnny Nylund
2009	J	`jnl`	MDE for SoC design. Innov. Syst. Softw. Eng. Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius
2009	—	`conf`	Memory Analysis of Low Power MPEG-4 Decoder Architecture. ICESS Andreas Dahlin, Johan Ersfolk, Haitham Habli, Johan Lilius
2009	—	`ch.`	Model-Based Testing Using Scenarios and Event-B Refinements. Methods, Models and Tools for Fault Tolerance Qaisar A. Malik, Johan Lilius, Linas Laibinis
2009	C	`conf`	The canals language and its compiler. SCOPES Andreas Dahlin, Johan Ersfolk, Guyfu Yang, Haitham Habli, Johan Lilius
2008	—	`conf`	A Model-Based Design Process for the SegBus Distributed Architecture. ECBS Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen
2008	—	`conf`	Content scheduling in multimedia interactive mobile games. Future Play M. Mohsin Saleemi, Kristian Nybom, Johan Lilius, Jerker Björkqvist
2008	—	`conf`	Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. ECBS Sébastien Lafond, Johan Lilius
2008	—	`conf`	System architecture and interactivity model for mobile TV applications. DIMEA M. Mohsin Saleemi, Jerker Björkqvist, Johan Lilius
2008	—	`conf`	Testable Specifications of NoTA-based Modular Embedded Systems. ECBS Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho
2007	J	`jnl`	Energy consumption analysis for two embedded Java virtual machines. J. Syst. Archit. Sébastien Lafond, Johan Lilius
2007	—	`conf`	Function Inlining in Embedded Systems with Code Size Limitation. ICESS Xinrong Zhou, Lu Yan, Johan Lilius
2007	C	`conf`	SystemC-based Simulation of the MICAS Architecture. FDL Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan
2007	—	`conf`	Towards a Design Methodology for Multiprocessor Platforms. COMPSAC (1) Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius
2006	—	`conf`	An Energy Consumption Model for an Embedded Java Virtual Machine. ARCS Sébastien Lafond, Johan Lilius
2006	—	`conf`	Design Method Support for Domain Specific SoC design. MDB/MOMPES Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan, Ian Oliver, Kim Sandström
2006	—	`conf`	Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
2006	J	`jnl`	Integration of DFDs into a UML-based Model-driven Engineering Approach. Softw. Syst. Model. João M. Fernandes, Johan Lilius, Dragos Truscan
2006	J	`jnl`	Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. Fundam. Informaticae Dag Björklund, Johan Lilius
2006	—	`conf`	Static Energy Saving Through Multi-Bank Memory Architecture. ICSAMOS Sébastien Lafond, Johan Lilius
2006	—	`conf`	Synthesis of Scenario Based Test Cases from B Models. FATES/RV Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius
2005	J	`jnl`	A system-level framework for designing and evaluating protocol processor architectures. Int. J. Embed. Syst. Seppo Virtanen, Tero Nurmi, Jani Paakkulainen, Johan Lilius
2005	J	`jnl`	An Architecture Exploration Environment for System on Chip Design. Nord. J. Comput. Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka
2005	C	`conf`	Formal Model-Driven Development of Communicating Systems. ICFEM Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
2005	J	`jnl`	Function Inlining with Code Size Limitation in Embedded Systems. Int. Arab J. Inf. Technol. Xinrong Zhou, Johan Lilius, Lu Yan
2005	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres
2005	B	`conf`	Highly Automated FPGA Synthesis of Application-Specific Protocol Processors. FPL Seppo Virtanen, Dragos Truscan, Jani Paakkulainen, Jouni Isoaho, Johan Lilius
2005	—	`ch.`	On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications. Model-Driven Software Development Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
2005	C	`conf`	Using feature models to automate model transformations. FDL Johan Lilius, Dragos Truscan
2004	—	`conf`	A MOF-Based Metamodel for SA/RT. RISE Joakim Isaksson, Johan Lilius, Dragos Truscan
2004	—	`conf`	An Opcode Level Energy Consumption Model for a Java Virtual Machine. Virtual Machine Research and Technology Symposium Sébastien Lafond, Johan Lilius
2004	—	`conf`	Functional and Object-Oriented Views in Embedded Software Modeling. ECBS João M. Fernandes, Johan Lilius
2004	J	`jnl`	Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. Nord. J. Comput. Johan Lilius, Kasper Østerbye
2004	—	`conf`	Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. ACSD Dag Björklund, Johan Lilius
2004	—	`conf`	Tool Support for DFD-UML Model-based Transformations. ECBS Dragos Truscan, João M. Fernandes, Johan Lilius
2003	C	`conf`	A Unified Approach to Code Generation from Behavioral Diagrams. FDL Dag Björklund, Johan Lilius, Ivan Porres
2003	—	`conf`	A Workbench to Experiment on New Model Engineering Applications. UML Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres
2003	A	`conf`	Fast Evaluation of Protocol Processor Architectures for IPv6 Routing. DATE Johan Lilius, Dragos Truscan, Seppo Virtanen
2003	—	`conf`	Rialto Profile in the SMW Toolkit. ACSD Dag Björklund, Johan Lilius, Ivan Porres
2002	—	`conf`	A language for multiple models of computation. CODES Dag Björklund, Johan Lilius
2002	A	`conf`	Towards a Kernel Language for Heterogeneous Computing. DATE Dag Björklund, Johan Lilius
2001	J	`jnl`	Efficient verification of a class of time Petri nets using linear programming. Inf. Process. Lett. Xuandong Li, Johan Lilius
2001	—	`conf`	OB(PN) Concurrent Object-Oriented Programming and Petri Nets Johan Lilius
2001	—	`conf`	The TACO protocol processor simulation environment. CODES Seppo Virtanen, Johan Lilius
2001	—	`conf`	Towards Efficient Code Synthesis from Statecharts. pUML Dag Björklund, Johan Lilius, Ivan Porres
2000	J	`jnl`	A causal semantics for time Petri nets. Theor. Comput. Sci. Tuomas Aura, Johan Lilius
2000	C	`conf`	Checking compositions of UML sequence diagrams for timing inconsistency. APSEC Xuandong Li, Johan Lilius
2000	—	`conf`	Defining Precise Semantics for UML. ECOOP Workshops Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France
2000	—	`conf`	The Production Cell: An Exercise in the Formal Verification of a UML Model. HICSS Johan Lilius, Ivan Paltor
1999	—	`conf`	Checking time Petri nets for linear duration properties. PNPM Xuandong Li, Johan Lilius
1999	—	`conf`	Formalising UML State Machines for Model Checking. UML Ivan Paltor, Johan Lilius
1999	—	`conf`	Timing Analysis of UML Sequence Diagrams. UML Xuandong Li, Johan Lilius
1999	A*	`conf`	vUML: A Tool for Verifying UML Models. ASE Johan Lilius, Ivan Paltor
1998	—	`conf`	Efficient State Space Search for Time Petri Nets. MFCS Workshop on Concurrency Johan Lilius
1998	B	`conf`	Partial Order Reductions for Timed Systems. CONCUR Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
1997	—	`conf`	Time Processes for Time Petri-Nets. ICATPN Tuomas Aura, Johan Lilius
1997	A*	`conf`	prod 3.2: An Advanced Tool for Efficient Reachability Analysis. CAV Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius
1996	—	`conf`	OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract). Euro-Par, Vol. I Johan Lilius
1992	—	`conf`	High-Level Nets and Linear Logic. Application and Theory of Petri Nets Johan Lilius