Siavash Soleimanifard
Siavash Soleimanifard
PhD in Computer Science, Microsoft
Bestätigte E-Mail-Adresse bei csc.kth.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
282010
Inferring compact models of communication protocol entities
T Bohlin, B Jonsson, S Soleimanifard
International Symposium On Leveraging Applications of Formal Methods …, 2010
152010
Promover: Modular verification of temporal safety properties
S Soleimanifard, D Gurov, M Huisman
International Conference on Software Engineering and Formal Methods, 366-381, 2011
102011
Algorithmic verification of procedural programs in the presence of code variability
S Soleimanifard, D Gurov
Science of Computer Programming 127, 76-102, 2016
92016
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
72010
Procedure-modular specification and verification of temporal safety properties
S Soleimanifard, D Gurov, M Huisman
Software & Systems Modeling 14 (1), 83-100, 2015
62015
Three New Methods for Computing Subresultant Polynomial Remainder Sequences (PRS’s)
A Akritas
Serdica Journal of Computing 9 (1), 1-26, 2015
42015
ProMoVer web interface
S Soleimanifard, D Gurov, M Huisman
4
Establishing basis for learning algorithms
F Aarts, J Blom, T Bohlin, YF Chen, F Howar, B Jonsson, M Merten, ...
22010
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14