| 2016 | CRiSIS | A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory. | Rui Abreu, Csar Andrs, Ana R. Cavalli |
| 2014 | NSS | How to Evaluate Trust Using MMT. | Khalifa Toumi, Wissam Mallouli, Edgardo Montes de Oca, Csar Andrs, Ana R. Cavalli |
| 2013 | HPCC | Security Properties in Virtual Organizations. | Khalifa Toumi, Csar Andrs, Ana R. Cavalli |
| 2012 | CRiSIS | A vector based model approach for defining trust in Multi-Organization Environments. | Khalifa Toumi, Csar Andrs, Ana R. Cavalli, Mazen El Maarabani |
| 2012 | ICCCI | OCE: An Online Colaborative Editor. | Csar Andrs, Rui Abreu, Alberto Nuez |
| 2012 | ICCCI | Preventing Attacks by Classifying User Models in a Collaborative Scenario. | Csar Andrs, Alberto Nuez, Manuel Nez |
| 2012 | ICCCI | MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. | Alberto Nuez, Csar Andrs, Mercedes G. Merayo |
| 2012 | ICISS | Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. | Khalifa Toumi, Csar Andrs, Ana R. Cavalli |
| 2012 | SEKE | CLAT: Collaborative Learning Adaptive Tutor. | Alaeddin M. H. Alawawdeh, Csar Andrs, Luis Llana |
| 2012 | SEKE | Testing Interoperability Security Policies. | Mazen El Maarabani, Csar Andrs, Ana R. Cavalli |
| 2011 | CEC | Self-adaptive fuzzy-timed systems. | Csar Andrs, Luis Llana, Manuel Nez |
| 2011 | ICST | Compression Strategies for Passive Testing. | Csar Andrs, Luis Llana |
| 2010 | ACIIDS | MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. | Csar Andrs, Mercedes G. Merayo, Yaofeng Zhang |
| 2010 | ACIIDS | From Data Mining to User Models in Evolutionary Databases. | Csar Andrs, Manuel Nez, Yaofeng Zhang |
| 2010 | SEKE | Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | APSEC | Analysis of the OLSR Protocol by Using Formal Passive Testing. | Csar Andrs, Stphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Nez |
| 2009 | ICCS | A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. | Csar Andrs, Carlos Molinero, Manuel Nez |
| 2009 | ICST | Advantages of Mutation in Passive Testing: An Empirical Study. | Csar Andrs, Mercedes G. Merayo, Carlos Molinero |
| 2009 | ICST | Passive Testing of Stochastic Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | ICST | Formal Correctness of a Passive Testing Approach for Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | IWANN | Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. | Carlos Molinero, Manuel Nez, Csar Andrs |
| 2009 | SEKE | Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | SEFM | Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2008 | ATVA | Passive Testing of Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2008 | ICST | Formally comparing user and implementer model-based testing methods. | Csar Andrs, Luis Llana, Ismael Rodrguez |
| 2008 | PPSN | Formally Testing Liveness by Means of Compression Rates. | Csar Andrs, Ismael Rodrguez, Fernando Rubio |
| 2008 | SAC | Using formal methods to develop a complex information system: a practical/theoretical experience. | Csar Andrs, Rafael G. Aranda, Manuel Nez |