Jordi Planes

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 34

Top Topics

Malware Detection

Top Venues

Publications

Daniel Gibert, Luca Demetrio, Giulio Zizzo, Quan Le, Jordi Planes, Battista Biggio
Certified Adversarial Robustness of Machine Learning-based Malware Detectors via (De)Randomized Smoothing. CoRR (2024)
Daniel Gibert, Giulio Zizzo, Quan Le, Jordi Planes
A Robust Defense against Adversarial Attacks on Deep Learning-based Malware Detectors via (De)Randomized Smoothing. CoRR (2024)
Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. CoRR (2024)
Ramón Béjar, António Morgado, Jordi Planes, João Marques-Silva
On Logic-Based Explainability with Partially Specified Inputs. CoRR (2023)
Daniel Gibert, Jordi Planes, Quan Le, Giulio Zizzo
Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks. CoRR (2023)
Daniel Gibert, Jordi Planes, Quan Le, Giulio Zizzo
A Wolf in Sheep's Clothing: Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks. EuroS&P Workshops (2023)
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
Feature Necessity & Relevancy in ML Classifier Explanations. TACAS (1) (2023)
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
Feature Necessity & Relevancy in ML Classifier Explanations. CoRR (2022)
Daniel Gibert, Matt Fredrikson, Carles Mateu, Jordi Planes, Quan Le
Enhancing the insertion of NOP instructions to obfuscate malware via deep reinforcement learning. Comput. Secur. 113 (2022)
Daniel Gibert, Jordi Planes, Carles Mateu, Quan Le
Fusing feature engineering and deep learning: A case study for malware classification. Expert Syst. Appl. 207 (2022)
Daniel Gibert, Carles Mateu, Jordi Planes, Quan Le
Fusing Feature Engineering and Deep Learning: A Case Study for Malware Classification. CoRR (2022)
Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes
Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Daniel Gibert, Matt Fredrikson, Carles Mateu, Jordi Planes, Quan Le
Enhancing the Insertion of NOP Instructions to Obfuscate Malware via Deep Reinforcement Learning. CoRR (2021)
Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes, Nil Torrent
Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis. CCIA (2021)
Daniel Gibert, Carles Mateu, Jordi Planes, João Marques-Silva
Auditing static machine learning anti-Malware tools against metamorphic attacks. Comput. Secur. 102 (2021)
Ian Palacín, Daniel Gibert, Jordi Planes, Simone Arena, Pier Francesco Orrù, Maurizio Melis, Marco Annis
Anomaly Detection for Diagnosing Failures in a Centrifugal Compressor Train. CCIA (2021)
Daniel Gibert, Carles Mateu, Jordi Planes
HYDRA: A multimodal deep learning framework for malware classification. Comput. Secur. 95 (2020)
Daniel Gibert, Carles Mateu, Jordi Planes
Orthrus: A Bimodal Learning Architecture for Malware Classification. IJCNN (2020)
Daniel Gibert, Carles Mateu, Jordi Planes
The rise of machine learning for detection and classification of malware: Research developments, trends and challenges. J. Netw. Comput. Appl. 153 (2020)
Daniel Gibert, Carles Mateu, Jordi Planes
A Hierarchical Convolutional Neural Network for Malware Classification. IJCNN (2019)
Daniel Gibert, Carles Mateu, Jordi Planes, Ramon Vicens
Using convolutional neural networks for classification of malware represented as images. J. Comput. Virol. Hacking Tech. 15 (1) (2019)
Daniel Gibert, Alba Lamas, Ruben Martins, Carles Mateu, Jordi Planes
An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks. CCIA (2019)
Daniel Gibert, Carles Mateu, Jordi Planes, Ramon Vicens
Classification of Malware by Using Structural Entropy on Convolutional Neural Networks. AAAI (2018)
Daniel Gibert, Carles Mateu, Jordi Planes
An End-to-End Deep Learning Architecture for Classification of Malware's Binary Content. ICANN (3) (2018)
Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships. Pattern Recognit. Lett. 105 (2018)
Teresa Alsinet, Josep Argelich, Ramón Béjar, Jordi Planes, Joel Cemeli, Cristian Sanahuja
A Distributed Approach for the Analysis of Discussions in Twitter. SocInf@IJCAI (2017)
Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
Weighted argumentation for analysis of discussions in Twitter. Int. J. Approx. Reason. 85 (2017)
Daniel Gibert, Javier Béjar, Carles Mateu, Jordi Planes, Daniel Solis, Ramon Vicens
Convolutional Neural Networks for Classification of Malware Assembly Code. CCIA (2017)
Eloi Gabaldon, Sergi Vila, Fernando Guirado, Josep L. Lérida, Jordi Planes
Energy efficient scheduling on heterogeneous federated clusters using a fuzzy multi-objective meta-heuristic. FUZZ-IEEE (2017)
Eloi Gabaldon, Josep Lluís Lérida, Fernando Guirado, Jordi Planes
Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments. J. Supercomput. 73 (1) (2017)
Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
Support Analysis of Weighted Discussions in Twitter. CCIA (2016)
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
Maximal falsifiability. AI Commun. 29 (2) (2016)
Eloi Gabaldon, Fernando Guirado, Josep Lluís Lérida, Jordi Planes
Particle Swarm Optimization Scheduling for Energy Saving in Cluster Computing Heterogeneous Environments. FiCloud Workshops (2016)
Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes. Ann. Math. Artif. Intell. 77 (1-2) (2016)
Eloi Gabaldon, Josep L. Lérida, Fernando Guirado, Jordi Planes
Multi-criteria genetic algorithm applied to scheduling in multi-cluster environments Open. J. Simulation 9 (4) (2015)
Eloi Gabaldon, Josep L. Lérida, Fernando Guirado, Jordi Planes
Slowdown-Guided Genetic Algorithm for Job Scheduling in Federated Environments. ICTCC (2014)
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
Maximal Falsifiability - Definitions, Algorithms, and Applications. LPAR (2013)
António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva
Iterative and core-guided MaxSAT solving: A survey and assessment. Constraints An Int. J. 18 (4) (2013)
Federico Heras, António Morgado, Jordi Planes, João P. Marques Silva
Iterative SAT Solving for Minimum Satisfiability. ICTAI (2012)
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
Analyzing the Instances of the MaxSAT Evaluation. SAT (2011)
Chu Min Li, Felip Manyà, Jordi Planes
New Inference Rules for Max-SAT CoRR (2011)
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
Experimenting with the Instances of the MaxSAT Evaluation. CCIA (2011)
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
Resolution-based lower bounds in MaxSAT. Constraints An Int. J. 15 (4) (2010)
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
Exploiting Cycle Structures in Max-SAT. SAT (2009)
Ramón Béjar, Alba Cabiscol, Felip Manyà, Jordi Planes
Generating Hard Instances for MaxSAT. ISMVL (2009)
Teresa Alsinet, David Barroso, Ramón Béjar, Jordi Planes
A Formal Model of Competence-Based Assessment. CCIA (2009)
Vasco M. Manquinho, João P. Marques Silva, Jordi Planes
Algorithms for Weighted Boolean Optimization CoRR (2009)
Vasco M. Manquinho, João P. Marques Silva, Jordi Planes
Algorithms for Weighted Boolean Optimization. SAT (2009)
Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva
A MAX-SAT Algorithm Portfolio. ECAI (2008)
Teresa Alsinet, Felip Manyà, Jordi Planes
An efficient solver for weighted Max-SAT. J. Glob. Optim. 41 (1) (2008)
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. CP (2008)
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
The First and Second Max-SAT Evaluations. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
João Marques-Silva, Jordi Planes
Algorithms for Maximum Satisfiability using Unsatisfiable Cores. DATE (2008)
João Marques-Silva, Jordi Planes
On Using Unsatisfiability for Solving Maximum Satisfiability CoRR (2007)
Chu Min Li, Felip Manyà, Jordi Planes
New Inference Rules for Max-SAT. J. Artif. Intell. Res. 30 (2007)
Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes
Towards Solving Many-Valued MaxSAT. ISMVL (2006)
Chu Min Li, Felip Manyà, Jordi Planes
Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. AAAI (2006)
Chu Min Li, Felip Manyà, Jordi Planes
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. CP (2005)
Teresa Alsinet, Felip Manyà, Jordi Planes
Improved Exact Solvers for Weighted Max-SAT. SAT (2005)
Teresa Alsinet, Felip Manyà, Jordi Planes
A Max-SAT Solver with Lazy Data Structures. IBERAMIA (2004)
Jordi Planes
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. CP (2003)
Jordi Castellà-Roca, Josep Domingo-Ferrer, Jordi Herrera-Joancomartí, Jordi Planes
A Performance Comparison of Java Cards for Micropayment Implementation. CARDIS (2000)