Jean-François Molderez

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Gautier Dallons, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Alvaro Arenas
An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations. SecureComm (2007)
Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van
Early verification and validation of mission critical systems. Formal Methods Syst. Des. 30 (3) (2007)
Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van
Early Verification and Validation of Mission Critical Systems. Electron. Notes Theor. Comput. Sci. 133 (2005)
Jean-François Molderez, Christophe Ponsard
Deriving Acceptance Tests from Goal Requirements. MOZ (2004)
André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van
FAUST: Formal Analysis Using Specification Tools. RE (2003)