Zobrazeno 1 - 10
of 268
pro vyhledávání: '"Youssef Hamadi"'
Classical computer science textbooks tell us that some problems are'hard'. Yet many areas, from machine learning and computer vision to theorem proving and software verification, have defined their own set of tools for effectively solving complex pro
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 72, Iss Proc. PDMC 2011, Pp 43-54 (2011)
The increasing popularity of automated tools for software and hardware verification puts ever increasing demands on the underlying decision procedures. This paper presents a framework for distributed decision procedures (for first-order problems) bas
Externí odkaz:
https://doaj.org/article/6b7f704eb6f34980b483e685db73f579
Urban Air Mobility (UAM) has the potential to revolutionize transportation. It will exploit the third dimension to help smooth ground traffic in densely populated areas. To be successful, it will require an integrated approach able to balance efficie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c99e247e7431cd03e4b5a7cfc6538558
Autor:
Boyan Yordanov, Annalisa Occhipinti, Christoph M. Wintersteiger, Claudio Angione, Hillel Kugler, Youssef Hamadi
Publikováno v:
IEEE/ACM Transactions on Computational Biology and Bioinformatics
Computational modelling of metabolic processes has proven to be a useful approach to formulate our knowledge and improve our understanding of core biochemical systems that are crucial to maintaining cellular functions. Towards understanding the broad
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9217fac003292dbcd76e7e7b8503216e
https://pubmed.ncbi.nlm.nih.gov/32248120
https://pubmed.ncbi.nlm.nih.gov/32248120
Publikováno v:
ISSRE
Journal of : Software Testing, Verification and Reliability
Journal of : Software Testing, Verification and Reliability, Wiley, 2019, 30 (2), ⟨10.1002/stvr.1731⟩
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018)
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), Oct 2018, Memphis, United States. ⟨10.1109/ISSRE.2018.00012⟩
Journal of : Software Testing, Verification and Reliability
Journal of : Software Testing, Verification and Reliability, Wiley, 2019, 30 (2), ⟨10.1002/stvr.1731⟩
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018)
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), Oct 2018, Memphis, United States. ⟨10.1109/ISSRE.2018.00012⟩
International audience; Over the last few years, the complexity of web applications has increased to provide more dynamic web applications to users. The drawback of this complexity is the growing number of errors in the front-end applications. In thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b252ac5321861af4fd04452dd295b163
https://doi.org/10.1002/stvr.1731
https://doi.org/10.1002/stvr.1731
Autor:
Youssef Hamadi
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030535513
LION
LION
Urban Air Mobility (UAM) has the potential to revolutionize urban transportation. It will exploit the third dimension to help smooth ground traffic in densely populated areas. To be successful, it will require an organized and integrated approach abl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d677d22c19a02a67eb25d8ef276805f
https://doi.org/10.1007/978-3-030-53552-0_1
https://doi.org/10.1007/978-3-030-53552-0_1
Publikováno v:
International Transactions in Operational Research. 24:393-424
In this paper, we survey methods that are currently used in black-box optimization, i.e. the kind of problems whose objective functions are very expensive to evaluate and no analytical or derivative information are available. We concentrate on a part
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b838435254760349199789c1d9b0414e
https://doi.org/10.1111/itor.12292
https://doi.org/10.1111/itor.12292
Publikováno v:
ICST 2018-11th IEEE Conference on Software Testing, Validation and Verification
ICST 2018-11th IEEE Conference on Software Testing, Validation and Verification, Apr 2018, Västerås, Sweden. ⟨10.1109/ICST.2018.00023⟩
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
arXiv.org e-Print Archive
ICST
ICST 2018-11th IEEE Conference on Software Testing, Validation and Verification, Apr 2018, Västerås, Sweden. ⟨10.1109/ICST.2018.00023⟩
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
arXiv.org e-Print Archive
ICST
High-availability of software systems requires automated handling of crashes in presence of errors. Failure-oblivious computing is one technique that aims to achieve high availability. We note that failure-obliviousness has not been studied in depth
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb2d01d23d4ca2b506f5937a945f9d75
https://hal.inria.fr/hal-01624988
https://hal.inria.fr/hal-01624988
Publikováno v:
EPiC Series in Computing.
This paper, concerned with the protein structure prediction problem, aims at automatically selecting the Constraint Satisfaction algorithm best suited to the problem instance at hand. The contribution is twofold. Firstly, the selection criterion is t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a1048bd7a065dc55d51fa8e01f64a3f9
https://doi.org/10.29007/dnbk
https://doi.org/10.29007/dnbk
Autor:
Youssef Hamadi
Publikováno v:
EPiC Series in Computing.
This tutorial will present an overview of parallelism in SAT. It will start with a presentation of classical divide and conquer techniques, discuss their ancient origin and compare them to more recent portfolio- based algorithms. It will then present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a24ea6faf6add9bac2ce6c06e79cd962
https://doi.org/10.29007/44vf
https://doi.org/10.29007/44vf