Search dblp for Publications

export results for "toc:db/conf/iceccs/iceccs2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iceccs/AndreLM23,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Engel Lefaucheux and
                  Dylan Marinho},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Expiring opacity problems in parametric timed automata},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {89--98},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00020},
  doi          = {10.1109/ICECCS59891.2023.00020},
  timestamp    = {Fri, 15 Dec 2023 07:44:32 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/AndreLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BelliniBFPNP23,
  author       = {Pierfrancesco Bellini and
                  Daniele Bologna and
                  Marco Fanfani and
                  Luciano Alessandro Ipsaro Palesi and
                  Paolo Nesi and
                  Gianni Pantaleo},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Rapid Prototyping {\&} Development Life Cycle for Smart Applications
                  of Internet of Entities},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {142--151},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00026},
  doi          = {10.1109/ICECCS59891.2023.00026},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BelliniBFPNP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BougachaLD23,
  author       = {Racem Bougacha and
                  R{\'{e}}gine Laleau and
                  Simon Collart Dutilleul},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Formal alignment of requirements models with high-level architecture
                  models},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {216--225},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00034},
  doi          = {10.1109/ICECCS59891.2023.00034},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BougachaLD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BuS23,
  author       = {Hao Bu and
                  Meng Sun},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Certifying Semantic Robustness of Deep Neural Networks},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {51--60},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00016},
  doi          = {10.1109/ICECCS59891.2023.00016},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BuS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CavalcantiH23,
  author       = {Ana Cavalcanti and
                  Robert M. Hierons},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Challenges in testing of cyclic systems},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00010},
  doi          = {10.1109/ICECCS59891.2023.00010},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/CavalcantiH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DaiLXL23,
  author       = {Yujun Dai and
                  Shaoying Liu and
                  Guangquan Xu and
                  Ai Liu},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Utilizing Risk Number and Program Slicing to Improve Human-Machine
                  Pair Inspection},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {108--115},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00022},
  doi          = {10.1109/ICECCS59891.2023.00022},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/DaiLXL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongJLDHHGL23,
  author       = {Jin Song Dong and
                  Kan Jiang and
                  Zhaoyu Liu and
                  Chen Dong and
                  Zhe Hou and
                  Rajdeep Singh Hundal and
                  Jingyu Guo and
                  Yun Lin},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Sports Analytics Using Probabilistic Model Checking and Deep Learning},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {7--11},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00011},
  doi          = {10.1109/ICECCS59891.2023.00011},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/DongJLDHHGL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FosterW23,
  author       = {Simon Foster and
                  Burkhart Wolff},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Automated Reasoning for Physical Quantities, Units, and Measurements
                  in Isabelle/HOL},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {136--141},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00025},
  doi          = {10.1109/ICECCS59891.2023.00025},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/FosterW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/GeYYL23,
  author       = {Ning Ge and
                  Jinwen Yang and
                  Tianyu Yu and
                  Wei Liu},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {AutoMTLSpec: Learning to Generate {MTL} Specifications from Natural
                  Language Contracts},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {71--80},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00018},
  doi          = {10.1109/ICECCS59891.2023.00018},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/GeYYL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HoudailleKBJC23,
  author       = {Phil{\'{e}}mon Houdaille and
                  Djamel Eddine Khelladi and
                  Romain Briend and
                  Robbert Jongeling and
                  Beno{\^{\i}}t Combemale},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Polyglot {AST:} Towards Enabling Polyglot Code Analysis},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {116--125},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00023},
  doi          = {10.1109/ICECCS59891.2023.00023},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/HoudailleKBJC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/JavadpourJTB23,
  author       = {Amir Javadpour and
                  Forough Ja'fari and
                  Tarik Taleb and
                  Chafika Benza{\"{\i}}d},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {A Mathematical Model for Analyzing Honeynets and Their Cyber Deception
                  Techniques},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {81--88},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00019},
  doi          = {10.1109/ICECCS59891.2023.00019},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/JavadpourJTB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MarquesSilva23,
  author       = {Jo{\~{a}}o Marques{-}Silva},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Disproving {XAI} Myths with Formal Methods - Initial Results},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {12--21},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00012},
  doi          = {10.1109/ICECCS59891.2023.00012},
  timestamp    = {Fri, 05 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/MarquesSilva23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MengBTD23,
  author       = {Mark Huasong Meng and
                  Guangdong Bai and
                  Sin G. Teo and
                  Jin Song Dong},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Supervised Robustness-preserving Data-free Neural Network Pruning},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {22--31},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00013},
  doi          = {10.1109/ICECCS59891.2023.00013},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/MengBTD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/NoguchiT23,
  author       = {Yuya Noguchi and
                  Tatsuhiro Tsuchiya},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Model Checking of Intersection Traffic Control Protocols},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {99--107},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00021},
  doi          = {10.1109/ICECCS59891.2023.00021},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/NoguchiT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PaduraruCS23,
  author       = {Ciprian Paduraru and
                  Marina Cernat and
                  Adelina{-}Nicoleta Staicu},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Concolic execution for {RPA} testing},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {187--196},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00031},
  doi          = {10.1109/ICECCS59891.2023.00031},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/PaduraruCS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PengDB23,
  author       = {Shu Peng and
                  Naipeng Dong and
                  Guangdong Bai},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Quantitative Explainable {AI} For Face Recognition},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {32--41},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00014},
  doi          = {10.1109/ICECCS59891.2023.00014},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/PengDB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RopiakGSPGBW23,
  author       = {Norbert Ropiak and
                  Mateusz Gniewkowski and
                  Michal Swedrowski and
                  Michal Pogoda and
                  Karol Gawron and
                  Bartlomiej Bojanowski and
                  Tomasz Walkowiak},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {How to select samples for active learning? Document clustering with
                  active learning methodology},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {42--50},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00015},
  doi          = {10.1109/ICECCS59891.2023.00015},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/RopiakGSPGBW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ScheererR23,
  author       = {Max Scheerer and
                  Ralf H. Reussner},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Reliability Analysis of Architectural Safeguards for AI-enabled Systems},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {61--70},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00017},
  doi          = {10.1109/ICECCS59891.2023.00017},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ScheererR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ThierryJHB23,
  author       = {Lo{\"{\i}}c Thierry and
                  Jason Jaskolka and
                  Brahim Hamid and
                  Jean{-}Paul Bodeveix},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Specification and Verification of Communication Paradigms for {CBSE}
                  in Event {B}},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {157--166},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00028},
  doi          = {10.1109/ICECCS59891.2023.00028},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ThierryJHB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/VerbakelFMR23,
  author       = {J. J. Verbakel and
                  Wan J. Fokkink and
                  Joanna M. van de Mortel{-}Fronczak and
                  Jacobus E. Rooda},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Validating communication of a dynamic traffic management system},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {207--215},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00033},
  doi          = {10.1109/ICECCS59891.2023.00033},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/VerbakelFMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/VictoricaAIKSM23,
  author       = {Mauricio Byrd Victorica and
                  Paolo Arcaini and
                  Fuyuki Ishikawa and
                  Hirokazu Kawamoto and
                  Kaoru Sawai and
                  Eiichi Muramoto},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Stability-aware Exploration of Design Space of Autonomous Robots for
                  Goods Delivery},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {177--186},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00030},
  doi          = {10.1109/ICECCS59891.2023.00030},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/VictoricaAIKSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WangL23,
  author       = {Pingyan Wang and
                  Shaoying Liu},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Detecting Security Vulnerabilities in Human-Machine Pair Programming
                  with Pointer Analysis},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {152--156},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00027},
  doi          = {10.1109/ICECCS59891.2023.00027},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/WangL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WangLZDSCCH23,
  author       = {Qian Wang and
                  Jing Liu and
                  John Zhang and
                  Hui Dou and
                  Haiying Sun and
                  HongTao Chen and
                  Xiaohong Chen and
                  Jifeng He},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Ont4Sys: Ontology-based tool of Semantic Representation and Verification
                  for Traceability Models},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {126--135},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00024},
  doi          = {10.1109/ICECCS59891.2023.00024},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/WangLZDSCCH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/XuBZEBH23,
  author       = {Hao Xu and
                  Souheib Baarir and
                  Tewfik Ziadi and
                  Siham Essodaigui and
                  Yves Bossu and
                  Lom{-}Messan Hillah},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {An Experience Report on the Optimization of the Product Configuration
                  System of Renault \({}^{\mbox{*}}\)},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {197--206},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00032},
  doi          = {10.1109/ICECCS59891.2023.00032},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/XuBZEBH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YanFH23,
  author       = {Fang Yan and
                  Simon Foster and
                  Ibrahim Habli},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Automated Compositional Verification for Robotic State Machines using
                  Isabelle/HOL},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {167--176},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00029},
  doi          = {10.1109/ICECCS59891.2023.00029},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/YanFH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2023,
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023},
  doi          = {10.1109/ICECCS59891.2023},
  isbn         = {979-8-3503-4004-4},
  timestamp    = {Fri, 15 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics