Coen-PorisiniAlberto

A framework architecture for supervision and control systems

MorzentiAngelo, CapobianchiRiccardo, Coen-PorisiniAlberto, 2000 .

A formal approach for designing CORBA-based applications

Coen-PorisiniAlberto, MandrioliDino, PradellaMatteo, 2003 .

Using symbolic execution for verifying safety-critical systems

Coen-PorisiniAlberto, DenaroGiovanni, GhezziCarlo, 2001 .

Specification of realtime systems using ASTRAL

A KemmererRichard, Coen-PorisiniAlberto, GhezziCarlo, 1997 .

From formal models to formally based methods

MorzentiAngelo, Coen-PorisiniAlberto, MandrioliDino, 1999 .