Yehia Abd Alrahman
My main research interests revolve around Concurrency theory, Verification and Formal Methods. I focus is on developing mathematical formalisms to describe systems that interact flexibly through various modes of communication, and to reason about their interactions.
Showing 11 publications
Attributed Point-to-Point Communication in R-CHECK
Language Support for Verifying Reconfigurable Interacting Systems
Model Checking Reconfigurable Interacting Systems
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
A PO Characterisation ofReconfiguration
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
Modelling and verification of reconfigurable multi-agent systems
A distributed API for coordinating AbC programs
Testing for coordination fidelity
A coordination protocol language for power grid operation control
A calculus for collective-adaptive systems and its behavioural theory
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.