Johan Lilius

	2012
70		Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius: Bit Rate Reduction Video Transcoding with Distributed Computing. PDP 2012: 206-212
	2011
69		Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius: Cost and Energy Reduction Evaluation for ARM Based Web Servers. DASC 2011: 480-487
68		Simon Holmbacka, Sébastien Lafond, Johan Lilius: A PID-Controlled Power Manager for Energy Efficient Web Clusters. DASC 2011: 721-728
67		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
66		Simon Holmbacka, Sébastien Lafond, Johan Lilius: Power proportional characteristics of an energy manager for web clusters. ICSAMOS 2011: 51-58
65		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
64		Espen Suenson, Johan Lilius, Ivan Porres: OWL Web Ontology Language as a Scripting Language for Smart Space Applications. RuleML Europe 2011: 368-375
63		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
62		Johan Ersfolk, Ghislain Roquier, Fareed Jokhio, Johan Lilius, Marco Mattavelli: Scheduling of dynamic dataflow programs with model checking. SiPS 2011: 37-42
61		Johan Lilius, Wojciech Penczek: Preface. Fundam. Inform. 113(3-4): (2011)
	2010
60		Johan Lilius, Wojciech Penczek: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings Springer 2010
59		Johan Lilius, Andreas Dahlin, Lionel Morel: Rialto 2.0: A Language for Heterogeneous Computations. DIPES/BICC 2010: 7-18
58		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
57		Qaisar A. Malik, Dragos Truscan, Johan Lilius: Using UML Models and Formal Verification in Model-Based Testing. ECBS 2010: 50-56
	2009
56		Andreas Dahlin, Johan Ersfolk, Haitham Habli, Johan Lilius: Memory Analysis of Low Power MPEG-4 Decoder Architecture. ICESS 2009: 231-237
55		Andreas Dahlin, Johan Ersfolk, Guyfu Yang, Haitham Habli, Johan Lilius: The canals language and its compiler. SCOPES 2009: 43-52
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: 113-133 (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

Coauthor Index

1	Fredrik Abbors	[58]
2	Marcus Alanen	[40] [53]
3	Tuomas Aura	[3] [10]
4	Ralph-Johan Back	[20]
5	Johan Bengtsson	[6]
6	Dag Björklund	[15] [18] [19] [20] [21] [23] [29] [38]
7	Jerker Björkqvist	[48] [52]
8	Jean-Michel Bruel	[12]
9	Andreas Dahlin	[55] [56] [59] [67]
10	Tewodros Deneke	[70]
11	Timo Eriksson	[49]
12	Johan Ersfolk	[55] [56] [62]
13	João M. Fernandes	[27] [28] [31] [37]
14	Robert B. France	[12]
15	Jérôme Gorin	[67]
16	Haitham Habli	[55] [56]
17	Keijo Heljanko	[4]
18	Simon Holmbacka	[66] [68]
19	Joakim Isaksson	[26]
20	Jouni Isoaho	[35]
21	Antti Jääskeläinen	[58]
22	Fareed Jokhio	[62] [67] [70]
23	Bengt Jonsson	[6]
24	Pasi Kankaanpää	[63]
25	Mika Katara	[58]
26	Sébastien Lafond	[25] [41] [43] [44] [50] [66] [68] [69] [70]
27	Linas Laibinis	[34] [39] [54]
28	Antti Latva-Aho	[49]
29	Sari Leppänen	[34] [39]
30	Xuandong Li	[7] [13] [14]
31	Tomas Lillqvist	[30]
32	Johan Lindqvist	[49]
33	Torbjörn Lundkvist	[30] [53]
34	Ricardo Jorge Machado	[31]
35	Qaisar A. Malik	[34] [39] [42] [54] [57] [58]
36	Marco Mattavelli	[62]
37	Luka Milovanov	[20]
38	Ana Moreira (Ana M. D. Moreira)	[12]
39	Lionel Morel	[59]
40	Tero Nurmi	[33]
41	Kristian Nybom	[48]
42	Ian Oliver	[30] [40]
43	Kasper Østerbye	[24]
44	Jani Paakkulainen	[33] [35]
45	Ivan Paltor	[8] [9] [11]
46	Wojciech Penczek	[60] [61]
47	Ivan Porres	[15] [20] [21] [23] [30] [31] [40] [46] [49] [53] [63] [64] [65]
48	Juha Rakkola	[49]
49	Mickaël Raulet	[67]
50	Natalia Díaz Rodríguez	[63] [65]
51	Ghislain Roquier	[62]
52	M. Mohsin Saleemi	[48] [52] [63] [65]
53	Kim Sandström	[30] [40] [46] [53]
54	Manoranjan Satpathy	[42]
55	Tiberiu Seceleanu	[47] [51]
56	Espen Suenson	[64]
57	Olle Svanfeldt-Winter	[69]
58	Glen Sveholm	[30]
59	Hannu Tenhunen	[47] [51]
60	Elena Troubitsyna	[34] [39]
61	Dragos Truscan	[22] [26] [27] [31] [35] [36] [37] [40] [46] [47] [49] [51] [53] [57] [58]
62	Kimmo Varpaaniemi	[4]
63	Heikki Virtanen	[58]
64	Seppo Virtanen	[17] [22] [33] [35]
65	Lu Yan	[32] [45]
66	Guyfu Yang	[55]
67	Wang Yi	[6]
68	Asim Pervez Zaka	[30]
69	Xinrong Zhou	[32] [45]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page