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
A fatal case of amniotic embolism
DUBOIS, J, RICHIER, J L
Published in Bulletin de la Federation des societes de gynecologie et dobstetrique de langue francaise (01.06.1960)
Get more information
Published in Bulletin de la Federation des societes de gynecologie et dobstetrique de langue francaise (01.06.1960)
Journal Article
Recurrent pneumopathies and Waldenstrom's disease
DANRIGAL, A, RICHIER, J L, CHEVREL, M L, CORMIER, M
Published in Journal francais de medecine et chirurgie thoraciques (01.09.1962)
Get more information
Published in Journal francais de medecine et chirurgie thoraciques (01.09.1962)
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
Strontium 89 injected into the rat
GUELFI, J, CHEVREL, M L, PINCET, J, RICHIER, M E, RICHIER, J L
Published in Journal de radiologie, d'electrologie, et de medecine nucleaire (01.12.1959)
Get more information
Published in Journal de radiologie, d'electrologie, et de medecine nucleaire (01.12.1959)
Journal Article
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