| On the power of attribute-based communication Y Abd Alrahman, R De Nicola, M Loreti Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016 | 65 | 2016 |
| A calculus for attribute-based communication YA Alrahman, R De Nicola, M Loreti, F Tiezzi, R Vigo Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1840-1845, 2015 | 54 | 2015 |
| Programming interactions in collective adaptive systems by relying on attribute-based communication Y Abd Alrahman, R De Nicola, M Loreti Science of Computer Programming 192, 102428, 2020 | 51 | 2020 |
| A calculus for collective-adaptive systems and its behavioural theory Y Abd Alrahman, R De Nicola, M Loreti Information and Computation 268, 104457, 2019 | 39* | 2019 |
| Efficient Routing Leach (Er-Leach) Enhanced On Leach Protocol In Wireless Sensor Networks. H Al-Refai, A Al-Awneh, K Batiha, AA Ali, YME Rahman International Journal of Academic Research 3 (3), 2011 | 36 | 2011 |
| Programming of CAS systems by relying on attribute-based communication Y Abd Alrahman, R De Nicola, M Loreti Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 27 | 2016 |
| Modelling and verification of reconfigurable multi-agent systems Y Abd Alrahman, N Piterman Autonomous Agents and Multi-Agent Systems 35 (2), 47, 2021 | 18 | 2021 |
| Reconfigurable interaction for MAS modelling YA Alrahman, G Perelli, N Piterman arXiv preprint arXiv:1906.10793, 2019 | 17* | 2019 |
| A distributed coordination infrastructure for attribute-based interaction YA Alrahman, R De Nicola, G Garbi, M Loreti International Conference on Formal Techniques for Distributed Objects …, 2018 | 16 | 2018 |
| : Attribute-Based Interaction in Google Go Y Abd Alrahman, R De Nicola, G Garbi Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 16 | 2018 |
| Can we efficiently check concurrent programs under relaxed memory models in Maude? Y Abd Alrahman, M Andric, A Beggiato, AL Lafuente Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014 | 11 | 2014 |
| Model checking reconfigurable interacting systems Y Abd Alrahman, S Azzopardi, N Piterman International Symposium on Leveraging Applications of Formal Methods, 373-389, 2022 | 6 | 2022 |
| A distributed API for coordinating AbC programs Y Abd Alrahman, G Garbi International Journal on Software Tools for Technology Transfer 22 (4), 477-496, 2020 | 6 | 2020 |
| R-CHECK: A Model Checker for Verifying Reconfigurable MAS. Y Abd Alrahman, S Azzopardi, N Piterman AAMAS, 1518-1520, 2022 | 4 | 2022 |
| A coordination protocol language for power grid operation control Y Abd Alrahman, HT Vieira Journal of Logical and Algebraic Methods in Programming 109, 100487, 2019 | 4 | 2019 |
| A PO characterisation of reconfiguration Y Abd Alrahman, M Martel, N Piterman International Colloquium on Theoretical Aspects of Computing, 42-59, 2022 | 2 | 2022 |
| Synthesis of run-to-completion controllers for discrete event systems Y Abd Alrahman, V Braberman, N D’Ippolito, N Piterman, S Uchitel 2021 American Control Conference (ACC), 2021, 2021 | 2 | 2021 |
| Language support for verifying reconfigurable interacting systems YA Alrahman, S Azzopardi, L Di Stefano, N Piterman International Journal on Software Tools for Technology Transfer 25 (5), 765-784, 2023 | 1 | 2023 |
| R-check: A model checker for verifying reconfigurable mas YA Alrahman, S Azzopardi, N Piterman arXiv preprint arXiv:2201.06312, 2022 | 1 | 2022 |
| Testing for coordination fidelity YA Alrahman, CA Mezzina, HT Vieira Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019 | 1 | 2019 |
Rocco De NicolaProfessor of Computer Science, IMT Lucca在 imtlucca.it 的电子邮件经过验证
