Bartosz Grabiec

According to our database, Bartosz Grabiec authored at least 4 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation: Application in a Healthcare Company.

Clément Duffau, Bartosz Grabiec, Mireille Blay-Fornarino

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2011

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

PhD thesis, 2011

2010

Diagnosis Using Unfoldings of Parametric Time Petri Nets.

Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Symbolic Unfolding of Parametric Stopwatch Petri Nets.

Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2010