Christophe Ponsard

Reconciling system requirements and runtime behavior

Martin S. Feather, Stephen Fickas, Axel van Lamsweerde et al. · International Workshop on Software Specification and Design · 1998 · 180 citations

Software Maintenance, Engineering, Requirement Modeling +22

Reconciling system requirements and runtime behavior

Martin S. Feather, Stephen Fickas, Axel van Lamsweerde et al. · 2002 · 107 citations

Software Maintenance, Engineering, Requirement Modeling +22

A Monitoring and Audit Logging Architecture for Data Location Compliance in Federated Cloud Infrastructures

Philippe Massonet, Syed Naqvi, Christophe Ponsard et al. · 2011 · 86 citations

Service Provider, Federated Cloud Infrastructures, Engineering +21

Early verification and validation of mission critical systems

Christophe Ponsard, Philippe Massonet, J.-F. Molderez et al. · Formal Methods in System Design · 2006 · 48 citations

Safety-critical System, Engineering, Software Testing +6

Early Verification and Validation of Mission Critical Systems

Christophe Ponsard, Philippe Massonet, André Rifaut et al. · Electronic Notes in Theoretical Computer Science · 2005 · 38 citations · Full text

Engineering, Requirement Modeling, Verification +22