- Home
- About
- Find staff
- Yehia Abd Alrahman
Yehia Abd Alrahman
Senior Lecturer
Formal Methods (FM)About Yehia Abd Alrahman
My Webpage: lazkany.bitbucket.io
-
Language Support for Verifying Reconfigurable Interacting
Systems
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
International Journal on Software Tools for Technology Transfer (STTT) - 2023 -
R-CHECK: A Model Checker for Verifying Reconfigurable
MAS
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
AAMAS 2022 - 2022 -
Model Checking Reconfigurable Interacting
Systems
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Lecture Notes in Computer Science book series (LNCS,volume 13703) - 2022 -
A PO Characterisation
of Reconfiguration
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2022 -
Synthesis of Run-To-Completion Controllers for Discrete Event
Systems
Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
2021 American Control Conference - 2021 -
Modelling and verification of reconfigurable multi-agent
systems
Yehia Abd Alrahman, Nir Piterman
Autonomous Agents and Multi-Agent Systems - 2021 -
A distributed API for coordinating AbC
programs
Yehia Abd Alrahman, Giulio Garbi
International Journal on Software Tools for Technology Transfer - 2020 -
Programming interactions in collective adaptive systems by relying on attribute-based
communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Science of Computer Programming - 2020 -
Reconfigurable Interaction for MAS
Modelling
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems - 2020 -
Testing for coordination
fidelity
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019 -
A calculus for collective-adaptive systems and its behavioural
theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation - 2019 -
A coordination protocol language for power grid operation
control
Yehia Abd Alrahman, H. T. Vieira
Journal of Logical and Algebraic Methods in Programming - 2019 -
GoAt : Attribute-Based Interaction in Google
Go
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods - 2018 -
A distributed coordination infrastructure for attribute-based
interaction
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2018 -
Programming of CAS systems by relying on attribute-based
communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2016 -
On the power of attribute-based
communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2016 -
A calculus for attribute-based
communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
Proceedings of the ACM Symposium on Applied Computing - 2015 -
Can we efficiently check concurrent programs under relaxed memory models in
Maude?
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch Lafuente
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014