2008 | ||
---|---|---|
51 | EE | M. Mohsin Saleemi, Jerker Björkqvist, Johan Lilius: System architecture and interactivity model for mobile TV applications. DIMEA 2008: 407-414 |
50 | EE | Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen: A Model-Based Design Process for the SegBus Distributed Architecture. ECBS 2008: 307-316 |
49 | EE | Sébastien Lafond, Johan Lilius: Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. ECBS 2008: 317-325 |
48 | EE | 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 |
47 | EE | M. Mohsin Saleemi, Kristian Nybom, Johan Lilius, Jerker Björkqvist: Content scheduling in multimedia interactive mobile games. Future Play 2008: 152-159 |
2007 | ||
46 | EE | Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius: Towards a Design Methodology for Multiprocessor Platforms. COMPSAC (1) 2007: 575-578 |
45 | EE | Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan: SystemC-based Simulation of the MICAS Architecture. FDL 2007: 122-127 |
44 | EE | Xinrong Zhou, Lu Yan, Johan Lilius: Function Inlining in Embedded Systems with Code Size Limitation. ICESS 2007: 154-161 |
43 | EE | Sébastien Lafond, Johan Lilius: Energy consumption analysis for two embedded Java virtual machines. Journal of Systems Architecture 53(5-6): 328-337 (2007) |
2006 | ||
42 | EE | Sébastien Lafond, Johan Lilius: An Energy Consumption Model for an Embedded Java Virtual Machine. ARCS 2006: 311-325 |
41 | EE | Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius: Synthesis of Scenario Based Test Cases from B Models. FATES/RV 2006: 133-147 |
40 | EE | Sébastien Lafond, Johan Lilius: Static Energy Saving Through Multi-Bank Memory Architecture. ICSAMOS 2006: 43-49 |
39 | EE | 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 |
38 | EE | Dag Björklund, Johan Lilius: Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. Fundam. Inform. 70(1-2): 1-20 (2006) |
37 | EE | João M. Fernandes, Johan Lilius, Dragos Truscan: Integration of DFDs into a UML-based Model-driven Engineering Approach. Software and System Modeling 5(4): 403-428 (2006) |
2005 | ||
36 | EE | Johan Lilius, Dragos Truscan: Using feature models to automate model transformations. FDL 2005: 511-515 |
35 | Seppo Virtanen, Dragos Truscan, Jani Paakkulainen, Jouni Isoaho, Johan Lilius: Highly Automated FPGA Synthesis of Application-Specific Protocol Processors. FPL 2005: 269-274 | |
34 | EE | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik: Formal Model-Driven Development of Communicating Systems. ICFEM 2005: 188-203 |
33 | EE | Seppo Virtanen, Tero Nurmi, Jani Paakkulainen, Johan Lilius: A system-level framework for designing and evaluating protocol processor architectures. IJES 1(1/2): 78-90 (2005) |
32 | EE | 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) |
31 | Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres: Guest Editors' Foreword. Nord. J. Comput. 12(3): 198-199 (2005) | |
30 | 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) | |
2004 | ||
29 | EE | 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 |
28 | EE | João M. Fernandes, Johan Lilius: Functional and Object-Oriented Views in Embedded Software Modeling. ECBS 2004: 378-387 |
27 | EE | Dragos Truscan, João M. Fernandes, Johan Lilius: Tool Support for DFD-UML Model-based Transformations. ECBS 2004: 388-397 |
26 | EE | Joakim Isaksson, Johan Lilius, Dragos Truscan: A MOF-Based Metamodel for SA/RT. RISE 2004: 102-111 |
25 | EE | Sébastien Lafond, Johan Lilius: An Opcode Level Energy Consumption Model for a Java Virtual Machine. Virtual Machine Research and Technology Symposium 2004 |
24 | 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) | |
2003 | ||
23 | EE | Dag Björklund, Johan Lilius, Ivan Porres: Rialto Profile in the SMW Toolkit. ACSD 2003: 233-234 |
22 | EE | Johan Lilius, Dragos Truscan, Seppo Virtanen: Fast Evaluation of Protocol Processor Architectures for IPv6 Routing. DATE 2003: 20158-20163 |
21 | EE | Dag Björklund, Johan Lilius, Ivan Porres: A Unified Approach to Code Generation from Behavioral Diagrams. FDL 2003: 251-263 |
20 | EE | 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 | ||
19 | EE | Dag Björklund, Johan Lilius: A language for multiple models of computation. CODES 2002: 25-30 |
18 | EE | Dag Björklund, Johan Lilius: Towards a Kernel Language for Heterogeneous Computing. DATE 2002: 1136 |
2001 | ||
17 | EE | Seppo Virtanen, Johan Lilius: The TACO protocol processor simulation environment. CODES 2001: 201-206 |
16 | EE | Johan Lilius: OB(PN)2: An Object Based Petri Net Programming Notation. Concurrent Object-Oriented Programming and Petri Nets 2001: 247-275 |
15 | Dag Björklund, Johan Lilius, Ivan Porres: Towards Efficient Code Synthesis from Statecharts. pUML 2001: 29-41 | |
14 | EE | 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) |
2000 | ||
13 | EE | Xuandong Li, Johan Lilius: Checking compositions of UML sequence diagrams for timing inconsistency. APSEC 2000: 154-161 |
12 | EE | Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France: Defining Precise Semantics for UML. ECOOP Workshops 2000: 113-122 |
11 | EE | Johan Lilius, Ivan Paltor: The Production Cell: An Exercise in the Formal Verification of a UML Model. HICSS 2000 |
10 | EE | Tuomas Aura, Johan Lilius: A causal semantics for time Petri nets. Theor. Comput. Sci. 243(1-2): 409-447 (2000) |
1999 | ||
9 | EE | Johan Lilius, Ivan Paltor: vUML: A Tool for Verifying UML Models. ASE 1999: 255-258 |
8 | Ivan Paltor, Johan Lilius: Formalising UML State Machines for Model Checking. UML 1999: 430-445 | |
7 | Xuandong Li, Johan Lilius: Timing Analysis of UML Sequence Diagrams. UML 1999: 661-674 | |
1998 | ||
6 | EE | Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi: Partial Order Reductions for Timed Systems. CONCUR 1998: 485-500 |
5 | EE | Johan Lilius: Efficient State Space Search for Time Petri Nets. Electr. Notes Theor. Comput. Sci. 18: (1998) |
1997 | ||
4 | Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius: prod 3.2: An Advanced Tool for Efficient Reachability Analysis. CAV 1997: 472-475 | |
3 | Tuomas Aura, Johan Lilius: Time Processes for Time Petri-Nets. ICATPN 1997: 136-155 | |
1996 | ||
2 | Johan Lilius: OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract). Euro-Par, Vol. I 1996: 660-663 | |
1992 | ||
1 | Johan Lilius: High-Level Nets and Linear Logic. Application and Theory of Petri Nets 1992: 310-327 |