Hamideh Sabouri

According to our database1, Hamideh Sabouri authored at least 13 papers between 2008 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2014
Reducing the verification cost of evolving product families using static analysis techniques.
Sci. Comput. Program., 2014

2013
Modeling and Verification of Reconfigurable Actor Families.
J. UCS, 2013

Delta Modeling and Model Checking of Product Families.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012
Using Coordinated Actors to Model Families of Distributed Systems.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Scheduling and Analysis of Real-Time Software Families.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011
Efficient Verification of Evolving Software Product Lines.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010
Sysfier: Actor-based formal verification of SystemC.
ACM Trans. Embedded Comput. Syst., 2010

Actor-based slicing techniques for efficient reduction of Rebeca models.
Sci. Comput. Program., 2010

Slicing-based Reductions for Rebeca.
Electr. Notes Theor. Comput. Sci., 2010

An Effective Approach for Verifying Product Lines in Presence of Variability Models.
Proceedings of the Software Product Lines - 14th International Conference, 2010

2008
An effective approach for model checking SystemC designs.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008


  Loading...