| 659 | -- | 681 | Rik Eshuis. Statechartable Petri nets |
| 683 | -- | 721 | Achim D. Brucker, Burkhart Wolff. On theorem prover-based testing |
| 723 | -- | 742 | Mathias John, Hans-Jörg Schulz, Heidrun Schumann, Adelinde M. Uhrmacher, Andrea Unger. Constructing and visualizing chemical reaction networks from pi-calculus models |
| 743 | -- | 768 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio. Testing restorable systems: formal definition and heuristic solution based on river formation dynamics |
| 769 | -- | 799 | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir. Towards formally specifying and verifying transactional memory |
| 801 | -- | 832 | Massimo Merro, Eleonora Sibilio. A calculus of trustworthy ad hoc networks |