| Compositional algorithmic verification of software product lines I Schaefer, D Gurov, S Soleimanifard International Symposium on Formal Methods for Components and Objects, 184-203, 2010 | 31 | 2010 |
| Inferring compact models of communication protocol entities T Bohlin, B Jonsson, S Soleimanifard Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 16 | 2010 |
| Algorithmic verification of procedural programs in the presence of code variability S Soleimanifard, D Gurov Science of Computer Programming 127, 76-102, 2016 | 12 | 2016 |
| ProMoVer: Modular verification of temporal safety properties S Soleimanifard, D Gurov, M Huisman International Conference on Software Engineering and Formal Methods, 366-381, 2011 | 10 | 2011 |
| Procedure-modular specification and verification of temporal safety properties S Soleimanifard, D Gurov, M Huisman Software & Systems Modeling 14 (1), 83-100, 2015 | 8 | 2015 |
| Procedure-modular verification of control flow safety properties S Soleimanifard, D Gurov, M Huisman Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs …, 2010 | 7 | 2010 |
| Establishing basis for learning algorithms F Aarts, J Blom, T Bohlin, YF Chen, F Howar, B Jonsson, M Merten, ... | 4 | 2010 |
| ProMoVer web interface S Soleimanifard, D Gurov, M Huisman | 4 | |
| Model Mining and Efficient Verification of Software Product Lines S Soleimanifard, D Gurov, I Schaefer, BM Østvold, M Markov Serdica Journal of Computing 9 (1), 35-82, 2015 | | 2015 |
| Formal Methods for Assuring Security of Computer Networks S Soleimanifard | | 2012 |
| Procedure-Modular Verification of Temporal Safety Properties S Soleimanifard KTH Royal Institute of Technology, 2012 | | 2012 |
| Generating a Model of a Communication Protocol from Test Data S Soleimanifard Uppsala University, 2009 | | 2009 |
| ProMoVer: A Tool for Modular Verification of Temporal Safety Properties S Soleimanifard | | |
