Ismael Torres Boigues

According to our database, Ismael Torres Boigues authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Runtime security monitoring by an interplay between rule matching and deep learning-based anomaly detection on logs.

Jan Antic, João Pita Costa, Ales Cernivec, Matija Cankar, Tomaz Martincic, Aljaz Potocnik, Gorka Benguria Elguezabal, Nelly Leligou, Ismael Torres Boigues

Proceedings of the 19th International Conference on the Design of Reliable Communication Networks, 2023

2020

Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation.

Fernando Pastor Ricós, Pekka Aho, Tanja E. J. Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020