BibTeX records: Mohammed Foughali

download as .bib file

@inproceedings{DBLP:conf/sac/BrauF21,
  author    = {Guillaume Brau and
               Mohammed Foughali},
  editor    = {Chih{-}Cheng Hung and
               Jiman Hong and
               Alessio Bechini and
               Eunjee Song},
  title     = {Contract-based verification of model transformations: a formally founded
               approach},
  booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
               Event, Republic of Korea, March 22-26, 2021},
  pages     = {1559--1568},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3412841.3442031},
  doi       = {10.1145/3412841.3442031},
  timestamp = {Mon, 03 May 2021 14:34:56 +0200},
  biburl    = {https://dblp.org/rec/conf/sac/BrauF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/FoughaliH20,
  author    = {Mohammed Foughali and
               Pierre{-}Emmanuel Hladik},
  title     = {Bridging the gap between formal verification and schedulability analysis:
               The case of robotics},
  journal   = {J. Syst. Archit.},
  volume    = {111},
  pages     = {101817},
  year      = {2020},
  url       = {https://doi.org/10.1016/j.sysarc.2020.101817},
  doi       = {10.1016/j.sysarc.2020.101817},
  timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jsa/FoughaliH20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/FoughaliBCI20,
  author    = {Mohammed Foughali and
               Saddek Bensalem and
               Jacques Combaz and
               F{\'{e}}lix Ingrand},
  title     = {Runtime Verification of Timed Properties in Autonomous Robots},
  booktitle = {18th {ACM/IEEE} International Conference on Formal Methods and Models
               for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
  pages     = {1--12},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {https://doi.org/10.1109/MEMOCODE51338.2020.9315156},
  doi       = {10.1109/MEMOCODE51338.2020.9315156},
  timestamp = {Mon, 01 Feb 2021 19:08:01 +0100},
  biburl    = {https://dblp.org/rec/conf/memocode/FoughaliBCI20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Foughali20,
  author    = {Mohammed Foughali},
  title     = {A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems},
  booktitle = {26th {IEEE} International Conference on Embedded and Real-Time Computing
               Systems and Applications, {RTCSA} 2020, Gangnueng, Korea (South),
               August 19-21, 2020},
  pages     = {1--10},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {https://doi.org/10.1109/RTCSA50079.2020.9203687},
  doi       = {10.1109/RTCSA50079.2020.9203687},
  timestamp = {Tue, 29 Sep 2020 14:19:53 +0200},
  biburl    = {https://dblp.org/rec/conf/rtcsa/Foughali20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Foughali19,
  author    = {Mohammed Foughali},
  editor    = {J. Christian Attiogb{\'{e}} and
               Flavio Ferrarotti and
               Sofian Maabout},
  title     = {On Reconciling Schedulability Analysis and Model Checking in Robotics},
  booktitle = {New Trends in Model and Data Engineering - {MEDI} 2019 International
               Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31,
               2019, Proceedings},
  series    = {Communications in Computer and Information Science},
  volume    = {1085},
  pages     = {32--48},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-32213-7\_3},
  doi       = {10.1007/978-3-030-32213-7\_3},
  timestamp = {Mon, 21 Oct 2019 14:47:42 +0200},
  biburl    = {https://dblp.org/rec/conf/medi/Foughali19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ReymannFL19,
  author    = {Christophe Reymann and
               Mohammed Foughali and
               Simon Lacroix},
  title     = {Repeatable Decentralized Simulations for Cyber-Physical Systems},
  booktitle = {19th {IEEE} International Conference on Software Quality, Reliability
               and Security, {QRS} 2019, Sofia, Bulgaria, July 22-26, 2019},
  pages     = {240--247},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/QRS.2019.00040},
  doi       = {10.1109/QRS.2019.00040},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/qrs/ReymannFL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/FoughaliIS19,
  author    = {Mohammed Foughali and
               F{\'{e}}lix Ingrand and
               Cristina Seceleanu},
  editor    = {Fabrizio Biondi and
               Thomas Given{-}Wilson and
               Axel Legay},
  title     = {Statistical Model Checking of Complex Robotic Systems},
  booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
               Beijing, China, July 15-16, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11636},
  pages     = {114--134},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-30923-7\_7},
  doi       = {10.1007/978-3-030-30923-7\_7},
  timestamp = {Thu, 03 Oct 2019 13:48:28 +0200},
  biburl    = {https://dblp.org/rec/conf/spin/FoughaliIS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FoughaliBDHIM18,
  author    = {Mohammed Foughali and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Pierre{-}Emmanuel Hladik and
               F{\'{e}}lix Ingrand and
               Anthony Mallet},
  editor    = {Stefania Gnesi and
               Nico Plat and
               Paola Spoletini and
               Patrizio Pelliccione},
  title     = {Formal verification of complex robotic systems on resource-constrained
               platforms},
  booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
               FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
               2, 2018},
  pages     = {2--9},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3193992.3193996},
  doi       = {10.1145/3193992.3193996},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/FoughaliBDHIM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-10154,
  author    = {Mohammed Foughali and
               F{\'{e}}lix Ingrand and
               Anthony Mallet},
  title     = {GenoM3 Templates: from Middleware Independence to Formal Models Synthesis},
  journal   = {CoRR},
  volume    = {abs/1807.10154},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.10154},
  archivePrefix = {arXiv},
  eprint    = {1807.10154},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1807-10154.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Foughali17,
  author    = {Mohammed Foughali},
  title     = {Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems:
               Insights on Formalisms and Tools},
  booktitle = {17th International Conference on Application of Concurrency to System
               Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  pages     = {29--38},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/ACSD.2017.10},
  doi       = {10.1109/ACSD.2017.10},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/Foughali17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FoughaliBDIM16,
  author    = {Mohammed Foughali and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               F{\'{e}}lix Ingrand and
               Anthony Mallet},
  editor    = {Kazuhiro Ogata and
               Mark Lawford and
               Shaoying Liu},
  title     = {Model Checking Real-Time Properties on the Functional Layer of Autonomous
               Robots},
  booktitle = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10009},
  pages     = {383--399},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3\_24},
  doi       = {10.1007/978-3-319-47846-3\_24},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/FoughaliBDIM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics