Bartosz Grabiec

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Pair Programming

Top Venues

ISSRE Workshops

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Clément Duffau, Bartosz Grabiec, Mireille Blay-Fornarino
Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation: Application in a Healthcare Company. ISSRE Workshops (2017)
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS (2010)
Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA (2010)