 | 2011 |
| 7 |  | Patrice Bonhomme:
A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets.
CASE 2011: 582-587 |
| 2010 |
| 6 |  | Patrice Bonhomme:
Towards a new exhaustive simulation technique for P-time Petri nets.
ETFA 2010: 1-8 |
| 2009 |
| 5 |  | Samuel Cruz-Lara,
Patrice Bonhomme,
Christophe De Saint-Rat,
Laurent Romary:
A general XML-based distributed software architecture for accessing and sharing ressources
CoRR abs/0909.2145: (2009) |
| 2008 |
| 4 |  | Patrice Bonhomme:
Constraints graph based approach for the control of time critical systems.
ETFA 2008: 113-120 |
| 2005 |
| 3 |  | Soizick Calvez,
Pascal Aygalinc,
Patrice Bonhomme:
Proactive/reactive approach for maintenance tasks in time critical systems.
ETFA 2005 |
| 2004 |
| 2 |  | Patrice Bonhomme,
Gérard Berthelot,
Pascal Aygalinc,
Soizick Calvez:
Verification technique for time Petri nets.
SMC (5) 2004: 4278-4283 |
| 1999 |
| 1 |  | Laurent Romary,
Patrice Bonhomme,
Florence Bruneseaux,
Jean-Marie Pierrel:
Silfide: A System for Open Access and Distributed Delivery of TEI Encoded Documents.
Computers and the Humanities 33(1-2): 31-38 (1999) |