|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 60 occurrences of 51 keywords
|
|
|
|
|
Results
Found 70 publication records. Showing 70 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius |
Bit Rate Reduction Video Transcoding with Distributed Computing.  |
PDP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius, Wojciech Penczek |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Holmbacka, Sébastien Lafond, Johan Lilius |
Power proportional characteristics of an energy manager for web clusters. |
ICSAMOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Holmbacka, Sébastien Lafond, Johan Lilius |
A PID-Controlled Power Manager for Energy Efficient Web Clusters. |
DASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius |
Cost and Energy Reduction Evaluation for ARM Based Web Servers. |
DASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Ersfolk, Ghislain Roquier, Fareed Jokhio, Johan Lilius, Marco Mattavelli |
Scheduling of dynamic dataflow programs with model checking. |
SiPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Dahlin, Fareed Jokhio, Johan Lilius, Jérôme Gorin, Mickaël Raulet |
Interfacing and scheduling legacy code within the Canals framework. |
DASIP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Ivan Porres |
A Framework for Context-Aware Applications for Smart Spaces. |
NEW2AN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Espen Suenson, Johan Lilius, Ivan Porres |
OWL Web Ontology Language as a Scripting Language for Smart Space Applications. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius, Wojciech Penczek (eds.) |
Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
UML bases testing, Model-based testing, System models, Test models |
| 1 | Qaisar A. Malik, Dragos Truscan, Johan Lilius |
Using UML Models and Formal Verification in Model-Based Testing. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius, Andreas Dahlin, Lionel Morel |
Rialto 2.0: A Language for Heterogeneous Computations. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius |
MDE for SoC design. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
System on chip, Model transformation, Domain-specific language, Metamodel, Model-driven engineering |
| 1 | Qaisar A. Malik, Johan Lilius, Linas Laibinis |
Model-Based Testing Using Scenarios and Event-B Refinements. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Dahlin, Johan Ersfolk, Guyfu Yang, Haitham Habli, Johan Lilius |
The canals language and its compiler. |
SCOPES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andreas Dahlin, Johan Ersfolk, Haitham Habli, Johan Lilius |
Memory Analysis of Low Power MPEG-4 Decoder Architecture. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen |
A Model-Based Design Process for the SegBus Distributed Architecture. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
Segmented Bus Architecture, UML, MDA, model transformation |
| 1 | Sébastien Lafond, Johan Lilius |
Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
Interrupt, Hardware accelerator |
| 1 | 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 |
DBLP DOI BibTeX RDF |
NoTA architecture, SOA, SOC, testing specifications |
| 1 | M. Mohsin Saleemi, Jerker Björkqvist, Johan Lilius |
System architecture and interactivity model for mobile TV applications. |
DIMEA |
2008 |
DBLP DOI BibTeX RDF |
system architecture, interactivity model, interactive applications, mobile TV, design requirements |
| 1 | M. Mohsin Saleemi, Kristian Nybom, Johan Lilius, Jerker Björkqvist |
Content scheduling in multimedia interactive mobile games. |
Future Play |
2008 |
DBLP DOI BibTeX RDF |
content scheduling, algorithm, multimedia, interactive applications, location-based game |
| 1 | Sébastien Lafond, Johan Lilius |
Energy consumption analysis for two embedded Java virtual machines. |
Journal of Systems Architecture |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius |
Towards a Design Methodology for Multiprocessor Platforms. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan |
SystemC-based Simulation of the MICAS Architecture. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xinrong Zhou, Lu Yan, Johan Lilius |
Function Inlining in Embedded Systems with Code Size Limitation. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | João M. Fernandes, Johan Lilius, Dragos Truscan |
Integration of DFDs into a UML-based Model-driven Engineering Approach. |
Software and System Modeling |
2006 |
DBLP DOI BibTeX RDF |
IPv6 router, UML, Embedded Systems, Specification, MDA, Process Model, Model Transformation, Activity Diagram, Data-flow Diagram |
| 1 | Dag Björklund, Johan Lilius |
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Lafond, Johan Lilius |
Static Energy Saving Through Multi-Bank Memory Architecture. |
ICSAMOS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Lafond, Johan Lilius |
An Energy Consumption Model for an Embedded Java Virtual Machine. |
ARCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, service-oriented development |
| 1 | Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius |
Synthesis of Scenario Based Test Cases from B Models. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
Scenarios, Model Based Testing, B-Method |
| 1 | Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan, Ian Oliver, Kim Sandström |
Design Method Support for Domain Specific SoC design. |
MDB/MOMPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Seppo Virtanen, Tero Nurmi, Jani Paakkulainen, Johan Lilius |
A system-level framework for designing and evaluating protocol processor architectures. |
IJES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinrong Zhou, Johan Lilius, Lu Yan |
Function Inlining with Code Size Limitation in Embedded Systems. |
Int. Arab J. Inf. Technol. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres |
Guest Editors' Foreword. |
Nord. J. Comput. |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
Formal Model-Driven Development of Communicating Systems. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Seppo Virtanen, Dragos Truscan, Jani Paakkulainen, Jouni Isoaho, Johan Lilius |
Highly Automated FPGA Synthesis of Application-Specific Protocol Processors. |
FPL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius, Dragos Truscan |
Using feature models to automate model transformations. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius, Kasper Østerbye |
Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. |
Nord. J. Comput. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Lafond, Johan Lilius |
An Opcode Level Energy Consumption Model for a Java Virtual Machine. |
Virtual Machine Research and Technology Symposium |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius |
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joakim Isaksson, Johan Lilius, Dragos Truscan |
A MOF-Based Metamodel for SA/RT. |
RISE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | João M. Fernandes, Johan Lilius |
Functional and Object-Oriented Views in Embedded Software Modeling. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragos Truscan, João M. Fernandes, Johan Lilius |
Tool Support for DFD-UML Model-based Transformations. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius, Ivan Porres |
Rialto Profile in the SMW Toolkit. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres |
A Workbench to Experiment on New Model Engineering Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius, Ivan Porres |
A Unified Approach to Code Generation from Behavioral Diagrams. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius, Dragos Truscan, Seppo Virtanen |
Fast Evaluation of Protocol Processor Architectures for IPv6 Routing. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius |
Towards a Kernel Language for Heterogeneous Computing. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius |
A language for multiple models of computation. |
CODES |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuandong Li, Johan Lilius |
Efficient verification of a class of time Petri nets using linear programming. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius, Ivan Porres |
Towards Efficient Code Synthesis from Statecharts. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius |
OB(PN)2: An Object Based Petri Net Programming Notation. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Seppo Virtanen, Johan Lilius |
The TACO protocol processor simulation environment. |
CODES |
2001 |
DBLP DOI BibTeX RDF |
simulation, protocol, microprocessor, codesign |
| 1 | Tuomas Aura, Johan Lilius |
A causal semantics for time Petri nets. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuandong Li, Johan Lilius |
Checking compositions of UML sequence diagrams for timing inconsistency. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions |
| 1 | Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France |
Defining Precise Semantics for UML. |
ECOOP Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius, Ivan Paltor |
The Production Cell: An Exercise in the Formal Verification of a UML Model. (PDF / PS) |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuandong Li, Johan Lilius |
Timing Analysis of UML Sequence Diagrams. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Paltor, Johan Lilius |
Formalising UML State Machines for Model Checking. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius, Ivan Paltor |
vUML: A Tool for Verifying UML Models. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius |
Efficient State Space Search for Time Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi |
Partial Order Reductions for Timed Systems. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuomas Aura, Johan Lilius |
Time Processes for Time Petri-Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
net theory, processes, timing analysis, causality, time Petri nets, partial order semantics |
| 1 | Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius |
prod 3.2: An Advanced Tool for Efficient Reachability Analysis. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius |
OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract). |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius |
High-Level Nets and Linear Logic. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
Classification Analysis and synthesis, structure and behavior of nets, higherlevel net models |
Displaying result #1 - #70 of 70 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")