Perla Tannoury

@inproceedings{eee1f14d-2959-42bb-b43a-0aee42c28b6c, title = {Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints}, author = {Tannoury, Perla and Hammad, Ahmed}, year = {2024}, address = {Djerba, Tunisia}, booktitle = {17th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2024)}, editor = {}, month = {oct}, pages = {205 - 209}, url = {https://publiweb.femto-st.fr/tntnet/entries/21408/documents/author/data}, volume = {15466}, doi = {https://doi.org/10.1007/978-3-031-85356-2_14}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{578d49b0-2f89-4d5c-88ce-c9ab464859ba, title = { Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components}, author = {Tannoury, Perla and Hammad, Ahmed}, year = {2024}, address = {Dijon, France}, booktitle = {19th International Conference on Software Technologies (ICSOFT 2024)}, editor = {578d49b0-2f89-4d5c-88ce-c9ab464859ba-editor.pdf}, month = {jul}, pages = {477 - 484}, url = {https://publiweb.femto-st.fr/tntnet/entries/20617/documents/author/data}, volume = {1}, doi = {10.5220/0012854100003753} }

@inproceedings{e3a66998-dc80-45aa-8210-b8639785cae8, title = { Methodological Approach to Model and Validate CPS}, author = {Tannoury, Perla and Hammad, Ahmed}, year = {2024}, address = {Dijon, France}, booktitle = {14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2024)}, editor = {e3a66998-dc80-45aa-8210-b8639785cae8-editor.pdf}, month = {jul}, pages = {281 - 288}, url = {https://publiweb.femto-st.fr/tntnet/entries/20618/documents/author/data}, volume = {1}, doi = {https://coi.org/10.5220/0012758800003758} }

@inproceedings{25c61cc7-9978-42dc-8891-cf798977445e, title = {Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components}, author = {Tannoury, Perla and Chouali, Samir and Hammad, Ahmed}, year = {2023}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {19th International Conference on Formal Aspects of Component Software (FACS 2023)}, editor = {}, month = {oct}, pages = {84 - 102}, url = {https://publiweb.femto-st.fr/tntnet/entries/20298/documents/author/data}, volume = {14485}, doi = {10.1007/978-3-031-52183-6_5}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{987bf92c-b7c7-4b75-a996-67ac90962c85, title = {Model Driven Approach to Design an Automotive CPS with SysReo Language}, author = {Tannoury, Perla and Chouali, Samir and Hammad, Ahmed}, year = {2022}, address = {Montr\'eal, Canada}, booktitle = {20th ACM International Symposium on Mobility Management and Wireless Access (MobiWAC 2022)}, editor = {987bf92c-b7c7-4b75-a996-67ac90962c85-editor.pdf}, month = {oct}, pages = {97 - 104}, doi = {10.1145/3551660.3560916}, journal = {Communications of the ACM} }

@inproceedings{e24f74aa-9c4c-47ca-b46a-916ecd65703d, title = {An Incremental Model-Based Design Methodology to Develop CPS with SysML/OCL/Reo}, author = {Tannoury, Perla}, year = {2022}, address = {Vannes, France}, booktitle = {Journ\'ees du GDR GPL (2022)}, editor = {e24f74aa-9c4c-47ca-b46a-916ecd65703d-editor.pdf}, month = {jun} }

@inproceedings{f430547d-35f6-4952-9244-813c3b45069f, title = { Fault-Tolerance Mechanism for Self-Reconfiguration of Modular Robots}, author = {Bassil, Jad and Tannoury, Perla and Piranda, Benoit and Makhoul, Abdallah and Bourgeois, Julien}, year = {2022}, address = {Dubrovnik, Croatia}, booktitle = {18th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC 2022)}, month = {may}, url = {https://publiweb.femto-st.fr/tntnet/entries/19029/documents/author/data} }