Yehia Abd Alrahman

Associate Professor at Formal methods

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.

Source: chalmers.se

Contact Details

Publications (5)
Projects (0)

Showing 5 publications

2024

Attributed Point-to-Point Communication in R-CHECK

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 15220

Paper in proceeding

2020

A distributed API for coordinating AbC programs

Yehia Abd Alrahman, Giulio Garbi

International Journal on Software Tools for Technology Transfer. Vol. 22 (4), p. 477-496

Journal article

2019

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). Vol. 11665 LNCS, p. 152-169

Book chapter

2019

A coordination protocol language for power grid operation control

Yehia Abd Alrahman, Hugo Torres Vieira

Journal of Logical and Algebraic Methods in Programming. Vol. 109

Journal article

2019

A calculus for collective-adaptive systems and its behavioural theory

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti

Information and Computation. Vol. 268

Journal article

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.

There are no projects.

There might be more projects where Yehia Abd Alrahman participates, but you have to be logged in as a Chalmers employee to see them.