Symbolic Unfolding of Parametric Stopwatch Petri Nets. - Louis-Marie Traonouez; Bartosz Grabiec; Claude Jard; Didier Lime; Olivier H. Roux (ATVA, 2010)

Diagnosis Using Unfoldings of Parametric Time Petri Nets. - Bartosz Grabiec; Louis-Marie Traonouez; Claude Jard; Didier Lime; Olivier H. Roux (FORMATS, 2010)

Supervision of distributed systems using constrained unfoldings of timed models. (Supervision de systèmes répartis utilisant des dépliages avec contraintes de modèles temporisés). - Bartosz Grabiec (2011)

Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation: Application in a Healthcare Company. - Clément Duffau; Bartosz Grabiec; Mireille Blay-Fornarino (ISSRE Workshops, 2017)