Bastide, R.

• Bastide, Rémi; Navarre, David; Palanque, Philippe; Schyn, Amélie; Dragicevic, Pierre:
  A model-based approach for real-time embedded multimodal systems in military aircrafts. 2004.

• Bastide, Rémi; Barboni, Eric:
  Component-Based Behavioural Modelling with High-Level Petri Nets. 2004.

• Bastide, Rémi; Navarre, David; Palanque, Philippe:
  A tool-supported design framework for safety critical interactive systems. 2003.

• Bastide, R.; Lakos, C.; Palanque, P.:
  A Cooperative Petri Net Editor. 2001.

• Bastide, R.; Palanque, P.:
  Modeling a Groupware Editing Tool with Cooperative Objects. 2001.

• Bastide, Rémi; Sy, Ousmane; Palanque, Philippe:
  A formal notation and tool for the engineering of CORBA systems. 2000.

• Bastide, Rémi; Sy, Ousmane; Palanque, Philippe; Navarre, David:
  Formal specification of CORBA services: experience and lessons learned. 2000.

• Bastide, Rémi; Sy, Ousmane; Palanque, Philippe; Navarre, David:
  A Formal Specification of the CORBA Event Service. 2000.

• Bastide, R.; Palanque, P.:
  A visual and formal glue between application and interaction. 1999.

• Bastide, Rémi; Palanque, Philippe; Sy, Ousmane; Le, Duc-Hoa; Navarre, David:
  Petri Net Based Behavioural Specification of CORBA Systems. 1999.

• Palanque, Ph.; Bastide, R.; Paterno, F.:
  Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. 1997.

• Palanque, Ph.; Paterno, F.; Bastide, R.:
  Formal Specification for Designing User Interfaces of Air Traffic Control Applications. 1997.

• Bastide, R.; Palanque, Ph.:
  A Petri Net Based Environment for the Design of Event-Driven Interfaces. 1995.

• Palanque, Philippe A.; Bastide, Réme; Dourte, Louis; Sibertin-Blanc, Christophe:
  Design of User-Driven Interfaces Using Petri Nets and Objects. 1993.

• Bastide, R.; Sibertin-Blanc, C.:
  Modelling Flexible Manufacturing Systems by means of CoOperative Objects. 1991.

• Bastide, R.; Palanque, P.:
  Petri Net Objects for the Design, Validation and Prototyping of User-Driven Interfaces. 1990.

• Bastide, R.; Sibertin-Blanc, C.:
  Object-Oriented Design of Parallel Systems. 1989.

Back to the Petri Nets Bibliography