Rot Composing Families of Timed, p.51 ,
Paolini Translating Active Objects into Colored Petri Nets for Communication Analysis, p.84 ,
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes, p.100 ,
A Feature-Rich and Extensible Mutation Testing Framework for Large, p.148 ,
Automatic Transition System Model Identification for Network Applications from Packet Traces, Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, and Fateme Bajelan Gray-Box Conformance Testing for Symbolic Reactive State Machines . . . . . 228 ,