Brigitte Pradin-Chezalviel

According to our database, Brigitte Pradin-Chezalviel authored at least 4 papers between 1986 and 2001.

Collaborative distances:

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

2001

Reachability and Temporal Conflicts in t-Time Petri Nets.

Nicolas Rivière, Brigitte Pradin-Chezalviel, Robert Valette

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

1999

Scenario durations characterization of t-timed Petri nets using linear logic.

Brigitte Pradin-Chezalviel, Robert Valette, Luis Allan Künzle

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1989

Axioms of Communication Using Temporal Logic with Past.

Brigitte Pradin-Chezalviel, Michel Diaz

Proceedings of the Protocol Specification, 1989

1986

On a Prolog Environment for Protocol Analysis.

Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986