Back
  1. Home
  2. Profile of Olivier ZEYEN (Unilu)
Profil

ZEYEN Olivier

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal

Main Referenced Co-authors
Acher, Mathieu (3)
CORDY, Maxime  (3)
Perrouin, Gilles (3)
PANG, Jun  (1)
Main Referenced Keywords
Model Counting (3); Random sampling (3); Software (3); Uniform Random Sampling (3); Boolean formulae (2);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SerVal - Security, Reasoning & Validation (1)
Main Referenced Disciplines
Computer science (5)

Publications (total 5)

The most downloaded
98 downloads
ZEYEN, O. G. R., & PANG, J. (2022). Target Control of Boolean Networks with Permanent Edgetic Perturbations. In Proceedings of the 61st International Conference on Decision and Control (CDC 2022) (pp. 4236-4243). IEEE. doi:10.1109/CDC51059.2022.9992790 https://hdl.handle.net/10993/54016

The most cited

2 citations (Scopus®)

ZEYEN, O., CORDY, M., Perrouin, G., & Acher, M. (2024). Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. In Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024. Association for Computing Machinery, Inc. doi:10.1145/3644033.3644371 https://hdl.handle.net/10993/61583

ZEYEN, O. (2025). Scaling up Uniform Random Sampling [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/66115

ZEYEN, O., CORDY, M., Perrouin, G., & Acher, M. (2025). Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions. In M. R. Luaces (Ed.), SPLC 2025: 29th ACM International Systems and Software Product Line Conference - Proceedings. Association for Computing Machinery, Inc. doi:10.1145/3744915.3748473
Peer reviewed

ZEYEN, O., CORDY, M., Perrouin, G., & Acher, M. (2024). Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. In Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024. Association for Computing Machinery, Inc. doi:10.1145/3644033.3644371
Peer reviewed

ZEYEN, O., CORDY, M., Perrouin, G., & Acher, M. (14 April 2024). Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions [Poster presentation]. Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Lisbon, Prt. doi:10.1145/3639478.3643097
Peer reviewed

ZEYEN, O. G. R., & PANG, J. (2022). Target Control of Boolean Networks with Permanent Edgetic Perturbations. In Proceedings of the 61st International Conference on Decision and Control (CDC 2022) (pp. 4236-4243). IEEE. doi:10.1109/CDC51059.2022.9992790
Peer reviewed

Contact ORBilu