Lilius, Johan

name

• Lilius, Johan

Authored works

• A sheaf semantics for Petri nets
• Dialectical nets : a categorical approach to net theory
• Efficient state space search for time Petri nets
• OB(PN)[sup 2] : an object based Petri net programming notation
• On the compositionality and analysis of algebraic high-level nets
• On the folding of algebraic nets
• On the notion of dialectical nets
• On the structure of high-level nets
• The production cell : an exercise in the formal verification of a UML model
• The semantics of UML state machines
• Towards a formal definition of model driven development
• UML-driven TTA-based protocol processor design
• vUML : a tool for verifying UML models

Works contributed to

• A MOF-based metamodel for SA/RT
• An energy consumption model for Java virtual machine
• Annual report : For the year 1988
• Checking timing Petri nets for linear duration properties
• Digital sound recorder : a case study on designing embedded systems using the UML notation
• Proceedings of MOMPES'05 : 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, June 6, 2005 Rennes, France
• Region based allocation in Java
• Rethinking software updating : concepts for improved updatability
• TACO IPv6 router : a case study in protocol processor design
• The Uva virtual machine
• Timing analysis of message sequence charts
• Timing analysis of UML sequence diagrams
• Tool support for DFD to UML model-based transformations
• TTA Workshop notes 2002 : Turku, June 7, 2002
• Verifying time Petri nets by linear programming

Works about Lilius, Johan