Syed Hussein Syed Alwi

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Computationally Expensive

Structural Properties

Refinement Process

Top Venues

FDL (Selected Papers)

Publications

Syed Hussein Syed Alwi, Emmanuelle Encrenaz
FSM-based properties and abstraction of components. RSP (2014)
Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz
An efficient refinement strategy exploiting component properties in a cegar process. FDL (2012)
Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz
Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process. FDL (Selected Papers) (2012)