| Rouff, C., Hinchey, M.G., Truszkowski, W.F., Rash, J.L.: Experiences applying formal approaches in the development of swarm-based space exploration systems (this volume) | | | | |
| Jörgensen, J.B., Christensen, S., Tuovinen, A.-P., Xu, J.: Tool support for estimating the memory usage of mobile phone software (this volume) | | | | |
| Henglein, F., Andersen, J., Elsborg, E., Simonsen, J.G., Stefansen, C.: Compositional specification of commercial contracts (this volume) | | | | |
| Francois, C., Boniol, F.: A formal framework for verifying distributed embedded systems based on abstraction methods (this volume) | | | | |
| Erwan, J., Raymond, P., Baufreton, P.: Case studies with Lurette V2 (this volume) | | | | |