( en | de | ru )

 

Disambiguation of "Avila, Carmen"

Author of the publication

copydeleteadd this publication to your clipboard
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking.

, , and . Software Engineering Research and Practice, page 403-408. CSREA Press, (2008)

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.

Humberto Bergmann Ávila

Juan Gabriel Avila Acevedo

Robert Avila

Alejandro Avila Ferrufino

Sergio Avila

 

Other publications of authors with the same name

A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking., , and . Software Engineering Research and Practice, page 403-408. CSREA Press, (2008)Automating Java Program Testing Using OCL and AspectJ., and . ITNG, page 1020-1025. IEEE Computer Society, (2010)An Aspect-Based Approach to Checking Design Constraints at Run-Time., , , , , , and . ITNG, page 223-228. IEEE Computer Society, (2009)Runtime Constraint Checking Approaches for OCL, A Critical Comparison., , , and . SEKE, page 393-398. Knowledge Systems Institute Graduate School, (2010)Architectures to Implement In-Air Signature Mobile Authentication to Increase the Security of E-Commerce Applications and Opinion of End Users., , , , and . DEIS, volume 194 of Communications in Computer and Information Science, page 478-492. Springer, (2011)A robustness verification system for mobile phone authentication based on gestures using Linear Discriminant Analysis., , , and . NaBIC, page 157-162. IEEE, (2011)Stress detection by means of stress physiological template., , , and . NaBIC, page 131-136. IEEE, (2011)A comparison of the standardized versions of ECIES., , , and . IAS, page 1-4. IEEE, (2010)RBF Neural Networks for Hand-Based Biometric Recognition., and . AVBPA, volume 2091 of Lecture Notes in Computer Science, page 330-335. Springer, (2001)Data-Driven Analysis of Bicycle Sharing Systems as Public Transport Systems Based on a Trip Index Classification., , , , , and . Sensors, 20 (15): 4315 (2020)