To the top

Page Manager: Webmaster
Last update: 4/19/2017 1:56 PM

Tell a friend about this page
Print version

Yehia Abd Alrahman - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Yehia Abd Alrahman

Postdoctor

Yehia Abd Alrahman
Postdoctor
yehia.abd.alrahman@gu.se

Visiting Address: Rännvägen 6 , 41258 Göteborg


Formal Methods at Department of Computer Science and Engineering (More Information)
412 96 Göteborg
Visiting Address: Rännvägen 6 , 412 58 Göteborg

Latest publications

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Journal article 2019
Journal article

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), Chapter in book 2019
Chapter in book

GoAt : Attribute-Based Interaction in Google Go
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods, Springer, Conference paper 2018
Conference paper

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), Springer, Conference paper 2018
Conference paper

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), Conference paper 2016
Conference paper

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), Conference paper 2016
Conference paper

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, Conference paper 2015
Conference paper

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), Journal article 2014
Journal article

Showing 1 - 8 of 8

2019

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Journal article 2019
Journal article

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), Chapter in book 2019
Chapter in book

2018

GoAt : Attribute-Based Interaction in Google Go
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods, Springer, Conference paper 2018
Conference paper

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), Springer, Conference paper 2018
Conference paper

2016

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), Conference paper 2016
Conference paper

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), Conference paper 2016
Conference paper

2015

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, Conference paper 2015
Conference paper

2014

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), Journal article 2014
Journal article

Showing 1 - 8 of 8

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?

Denna text är utskriven från följande webbsida:
http://www.gu.se/english/about_the_university/staff/?languageId=100001&userId=xabdye
Utskriftsdatum: 2019-10-14