# Ramtin Khosravi

According to our database

Collaborative distances:

^{1}, Ramtin Khosravi authored at least 49 papers between 2004 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

On the security of one-round meeting location determination protocol.

Inf. Process. Lett., 2019

Verification of asynchronous systems with an unspecified component.

Acta Inf., 2019

2018

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models.

Sci. Comput. Program., 2018

Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique.

Proceedings of the Distributed Applications and Interoperable Systems, 2018

2017

Modeling and efficient verification of wireless ad hoc networks.

Formal Asp. Comput., 2017

Verification of Visibility-Based Properties on Multiple Moving Robots.

Proceedings of the Towards Autonomous Robotic Systems - 18th Annual Conference, 2017

LeeTL: LTL with quantifications over model objects.

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Purpose-Based Policy Enforcement in Actor-Based Systems.

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2015

Synchrony and asynchrony in conformance testing.

Software and System Modeling, 2015

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.

Sci. Comput. Program., 2015

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.

Sci. Comput. Program., 2015

Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties.

Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

Towards Managing Data Variability in Multi Product Lines.

Proceedings of the MODELSWARD 2015, 2015

Modeling and Efficient Verification of Broadcasting Actors.

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Floating Time Transition System: More Efficient Analysis of Timed Actors.

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Incremental Variability Management in Conceptual Data Models of Software Product Lines.

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Jacco: more efficient model checking toolset for Java actor programs.

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014

Reducing the verification cost of evolving product families using static analysis techniques.

Sci. Comput. Program., 2014

Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities.

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Event-Based Analysis of Timed Rebeca Models using SQL.

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

Efficient TCTL Model Checking Algorithm for Timed Actors.

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013

Modeling and Verification of Reconfigurable Actor Families.

J. UCS, 2013

Discrete time Markov chain families: modeling and verification of probabilistic software product lines.

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Delta Modeling and Model Checking of Product Families.

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Handling Database Schema Variability in Software Product Lines.

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Modeling and Verification of Probabilistic Actor Systems Using pRebeca.

Proceedings of the Formal Methods and Software Engineering, 2012

Using Coordinated Actors to Model Families of Distributed Systems.

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Scheduling and Analysis of Real-Time Software Families.

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.

Proceedings of the 2nd edition on Programming systems, 2012

2011

Synchronizing Asynchronous Conformance Testing.

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Efficient Verification of Evolving Software Product Lines.

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Towards Model-Based Testing of Electronic Funds Transfer Systems.

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques.

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

An Effective Approach for Verifying Product Lines in Presence of Variability Models.

Proceedings of the Software Product Lines - 14th International Conference, 2010

Formal analysis of policy-based self-adaptive systems.

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Architecture conformance checking of multi-language applications.

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Modeling networking issues of network-on-chip: a coloured petri nets approach.

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures.

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008

Optimal point removal in closed-2PM labeling.

Inf. Process. Lett., 2008

Modeling Variability in Business Process Models Using UML.

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

An Enhanced Similarity Measure for Utilizing Site Structure in Web Personalization Systems.

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

Applying and Comparing Hidden Markov Model and Fuzzy Clustering Algorithms to Web Usage Data for Recommender Systems.

Proceedings of the IADIS European Conference on Data Mining 2008, 2008

Visiting a Polygon on the Optimal Way to a Query Point.

Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008

Modeling and Analysis of Reo Connectors Using Alloy.

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Modeling variability in the component and connector view of architecture using UML.

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007

Query-point visibility constrained shortest paths in simple polygons.

Theor. Comput. Sci., 2007

2005

The fastest way to view a query point in simple polygons.

Proceedings of the (Informal) Proceedings of the 21st European Workshop on Computational Geometry, 2005

2004

Shortest paths in simple polygons with polygon-meet constraints.

Inf. Process. Lett., 2004