Laurent Simon

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 33

Top Topics

Community Structure

Propositional Satisfiability

Top Venues

Publications

Marcela S. Melara, Santiago Torres-Arias, Laurent Simon
SCORED '23: Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses. CCS (2023)
Paschal C. Amusuo, Kyle A. Robinson, Santiago Torres-Arias, Laurent Simon, James C. Davis
Preventing Supply Chain Vulnerabilities in Java with a Fine-Grained Permission Manager. CoRR (2023)
Maxime Fuccellaro, Laurent Simon, Akka Zemmari
A Robust Drift Detection Algorithm with High Accuracy and Low False Positives Rate. SafeAI@AAAI (2023)
Maxime Fuccellaro, Laurent Simon, Akka Zemmari
Partially Supervised Classification for Early Concept Drift Detection. ICTAI (2022)
Santiago Torres-Arias, Marcela Melara, Laurent Simon
SCORED '22: ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses. CCS (2022)
Théo Matricon, Marie Anastacio, Nathanaël Fijalkow, Laurent Simon, Holger H. Hoos
Statistical Comparison of Algorithm Performance Through Instance Selection. CP (2021)
Gaël Glorian, Adrien Debesson, Sylvain Yvon-Paliot, Laurent Simon
The Dungeon Variations Problem Using Constraint Programming. CP (2021)
Jonathan Metzman, László Szekeres, Laurent Simon, Read Sprabery, Abhishek Arya
FuzzBench: an open fuzzer benchmarking platform and service. ESEC/SIGSOFT FSE (2021)
Nathalie Freycenon, Roberto Longo, Laurent Simon
Estimation of Heart Rate From Tracheal Sounds Recorded for the Sleep Apnea Syndrome Diagnosis. IEEE Trans. Biomed. Eng. 68 (10) (2021)
Gilles Audemard, Loïc Paulevé, Laurent Simon
SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. SAT (2020)
Darius Suciu, Stephen E. McLaughlin, Laurent Simon, Radu Sion
Horizontal Privilege Escalation in Trusted Applications. USENIX Security Symposium (2020)
Laurent Simon, Akash Verma
Improving Fuzzing through Controlled Compilation. EuroS&P (2020)
Gilles Audemard, Loïc Paulevé, Laurent Simon
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers. CoRR (2020)
Pierre Lecomte, Manuel Melon, Laurent Simon
Spherical Fraction Beamforming. IEEE ACM Trans. Audio Speech Lang. Process. 28 (2020)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
Community Structure in Industrial SAT Instances. J. Artif. Intell. Res. 66 (2019)
Ilia Shumailov, Laurent Simon, Jeff Yan, Ross Anderson
Hearing your touch: A new acoustic side channel on smartphones. CoRR (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar
FuzzFactory: domain-specific fuzzing with waypoints. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. IJCAI (2018)
Guillaume Baud-Berthier, Laurent Simon
Zigzagging Strategies for Temporal Induction. ICTAI (2018)
Laurent Simon, David Chisnall, Ross J. Anderson
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers. EuroS&P (2018)
Rohan Fossé, Laurent Simon
On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. CP (2018)
Gilles Audemard, Laurent Simon
On the Glucose SAT Solver. Int. J. Artif. Intell. Tools 27 (1) (2018)
Guillaume Baud-Berthier, Laurent Simon
On Selecting Constraints for Replication in Model Checking. ICTAI (2017)
Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon
Diagnosability Planning for Controllable Discrete Event Systems. AAAI (2017)
Laurent Simon
A laplace transform-based technique for solving multiscale and multidomain problems: Application to a countercurrent hemodialyzer model. Comput. Biol. Medicine 87 (2017)
Laurent Simon
An effective time-constant algorithm for drug transport to capillaries and surrounding tissues. Comput. Biol. Medicine 89 (2017)
Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon
On the Community Structure of Bounded Model Checking SAT Problems. SAT (2017)
Gilles Audemard, Laurent Simon
Extreme Cases in SAT Problems. SAT (2016)
Antonin Novak, Laurent Simon, Pierrick Lotton
Extension of Generalized Hammerstein model to non-polynomial inputs. EUSIPCO (2016)
Laurent Simon, Wenduan Xu, Ross J. Anderson
Don't Interrupt Me While I Type: Inferring Text Entered Through Gesture Typing on Android Keyboards. Proc. Priv. Enhancing Technol. 2016 (3) (2016)
Sheharbano Khattak, Tariq Elahi, Laurent Simon, Colleen M. Swanson, Steven J. Murdoch, Ian Goldberg
SoK: Making Sense of Censorship Resistance Systems. Proc. Priv. Enhancing Technol. 2016 (4) (2016)
Hassan Ibrahim, Philippe Dague, Laurent Simon
Using Incremental SAT for Testing Diagnosability of Distributed DES. DX (2015)
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
Using Community Structure to Detect Relevant Learnt Clauses. SAT (2015)
José Augusto Ferreira, Paula de Oliveira, Pascoal M. da Silva, Laurent Simon
Molecular Transport in Viscoelastic Materials: Mechanistic Properties and Chemical Affinities. SIAM J. Appl. Math. 74 (5) (2014)
Gilles Audemard, Laurent Simon
Lazy Clause Exchange Policy for Parallel SAT Solvers. SAT (2014)
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon
Impact of Community Structure on SAT Solver Performance. SAT (2014)
Antonin Novak, Balbine Maillou, Pierrick Lotton, Laurent Simon
Nonparametric Identification of Nonlinear Systems in Series. IEEE Trans. Instrum. Meas. 63 (8) (2014)
Laurent Simon
Post Mortem Analysis of SAT Solver Proofs. POS@SAT (2014)
Sheharbano Khattak, Laurent Simon, Steven J. Murdoch
Systemization of Pluggable Transports for Censorship Resistance. CoRR (2014)
Sabine Peres, Martin Morterol, Laurent Simon
SAT-Based Metabolics Pathways Analysis without Compilation. CMSB (2014)
Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon
Améliorer SAT dans le cadre incrémental. Rev. d'Intelligence Artif. 28 (5) (2014)
Laurent Simon, Ross J. Anderson
PIN skimmer: inferring PINs through the camera and microphone. SPSM@CCS (2013)
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. SAT (2013)
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
Just-In-Time Compilation of Knowledge Bases. IJCAI (2013)
Ewen Carcreff, Sébastien Bourguignon, Jérôme Idier, Laurent Simon
Resolution enhancement of ultrasonic signals by up-sampled sparse deconvolution. ICASSP (2013)
George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI (2013)
George Katsirelos, Laurent Simon
Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). SAT (2012)
Vincent Armant, Laurent Simon, Philippe Dague
Distributed Tree Decomposition with Privacy. CP (2012)
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon
Optimizing with minimum satisfiability. Artif. Intell. 190 (2012)
Laurent Simon
Graphical process design tools for iontophoretic transdermal drug-delivery devices. Comput. Methods Programs Biomed. 107 (3) (2012)
George Katsirelos, Laurent Simon
Eigenvector Centrality in Industrial SAT Instances. CP (2012)
Gilles Audemard, Laurent Simon
Refining Restarts Strategies for SAT and UNSAT. CP (2012)
Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon
The International SAT Solver Competitions. AI Mag. 33 (1) (2012)
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon
Minimum Satisfiability and Its Applications. IJCAI (2011)
Kwang Seok Kim, Laurent Simon
Modeling and design of transdermal drug delivery patches containing an external heating device. Comput. Chem. Eng. 35 (6) (2011)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web CoRR (2011)
Antonin Novak, Laurent Simon, Pierrick Lotton
Analysis, Synthesis, and Classification of Nonlinear Systems Using Synchronized Swept-Sine Method for Audio Effects. EURASIP J. Adv. Signal Process. 2010 (2010)
Gilles Audemard, George Katsirelos, Laurent Simon
A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI (2010)
Antonin Novak, Laurent Simon, F. Kadlec, Pierrick Lotton
Nonlinear System Identification Using Exponential Swept-Sine Signal. IEEE Trans. Instrum. Meas. 59 (8) (2010)
Gilles Audemard, Laurent Simon
Predicting Learnt Clauses Quality in Modern SAT Solvers. IJCAI (2009)
Kwang Seok Kim, Laurent Simon
Optimal intravenous bolus-infusion drug-dosage regimen based on two-compartment pharmacokinetic models. Comput. Chem. Eng. 33 (6) (2009)
Gilles Audemard, Laurent Simon
Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. CP (2008)
Laurent Simon, Olivier Richoux, Anne Degroot, Louis Lionet
Laser Doppler Velocimetry for Joint Measurements of Acoustic and Mean Flow Velocities: LMS-Based Algorithm and CRB Calculation. IEEE Trans. Instrum. Meas. 57 (7) (2008)
W. David Holford, Mehran Ebrahimi, Omar Aktouf, Laurent Simon
Viewing Boundary "Objects" as Boundary Constructions. HICSS (2008)
Vincent Armant, Philippe Dague, Laurent Simon
Distributed Consistency-Based Diagnosis. LPAR (2008)
Amit Goyal, Shailaja Mandapuram, Bozena Michniak, Laurent Simon
Application of orthogonal collocation and regression techniques for recovering parameters of a two-pathway transdermal drug-delivery model. Comput. Chem. Eng. 31 (3) (2007)
Gilles Audemard, Laurent Simon
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. IJCAI (2007)
Daniel Le Berre, Laurent Simon
Preface to the Special Volume on the SAT 2005 Competitions and Evaluations. J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. J. Artif. Intell. Res. 25 (2006)
Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon
SomeWhere in the Semantic Web. SOFSEM (2006)
Anne Degroot, Silvio Montrésor, Bruno Gazengel, Olivier Richoux, Laurent Simon
Doppler Signal Detection And Particle Time Of Flight Estimation Using Wavelet Transform For Acoustic Velocity Measurement. ICASSP (3) (2006)
Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon
SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies. OTM Conferences (1) (2006)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
Scalability Study of Peer-to-Peer Consequence Finding. IJCAI (2005)
Laurent Simon, Daniel Le Berre, Edward A. Hirsch
The SAT2002 competition. Ann. Math. Artif. Intell. 43 (1) (2005)
Paul W. Purdom, Daniel Le Berre, Laurent Simon
A parsimony tree for the SAT2002 competition. Ann. Math. Artif. Intell. 43 (1) (2005)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
SomeWhere in the Semantic Web. PPSWR (2005)
Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella
The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers (2004)
Laurent Simon, Maria Fernandes
Neural network-based prediction and optimization of estradiol release from ethylene-vinyl acetate membranes. Comput. Chem. Eng. 28 (11) (2004)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
Distributed Reasoning in a Peer-to-Peer Setting. ECAI (2004)
Daniel Le Berre, Laurent Simon
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers (2004)
Daniel Le Berre, Laurent Simon, Armando Tacchella
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT (2003)
David Hodge, Laurent Simon, M. Nazmul Karim
Data driven approaches to modeling and analysis of bioprocesses: some industrial examples. ACC (2003)
Daniel Le Berre, Laurent Simon
The Essentials of the SAT 2003 Competition. SAT (2003)
Laurent Simon, M. Nazmul Karim
Modeling and control of amino acid starvation-induced apoptosis in CHO cell cultures. ACC (2002)
Laurent Simon, Alvaro del Val
Efficient Consequence Finding. IJCAI (2001)
Laurent Simon, Philippe Chatalic
SatEx: A Web-based Framework for SAT Experimentation. Electron. Notes Discret. Math. 9 (2001)
Philippe Chatalic, Laurent Simon
Multiresolution for SAT Checking. Int. J. Artif. Intell. Tools 10 (4) (2001)
Philippe Chatalic, Laurent Simon
ZRES: The Old Davis-Putman Procedure Meets ZBDD. CADE (2000)
Philippe Chatalic, Laurent Simon
Multi-resolution on compressed sets of clauses. ICTAI (2000)
Abdeldjalil Ouahabi, Claude Depollier, Laurent Simon, Denis Kouame
Spectrum estimation from randomly sampled velocity data [LDV]. IEEE Trans. Instrum. Meas. 47 (4) (1998)
Abdeldjalil Ouahabi, Claude Deponier, Laurent Simon, Denis Kouame, J. F. Roux, Frédéric Patat
Spectral analysis of randomly sampled processes. EUSIPCO (1996)