default search action
Johan Lilius
Person information
- affiliation: Åbo Akademi University, Turku, Finland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c104]Bogdan Iancu, Andrei-Raoul Morariu, Yiran Chen, Irina Wahlstrom, Anastasia Tsvetkova, Johan Lilius:
Data Sharing in RoPax Ports: Challenges and Opportunities. FRUCT 2023: 85-94 - 2022
- [i4]Sudeep Kanur, Georgios Georgakarakos, Antti Siirilä, Jérémie Lagravière, Kristian Nybom, Sébastien Lafond, Johan Lilius:
Parallel decoder for Low Density Parity Check Codes: A MPSoC study. CoRR abs/2211.14382 (2022) - 2021
- [j25]Bogdan Iancu, Valentin Soloviev, Luca Zelioli, Johan Lilius:
ABOships - An Inshore and Offshore Maritime Vessel Detection Dataset with Precise Annotations. Remote. Sens. 13(5): 988 (2021) - [i3]Ivan Porres, Sepinoud Azimi, Sébastien Lafond, Johan Lilius, Johanna Salokannel, Mirva Salokorpi:
On the Verification and Validation of AI Navigation Algorithms. CoRR abs/2101.06091 (2021) - [i2]Bogdan Iancu, Valentin Soloviev, Luca Zelioli, Johan Lilius:
ABOShips - An Inshore and Offshore Maritime Vessel Detection Dataset with Precise Annotations. CoRR abs/2102.05869 (2021) - 2020
- [j24]Srboljub Stepanovic, Georgios Georgakarakos, Simon Holmbacka, Johan Lilius:
An efficient model for quantifying the interaction between structural properties of software and hardware in the ARM big.LITTLE architecture. Concurr. Comput. Pract. Exp. 32(10) (2020) - [j23]Drazen Lucanin, Ilia Pietri, Simon Holmbacka, Ivona Brandic, Johan Lilius, Rizos Sakellariou:
Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing. IEEE Trans. Cloud Comput. 8(4): 1079-1092 (2020) - [c103]Ivan Porres, Sepinoud Azimi, Johan Lilius:
Scenario-based Testing of a Ship Collision Avoidance System. SEAA 2020: 545-552 - [c102]Valentin Soloviev, Fahimeh Farahnakian, Luca Zelioli, Bogdan Iancu, Johan Lilius, Jukka Heikkonen:
Comparing CNN-Based Object Detectors on Two Novel Maritime Datasets. ICME Workshops 2020: 1-6 - [c101]Georgios Georgakarakos, Johan Lilius:
Recursive Task Generation for Scalable SDF Graph Execution on Multicore Processors. PDP 2020: 196-200
2010 – 2019
- 2019
- [p4]Petteri Karvinen, Natalia Díaz Rodríguez, Stefan Grönroos, Johan Lilius:
RDF Stores for Enhanced Living Environments: An Overview. Enhanced Living Environments 2019: 19-52 - 2018
- [c100]Shuvra S. Bhattacharyya, Johan Lilius:
Model-Based Representations for Dataflow Schedules. Principles of Modeling 2018: 88-105 - [c99]Kristian Nybom, Wictor Lund, Sébastien Lafond, Johan Lilius, Jerker Björkqvist, Kalle Suominen, Kalle Tuulos:
IoT at Sea. BMSB 2018: 1-7 - [c98]Georgios Georgakarakos, Johan Lilius:
Efficient Task-Based Code Generation for SDF Graph Execution on Multicore Processors. DASIP 2018: 112-117 - [c97]Wictor Lund, Johan Lilius:
Inactivity Benchmarking. HPCS 2018: 1028-1033 - [c96]Srboljub Stepanovic, Georgios Georgakarakos, Simon Holmbacka, Johan Lilius:
Quantifying the Interaction Between Structural Properties of Software and Hardware in the ARM Big.LITTLE Architecture. PDP 2018: 138-144 - [i1]Drazen Lucanin, Ilia Pietri, Simon Holmbacka, Ivona Brandic, Johan Lilius, Rizos Sakellariou:
Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing. CoRR abs/1809.05842 (2018) - 2017
- [j22]Simon Holmbacka, Erwan Nogues, Maxime Pelcat, Sébastien Lafond, Daniel Ménard, Johan Lilius:
Energy-Awareness and Performance Management with Parallel Dataflow Applications. J. Signal Process. Syst. 87(1): 33-48 (2017) - [c95]Sudeep Kanur, Johan Lilius, Johan Ersfolk:
Detecting data-parallel synchronous dataflow graphs. DASIP 2017: 1-6 - [c94]Georgios Georgakarakos, Sudeep Kanur, Johan Lilius, Karol Desnos:
Task-based execution of synchronous dataflow graphs for scalable multicore computing. SiPS 2017: 1-6 - 2016
- [j21]Simon Holmbacka, Jörg Keller, Patrick Eitschberger, Johan Lilius:
Accurate energy modeling for many-core static schedules with streaming applications. Microprocess. Microsystems 43: 14-25 (2016) - [c93]Georgios Georgakarakos, Simon Holmbacka, Johan Lilius:
Analysis on scalability and energy efficiency of HEVC decoding using task-based programming model. DASIP 2016: 34-41 - [c92]Sébastien Lafond, Simon Holmbacka, Johan Lilius:
Energy aware software: Issues, approaches and challenges. IGSC 2016: 1-8 - [c91]Eugene Cherny, Johan Lilius, Johannes Brusila, Dmitry Mouromtsev, Gleb G. Rogozinsky:
An Approach for Structuring Sound Sample Libraries Using Ontology. KESW 2016: 202-214 - [c90]Shohreh Hosseinzadeh, Seppo Virtanen, Natalia Díaz Rodríguez, Johan Lilius:
A semantic security framework and context-aware role-based access control ontology for smart spaces. SBD@SIGMOD 2016: 8 - [c89]Natalia Díaz Rodríguez, Stefan Grönroos, Frank Wickström, Johan Lilius, Henk Eertink, Andreas Braun, Paul Dillen, James Crowley, Jan Alexandersson:
An Ontology for Wearables Data Interoperability and Ambient Assisted Living Application Development. WCSC 2016: 559-568 - 2015
- [j20]José Luis Gutiérrez Rivas, Simon Holmbacka, Miguel Míndez-Macías, Wictor Lund, Sébastien Lafond, Johan Lilius, Javier Díaz Alonso:
Safe Motor Controller in a Mixed-Critical Environment with Runtime Updating Capabilities. J. Univers. Comput. Sci. 21(2): 177-205 (2015) - [j19]Jani Boutellier, Johan Ersfolk, Johan Lilius, Marco Mattavelli, Ghislain Roquier, Olli Silvén:
Actor Merging for Dataflow Process Networks. IEEE Trans. Signal Process. 63(10): 2496-2508 (2015) - [c88]Sudeep Kanur, Wictor Lund, Leonidas Tsiopoulos, Johan Lilius:
Determining a device crossover point in CPU/GPU systems for streaming applications. GlobalSIP 2015: 1417-1421 - [c87]Tewodros Deneke, Sébastien Lafond, Johan Lilius:
Analysis and Transcoding Time Prediction of Online Videos. ISM 2015: 319-322 - [c86]Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk:
Performance Evaluation of Parallel HEVC Strategies. PDP 2015: 137-144 - [c85]Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres:
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud. PDP 2015: 505-513 - [c84]Simon Holmbacka, Jörg Keller, Patrick Eitschberger, Johan Lilius:
Accurate Energy Modelling for Many-Core Static Schedules. PDP 2015: 525-532 - [c83]Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk:
Execution of Dataflow Process Networks on OpenCL Platforms. PDP 2015: 618-625 - [c82]Tewodros Deneke, Lionel Morel, Sébastien Lafond, Johan Lilius:
Integration of dataflow components within a legacy video transcoding framework. SiPS 2015: 1-6 - [p3]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:
Smart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards. Recent Advances in Ambient Assisted Living 2015: 134-144 - [e2]Masoud Daneshtalab, Marco Aldinucci, Ville Leppänen, Johan Lilius, Mats Brorsson:
23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015. IEEE Computer Society 2015, ISBN 978-1-4799-8491-6 [contents] - 2014
- [j18]Natalia Díaz Rodríguez, Manuel P. Cuéllar, Johan Lilius, Miguel Delgado Calvo-Flores:
A fuzzy ontology for semantic modelling and recognition of human behaviour. Knowl. Based Syst. 66: 46-60 (2014) - [j17]Natalia Díaz Rodríguez, Olmo León Cadahía, Manuel Pegalajar Cuéllar, Johan Lilius, Miguel Delgado Calvo-Flores:
Handling Real-World Context Awareness, Uncertainty and Vagueness in Real-Time Human Activity Tracking and Recognition with a Fuzzy Ontology-Based Hybrid Method. Sensors 14(10): 18131-18171 (2014) - [j16]Simon Holmbacka, Mohammad Fattah, Wictor Lund, Amir-Mohammad Rahmani, Sébastien Lafond, Johan Lilius:
A task migration mechanism for distributed many-core operating systems. J. Supercomput. 68(3): 1141-1162 (2014) - [j15]M. Mohsin Saleemi, Johan Lilius:
Exploiting smart spaces for interactive TV applications development. J. Supercomput. 70(3): 1200-1217 (2014) - [j14]M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius:
Erratum to: Exploiting smart spaces for interactive TV applications development. J. Supercomput. 70(3): 1617 (2014) - [c81]Simon Holmbacka, Sébastien Lafond, Johan Lilius:
A run-time power manager exploiting software parallelism. PACT 2014: 471-472 - [c80]Simon Holmbacka, Erwan Nogues, Maxime Pelcat, Sébastien Lafond, Johan Lilius:
Energy efficiency and performance management of parallel dataflow applications. DASIP 2014: 1-8 - [c79]Leonidas Tsiopoulos, Fareed Ahmed Johkio, Georgios Georgakarakos, Andreas Dahlin, Johan Lilius:
1Teaching many-core programming. EWME 2014: 7-10 - [c78]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:
Can IT health-care applications improve the medication tray-filling process at hospital wards? An exploratory study using eye-tracking and stress response. Healthcom 2014: 423-428 - [c77]Tewodros Deneke, Habtegebreil Haile, Sébastien Lafond, Johan Lilius:
Video transcoding time prediction for proactive load balancing. ICME 2014: 1-6 - [c76]Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov:
Modelling Resilience of Data Processing Capabilities of CPS. SERENE 2014: 55-70 - [c75]Erwan Nogues, Simon Holmbacka, Maxime Pelcat, Daniel Ménard, Johan Lilius:
Power-aware HEVC decoding with tunable image quality. SiPS 2014: 38-43 - 2013
- [j13]Natalia Díaz Rodríguez, Manuel P. Cuéllar, Johan Lilius, Miguel Delgado Calvo-Flores:
A survey on ontologies for human behavior recognition. ACM Comput. Surv. 46(4): 43:1-43:33 (2013) - [c74]Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Ivan Porres, Johan Lilius:
Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing. CCGRID 2013: 482-489 - [c73]Johan Ersfolk, Ghislain Roquier, Johan Lilius, Marco Mattavelli:
Modeling control tokens for composition of CAL actors. DASIP 2013: 71-78 - [c72]Natalia Díaz Rodríguez, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores:
Extending Semantic Web Tools for Improving Smart Spaces Interoperability and Usability. DCAI 2013: 45-52 - [c71]Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius:
A Computation and Storage Trade-off Strategy for Cost-Efficient Video Transcoding in the Cloud. EUROMICRO-SEAA 2013: 365-372 - [c70]Simon Holmbacka, Wictor Lund, Sébastien Lafond, Johan Lilius:
Lightweight Framework for Runtime Updating of C-Based Software in Embedded Systems. HotSWUp 2013 - [c69]Natalia Díaz Rodríguez, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores:
Rapid prototyping of semantic applications in smart spaces with a visual rule language. UbiComp (Adjunct Publication) 2013: 1335-1338 - [c68]Johan Ersfolk, Ghislain Roquier, Wictor Lund, Marco Mattavelli, Johan Lilius:
Static and quasi-static compositions of stream processing applications from dynamic dataflow programs. ICASSP 2013: 2620-2624 - [c67]Sudeep Kanur, Georgios Georgakarakos, Antti Simla, Jérémie Lagravière, Kristian Nybom, Sébastien Lafond, Johan Lilius:
Parallel decoder for low density parity check codes: A MPSoC study. HPCS 2013: 202-206 - [c66]Natalia Díaz Rodríguez, Johan Lilius, Manuel P. Cuéllar, Miguel Delgado Calvo-Flores:
An approach to improve semantics in Smart Spaces using reactive fuzzy rules. IFSA/NAFIPS 2013: 436-441 - [c65]Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius:
Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. PDP 2013: 254-261 - [c64]Simon Holmbacka, Wictor Lund, Sébastien Lafond, Johan Lilius:
Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems. PDP 2013: 310-317 - [c63]Simon Holmbacka, Dag Agren, Sébastien Lafond, Johan Lilius:
QoS Manager for Energy Efficient Many-Core Operating Systems. PDP 2013: 318-322 - [c62]Natalia Díaz Rodríguez, Robin Wikström, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores:
Understanding Movement and Interaction: An Ontology for Kinect-Based 3D Depth Sensors. UCAmI 2013: 254-261 - 2012
- [c61]Johan Ersfolk, Ghislain Roquier, Johan Lilius, Marco Mattavelli:
Scheduling of dynamic dataflow programs based on state space analysis. ICASSP 2012: 1661-1664 - [c60]Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius:
Bit Rate Reduction Video Transcoding with Distributed Computing. PDP 2012: 206-212 - 2011
- [j12]Johan Lilius, Wojciech Penczek:
Preface. Fundam. Informaticae 113(3-4) (2011) - [c59]Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius:
Cost and Energy Reduction Evaluation for ARM Based Web Servers. DASC 2011: 480-487 - [c58]Simon Holmbacka, Sébastien Lafond, Johan Lilius:
A PID-Controlled Power Manager for Energy Efficient Web Clusters. DASC 2011: 721-728 - [c57]Andreas Dahlin, Fareed Jokhio, Johan Lilius, Jérôme Gorin, Mickaël Raulet:
Interfacing and scheduling legacy code within the Canals framework. DASIP 2011: 238-245 - [c56]Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius:
Analysis of video segmentation for spatial resolution reduction video transcoding. ISPACS 2011: 1-6 - [c55]M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Ivan Porres:
A Framework for Context-Aware Applications for Smart Spaces. NEW2AN 2011: 14-25 - [c54]Espen Suenson, Johan Lilius, Ivan Porres:
OWL Web Ontology Language as a Scripting Language for Smart Space Applications. RuleML Europe 2011: 368-375 - [c53]Simon Holmbacka, Sébastien Lafond, Johan Lilius:
Power proportional characteristics of an energy manager for web clusters. ICSAMOS 2011: 51-58 - [c52]Johan Ersfolk, Ghislain Roquier, Fareed Jokhio, Johan Lilius, Marco Mattavelli:
Scheduling of dynamic dataflow programs with model checking. SiPS 2011: 37-42 - [c51]Natalia Díaz Rodríguez, Pasi Kankaanpää, M. Mohsin Saleemi, Johan Lilius, Ivan Porres:
Programming biomedical smart space applications with BioImageXD and PythonRules. SWAT4LS 2011: 10-11 - 2010
- [c50]Qaisar A. Malik, Dragos Truscan, Johan Lilius:
Using UML Models and Formal Verification in Model-Based Testing. ECBS 2010: 50-56 - [c49]Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius:
Model-Based Testing Using System vs. Test Models - What Is the Difference?. ECBS 2010: 291-299 - [c48]Johan Lilius, Andreas Dahlin, Lionel Morel:
Rialto 2.0: A Language for Heterogeneous Computations. DIPES/BICC 2010: 7-18 - [e1]Johan Lilius, Wojciech Penczek:
Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Lecture Notes in Computer Science 6128, Springer 2010, ISBN 978-3-642-13674-0 [contents]
2000 – 2009
- 2009
- [j11]Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius:
MDE for SoC design. Innov. Syst. Softw. Eng. 5(1): 49-64 (2009) - [c47]Andreas Dahlin, Johan Ersfolk, Haitham Habli, Johan Lilius:
Memory Analysis of Low Power MPEG-4 Decoder Architecture. ICESS 2009: 231-237 - [c46]Haitham Habli, Johan Lilius, Johan Ersfolk:
Analysis of memory access optimization for motion compensation frames in MPEG-4. SoC 2009: 114-117 - [c45]Johan Ersfolk, Johan Lilius, Jari Muurinen, Ari Salomäki, Niklas Fors, Johnny Nylund:
Design Complexity Management in Embedded System Design. ACES-MB@MoDELS 2009 - [c44]Andreas Dahlin, Johan Ersfolk, Guyfu Yang, Haitham Habli, Johan Lilius:
The canals language and its compiler. SCOPES 2009: 43-52 - [p2]Qaisar A. Malik, Johan Lilius, Linas Laibinis:
Model-Based Testing Using Scenarios and Event-B Refinements. Methods, Models and Tools for Fault Tolerance 2009: 177-195 - 2008
- [c43]M. Mohsin Saleemi, Jerker Björkqvist, Johan Lilius:
System architecture and interactivity model for mobile TV applications. DIMEA 2008: 407-414 - [c42]Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen:
A Model-Based Design Process for the SegBus Distributed Architecture. ECBS 2008: 307-316 - [c41]Sébastien Lafond, Johan Lilius:
Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. ECBS 2008: 317-325 - [c40]Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho:
Testable Specifications of NoTA-based Modular Embedded Systems. ECBS 2008: 375-383 - [c39]M. Mohsin Saleemi, Kristian Nybom, Johan Lilius, Jerker Björkqvist:
Content scheduling in multimedia interactive mobile games. Future Play 2008: 152-159 - 2007
- [j10]Sébastien Lafond, Johan Lilius:
Energy consumption analysis for two embedded Java virtual machines. J. Syst. Archit. 53(5-6): 328-337 (2007) - [c38]Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius:
Towards a Design Methodology for Multiprocessor Platforms. COMPSAC (1) 2007: 575-578 - [c37]Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan:
SystemC-based Simulation of the MICAS Architecture. FDL 2007: 122-127 - [c36]Xinrong Zhou, Lu Yan, Johan Lilius:
Function Inlining in Embedded Systems with Code Size Limitation. ICESS 2007: 154-161 - 2006
- [j9]Dag Björklund, Johan Lilius:
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. Fundam. Informaticae 70(1-2): 1-20 (2006) - [j8]João M. Fernandes, Johan Lilius, Dragos Truscan:
Integration of DFDs into a UML-based Model-driven Engineering Approach. Softw. Syst. Model. 5(4): 403-428 (2006) - [c35]Sébastien Lafond, Johan Lilius:
An Energy Consumption Model for an Embedded Java Virtual Machine. ARCS 2006: 311-325 - [c34]Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius:
Synthesis of Scenario Based Test Cases from B Models. FATES/RV 2006: 133-147 - [c33]Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan, Ian Oliver, Kim Sandström:
Design Method Support for Domain Specific SoC design. MDB/MOMPES 2006: 25-32 - [c32]Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book 2006: 261-287 - [c31]Sébastien Lafond, Johan Lilius:
Static Energy Saving Through Multi-Bank Memory Architecture. ICSAMOS 2006: 43-49 - 2005
- [j7]Xinrong Zhou, Johan Lilius, Lu Yan:
Function Inlining with Code Size Limitation in Embedded Systems. Int. Arab J. Inf. Technol. 2(3): 214-218 (2005) - [j6]Seppo Virtanen, Tero Nurmi, Jani Paakkulainen, Johan Lilius:
A system-level framework for designing and evaluating protocol processor architectures. Int. J. Embed. Syst. 1(1/2): 78-90 (2005) - [j5]Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres:
Guest Editors' Foreword. Nord. J. Comput. 12(3): 198-199 (2005) - [j4]Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka:
An Architecture Exploration Environment for System on Chip Design. Nord. J. Comput. 12(4): 361-378 (2005) - [c30]Johan Lilius, Dragos Truscan:
Using feature models to automate model transformations. FDL 2005: 511-515 - [c29]Seppo Virtanen, Dragos Truscan, Jani Paakkulainen, Jouni Isoaho, Johan Lilius:
Highly Automated FPGA Synthesis of Application-Specific Protocol Processors. FPL 2005: 269-274 - [c28]Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems. ICFEM 2005: 188-203 - [p1]Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan:
On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications. Model-Driven Software Development 2005: 305-328 - 2004
- [j3]Johan Lilius, Kasper Østerbye:
Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. Nord. J. Comput. 11(3): 211-212 (2004) - [c27]Dag Björklund, Johan Lilius:
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. ACSD 2004: 125-134 - [c26]João M. Fernandes, Johan Lilius:
Functional and Object-Oriented Views in Embedded Software Modeling. ECBS 2004: 378-387 - [c25]Dragos Truscan, João M. Fernandes, Johan Lilius:
Tool Support for DFD-UML Model-based Transformations. ECBS 2004: 388-397 - [c24]Sébastien Lafond, Johan Lilius:
An Opcode Level Energy Consumption Model for a Java Virtual Machine. Virtual Machine Research and Technology Symposium 2004 - [c23]Joakim Isaksson, Johan Lilius, Dragos Truscan:
A MOF-Based Metamodel for SA/RT. RISE 2004: 102-111 - 2003
- [c22]Dag Björklund, Johan Lilius, Ivan Porres:
Rialto Profile in the SMW Toolkit. ACSD 2003: 233-234 - [c21]Johan Lilius, Dragos Truscan, Seppo Virtanen:
Fast Evaluation of Protocol Processor Architectures for IPv6 Routing. DATE 2003: 20158-20163 - [c20]Dag Björklund, Johan Lilius, Ivan Porres:
A Unified Approach to Code Generation from Behavioral Diagrams. FDL 2003: 251-263 - [c19]Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres:
A Workbench to Experiment on New Model Engineering Applications. UML 2003: 96-100 - 2002
- [c18]Dag Björklund, Johan Lilius:
A language for multiple models of computation. CODES 2002: 25-30 - [c17]Dag Björklund, Johan Lilius:
Towards a Kernel Language for Heterogeneous Computing. DATE 2002: 1136 - 2001
- [j2]Xuandong Li, Johan Lilius:
Efficient verification of a class of time Petri nets using linear programming. Inf. Process. Lett. 77(5-6): 219-224 (2001) - [c16]Seppo Virtanen, Johan Lilius:
The TACO protocol processor simulation environment. CODES 2001: 201-206 - [c15]Johan Lilius:
OB(PN)2: An Object Based Petri Net Programming Notation. Concurrent Object-Oriented Programming and Petri Nets 2001: 247-275 - [c14]Dag Björklund, Johan Lilius, Ivan Porres:
Towards Efficient Code Synthesis from Statecharts. pUML 2001: 29-41 - 2000
- [j1]Tuomas Aura, Johan Lilius:
A causal semantics for time Petri nets. Theor. Comput. Sci. 243(1-2): 409-447 (2000) - [c13]Xuandong Li, Johan Lilius:
Checking compositions of UML sequence diagrams for timing inconsistency. APSEC 2000: 154-161 - [c12]Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France:
Defining Precise Semantics for UML. ECOOP Workshops 2000: 113-122 - [c11]Johan Lilius, Ivan Paltor:
The Production Cell: An Exercise in the Formal Verification of a UML Model. HICSS 2000
1990 – 1999
- 1999
- [c10]Johan Lilius, Ivan Paltor:
vUML: A Tool for Verifying UML Models. ASE 1999: 255-258 - [c9]Xuandong Li, Johan Lilius:
Checking time Petri nets for linear duration properties. PNPM 1999: 218-227 - [c8]Ivan Paltor, Johan Lilius:
Formalising UML State Machines for Model Checking. UML 1999: 430-445 - [c7]Xuandong Li, Johan Lilius:
Timing Analysis of UML Sequence Diagrams. UML 1999: 661-674 - 1998
- [c6]Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi:
Partial Order Reductions for Timed Systems. CONCUR 1998: 485-500 - [c5]Johan Lilius:
Efficient State Space Search for Time Petri Nets. MFCS Workshop on Concurrency 1998: 113-133 - 1997
- [c4]Tuomas Aura, Johan Lilius:
Time Processes for Time Petri-Nets. ICATPN 1997: 136-155 - [c3]Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius:
prod 3.2: An Advanced Tool for Efficient Reachability Analysis. CAV 1997: 472-475 - 1996
- [c2]Johan Lilius:
OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract). Euro-Par, Vol. I 1996: 660-663 - 1992
- [c1]Johan Lilius:
High-Level Nets and Linear Logic. Application and Theory of Petri Nets 1992: 310-327
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint