| |
| 2008 | ||
|---|---|---|
| 5 | EE | Daniel Larsson, Håkan Bertilsson, Robert Feldt: Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company. ICST 2008: 423-431 |
| 2007 | ||
| 4 | EE | Oleg Mürk, Daniel Larsson, Reiner Hähnle: KeY-C: A Tool for Verification of C Programs. CADE 2007: 385-390 |
| 3 | EE | Daniel Larsson, Reiner Hähnle: Symbolic Fault Injection. VERIFY 2007 |
| 2005 | ||
| 2 | EE | Martin Giese, Daniel Larsson: Simplifying Transformations of OCL Constraints. MoDELS 2005: 309-323 |
| 2004 | ||
| 1 | EE | Daniel Larsson, Wojciech Mostowski: Specifying JAVA CARD API in OCL. Electr. Notes Theor. Comput. Sci. 102: 3-19 (2004) |
| 1 | Håkan Bertilsson | [5] |
| 2 | Robert Feldt | [5] |
| 3 | Martin Giese | [2] |
| 4 | Reiner Hähnle | [3] [4] |
| 5 | Wojciech Mostowski | [1] |
| 6 | Oleg Mürk | [4] |