| 1087 | -- | 1088 | Richard Lai. Editorial |
| 1089 | -- | 1103 | Guy Leduc, François Germeau. Verification of security protocols using LOTOS-method and application |
| 1104 | -- | 1123 | Jean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj. Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique |
| 1124 | -- | 1134 | Maria Törö, Jinsong Zhu, Victor C. M. Leung. Design of universal personal computing using SDL |
| 1135 | -- | 1157 | Daniel Amyot, Luigi Logrippo. Use Case Maps and ::LOTOS:: for the prototyping and validation of a mobile group call system |
| 1158 | -- | 1168 | Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski. Tool support for hardware/software co-design of communication protocols |
| 1169 | -- | 1178 | J. Jenny Li, Joseph Robert Horgan. Applying formal description techniques to software architectural design |
| 1179 | -- | 1195 | Hartmut König, Peter Langendörfer, Heiko Krumm. Improving the efficiency of automated protocol implementations using a configurable FDT compiler |
| 1196 | -- | 1213 | Mariusz A. Fecko, M. Ümit Uyar, Paul D. Amer, Adarshpal S. Sethi, Theodore Dzik, R. Menell, Michael McMahon. A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220 |