Johan Lilius

• Xuandong Li, Johan Lilius: Checking Compositions of UML Sequence Diagrams for Timing Inconsistency, 7th Asia Pacific Software Engineering Conference (APSEC 2000), 2000, (BibTeX entry).
• Ivan Porres Paltor, Johan Lilius: vUML: A Tool for Verifying UML Models, Automated Software Engineering, ASE'99, 14th IEEE International Conference, 1999, (BibTeX entry).
• Johan Lilius, Ivan Porres Paltor: Formalising UML State Machines for Model Checking, Second International Conference on the Unified Modeling Language: UML'99, 1999, (BibTeX entry).
• Xuandong Li, Johan Lilius: Timing Analysis of UML Sequence Diagrams, Second International Conference on the Unified Modeling Language: UML'99, 1999, (BibTeX entry).
• Dag Bjoerklund, Johan Lilius, Ivan Porres: Towards Efficient Code Synthesis from Statecharts, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists?, 2001, (BibTeX entry).
• Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres: A Workbench to Experiment on New Model, Sixth International Conference on the Unified Modeling Language - the Language and its applications, 2003, (BibTeX entry).
• Jean-Michel Bruel, Johan Lilius, Ana Moreira, Robert B. France: Defining Precise Semantics for UML, Springer, 2000, (BibTeX entry).

Search other Bibliographies

• dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.