PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Oriat, Catherine"

Author of the publication

copydeleteadd this publication to your clipboard
Service specification and validation in the context of the home.

, , , , and . ICFI, page 207-219. IOS Press, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Oriat, Catherine
add a person with the name Oriat, Catherine
 

Other publications of authors with the same name

Model Inference and Testing., , and . Advances in Computers, (2013)Revisiting AI and testing methods to infer FSM models of black-box systems., , , and . AST@ICSE, page 16-19. ACM, (2018)Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing., , and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 444-457. Springer, (2012)Inferring Finite State Machines Without Reset Using State Identification Sequences., , , and . ICTSS, volume 9447 of Lecture Notes in Computer Science, page 161-177. Springer, (2015)Detecting equivalence of modular specifications with categorical diagrams.. Theor. Comput. Sci., 247 (1-2): 141-190 (2000)Service specification and validation in the context of the home., , , , and . ICFI, page 207-219. IOS Press, (2009)Inferring Approximated Models for Systems Engineering., , , , and . HASE, page 249-253. IEEE Computer Society, (2014)Formal Testing of Multimodal Interactive Systems., , , , and . EHCI/DS-VIS, volume 4940 of Lecture Notes in Computer Science, page 36-52. Springer, (2007)Improving Model Inference of Black Box Components having Large Input Test Set., , and . ICGI, volume 21 of JMLR Proceedings, page 133-138. JMLR.org, (2012)Detecting Isomorphisms of Modular Specifications with Diagrams.. AMAST, volume 936 of Lecture Notes in Computer Science, page 184-198. Springer, (1995)