Miguel A. Garzón

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 4

Top Topics

High Confidence

Probability Measures

Top Venues

Sci. Comput. Program.

Publications

Ahmed Haj Abdel Khaleq, Miguel A. Garzón
Improving Malicious PDF Detection with a Robust Stacking Ensemble Approach. PST (2023)
Timothy C. Lethbridge, Andrew Forward, Omar Badreddin, Dusan Brestovansky, Miguel A. Garzón, Hamoud Aljamaan, Sultan Eid, Ahmed Husseini Orabi, Mahmoud Husseini Orabi, Vahdat Abdelzad, Opeyemi Adesina, Aliaa Alghamdi, Abdulaziz Algablan, Amid Zakariapour
Umple: Model-driven development for open source and education. Sci. Comput. Program. 208 (2021)
Alvine Boaye Belle, Timothy C. Lethbridge, Sègla Kpodjedo, Opeyemi O. Adesina, Miguel A. Garzón
A Novel Approach to Measure Confidence and Uncertainty in Assurance Cases. RE Workshops (2019)
Hamoud Aljamaan, Timothy C. Lethbridge, Miguel A. Garzón
MOTL: a textual language for trace specification of state machines and associations. CASCON (2015)
Miguel A. Garzón, Timothy C. Lethbridge, Hamoud Aljamaan, Omar Badreddin
Reverse engineering of object-oriented code into Umple using an incremental and rule-based approach. CASCON (2014)