| |
| 2000 | ||
|---|---|---|
| 4 | EE | Johan Lilius, Ivan Paltor: The Production Cell: An Exercise in the Formal Verification of a UML Model. HICSS 2000 |
| 1999 | ||
| 3 | EE | Johan Lilius, Ivan Paltor: vUML: A Tool for Verifying UML Models. ASE 1999: 255-258 |
| 2 | Ivan Paltor, Johan Lilius: Formalising UML State Machines for Model Checking. UML 1999: 430-445 | |
| 1 | Luigia Petre, Ralph-Johan Back, Ivan Paltor: Analysing UML Use Cases as Contracts. UML 1999: 518-533 | |
| 1 | Ralph-Johan Back | [1] |
| 2 | Johan Lilius | [2] [3] [4] |
| 3 | Luigia Petre | [1] |