Author of the publication

A Survey on Static Analysis and Model Checking.

, , , and . SOCO-CISIS-ICEUTE, volume 299 of Advances in Intelligent Systems and Computing, page 443-452. Springer, (2014)

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

A Survey on Static Analysis and Model Checking., , , and . SOCO-CISIS-ICEUTE, volume 299 of Advances in Intelligent Systems and Computing, page 443-452. Springer, (2014)Service Authentication via Electronic Identification Cards: VoIP Service Authentication through the DNIe., and . SRII Global Conference, page 602-607. IEEE Computer Society, (2012)Special issue HAIS 2015: Recent advancements in hybrid artificial intelligence systems and its application to real-world problems., , , , , and . Neurocomputing, (2019)Anomaly-based user comments detection in social news websites using troll user comments as normality representation., , , , and . Log. J. IGPL, 24 (6): 883-898 (2016)PUMA: Permission Usage to Detect Malware in Android., , , , , and . CISIS/ICEUTE/SOCO Special Sessions, volume 189 of Advances in Intelligent Systems and Computing, page 289-298. Springer, (2012)A Theoretical Framework for Supporting Clustering Validation via Non-Negative-Matrix-Factorization Trace Sequences Over Probabilistic Spaces., , , and . DASC/PiCom/CBDCom/CyberSciTech, page 1080-1087. IEEE, (2023)Enhancing scalability in anomaly-based email spam filtering., , , , and . CEAS, page 13-22. ACM, (2011)A Comprehensive Interaction Model for ASystems., , and . ISMAR, page 104-107. IEEE Computer Society, (2015)Anomaly Detection for the Prediction of Ultimate Tensile Strength in Iron Casting Production., , , and . DEXA (2), volume 6861 of Lecture Notes in Computer Science, page 519-526. Springer, (2011)Efficient failure-free foundry production., , and . ETFA, page 237-240. IEEE, (2008)