Follow
Yehia Abd Alrahman
Yehia Abd Alrahman
Associate Professor in Computing
Verified email at gu.se - Homepage
Title
Cited by
Cited by
Year
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
642016
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
532015
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
462020
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
352011
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
272016
Modelling and verification of reconfigurable multi-agent systems
Y Abd Alrahman, N Piterman
Autonomous Agents and Multi-Agent Systems 35 (2), 47, 2021
192021
Reconfigurable interaction for MAS modelling
YA Alrahman, G Perelli, N Piterman
arXiv preprint arXiv:1906.10793, 2019
17*2019
: Attribute-Based Interaction in Google Go
Y Abd Alrahman, R De Nicola, G Garbi
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
162018
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
142018
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
112014
Model checking reconfigurable interacting systems
Y Abd Alrahman, S Azzopardi, N Piterman
International Symposium on Leveraging Applications of Formal Methods, 373-389, 2022
72022
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
62020
R-CHECK: A Model Checker for Verifying Reconfigurable MAS.
Y Abd Alrahman, S Azzopardi, N Piterman
AAMAS, 1518-1520, 2022
52022
A PO characterisation of reconfiguration
Y Abd Alrahman, M Martel, N Piterman
International Colloquium on Theoretical Aspects of Computing, 42-59, 2022
32022
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
32019
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
22021
Language support for verifying reconfigurable interacting systems
Y Abd Alrahman, S Azzopardi, L Di Stefano, N Piterman
12023
R-check: A model checker for verifying reconfigurable mas
YA Alrahman, S Azzopardi, N Piterman
arXiv preprint arXiv:2201.06312, 2022
12022
Testing for coordination fidelity
YA Alrahman, CA Mezzina, HT Vieira
Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20