( en | de | ru )

 

Disambiguation of "Labiche, Yvan"

Author of the publication

copydeleteadd this publication to your clipboard
Control Flow Analysis of UML 2.0 Sequence Diagrams.

, , and . ECMDA-FA, volume 3748 of Lecture Notes in Computer Science, page 160-174. Springer, (2005)

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.

Yvan Sourgens

Yvan Bronner

Yvan Fischer

Yvan Rivierre

Yvan Royon

 

Other publications of authors with the same name

Automated traceability analysis for UML model refinements, , and . Information and Software Technology, (2008)Context-Based Intrusion Detection Using Snort, Nessus and Bugtraq Databases., , and . PST, (2005)A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts., and . QSIC, page 174-183. IEEE, (2014)Facilitating the transition from use case models to analysis models: Approach and experiments., , and . ACM Trans. Softw. Eng. Methodol., 22 (1): 5:1-5:38 (2013)A systematic review of transformation approaches between user requirements and analysis models., , and . Requir. Eng., 16 (2): 75-99 (2011)Enabling the runtime assertion checking of concurrent contracts for the Java modeling language., , and . ICSE, page 786-795. ACM, (2011)Model-Driven, Network-Context Sensitive Intrusion Detection., , , and . MoDELS, volume 4735 of Lecture Notes in Computer Science, page 61-75. Springer, (2007)A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems., , and . MoDELS, volume 5795 of Lecture Notes in Computer Science, page 47-61. Springer, (2009)A Multi-objective Genetic Algorithm to Rank State-Based Test Cases., , and . SSBSE, volume 8084 of Lecture Notes in Computer Science, page 66-80. Springer, (2013)Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system., , , and . Softw. Test. Verification Reliab., 25 (4): 371-396 (2015)