Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yehia Abd Alrahman
@article{DBLP:journals/sttt/AlrahmanASP23,
author = {Yehia Abd Alrahman and
Shaun Azzopardi and
Luca Di Stefano and
Nir Piterman},
title = {Language support for verifying reconfigurable interacting systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {5},
pages = {765--784},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00729-8},
doi = {10.1007/S10009-023-00729-8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AlrahmanASP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-01257,
author = {Yehia Abd Alrahman and
Nir Piterman},
title = {Correct-by-Design Teamwork Plans for Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2301.01257},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.01257},
doi = {10.48550/ARXIV.2301.01257},
eprinttype = {arXiv},
eprint = {2301.01257},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-01257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AlrahmanAP22,
author = {Yehia Abd Alrahman and
Shaun Azzopardi and
Nir Piterman},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {{R-CHECK:} {A} Model Checker for Verifying Reconfigurable {MAS}},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1518--1520},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1518.pdf},
doi = {10.5555/3535850.3536020},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AlrahmanAP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AlrahmanMP22,
author = {Yehia Abd Alrahman and
Mauricio Martel and
Nir Piterman},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {A {PO} Characterisation of Reconfiguration},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {42--59},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_5},
doi = {10.1007/978-3-031-17715-6\_5},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AlrahmanMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanAP22,
author = {Yehia Abd Alrahman and
Shaun Azzopardi and
Nir Piterman},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model Checking Reconfigurable Interacting Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {373--389},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_23},
doi = {10.1007/978-3-031-19759-8\_23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlrahmanAP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-06312,
author = {Yehia Abd Alrahman and
Shaun Azzopardi and
Nir Piterman},
title = {{R-CHECK:} {A} Model Checker for Verifying Reconfigurable {MAS}},
journal = {CoRR},
volume = {abs/2201.06312},
year = {2022},
url = {https://arxiv.org/abs/2201.06312},
eprinttype = {arXiv},
eprint = {2201.06312},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-06312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/AlrahmanP21,
author = {Yehia Abd Alrahman and
Nir Piterman},
title = {Modelling and verification of reconfigurable multi-agent systems},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {2},
pages = {47},
year = {2021},
url = {https://doi.org/10.1007/s10458-021-09521-x},
doi = {10.1007/S10458-021-09521-X},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/AlrahmanP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AlrahmanBDPU21,
author = {Yehia Abd Alrahman and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Synthesis of Run-To-Completion Controllers for Discrete Event Systems},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {4892--4899},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9482704},
doi = {10.23919/ACC50511.2021.9482704},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AlrahmanBDPU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-10998,
author = {Yehia Abd Alrahman and
Nir Piterman},
title = {Modelling and Verification of Reconfigurable Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2104.10998},
year = {2021},
url = {https://arxiv.org/abs/2104.10998},
eprinttype = {arXiv},
eprint = {2104.10998},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-10998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-14668,
author = {Yehia Abd Alrahman and
Mauricio Martel and
Nir Piterman},
title = {Interleaving {\&} Reconfigurable Interaction: Separating Choice
from Scheduling using Glue},
journal = {CoRR},
volume = {abs/2107.14668},
year = {2021},
url = {https://arxiv.org/abs/2107.14668},
eprinttype = {arXiv},
eprint = {2107.14668},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-14668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlrahmanNL20,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {Programming interactions in collective adaptive systems by relying
on attribute-based communication},
journal = {Sci. Comput. Program.},
volume = {192},
pages = {102428},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102428},
doi = {10.1016/J.SCICO.2020.102428},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AlrahmanNL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlrahmanG20,
author = {Yehia Abd Alrahman and
Giulio Garbi},
title = {A distributed {API} for coordinating AbC programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {477--496},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00553-4},
doi = {10.1007/S10009-020-00553-4},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AlrahmanG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AlrahmanPP20,
author = {Yehia Abd Alrahman and
Giuseppe Perelli and
Nir Piterman},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Reconfigurable Interaction for {MAS} Modelling},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {7--15},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3398768},
doi = {10.5555/3398761.3398768},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AlrahmanPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-05554,
author = {Yehia Abd Alrahman and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Synthesis of Run-To-Completion Controllers for Discrete Event Systems},
journal = {CoRR},
volume = {abs/2009.05554},
year = {2020},
url = {https://arxiv.org/abs/2009.05554},
eprinttype = {arXiv},
eprint = {2009.05554},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-05554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlrahmanNL19,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {A calculus for collective-adaptive systems and its behavioural theory},
journal = {Inf. Comput.},
volume = {268},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.104457},
doi = {10.1016/J.IC.2019.104457},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AlrahmanNL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AlrahmanV19,
author = {Yehia Abd Alrahman and
Hugo Torres Vieira},
title = {A coordination protocol language for power grid operation control},
journal = {J. Log. Algebraic Methods Program.},
volume = {109},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.100487},
doi = {10.1016/J.JLAMP.2019.100487},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/AlrahmanV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlrahmanMV19,
author = {Yehia Abd Alrahman and
Claudio Antares Mezzina and
Hugo Torres Vieira},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Testing for Coordination Fidelity},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {152--169},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_10},
doi = {10.1007/978-3-030-21485-2\_10},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlrahmanMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10793,
author = {Yehia Abd Alrahman and
Giuseppe Perelli and
Nir Piterman},
title = {A Computational Framework for Adaptive Systems and its Verification},
journal = {CoRR},
volume = {abs/1906.10793},
year = {2019},
url = {http://arxiv.org/abs/1906.10793},
eprinttype = {arXiv},
eprint = {1906.10793},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlrahmanNGL18,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Giulio Garbi and
Michele Loreti},
editor = {Christel Baier and
Lu{\'{\i}}s Caires},
title = {A Distributed Coordination Infrastructure for Attribute-Based Interaction},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
as Part of the 13th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10854},
pages = {1--20},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92612-4\_1},
doi = {10.1007/978-3-319-92612-4\_1},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AlrahmanNGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanNG18,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Giulio Garbi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {\emph{G}o\emph{A}t: Attribute-Based Interaction in Google Go},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {288--303},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_19},
doi = {10.1007/978-3-030-03424-5\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlrahmanNG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01942,
author = {Yehia Abd Alrahman and
Hugo Torres Vieira},
title = {Operation Control Protocols in Power Distribution Grids},
journal = {CoRR},
volume = {abs/1811.01942},
year = {2018},
url = {http://arxiv.org/abs/1811.01942},
eprinttype = {arXiv},
eprint = {1811.01942},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-01942.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06092,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {Programming the Interactions of Collective Adaptive Systems by Relying
on Attribute-based Communication},
journal = {CoRR},
volume = {abs/1711.06092},
year = {2017},
url = {http://arxiv.org/abs/1711.06092},
eprinttype = {arXiv},
eprint = {1711.06092},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09762,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {A Behavioural Theory for Interactions in Collective-Adaptive Systems},
journal = {CoRR},
volume = {abs/1711.09762},
year = {2017},
url = {http://arxiv.org/abs/1711.09762},
eprinttype = {arXiv},
eprint = {1711.09762},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-09762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlrahmanNL16,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
editor = {Elvira Albert and
Ivan Lanese},
title = {On the Power of Attribute-Based Communication},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
as Part of the 11th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9688},
pages = {1--18},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39570-8\_1},
doi = {10.1007/978-3-319-39570-8\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AlrahmanNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanNL16,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Programming of {CAS} Systems by Relying on Attribute-Based Communication},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {539--553},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_38},
doi = {10.1007/978-3-319-47166-2\_38},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlrahmanNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlrahmanNL16,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {On the Power of Attribute-based Communication},
journal = {CoRR},
volume = {abs/1602.05635},
year = {2016},
url = {http://arxiv.org/abs/1602.05635},
eprinttype = {arXiv},
eprint = {1602.05635},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlrahmanNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlrahmanNLTV15,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti and
Francesco Tiezzi and
Roberto Vigo},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {A calculus for attribute-based communication},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1840--1845},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695668},
doi = {10.1145/2695664.2695668},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AlrahmanNLTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/AlrahmanABL14,
author = {Yehia Abd Alrahman and
Marina Andric and
Alessandro Beggiato and
Alberto Lluch{-}Lafuente},
editor = {Santiago Escobar},
title = {Can We Efficiently Check Concurrent Programs Under Relaxed Memory
Models in Maude?},
booktitle = {Rewriting Logic and Its Applications - 10th International Workshop,
{WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8663},
pages = {21--41},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12904-4\_2},
doi = {10.1007/978-3-319-12904-4\_2},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wrla/AlrahmanABL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
