Syed Hussein Syed Alwi

According to our database, Syed Hussein Syed Alwi authored at least 3 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

FSM-based properties and abstraction of components.

Syed Hussein Syed Alwi, Emmanuelle Encrenaz

Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

2012

Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process.

Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz

Proceedings of the Models, Methods, and Tools for Complex Chip Design, 2012

An efficient refinement strategy exploiting component properties in a cegar process.

Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012