Majid Babaei

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 8

Top Topics

Execution Traces

Regression Testing

Reactive Systems

Top Venues

MoDELS (Companion)

Publications

Majid Babaei, Maroua Ben Attia
ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts. SERP4IoT (2023)
Majid Babaei, Juergen Dingel
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development. Softw. Syst. Model. 22 (5) (2023)
Boqi Chen, Kua Chen, Yujing Yang, Afshin Amini, Bharat Saxena, Cecilia Chávez-García, Majid Babaei, Amir Feizpour, Dániel Varró
Towards Improving the Explainability of Text-based Information Retrieval with Knowledge Graphs. CoRR (2023)
Majid Babaei, Juergen Dingel
MRegTest: A Replay-Based Regression Testing Tool for Distributed UML-RT Models. MoDELS (Companion) (2021)
Majid Babaei, Juergen Dingel
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development. MoDELS (2021)
Majid Babaei, Mojtaba Bagherzadeh, Juergen Dingel
Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development. MoDELS (2020)
Majid Babaei, Mojtaba Bagherzadeh, Jürgen Dingel
MReplayer: a trace replayer of distributed UML-RT models. MoDELS (Companion) (2020)
Majid Babaei, Karim Jahed, Juergen Dingel
Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT. MoDELS (Companion) (2019)
Majid Babaei
A novel text and image encryption method based on chaos theory and DNA computing. Nat. Comput. 12 (1) (2013)
Majid Babaei, Mohsen Farhadi
Introduction to Secure PRNGs. Int. J. Commun. Netw. Syst. Sci. 4 (10) (2011)