Yehia Abd Alrahman
-
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-01-01 -
A distributed API for coordinating AbC
programs
Yehia Abd Alrahman, Giulio Garbi
International Journal on Software Tools for Technology Transfer - 2020-01-01 -
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-01-01 -
A calculus for collective-adaptive systems and its behavioural
theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation - 2019-01-01 -
A coordination protocol language for power grid operation
control
Yehia Abd Alrahman, H. T. Vieira
Journal of Logical and Algebraic Methods in Programming - 2019-01-01 -
GoAt : Attribute-Based Interaction in Google
Go
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods - 2018-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01