Solving CSP Including a Universal Quantification. - Renaud De Landtsheer (MOZ, 2004)

Deriving tabular event-based specifications from goal-oriented requirements models. - Renaud De Landtsheer; Emmanuel Letier; Axel van Lamsweerde (Requir. Eng., 2004)

Reasoning about confidentiality at requirements engineering time. - Renaud De Landtsheer; Axel van Lamsweerde (ESEC/SIGSOFT FSE, 2005)

Elaborating complete and consistent requirements for security-critical systems. - Renaud De Landtsheer (2007)

High-Level Guidance for Managers Deploying Formal Methods in Their Organisation. - Christophe Ponsard; Jean-Christophe Deprez; Renaud De Landtsheer (FMICS, 2013)

A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour. - Renaud De Landtsheer; Christophe Ponsard; Nicolas Devos (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Towards Design-time Simulation Support for Energy-aware Cloud Application Development. - Christophe Ponsard; Renaud De Landtsheer; Gustavo Ospina; Jean-Christophe Deprez (CLOSER (2), 2016)

A Discrete Event Simulation Approach for Quantifying Risks in Manufacturing Processes. - Renaud De Landtsheer; Gustavo Ospina; Philippe Massonet; Christophe Ponsard; Stephan Printz; Lasse Härtel; Johann Philipp von Cube (ICORES, 2016)

Assessment of Risks in Manufacturing Using Discrete-Event Simulation. - Renaud De Landtsheer; Gustavo Ospina; Philippe Massonet; Christophe Ponsard; Stephan Printz; Sabina Jeschke; Lasse Härtel; Johann Philipp von Cube; Robert H. Schmitt (ICORES (Selected Papers), 2016)

Verifying Geostatistical Travel Time Properties on Routing Networks. - Renaud De Landtsheer; Christophe Ponsard (ICORES, 2016)

Towards a Quantitative Assessment of Supply Chain Sustainability Using Queries over Model Simulations. - Christophe Ponsard; Renaud De Landtsheer; Gustavo Ospina (RE Workshops, 2016)

Query-based Risks Management of Manufacturing Processes. - Christophe Ponsard; Renaud De Landtsheer; Gustavo Ospina; Stephan Printz; Johann Philipp von Cube (SIMULTECH, 2016)

A Survey on Risk-management and Tooling Support for Procurement Processes in Supply Chains. - Stephan Printz; Johann Philipp von Cube; Christophe Ponsard; Renaud De Landtsheer; Gustavo Ospina; Philippe Massonet; Robert H. Schmitt; Sabina Jeschke (SIMULTECH, 2016)

Requirements Gathering and Validation for Risk-Oriented Tool Support in Supply Chains. - Stephan Printz; Christophe Ponsard; Johann Philipp von Cube; Renaud De Landtsheer; Gustavo Ospina; Philippe Massonet; Robert H. Schmitt; Sabina Jeschke (SIMULTECH (Selected Papers), 2016)

OscaR, an Open Source Toolbox for Optimising Logistics and Supply Chain Systems. - Renaud De Landtsheer; Christophe Ponsard; Yoann Guyot (ERCIM News, 2016)

Decision Making Support in the Scheduling of Chemotherapy Coping with Quality of Care, Resources and Ethical Constraints. - Christophe Ponsard; Renaud De Landtsheer; Yoann Guyot; François Roucoux; Bernard Lambeau (ICEIS (1), 2017)

Quality of Care Driven Scheduling of Clinical Pathways Under Resource and Ethical Constraints. - Christophe Ponsard; Renaud De Landtsheer; Yoann Guyot; François Roucoux; Bernard Lambeau (ICEIS (Revised Selected Papers), 2017)

Supporting Efficient Global Moves on Sequences in Constraint-based Local Search Engines. - Renaud De Landtsheer; Gustavo Ospina; Yoann Guyot; Fabian Germeau; Christophe Ponsard (ICORES, 2017)

Reasoning on Sequences in Constraint-Based Local Search Frameworks. - Renaud De Landtsheer; Yoann Guyot; Gustavo Ospina; Fabian Germeau; Christophe Ponsard (CPAIOR, 2018)

Building sustainable software for sustainable systems: case study of a shared pick-up and delivery service. - Christophe Ponsard; Renaud De Landtsheer; Fabian Germeau (GREENS@ICSE, 2018)

Dealing with Perceived Fairness when Planning Doctor Shifts in Hospitals. - Renaud De Landtsheer; Gaëtan Delannay; Christophe Ponsard (ICORES, 2018)

Dealing with Scheduling Fairness in Local Search: Lessons Learned from Case Studies. - Christophe Ponsard; Renaud De Landtsheer (ICORES (Selected Papers), 2018)

Optimal mapping of task-based computation models over heterogeneous hardware using placer. - Renaud De Landtsheer; Jean-Christophe Deprez; Christophe Ponsard (MoDELS (Companion), 2018)

Accurate Reasoning Using Imperfect Digital Twins: A Steel Industry Case Study. - Christophe Ponsard; Renaud De Landtsheer; Birgit Palm (ERCIM News, 2018)

Combining Predictive and Prescriptive Analytics to Improve Clinical Pathways. - Christophe Ponsard; Renaud De Landtsheer (ERCIM News, 2019)

A Data-thrifty Approach to Routing Optimization. - Thomas Fayolle; Renaud De Landtsheer; Gustavo Ospina; Fabian Germeau (ICORES, 2021)

A Very Large Scale Neighborhood Approach to Pickup and Delivery Problems with Time Windows. - Renaud De Landtsheer; Thomas Fayolle; Fabian Germeau; Gustavo Ospina (ICORES, 2021)

Towards Distributed Local Search Through Neighborhood Combinators. - Gustavo Ospina; Renaud De Landtsheer (ICORES, 2021)

Defining Parallel Local Search Procedures with Neighborhood Combinators. - Gustavo Ospina; Renaud De Landtsheer (SN Comput. Sci., 2022)

Enabling Decentralized Collaboration Among Transporters Through an Optimizing Trading Network for Transport Orders. - Renaud De Landtsheer; Aline Goeminne; Quentin Meurisse (IN4PL (2), 2024)