Lutess: a specification-driven testing environment for synchronous software
du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.
Published in Proceedings / International Conference on Software Engineering (1999)
Published in Proceedings / International Conference on Software Engineering (1999)
Get full text
Conference Proceeding
Journal Article
Feature interaction detection using a synchronous approach and testing
du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.
Published in Computer networks (Amsterdam, Netherlands : 1999) (01.04.2000)
Published in Computer networks (Amsterdam, Netherlands : 1999) (01.04.2000)
Get full text
Journal Article
Expressing and implementing operational profiles for reactive software validation
du Bousquet, L., Ouabdesselam, F., Richier, J.-L.
Published in Proceedings - International Symposium on Software Reliability Engineering (1998)
Published in Proceedings - International Symposium on Software Reliability Engineering (1998)
Get full text
Conference Proceeding
Journal Article
Active replication in Delta-4
Chereque, M., Powell, D., Reynier, P., Richier, J.-L., Voiron, J.
Published in [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing (1992)
Published in [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing (1992)
Get full text
Conference Proceeding
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study
du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.
Published in Electronic notes in theoretical computer science (29.10.2004)
Published in Electronic notes in theoretical computer science (29.10.2004)
Get full text
Journal Article
Adherence properties of hairy cells
Goasguen, J, Le Prise, P Y, Leblay, R, Richier, J L
Published in Nouvelle revue francaise d'hematologie (1983)
Get more information
Published in Nouvelle revue francaise d'hematologie (1983)
Journal Article
Human epidemic of cow-pox in Britain
LEROY, D, BIZAIS, J, RICHIER-CHEVREL, M E, RICHIER, J L
Published in Bulletin de l'Académie nationale de médecine (04.11.1953)
Get more information
Published in Bulletin de l'Académie nationale de médecine (04.11.1953)
Journal Article
A case of cleido-cranio-pelvic dysostosis; Pierre Maire-Sainton's disease
LEROY, D, GUERNIOU, H, RICHIER-CHEVREL, M E, RICHIER, J L
Published in Bulletin de l'Académie nationale de médecine (06.01.1953)
Get more information
Published in Bulletin de l'Académie nationale de médecine (06.01.1953)
Journal Article
Test generation and execution for security rules in temporal logic
Darmaillacq, V., Richier, J.-L., Groz, R.
Published in 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (01.04.2008)
Published in 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (01.04.2008)
Get full text
Conference Proceeding
Lutess:a specification-driven testing environment for synchronous software
du Bousquet, L, Ouabdesselam, F, Richier, J-L, Zuanon, N
Published in International Conference on Software Engineering: Proceedings of the 21st international conference on Software engineering; 16-22 May 1999 (01.01.1999)
Published in International Conference on Software Engineering: Proceedings of the 21st international conference on Software engineering; 16-22 May 1999 (01.01.1999)
Get full text
Conference Proceeding
Human epidemic of cowpox in Britain
LEROY, D, BIZAIS, J, RICHIER-CHEVREL, M E, RICHIER, J L
Published in Revue de pathologie generale et de physiologie clinique (01.10.1953)
Get more information
Published in Revue de pathologie generale et de physiologie clinique (01.10.1953)
Journal Article