| 1 | -- | 16 | Federico Pecora, Riccardo Rasconi, Gabriella Cortellessa, Amedeo Cesta. User-oriented problem abstractions in scheduling |
| 17 | -- | 38 | Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu. From Statecharts to Verilog: a formal approach to hardware/software co-specification |
| 39 | -- | 48 | Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed. Modeling security as a dependability attribute: a refinement-based approach |
| 49 | -- | 64 | Leo Freitas, Jim Woodcock, Ana Cavalcanti. State-rich model checking |