Jean-François Molderez

According to our database, Jean-François Molderez authored at least 4 papers between 2003 and 2007.

Collaborative distances:

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

2007

An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations.

Gautier Dallons, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Alvaro Arenas

Proceedings of the Third International Conference on Security and Privacy in Communication Networks and the Workshops, 2007

2004

Early Verification and Validation of Mission Critical Systems.

Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Deriving Acceptance Tests from Goal Requirements.

Jean-François Molderez, Christophe Ponsard

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

2003

FAUST: Formal Analysis Using Specification Tools.

André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003