| 2019 | VMCAI | Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. | Stefan Haar, Juraj Kolck, Loc Paulev |
| 2015 | ATVA | Unfolding-Based Process Discovery. | Hernn Ponce de Len, Csar Rodrguez, Josep Carmona, Keijo Heljanko, Stefan Haar |
| 2015 | PPDP | An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. | Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia |
| 2014 | FOSSACS | Active Diagnosis for Probabilistic Systems. | Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loc Hlout |
| 2014 | ICTAC | Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. | Hernn Ponce de Len, Stefan Haar, Delphine Longuet |
| 2012 | TAP | Conformance Relations for Labeled Event Structures. | Hernn Ponce de Len, Stefan Haar, Delphine Longuet |
| 2010 | TIME | A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. | Sandie Balaguer, Thomas Chatain, Stefan Haar |
| 2008 | CONCUR | Unfolding-Based Diagnosis of Systems with an Evolving Topology. | Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara Knig |
| 2007 | ICWS | A protocol for QoS contract negotiation and its implementation using Web Services. | Hlia Pouyllau, Stefan Haar |
| 2007 | ICWS | Probabilistic QoS and soft contracts for transaction based Web services. | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
| 2007 | Qshine | End-to-end QoS of X-domain pipes. | Hlia Pouyllau, Stefan Haar |
| 2006 | FOSSACS | Distributed Unfolding of Petri Nets. | Paolo Baldan, Stefan Haar, Barbara Knig |
| 2006 | ISoLA | Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
| 2005 | PODS | Diagnosis of asynchronous discrete event systems: datalog to the rescue! | Serge Abiteboul, Zo Abrams, Stefan Haar, Tova Milo |
| 2003 | CONCUR | Distributed Monitoring of Concurrent and Asynchronous Systems. | Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard |