Author of the publication

Discovery of SOA patterns via model checking

, , and . 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting, page 8--14. New York, NY, USA, ACM, (2007)
DOI: 10.1145/1294928.1294931

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.

 

Other publications of authors with the same name

Hourly Global Solar Radiation Reconstruction Applying Machine Learning., , , and . IJCNN, page 1-8. IEEE, (2020)Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques., , , and . IoTBDS, page 499-506. SCITEPRESS, (2020)Real-Time SCADA Attack Detection by Means of Formal Methods., , and . WETICE, page 231-236. IEEE, (2019)Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique., , , and . WETICE, page 249-254. IEEE, (2019)SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications., , , , and . ARES, page 51:1-51:7. ACM, (2021)User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal., , , , , , and . IEEE BigData, page 6232-6234. IEEE, (2019)Evaluating Fuzzy Machine Learning for Smart Grid Instability Detection., , and . FUZZ, page 1-6. IEEE, (2023)Machine learning for coronavirus covid-19 detection from chest x-rays., , , and . KES, volume 176 of Procedia Computer Science, page 2212-2221. Elsevier, (2020)Explainable Deep Learning for Face Mask Detection., , , , and . KES, volume 225 of Procedia Computer Science, page 128-133. Elsevier, (2023)Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment., , , , , , and . KES, volume 192 of Procedia Computer Science, page 2440-2449. Elsevier, (2021)