Sanaz Yeganefard

According to our database, Sanaz Yeganefard authored at least 5 papers between 2010 and 2014.

Collaborative distances:

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

2014

From requirement document to formal modelling and decomposition of control systems.

Sanaz Yeganefard

PhD thesis, 2014

2013

Problem decomposition and sub-model reconciliation of control systems in Event-B.

Sanaz Yeganefard, Michael J. Butler

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2012

Control Systems: Phenomena and Structuring Functional Requirement Documents.

Sanaz Yeganefard, Michael J. Butler

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation.

Sanaz Yeganefard, Michael J. Butler

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.

Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh

Proceedings of the Second NASA Formal Methods Symposium, 2010