Procedure-Modular Verification of Control Flow Safety Properties∗ Siavash Soleimanifard Dilian Gurov

Source URL: www.csc.kth.se

ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden

Source URL: www.csc.kth.se

Compositional Algorithmic Verification of Software Product Lines Ina Schaefer1 , Dilian Gurov2 , and Siavash Soleimanifard2 1 2

Source URL: www.nada.kth.se

Procedure-Modular Verification of Control Flow Safety Properties∗ Siavash Soleimanifard Dilian Gurov

Source URL: www.nada.kth.se

ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden

Source URL: www.nada.kth.se

Algorithmic Verification of Procedural Programs in the Presence of Code Variability Siavash Soleimanifard and Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden {siavashs,dilian}@csc.kth.se

Source URL: www.nada.kth.se

Design of a Test-Bed Structure for Shake Table Simulation of the Seismic Performance of Nonstructural Systems by Siavash Soroushian : PhD Candidate Esmaeel Rahmani : PhD Student

Source URL: www.nees-nonstructural.org

A redox-sensitive peroxiredoxin that is important for longevity has tissue- and stress-specific roles in stress resistance Monika Ola´hova´a, Sarah R. Taylora, Siavash Khazaipoula, Jinling Wangb, Brian A. Morgana, Kuni

Source URL: blackwellweb.joslin.harvard.edu

Automatic Human Utility Evaluation of ASR Systems: Does WER Really Predict Performance? Benoit Favre1 , Kyla Cheung2 , Siavash Kazemian3 , Adam Lee4 , Yang Liu5 , Cosmin Munteanu3 , Ani Nenkova6 , Dennis Ochei7 , Gerald

Source URL: pageperso.lif.univ-mrs.fr

Analytical Seismic Fragility of Fire Sprinkler Piping Systems with Threaded Joints By Siavash Soroushian, PhD Candidate, College of Engineering, University of Nevada, Reno

Source URL: www.nees-nonstructural.org

• Magnetic ordering
• Hysteresis
• Materials science