default search action

combined dblp search
author search
venue search
publication search

ask others

Yehia Abd Alrahman

> Home > Persons

Person information

affiliation: University of Gothenburg, Sweden

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AlrahmanASP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AlrahmanASP24
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman:
Attributed Point-to-Point Communication in R-CHECK. ISoLA (2) 2024: 333-350
2023
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/AlrahmanASP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AlrahmanASP23
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman:
Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. 25(5): 765-784 (2023)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-01257
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-01257
Yehia Abd Alrahman, Nir Piterman:
Correct-by-Design Teamwork Plans for Multi-Agent Systems. CoRR abs/2301.01257 (2023)
2022
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AlrahmanAP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlrahmanAP22
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman:
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. AAMAS 2022: 1518-1520
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/AlrahmanMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/AlrahmanMP22
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman:
A PO Characterisation of Reconfiguration. ICTAC 2022: 42-59
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AlrahmanAP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AlrahmanAP22
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman:
Model Checking Reconfigurable Interacting Systems. ISoLA (3) 2022: 373-389
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-06312
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-06312
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman:
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. CoRR abs/2201.06312 (2022)
2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/AlrahmanP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/AlrahmanP21
Yehia Abd Alrahman, Nir Piterman:
Modelling and verification of reconfigurable multi-agent systems. Auton. Agents Multi Agent Syst. 35(2): 47 (2021)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/AlrahmanBDPU21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/AlrahmanBDPU21
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel:
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC 2021: 4892-4899
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-10998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-10998
Yehia Abd Alrahman, Nir Piterman:
Modelling and Verification of Reconfigurable Multi-Agent Systems. CoRR abs/2104.10998 (2021)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-14668
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-14668
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman:
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue. CoRR abs/2107.14668 (2021)
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AlrahmanNL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlrahmanNL20
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192: 102428 (2020)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/AlrahmanG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AlrahmanG20
Yehia Abd Alrahman, Giulio Garbi:
A distributed API for coordinating AbC programs. Int. J. Softw. Tools Technol. Transf. 22(4): 477-496 (2020)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AlrahmanPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlrahmanPP20
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman:
Reconfigurable Interaction for MAS Modelling. AAMAS 2020: 7-15
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-05554
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-05554
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel:
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. CoRR abs/2009.05554 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/AlrahmanNL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlrahmanNL19
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlrahmanV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlrahmanV19
Yehia Abd Alrahman, Hugo Torres Vieira:
A coordination protocol language for power grid operation control. J. Log. Algebraic Methods Program. 109 (2019)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AlrahmanMV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AlrahmanMV19
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira:
Testing for Coordination Fidelity. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 152-169
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-10793
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-10793
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman:
A Computational Framework for Adaptive Systems and its Verification. CoRR abs/1906.10793 (2019)
2018
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AlrahmanNGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AlrahmanNGL18
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE 2018: 1-20
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AlrahmanNG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AlrahmanNG18
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi:
GoAt: Attribute-Based Interaction in Google Go. ISoLA (3) 2018: 288-303
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-01942
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-01942
Yehia Abd Alrahman, Hugo Torres Vieira:
Operation Control Protocols in Power Distribution Grids. CoRR abs/1811.01942 (2018)
2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-06092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-06092
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR abs/1711.06092 (2017)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-09762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-09762
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR abs/1711.09762 (2017)
2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AlrahmanNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AlrahmanNL16
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AlrahmanNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AlrahmanNL16
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlrahmanNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlrahmanNL16
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-based Communication. CoRR abs/1602.05635 (2016)
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AlrahmanNLTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AlrahmanNLTV15
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845
2014
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wrla/AlrahmanABL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/AlrahmanABL14
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente:
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? WRLA 2014: 21-41

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.