Lazy Decomposition for Distributed Decision Procedures

Autor: Youssef Hamadi, Joao Marques-Silva, Christoph M. Wintersteiger

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

Passenger-Centric Urban Air Mobility: Fairness Trade-Offs and Operational Efficiency

Autor: Mehdi Bennaceur, Rémi Delmas, Youssef Hamadi

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

Fully Automated HTML and JavaScript Rewriting for Constructing a Self‐healing Web Proxy

Autor: Martin Monperrus, Thomas Durieux, Youssef Hamadi

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⟩

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

Surrogate-based methods for black-box optimization

Autor: Claudia D’Ambrosio, Ky Khac Vu, Leo Liberti, Youssef Hamadi

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

From Parallel SAT to Distributed SAT

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