| 2026 | VMCAI | Reachability in Multi-agent Transfer Systems. | Nathalie Bertrand, Loc Hlout, Engel Lefaucheux, Luca Paparazzo |
| 2024 | ATMOS | Modeling Subway Networks and Passenger Flows. | Antoine Thbault, Loc Hlout, Kenza Saiah |
| 2020 | FOSSACS | Timed Negotiations. | S. Akshay, Blaise Genest, Loc Hlout, Sharvik Mital |
| 2016 | TIME | Combining Free Choice and Time in Petri Nets. | S. Akshay, Loc Hlout, Ramchandra Phawade |
| 2015 | SAC | A grammatical approach to data-centric case management in a distributed collaborative environment. | ric Badouel, Loc Hlout, Georges Edouard Kouamou, Christophe Morvan |
| 2014 | FOSSACS | Active Diagnosis for Probabilistic Systems. | Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loc Hlout |
| 2013 | FASE | Scenario Realizability with Constraint Optimization. | Rouwaida Abdallah, Arnaud Gotlieb, Loc Hlout, Claude Jard |
| 2013 | LATA | Dynamic Communicating Automata and Branching High-Level MSCs. | Benedikt Bollig, Aiswarya Cyriac, Loc Hlout, Ahmet Kara, Thomas Schwentick |
| 2012 | ICTAC | Symbolically Bounding the Drift in Time-Constrained MSC Graphs. | S. Akshay, Blaise Genest, Loc Hlout, Shaofa Yang |
| 2011 | ATVA | Assembling Sessions. | Philippe Darondeau, Loc Hlout, Madhavan Mukund |
| 2010 | CSR | Realizability of Dynamic MSC Languages. | Benedikt Bollig, Loc Hlout |
| 2010 | ICWS | Document Based Modeling of Web Services Choreographies Using Active XML. | Loc Hlout, Albert Benveniste |
| 2008 | FOSSACS | Products of Message Sequence Charts. | Philippe Darondeau, Blaise Genest, Loc Hlout |
| 2007 | CONCUR | Causal Message Sequence Charts. | Thomas Gazagnaire, Blaise Genest, Loc Hlout, P. S. Thiagarajan, Shaofa Yang |
| 2007 | FORTE | Event Correlation with Boxed Pomsets. | Thomas Gazagnaire, Loc Hlout |
| 2005 | FORTE | From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. | Thomas Chatain, Loc Hlout, Claude Jard |
| 2004 | ICSE | Revisiting Statechart Synthesis with an Algebraic Approach. | Tewfik Ziadi, Loc Hlout, Jean-Marc Jzquel |
| 2003 | CONCUR | High-Level Message Sequence Charts and Projections. | Blaise Genest, Loc Hlout, Anca Muscholl |