Yehia Abd Alrahman

According to our database1, Yehia Abd Alrahman authored at least 17 papers between 2014 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Modelling and Verification of Reconfigurable Multi-Agent Systems.
CoRR, 2021

2020
A distributed API for coordinating AbC programs.
Int. J. Softw. Tools Technol. Transf., 2020

Programming interactions in collective adaptive systems by relying on attribute-based communication.
Sci. Comput. Program., 2020

Synthesis of Run-To-Completion Controllers for Discrete Event Systems.
CoRR, 2020

Reconfigurable Interaction for MAS Modelling.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
A coordination protocol language for power grid operation control.
J. Log. Algebraic Methods Program., 2019

A calculus for collective-adaptive systems and its behavioural theory.
Inf. Comput., 2019

A Computational Framework for Adaptive Systems and its Verification.
CoRR, 2019

Testing for Coordination Fidelity.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
Operation Control Protocols in Power Distribution Grids.
CoRR, 2018

<i>G</i>o<i>A</i>t: Attribute-Based Interaction in Google Go.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

A Distributed Coordination Infrastructure for Attribute-Based Interaction.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017
A Behavioural Theory for Interactions in Collective-Adaptive Systems.
CoRR, 2017

2016
Programming of CAS Systems by Relying on Attribute-Based Communication.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

On the Power of Attribute-Based Communication.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015
A calculus for attribute-based communication.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014


  Loading...