The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Johan Lilius: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dag Björklund, Johan Lilius
    Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:125-134 [Conf]
  2. Dag Björklund, Johan Lilius, Ivan Porres
    Rialto Profile in the SMW Toolkit. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:233-234 [Conf]
  3. Tuomas Aura, Johan Lilius
    Time Processes for Time Petri-Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:136-155 [Conf]
  4. Johan Lilius
    High-Level Nets and Linear Logic. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:310-327 [Conf]
  5. Xuandong Li, Johan Lilius
    Checking compositions of UML sequence diagrams for timing inconsistency. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:154-161 [Conf]
  6. Sébastien Lafond, Johan Lilius
    An Energy Consumption Model for an Embedded Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    ARCS, 2006, pp:311-325 [Conf]
  7. Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius
    prod 3.2: An Advanced Tool for Efficient Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:472-475 [Conf]
  8. Dag Björklund, Johan Lilius
    A language for multiple models of computation. [Citation Graph (0, 0)][DBLP]
    CODES, 2002, pp:25-30 [Conf]
  9. Seppo Virtanen, Johan Lilius
    The TACO protocol processor simulation environment. [Citation Graph (0, 0)][DBLP]
    CODES, 2001, pp:201-206 [Conf]
  10. Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
    Partial Order Reductions for Timed Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:485-500 [Conf]
  11. Johan Lilius
    OB(PN)2: An Object Based Petri Net Programming Notation. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:247-275 [Conf]
  12. Dag Björklund, Johan Lilius
    Towards a Kernel Language for Heterogeneous Computing. [Citation Graph (0, 0)][DBLP]
    DATE, 2002, pp:1136- [Conf]
  13. Johan Lilius, Dragos Truscan, Seppo Virtanen
    Fast Evaluation of Protocol Processor Architectures for IPv6 Routing. [Citation Graph (0, 0)][DBLP]
    DATE, 2003, pp:20158-20163 [Conf]
  14. João M. Fernandes, Johan Lilius
    Functional and Object-Oriented Views in Embedded Software Modeling. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:378-387 [Conf]
  15. Dragos Truscan, João M. Fernandes, Johan Lilius
    Tool Support for DFD-UML Model-based Transformations. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:388-397 [Conf]
  16. Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France
    Defining Precise Semantics for UML. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2000, pp:113-122 [Conf]
  17. Johan Lilius
    OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:660-663 [Conf]
  18. Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius
    Synthesis of Scenario Based Test Cases from B Models. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:133-147 [Conf]
  19. Seppo Virtanen, Dragos Truscan, Jani Paakkulainen, Jouni Isoaho, Johan Lilius
    Highly Automated FPGA Synthesis of Application-Specific Protocol Processors. [Citation Graph (0, 0)][DBLP]
    FPL, 2005, pp:269-274 [Conf]
  20. Johan Lilius, Ivan Paltor
    The Production Cell: An Exercise in the Formal Verification of a UML Model. [Citation Graph (0, 0)][DBLP]
    HICSS, 2000, pp:- [Conf]
  21. Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
    Formal Model-Driven Development of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:188-203 [Conf]
  22. Sébastien Lafond, Johan Lilius
    An Opcode Level Energy Consumption Model for a Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    Virtual Machine Research and Technology Symposium, 2004, pp:- [Conf]
  23. Johan Lilius, Ivan Paltor
    vUML: A Tool for Verifying UML Models. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:255-258 [Conf]
  24. Joakim Isaksson, Johan Lilius, Dragos Truscan
    A MOF-Based Metamodel for SA/RT. [Citation Graph (0, 0)][DBLP]
    RISE, 2004, pp:102-111 [Conf]
  25. Xuandong Li, Johan Lilius
    Timing Analysis of UML Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:661-674 [Conf]
  26. Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres
    A Workbench to Experiment on New Model Engineering Applications. [Citation Graph (0, 0)][DBLP]
    UML, 2003, pp:96-100 [Conf]
  27. Dag Björklund, Johan Lilius, Ivan Porres
    Towards Efficient Code Synthesis from Statecharts. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:29-41 [Conf]
  28. Ivan Paltor, Johan Lilius
    Formalising UML State Machines for Model Checking. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:430-445 [Conf]
  29. Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
    Formal Service-Oriented Development of Fault Tolerant Communicating Systems. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:261-287 [Conf]
  30. Johan Lilius
    Efficient State Space Search for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
  31. Dag Björklund, Johan Lilius
    Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:70, n:1-2, pp:1-20 [Journal]
  32. Xinrong Zhou, Johan Lilius, Lu Yan
    Function Inlining with Code Size Limitation in Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Int. Arab J. Inf. Technol., 2005, v:2, n:3, pp:214-218 [Journal]
  33. Xuandong Li, Johan Lilius
    Efficient verification of a class of time Petri nets using linear programming. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:77, n:5-6, pp:219-224 [Journal]
  34. 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. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:4, pp:361-378 [Journal]
  35. Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:3, pp:198-199 [Journal]
  36. Johan Lilius, Kasper Østerbye
    Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2004, v:11, n:3, pp:211-212 [Journal]
  37. Tuomas Aura, Johan Lilius
    A causal semantics for time Petri nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:243, n:1-2, pp:409-447 [Journal]
  38. Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius
    Towards a Design Methodology for Multiprocessor Platforms. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:575-578 [Conf]
  39. Xinrong Zhou, Lu Yan, Johan Lilius
    Function Inlining in Embedded Systems with Code Size Limitation. [Citation Graph (0, 0)][DBLP]
    ICESS, 2007, pp:154-161 [Conf]
  40. Sébastien Lafond, Johan Lilius
    Static Energy Saving Through Multi-Bank Memory Architecture. [Citation Graph (0, 0)][DBLP]
    ICSAMOS, 2006, pp:43-49 [Conf]
  41. Sébastien Lafond, Johan Lilius
    Energy consumption analysis for two embedded Java virtual machines. [Citation Graph (0, 0)][DBLP]
    Journal of Systems Architecture, 2007, v:53, n:5-6, pp:328-337 [Journal]

  42. A Model-Based Design Process for the SegBus Distributed Architecture. [Citation Graph (, )][DBLP]


  43. Model-Based Testing Using System vs. Test Models - What Is the Difference?. [Citation Graph (, )][DBLP]


  44. Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. [Citation Graph (, )][DBLP]


  45. Testable Specifications of NoTA-based Modular Embedded Systems. [Citation Graph (, )][DBLP]


  46. Using UML Models and Formal Verification in Model-Based Testing. [Citation Graph (, )][DBLP]


  47. Design Method Support for Domain Specific SoC design. [Citation Graph (, )][DBLP]


  48. System architecture and interactivity model for mobile TV applications. [Citation Graph (, )][DBLP]


  49. SystemC-based Simulation of the MICAS Architecture. [Citation Graph (, )][DBLP]


  50. A Unified Approach to Code Generation from Behavioral Diagrams. [Citation Graph (, )][DBLP]


  51. Using feature models to automate model transformations. [Citation Graph (, )][DBLP]


  52. Content scheduling in multimedia interactive mobile games. [Citation Graph (, )][DBLP]


Search in 0.186secs, Finished in 0.189secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002