Jacques Jaray

According to our database, Jacques Jaray authored at least 5 papers between 1988 and 2007.

Collaborative distances:

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

2007

A Formal Approach for the Development of Automated Systems.

Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray

Proceedings of the ICSOFT 2007, 2007

Specification and Proof of Liveness Properties in B Event Systems.

Olfa Mosbahi, Jacques Jaray

Proceedings of the ICSOFT 2007, 2007

2006

Formal development method of control systems using the event-based B approach Case study : A parcel sorting device.

Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2002

A Specification and Validation Technique Based on STATEMATE and FNLOG.

Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray

Proceedings of the Formal Methods and Software Engineering, 2002

1988

Timed Specifications for the Development of Real-time Systems.

Jacques Jaray

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988