Подписаться
Yehia Abd Alrahman
Yehia Abd Alrahman
Associate Professor in Computing, University of Gothenburg
Подтвержден адрес электронной почты в домене gu.se - Главная страница
Название
Процитировано
Процитировано
Год
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
652016
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
572020
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
572015
A calculus for collective-adaptive systems and its behavioural theory
Y Abd Alrahman, R De Nicola, M Loreti
Information and Computation 268, 104457, 2019
43*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
372011
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
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
162018
: Attribute-Based Interaction in Google Go
Y Abd Alrahman, R De Nicola, G Garbi
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
162018
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
62022
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
42022
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
42019
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
32021
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
22023
A PO characterisation of reconfiguration
Y Abd Alrahman, M Martel, N Piterman
International Colloquium on Theoretical Aspects of Computing, 42-59, 2022
22022
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20