by Cachera, D., Balen, F., Charpentier, S.
Published in Annales françaises de médecine d'urgence (01.09.2019)

by Cachera, D., Garnier, S., Pignal, C.
Published in Annales françaises de médecine d'urgence (01.07.2017)

by Cachera, David, Jensen, Thomas, Pichardie, David, Rusu, Vlad
Published in Theoretical computer science (01.01.2005)

by Cachera, D., Morin-Allory, K.
Published in First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings (2003)

by Cachera, D., Risset, T.
Published in Proceedings IEEE International Conference on Application- Specific Systems, Architectures, and Processors (2002)

by Bouge, L., Cachera, D.
Published in Proceedings IEEE International Conference on Application-Specific Systems, Architectures and Processors (1997)

by Cachera, David, Jensen, Thomas, Pichardie, David, Schneider, Gerardo
Published in FM 2005: Formal Methods (2005)

by Morin-Allory, Katell, Cachera, David
Published in Correct Hardware Design and Verification Methods (01.01.2005)

by Bougé, Luc, Cachera, David, Le Guyadec, Yann, Utard, Gil, Virot, Bernard
Published in Theoretical computer science (15.12.1997)

by Bouge, L., Cachera, D.
Published in Programming Models for Massively Parallel Computers (1995)

by Cachera, D., Quinton, P., Rajopadhye, S., Risset, T.
Published in Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001 (2001)