E-LIB Suche - Ergebnisse für: Khosravi, Ramtin

1

Correction to: Actors Upgraded for Variability, Adaptabilit..:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Khosravi, Ramtin ; Khamespanah, Ehsan ; Ghassemi, Fatemeh. - p. C1-C1 , 2024

2

Knowledge-Related Policy Analysis in an Inference-Enabled A..:

Riahi, Shahrzad ; Khosravi, Ramtin ; Ghassemi, Fatemeh
JUCS - Journal of Universal Computer Science. 30 (2024) 4 - p. 462-501 , 2024

Link: https://doi.org/10.3897/..

3

Decentralized deadlock-free enforcement of message ordering..:

Samadi, Mahboubeh ; Ghassemi, Fatemeh ; Khosravi, Ramtin
Journal of Computer and System Sciences. 144 (2024) - p. 103544 , 2024

Link: https://doi.org/10.1016/..

4

Actors Upgraded for Variability, Adaptability, and Determin..:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Khosravi, Ramtin ; Khamespanah, Ehsan ; Ghassemi, Fatemeh. - p. 226-260 , 2024

Link: https://doi.org/10.1007/..

5

Afra: An Eclipse-Based Tool with Extensible Architecture fo..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Khamespanah, Ehsan ; Sirjani, Marjan ; Khosravi, Ramtin - p. 72-87 , 2023

Link: https://doi.org/10.1007/..

6

Automated testing of an industrial stock market trading pla..:

Zakeriyan, Arvin ; Khosravi, Ramtin ; Safari, Hadi..
Science of Computer Programming. 225 (2023) - p. 102908 , 2023

Link: https://doi.org/10.1016/..

7

A benchmark for active learning of variability-intensive sy..:

, In: Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A,

Tavassoli, Shaghayegh ; Damasceno, Carlos Diego N. ; Mousavi, Mohammad Reza. - p. 245-249 , 2022

Link: https://dl.acm.org/doi/1..

8

Decentralized runtime verification of message sequences in ..:

Samadi, Mahboubeh ; Ghassemi, Fatemeh ; Khosravi, Ramtin
Acta Informatica. 60 (2022) 2 - p. 145-178 , 2022

Link: https://doi.org/10.1007/..

9

Adaptive behavioral model learning for software product lin..:

, In: Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A,

Tavassoli, Shaghayegh ; Damasceno, Carlos Diego N. ; Khosravi, Ramtin. - p. 142-153 , 2022

Link: https://dl.acm.org/doi/1..

10

Towards Automatic Test Case Generation for Industrial Softw..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Zakeriyan, Arvin ; Khosravi, Ramtin ; Safari, Hadi. - p. 199-214 , 2021

Link: https://doi.org/10.1007/..

11

Finite Interval-Time Transition System for Real-Time Actors:

, In: Topics in Theoretical Computer Science; Lecture Notes in Computer Science,

Tavassoli, Shaghayegh ; Khosravi, Ramtin ; Khamespanah, Ehsan - p. 85-100 , 2020

Link: https://doi.org/10.1007/..

12

Towards Formal Analysis of Vehicle Platoons Using Actor Mod..:

, In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),

Sharifi, Zeinab ; Khosravi, Ramtin ; Sirjani, Marjan. - p. 1820-1827 , 2020

Link: https://doi.org/10.1109/..

13

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

Jannati, Hoda ; Khosravi, Ramtin
Information Processing Letters. 146 (2019) - p. 35-38 , 2019

Link: https://doi.org/10.1016/..

14

Verification of visibility-based properties on multiple mov..:

Sheshkalani, Ali Narenji ; Khosravi, Ramtin
International Journal of Advanced Robotic Systems. 15 (2018) 4 - p. 172988141878665 , 2018

Link: https://doi.org/10.1177/..

15

Verification of asynchronous systems with an unspecified co..:

Abbasi, Rosa ; Ghassemi, Fatemeh ; Khosravi, Ramtin
Acta Informatica. 56 (2018) 2 - p. 161-203 , 2018

Link: https://doi.org/10.1007/..