Travelled to:1 × Germany
1 × Italy
1 × Norway
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:P.Poizat S.Conchon A.R.Cavalli L.Bentakouk A.Mebsout H.N.Nguyen E.Bayse D.Declerck C.Besse M.Kim A.Goel S.Krstic A.Mederreg P.Combes W.Monin R.Castanet M.MacKaya P.Laurençot
Talks about:test (6) servic (4) parameter (3) model (3) check (3) base (3) interoper (2) protocol (2) conform (2) system (2)
Person: Fatiha Zaïdi
DBLP: Za=iuml=di:Fatiha
Facilitated 1 volumes:
EdContributed to:
2015
2012
2012
20112009
200920042002
2018Wrote 9 papers:
- FM-2015-ConchonMZ #model checking
- Certificates for Parameterized Model Checking (SC, AM, FZ), pp. 126–142.
- CAV-2012-ConchonGKMZ #model checking #named #parallel #smt
- Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems — Tool Paper (SC, AG, SK, AM, FZ), pp. 718–724.
- SAC-2012-NguyenPZ #consistency #testing
- Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.
- TAP-2011-BentakoukPZ #behaviour #consistency #smt #testing #web #web service
- Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.
- SAC-2009-ZaidiBC #network #protocol #testing
- Network protocol interoperability testing based on contextual signatures and passive testing (FZ, EB, ARC), pp. 2–7.
- TestCom-FATES-2009-BentakoukPZ #distributed #framework #testing
- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems (LB, PP, FZ), pp. 16–32.
- TestCom-2004-CavalliMZCMCML #multi #platform #validation
- A Multi-service and Multi-protocol Validation Platform-Experimentation Results (ARC, AM, FZ, PC, WM, RC, MM, PL), pp. 17–32.
- TestCom-2002-BesseCKZ #automation #generative #testing
- Automated Generation of Interoperability Tests (CB, ARC, MK, FZ), p. 169–?.
- IJCAR-2018-ConchonDZ #memory management #model checking
- Cubicle- W : Parameterized Model Checking on Weak Memory (SC, DD, FZ), pp. 152–160.