 | 2009 |
|---|
| 54 |       | 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 |
| 53 | | Dragos Truscan,
Torbjörn Lundkvist,
Marcus Alanen,
Kim Sandström,
Ivan Porres,
Johan Lilius:
MDE for SoC design.
ISSE 5(1): 49-64 (2009) |
| 2008 |
|---|
| 52 | | M. Mohsin Saleemi,
Jerker Björkqvist,
Johan Lilius:
System architecture and interactivity model for mobile TV applications.
DIMEA 2008: 407-414 |
| 51 | | Dragos Truscan,
Tiberiu Seceleanu,
Johan Lilius,
Hannu Tenhunen:
A Model-Based Design Process for the SegBus Distributed Architecture.
ECBS 2008: 307-316 |
| 50 | | Sébastien Lafond,
Johan Lilius:
Interrupt Costs in Embedded System with Short Latency Hardware Accelerators.
ECBS 2008: 317-325 |
| 49 | | 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 |
| 48 | | M. Mohsin Saleemi,
Kristian Nybom,
Johan Lilius,
Jerker Björkqvist:
Content scheduling in multimedia interactive mobile games.
Future Play 2008: 152-159 |
| 2007 |
|---|
| 47 | | Dragos Truscan,
Tiberiu Seceleanu,
Hannu Tenhunen,
Johan Lilius:
Towards a Design Methodology for Multiprocessor Platforms.
COMPSAC (1) 2007: 575-578 |
| 46 | | Johan Lilius,
Ivan Porres,
Kim Sandström,
Dragos Truscan:
SystemC-based Simulation of the MICAS Architecture.
FDL 2007: 122-127 |
| 45 | | Xinrong Zhou,
Lu Yan,
Johan Lilius:
Function Inlining in Embedded Systems with Code Size Limitation.
ICESS 2007: 154-161 |
| 44 | | 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 |
|---|
| 43 | | Sébastien Lafond,
Johan Lilius:
An Energy Consumption Model for an Embedded Java Virtual Machine.
ARCS 2006: 311-325 |
| 42 | | Manoranjan Satpathy,
Qaisar A. Malik,
Johan Lilius:
Synthesis of Scenario Based Test Cases from B Models.
FATES/RV 2006: 133-147 |
| 41 | | Sébastien Lafond,
Johan Lilius:
Static Energy Saving Through Multi-Bank Memory Architecture.
ICSAMOS 2006: 43-49 |
| 40 | | 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 |
| 39 | | 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 | | 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 | | 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 | | 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 | | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen,
Johan Lilius,
Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems.
ICFEM 2005: 188-203 |
| 33 | | 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 | | 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 | | 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 | | João M. Fernandes,
Johan Lilius:
Functional and Object-Oriented Views in Embedded Software Modeling.
ECBS 2004: 378-387 |
| 27 | | Dragos Truscan,
João M. Fernandes,
Johan Lilius:
Tool Support for DFD-UML Model-based Transformations.
ECBS 2004: 388-397 |
| 26 | | Joakim Isaksson,
Johan Lilius,
Dragos Truscan:
A MOF-Based Metamodel for SA/RT.
RISE 2004: 102-111 |
| 25 | | 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 | | Dag Björklund,
Johan Lilius,
Ivan Porres:
Rialto Profile in the SMW Toolkit.
ACSD 2003: 233-234 |
| 22 | | Johan Lilius,
Dragos Truscan,
Seppo Virtanen:
Fast Evaluation of Protocol Processor Architectures for IPv6 Routing.
DATE 2003: 20158-20163 |
| 21 | | Dag Björklund,
Johan Lilius,
Ivan Porres:
A Unified Approach to Code Generation from Behavioral Diagrams.
FDL 2003: 251-263 |
| 20 | | 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 | | Dag Björklund,
Johan Lilius:
A language for multiple models of computation.
CODES 2002: 25-30 |
| 18 | | Dag Björklund,
Johan Lilius:
Towards a Kernel Language for Heterogeneous Computing.
DATE 2002: 1136 |
| 2001 |
|---|
| 17 | | Seppo Virtanen,
Johan Lilius:
The TACO protocol processor simulation environment.
CODES 2001: 201-206 |
| 16 | | 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 | | 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 | | Xuandong Li,
Johan Lilius:
Checking compositions of UML sequence diagrams for timing inconsistency.
APSEC 2000: 154-161 |
| 12 | | Jean-Michel Bruel,
Johan Lilius,
Ana M. D. Moreira,
Robert B. France:
Defining Precise Semantics for UML.
ECOOP Workshops 2000: 113-122 |
| 11 | | Johan Lilius,
Ivan Paltor:
The Production Cell: An Exercise in the Formal Verification of a UML Model.
HICSS 2000 |
| 10 | | Tuomas Aura,
Johan Lilius:
A causal semantics for time Petri nets.
Theor. Comput. Sci. 243(1-2): 409-447 (2000) |
| 1999 |
|---|
| 9 | | 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 | | Johan Bengtsson,
Bengt Jonsson,
Johan Lilius,
Wang Yi:
Partial Order Reductions for Timed Systems.
CONCUR 1998: 485-500 |
| 5 | | 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 |
