Παρακολούθηση
Siavash Soleimanifard
Siavash Soleimanifard
PhD in Computer Science, Facebook
Μη επαληθευμένη διεύθυνση ηλ. ταχυδρομείου
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
312010
Inferring compact models of communication protocol entities
T Bohlin, B Jonsson, S Soleimanifard
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
162010
Algorithmic verification of procedural programs in the presence of code variability
S Soleimanifard, D Gurov
Science of Computer Programming 127, 76-102, 2016
122016
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
Procedure-modular specification and verification of temporal safety properties
S Soleimanifard, D Gurov, M Huisman
Software & Systems Modeling 14 (1), 83-100, 2015
82015
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
Establishing basis for learning algorithms
F Aarts, J Blom, T Bohlin, YF Chen, F Howar, B Jonsson, M Merten, ...
42010
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–13