Ramtin Khosravi - Home Page

Research Interests:

Formal Methods in Software Product-Line Engineering
- Modeling, Model Checking, and Model-Based Testing

Actor Model for Distributed Computing
- Modeling, Verification, Design Methods

Software Architecture
- Enterprise Application Architectures, Variability Management

Events:

Upcoming events

COORDINATION 2012 (PC Member)

Past events

Current Projects:

TARO, Timed Asynchronous Reactive Objects in Distributed Systems (Project led by Marjan Sirjani, Funded by ICE-ROSE)
Model-Based Testing of Electronic Funds Transfer Systems, (Funded by Fanap)
Formal Modeling and Analysis of Software Product Lines, (Partially funded by IPM School of CS)
Web-Based Software Quality Certification Initiative, (Funded by Information Technology Organization of Iran)

Recent Courses:

Advanced Programming [Spring 2012]
Internet Engineering [Spring 2012]
Formal Modeling and Verification [Fall 2011] -- Requires access from UT network
Software Engineering [Fall 2011] -- Requires access from UT network

Publications:

H. Sabouri and R. Khosravi, "Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques", Proceedings of the 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo, Norway, to appear in Lecture Notes in Computer Science, pp. 334-349, Springer-Verlag, September 2011.
N. Noroozi, R. Khosravi, M.R. Mousavi, and T.A.C. Willemse. "Synchronizing Asynchronous Conformance Testing", Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Montevideo, Uruguay, Lecture Notes in Computer Scinece 7041, Springer-Verlag, November 2011.
H. Sabouri and R. Khosravi, "Efficient Veriﬁcation of Evolving Software Product Lines", Proceedings of the 4th International Conference on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran, to appear in Lecture Notes in Computer Science, Springer-Verlag, 2011.
H.R. Asaadi, R. Khosravi, M.R. Mousavi, and N. Noroozi. "Towards Model-Based Testing of Electronic Funds Transfer Systems", Proceedings of the 4th International Conference on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran, to appear in Lecture Notes in Computer Science, Springer-Verlag, 2011.
H. Sabouri and R. Khosravi, “An effective approach for verifying product lines in presence of variability models”, Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010), Technical Report, University of Lancaster, U.K., September 2010.
R. Rahimi and R. Khosravi, “Architecture conformance checking of multi-language applications”, Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'10), 2010.
N. Khakpour, R. Khosravi, M. Sirjani, and S. Jalili, “Formal analysis of policy-based self-adaptive systems”, In Proceedings of the 2010 ACM Symposium on Applied Computing, pp. 2536-2543, Sierre, Switzerland, 2010.
H. H. Bazzaz, M. Sirjani, R. Khosravi, and S. Taheri, “Modeling networking issues of network-on-chip: a coloured petri nets approach”, In Proceedings of the 2nd international Conference on Simulation Tools and Techniques, pp. 1-10, Rome, Italy, 2009.
A. Yazdanshenas and R. Khosravi, “Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures”, In Proc. CSICC'09, pp. 146-151, 2009.
N. Asoudeh and R. Khosravi, “Alloy as a Language for Domain Modeling”, Proc. MySEC’08, Terengganu, Malaysia, December 2008.
S. Sahebi, F. Oroumchian, and R. Khosravi, “An Enhanced Similarity Measure for Utilizing Web Site Structure in Web Personalization Systems”, Proc. IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, vol. 3, pp. 82-85, 2008.
S. Sahebi, F. Oroumchian, and R. Khosravi, “Applying and Comparing Hidden Markov Model and Fuzzy Clustering Algorithms to Web Usage Data for Recommender Systems”, In Proceedings of Data Mining Conference (IADIS), pp. 179-181, Amsterdam, Netherlands, June 2008.
R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi, and H. Iravanchi, “Modeling and Analysis of Reo Connectors Using Alloy”, In Proc. of Coordination’08, LNCS 5052, pp. 169-183, Oslo, Norway, June 2008.
M. Razavian and R. Khosravi, “Modeling Variability in Component and Connector View of Architecture Using UML”, In Proc. of the 6th ACS/IEEE International Conference on Computer Systems and Applications, pp. 801-809 , 2008.
M. Razavian and R. Khosravi, “Modeling Variability in Business Process Models Using UML”, In Proc. 5th International Conference on Information Technology: New Generations, pp. 82-87, 2008.
R. Khosravi and M. Ghodsi, “Visiting a Polygon on the Optimal Way to a Query Point”, In Proc. of Frontiers of Algorithmics Workshop, LNCS 5059, pp. 245-251, Changsha, China, June 2008.
F. Rostamabadi, I. Sadeghi, M. Ghodsi, and R. Khosravi, “Optimal point removal in closed-2PM labeling”, Information Processing Letters, 105(3), pp. 108-113, 2008.
M. Razavian and R. Khosravi, “Managing Variability at Business Process Level in Information Systems Product Lines”, In Proc. 12th CSI Computer Conference, Shahid Beheshti Univ., Tehran, Feb. 20-22, 2007.
R. Khosravi and M. Ghodsi, “Query-Point Visibility Constrained Shortest Paths in Simple Polygons”, Theoretical Computer Science, 389(1-2), pp. 1-11, 2007.
R. Khosravi and M. Ghodsi, “Shortest Paths with Single-Point Visibility Constraint”, Scientia Iranica, Vol. 13, No. 1, pp. 25-32, Winter 2006.
R. Khosravi and M. Ghodsi, “The Fastest Way to View a Query Point in Simple Polygons”, In Proc. 21st European Workshop on Computational Geometry, March 9-11, 2005.
R. Khosravi and M. Ghodsi, “Shortest Paths in Simple Polygons with Polygon-Meet Constraints”, Information Processing Letters, 91(4), pp. 171-176, 2004.
R. Khosravi and M. Ghodsi, “Shortest Paths in Polygonal Domains with Polygon-Meet Constraints”, In Proc. 19th European Workshop on Computational Geometry, 2003.
R. Khosravi, M. Ghodsi, and M. Taghdiri, “Shortest Point-Visible Paths on Polyhedral Surfaces”, In Proc. 10th International Conference on Computing and Information (ICCI'2000), November 18-21, 2000.
M. Ghodsi, G. Jaberipur, and R. Khosravi, “SADL: A Systolic Array Description Language”, In Proc. 4th CSI Computer Conference, Sharif University of Technology, 1999 (in Persian).
R. Khosravi and A. Movaghar, “Verification of Concurrent Systems Using Actor Model and Temporal Logic”, In Proceedings of 3rd CSI Computer Conference, 1997 (in Persian).
A. Movaghar and R. Khosravi, “Investigating Some Important Models of Concurrency”, Research Proceedings of Sharif University of Technology, Computer Engineering Department, Tehran, Iran, pp. 174-182, 1997 (in Persian).