Perla Tannoury

According to our database, Perla Tannoury authored at least 7 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Development of cyber-physical systems by combining SysML models, Reo coordination connectors, and formal approaches. (Développement des systèmes cyber-physiques en combinant des modèles SysML, des connecteurs de coordination Reo, et des approches formelles).

Perla Tannoury

PhD thesis, 2024

Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints.

Perla Tannoury, Ahmed Hammad

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2024

Methodological Approach to Model and Validate CPS.

Perla Tannoury, Ahmed Hammad

Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, 2024

Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components.

Perla Tannoury, Ahmed Hammad

Proceedings of the 19th International Conference on Software Technologies, 2024

2023

Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components.

Perla Tannoury, Samir Chouali, Ahmed Hammad

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

2022

Model Driven Approach to Design an Automotive CPS with SysReo Language.

Perla Tannoury, Samir Chouali, Ahmed Hammad

Proceedings of the 20th ACM International Symposium on Mobility Management and Wireless Access on 20th ACM International Symposium on Mobility Management and Wireless Access, 2022

Fault- Tolerance Mechanism for Self-Reconfiguration of Modular Robots.

Jad Bassil, Perla Tannoury, Benoît Piranda, Abdallah Makhoul, Julien Bourgeois

Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022