Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Yehia Abd Alrahman

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Yehia Abd Alrahman

download as .bib file

@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}
}

@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}
}

@inproceedings{DBLP:conf/atal/AlrahmanAP22,
  author       = {Yehia Abd Alrahman and
                  Shaun Azzopardi and
                  Nir Piterman},
  title        = {{R-CHECK:} {A} Model Checker for Verifying Reconfigurable {MAS}},
  booktitle    = {{AAMAS}},
  pages        = {1518--1520},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  {(IFAAMAS)}},
  year         = {2022}
}

@inproceedings{DBLP:conf/ictac/AlrahmanMP22,
  author       = {Yehia Abd Alrahman and
                  Mauricio Martel and
                  Nir Piterman},
  title        = {A {PO} Characterisation of Reconfiguration},
  booktitle    = {{ICTAC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13572},
  pages        = {42--59},
  publisher    = {Springer},
  year         = {2022}
}

@inproceedings{DBLP:conf/isola/AlrahmanAP22,
  author       = {Yehia Abd Alrahman and
                  Shaun Azzopardi and
                  Nir Piterman},
  title        = {Model Checking Reconfigurable Interacting Systems},
  booktitle    = {ISoLA {(3)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13703},
  pages        = {373--389},
  publisher    = {Springer},
  year         = {2022}
}

@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}
}

@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}
}

@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    = {{ACC}},
  pages        = {4892--4899},
  publisher    = {{IEEE}},
  year         = {2021}
}

@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}
}

@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}
}

@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}
}

@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}
}

@inproceedings{DBLP:conf/atal/AlrahmanPP20,
  author       = {Yehia Abd Alrahman and
                  Giuseppe Perelli and
                  Nir Piterman},
  title        = {Reconfigurable Interaction for {MAS} Modelling},
  booktitle    = {{AAMAS}},
  pages        = {7--15},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems},
  year         = {2020}
}

@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}
}

@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}
}

@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}
}

@inproceedings{DBLP:conf/birthday/AlrahmanMV19,
  author       = {Yehia Abd Alrahman and
                  Claudio Antares Mezzina and
                  Hugo Torres Vieira},
  title        = {Testing for Coordination Fidelity},
  booktitle    = {Models, Languages, and Tools for Concurrent and Distributed Programming},
  series       = {Lecture Notes in Computer Science},
  volume       = {11665},
  pages        = {152--169},
  publisher    = {Springer},
  year         = {2019}
}

@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}
}

@inproceedings{DBLP:conf/forte/AlrahmanNGL18,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Giulio Garbi and
                  Michele Loreti},
  title        = {A Distributed Coordination Infrastructure for Attribute-Based Interaction},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10854},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/isola/AlrahmanNG18,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Giulio Garbi},
  title        = {\emph{G}o\emph{A}t: Attribute-Based Interaction in Google Go},
  booktitle    = {ISoLA {(3)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11246},
  pages        = {288--303},
  publisher    = {Springer},
  year         = {2018}
}

@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}
}

@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}
}

@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}
}

@inproceedings{DBLP:conf/forte/AlrahmanNL16,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {On the Power of Attribute-Based Communication},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9688},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2016}
}

@inproceedings{DBLP:conf/isola/AlrahmanNL16,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Programming of {CAS} Systems by Relying on Attribute-Based Communication},
  booktitle    = {ISoLA {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {539--553},
  year         = {2016}
}

@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}
}

@inproceedings{DBLP:conf/sac/AlrahmanNLTV15,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti and
                  Francesco Tiezzi and
                  Roberto Vigo},
  title        = {A calculus for attribute-based communication},
  booktitle    = {{SAC}},
  pages        = {1840--1845},
  publisher    = {{ACM}},
  year         = {2015}
}

@inproceedings{DBLP:conf/wrla/AlrahmanABL14,
  author       = {Yehia Abd Alrahman and
                  Marina Andric and
                  Alessandro Beggiato and
                  Alberto Lluch{-}Lafuente},
  title        = {Can We Efficiently Check Concurrent Programs Under Relaxed Memory
                  Models in Maude?},
  booktitle    = {{WRLA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {21--41},
  publisher    = {Springer},
  year         = {2014}
}

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.