Siavash Soleimanifard

According to our database, Siavash Soleimanifard authored at least 7 papers between 2010 and 2016.

Collaborative distances:

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

2016

Algorithmic verification of procedural programs in the presence of code variability.

Siavash Soleimanifard, Dilian Gurov

Sci. Comput. Program., 2016

2015

Procedure-modular specification and verification of temporal safety properties.

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

Softw. Syst. Model., 2015

2014

Algorithmic Verification of Procedural Programs in the Presence of Code Variability.

Siavash Soleimanifard

PhD thesis, 2014

2011

ProMoVer: Modular Verification of Temporal Safety Properties.

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Inferring Compact Models of Communication Protocol Entities.

Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Compositional Algorithmic Verification of Software Product Lines.

Ina Schaefer, Dilian Gurov, Siavash Soleimanifard

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Procedure-modular verification of control flow safety properties.

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010