( en | de | ru )

 

Disambiguation of "Chalin, Patrice"

Author of the publication

copydeleteadd this publication to your clipboard
Enhancing spark's contract checking facilities using symbolic execution.

, , , , , and . SIGAda, page 47-60. ACM, (2011)

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.

Patrice Mbaya

Patrice Urayeneza

Patrice Malonga

Patrice Millet

Patrice Mandeng

 

Other publications of authors with the same name

An integrated verification environment for JML: architecture and early results., , and . SAVCBS, page 47-53. ACM, (2007)Non-null references by default in the Java modeling language., and . SAVCBS@ESEC/FSE, page 9. ACM, (2005)A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.. ICSE, page 23-33. IEEE Computer Society, (2007)Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution., , , , , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 58-72. Springer, (2011)Requirements specification for apps in medical application platforms., , , and . SEHC@ICSE, page 26-32. IEEE Computer Society, (2012)LTS semantics for use case models., , and . SAC, page 365-370. ACM, (2009)The KOA Remote Voting System: A Summary of Work to Date., , , , , , and . TGC, volume 4661 of Lecture Notes in Computer Science, page 244-262. Springer, (2006)JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity., and . FM, volume 5014 of Lecture Notes in Computer Science, page 246-261. Springer, (2008)Towards a Common Semantic Foundation for Use Cases and Task Models., , and . FMIS@ICFEM, volume 183 of Electronic Notes in Theoretical Computer Science, page 73-88. Elsevier, (2006)JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML., , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 70-83. Springer, (2008)