Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mouhammad Sakr
@inproceedings{DBLP:conf/fmcad/JacobsSV22,
author = {Swen Jacobs and
Mouhammad Sakr and
Marcus V{\"{o}}lp},
editor = {Alberto Griggio and
Neha Rungta},
title = {Automatic Repair and Deadlock Detection for Parameterized Systems},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {225--234},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_29},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_29},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/JacobsSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-00251,
author = {Swen Jacobs and
Guillermo A. P{\'{e}}rez and
Remco Abraham and
V{\'{e}}ronique Bruy{\`{e}}re and
Micha{\"{e}}l Cadilhac and
Maximilien Colange and
Charly Delfosse and
Tom van Dijk and
Alexandre Duret{-}Lutz and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Klara J. Meyer and
Thibaud Michaud and
Adrien Pommellet and
Florian Renkin and
Philipp Schlehuber{-}Caissier and
Mouhammad Sakr and
Salomon Sickert and
Ga{\"{e}}tan Staquet and
Cl{\'{e}}ment Tamines and
Leander Tentrup and
Adam Walker},
title = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
journal = {CoRR},
volume = {abs/2206.00251},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.00251},
doi = {10.48550/ARXIV.2206.00251},
eprinttype = {arXiv},
eprint = {2206.00251},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-00251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Sakr21,
author = {Mouhammad Sakr},
title = {Parameterized verification and repair of concurrent systems},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {2021},
url = {https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/31387},
urn = {urn:nbn:de:bsz:291--ds-341594},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Sakr21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JacobsS20,
author = {Swen Jacobs and
Mouhammad Sakr},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {{AIGEN:} Random Generation of Symbolic Transition Systems},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {435--446},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_20},
doi = {10.1007/978-3-030-81688-9\_20},
timestamp = {Fri, 23 Jul 2021 16:41:31 +0200},
biburl = {https://dblp.org/rec/conf/cav/JacobsS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-03322,
author = {Swen Jacobs and
Mouhammad Sakr and
Marcus V{\"{o}}lp},
title = {Parameterized Repair of Concurrent Systems},
journal = {CoRR},
volume = {abs/2111.03322},
year = {2021},
url = {https://arxiv.org/abs/2111.03322},
eprinttype = {arXiv},
eprint = {2111.03322},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-03322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JacobsS20,
author = {Swen Jacobs and
Mouhammad Sakr},
title = {A symbolic algorithm for lazy synthesis of eager strategies},
journal = {Acta Informatica},
volume = {57},
number = {1-2},
pages = {81--106},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00344-8},
doi = {10.1007/S00236-019-00344-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/JacobsS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JacobsSZ20,
author = {Swen Jacobs and
Mouhammad Sakr and
Martin Zimmermann},
editor = {Dirk Beyer and
Damien Zufferey},
title = {Promptness and Bounded Fairness in Concurrent and Parameterized Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International
Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11990},
pages = {337--359},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39322-9\_16},
doi = {10.1007/978-3-030-39322-9\_16},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/JacobsSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07736,
author = {Swen Jacobs and
Roderick Bloem and
Maximilien Colange and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Philipp J. Meyer and
Thibaud Michaud and
Mouhammad Sakr and
Salomon Sickert and
Leander Tentrup and
Adam Walker},
title = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks,
Participants {\&} Results},
journal = {CoRR},
volume = {abs/1904.07736},
year = {2019},
url = {http://arxiv.org/abs/1904.07736},
eprinttype = {arXiv},
eprint = {1904.07736},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-03122,
author = {Swen Jacobs and
Mouhammad Sakr and
Martin Zimmermann},
title = {Promptness and Bounded Fairness in Concurrent and Parameterized Systems},
journal = {CoRR},
volume = {abs/1911.03122},
year = {2019},
url = {http://arxiv.org/abs/1911.03122},
eprinttype = {arXiv},
eprint = {1911.03122},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-03122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AttieDS18,
author = {Paul C. Attie and
Kinan Dak{-}Al{-}Bab and
Mouhammad Sakr},
title = {Model and Program Repair via {SAT} Solving},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {17},
number = {2},
pages = {32:1--32:25},
year = {2018},
url = {https://doi.org/10.1145/3147426},
doi = {10.1145/3147426},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AttieDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JacobsS18,
author = {Swen Jacobs and
Mouhammad Sakr},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {A Symbolic Algorithm for Lazy Synthesis of Eager Strategies},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {211--227},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_13},
doi = {10.1007/978-3-030-01090-4\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/JacobsS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JacobsS18,
author = {Swen Jacobs and
Mouhammad Sakr},
editor = {Isil Dillig and
Jens Palsberg},
title = {Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {247--268},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_12},
doi = {10.1007/978-3-319-73721-8\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JacobsS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JacobsS17,
author = {Swen Jacobs and
Mouhammad Sakr},
title = {Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity},
journal = {CoRR},
volume = {abs/1707.01369},
year = {2017},
url = {http://arxiv.org/abs/1707.01369},
eprinttype = {arXiv},
eprint = {1707.01369},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AttieCBSS15,
author = {Paul C. Attie and
Ali Cherri and
Kinan Dak{-}Al{-}Bab and
Mouhammad Sakr and
Jad Saklawi},
title = {Model and program repair via {SAT} solving},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
pages = {148--157},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MEMCOD.2015.7340481},
doi = {10.1109/MEMCOD.2015.7340481},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/AttieCBSS15.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 05:50 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:
