César Andrés Sánchez

Go to the top[Information]

Researcher (since May, 2009)
Departamento de Sistemas Informáticos y Computación

Facultad de Informática, Despacho 426
Universidad Complutense de Madrid
C/ Prof . José García Santesmases , s/n
28040 Madrid , Spain

Mail: c.andres@fdi.ucm.es
Tel : +34 91-3947633
Fax : +34 91-3947529

Go to the top[Research]

2012

César Andrés,  Ana Cavalli. " How to Reduce the Cost of Passive Testing"  IEEE International Symposium on High-Assurance Systems Engineering 14th ( HASE 2012 ). IEEE Computer Society Press.
bib entry

Khalifa Toumi,  César Andrés,  Ana Cavalli. "  Trust-OrBAC: A Trust Access Control Model in Multi-Organization Environments"  International Conference on Information Systems Security, 8th ( ICISS 2012 ). Lecture Notes in Computer Science.
bib entry

César Andrés, Mercedes G. Merayo,  Manuel Núñez.  " Formal Passive Testing of Timed Systems: Theory and Tools"  Software Testing, Verification & Reliability,. Vol 22, Issue 6, start page 365. DOI: 10.1002/stvr.1464.
bib entry

Alberto Núñez,  César Andrés,  Mercedes G. Merayo. " MAScloud: A framework based on Multi-Agent Systems for optimizing cost in cloud computing"  International Conference on Computational Collective Intelligence Technologies and Applications, 4th ( ICCCI 2012 ). Lecture Notes in Computer Science.
bib entry

César Andrés,  Rui Abreu,  Alberto Núñez. " OCE: An Online Colaborative Editor"  International Conference on Computational Collective Intelligence Technologies and Applications, 4th ( ICCCI 2012 ). Lecture Notes in Computer Science.
bib entry

César Andrés,  Alberto Núñez,  Manuel Núñez. " Preventing attacks by classifying user models in a collaborative scenario"  International Conference on Computational Collective Intelligence Technologies and Applications, 4th ( ICCCI 2012 ). Lecture Notes in Computer Science.
bib entry

Khalifa Toumi,  César Andrés,  Ana Cavalli,  Mazen EL Maarabani. " A Vector Based Model Approach for Defining Trust in Multi-Organization Environments"  International Conference on Risks and Security of Internet and Systems, 7th ( CRISIS 2012 ). IEEE Computer Society Press.
bib entry

Khalifa Toumi,  César Andrés,  Ana Cavalli. " Setting trust evaluations with fuzzy logic in MOE"  Workshop on System Testing And Validation, 9th ( STV 2012 ). IEEE Computer Society Press.
bib entry

Mazen EL Maarabani,  César Andrés,  Ana Cavalli. " Testing Interoperability Security Policies"  International Conference on Software Engineering and Knowledge Engineering, 24th ( SEKE 2012 ). Knowledge Systems Institute Graduate School Press.
bib entry

Alaeddin M.H Alawawdeh,  César Andrés,  Luis Llana. " CLAT: Collaborative Learning Adaptive Tutor"  International Conference on Software Engineering and Knowledge Engineering, 24th ( SEKE 2012 ). Knowledge Systems Institute Graduate School Press.
bib entry

Alberto Núñez,  César Andrés,  Mercedes G. Merayo.  " Optimizing the trade-offs between cost and performance in Scientific Computing"  International Conference on Computational Science, 12th ( ICCS 2012 ) Procedia Computer Science, Vol. 9.
bib entry

2011

César Andrés, Luis Llana,  Manuel Núñez.  " Self-adaptive Fuzzy-Timed Systems"  IEEE Congress on Evolutionary Computation, 13th ( CEC 2011 ). IEEE Computer Society Press.
bib entry

César Andrés, Luis Llana.  " Compression Strategies for Passive Testing"  Workshop on Testing & Debugging, 1st ( TeBug 2011 ). IEEE Computer Society Press.
bib entry

César Andrés, Luis Llana,  Yaofeng Zhang.  " Using formal methods to develop and test a system product line"  International Conference on Data Engineering and Internet Technology, 1st ( DEIT 2011 ). IEEE Computer Society Press.
bib entry

César Andrés, Mercedes G. Merayo,  Manuel Núñez.  " Collective Hierarchical stUdy proceSs"  International Conference on Data Engineering and Internet Technology, 1st ( DEIT 2011 ). IEEE Computer Society Press.
bib entry

2010

Carlos Molinero, César Andrés, Manuel Núñez.  " Chapter: A Formal Methodology to Specify Hierarchical Agent-Based Systems "  at Web-Based Information Technologies and Distributed Systems. Atlantis Press (2010). Pages 22 (93-114). ISBN 978-9078677284.
bib entry

César Andrés,  M. Emilia Cambronero, Manuel Núñez. " Passive Testing of Timed Distributed Systems"  International Workshop on Web Services and Formal Methods, 7th ( WS-FM 2010 ). Lecture Notes in Computer Science 6551.
bib entry

César Andrés,  M. Emilia Cambronero, Manuel Núñez. " Formal Passive Testing of Service-Oriented Systems"  International Conference on Services Computing, 7th ( SCC 2010 ). IEEE Computer Society Press.
bib entry

César Andrés,  Mercedes G. Merayo, Manuel Núñez. " Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties"  International Conference on Software Engineering and Knowledge Engineering, 22nd ( SEKE 2010 ). Knowledge Systems Institute Graduate School Press.
bib entry

César Andrés,  Manuel Núñez, Yaofeng Zhang. " From data mining to user models in evolutionary databases"  Asian Conference on Intelligent Information and Database Systems, 2nd ( ACIIDS 2010 ). Lecture Notes in Artificial Intelligence 5990.
bib entry

César Andrés, Mercedes G. Merayo, Yaofeng Zhang. " MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning"  Asian Conference on Intelligent Information and Database Systems, 2nd ( ACIIDS 2010 ). Lecture Notes in Artificial Intelligence 5991.
bib entry

2009

César Andrés,  Gregorio Díaz,  Enrique Martínez,  Yaofeng Zhang. " Formal Study of Prioritized Service Compositions"  International conference on signal-image technology & internet based systems, 5th ( SITIS 2009 ). IEEE Computer Society Press.
bib entry

César Andrés,  Stéphane Maag,  Ana Cavalli,  Mercedes G. Merayo, Manuel Núñez. " Analysis of the OLSR Protocol by using formal passive testing"  Asia-Pacific Software Engineering, 16th ( APSEC 2009 ). IEEE Computer Society Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol"  Software Engineering and Formal Methods, 7th ( SEFM 2009 ). IEEE Computer Society Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Supporting the extraction of timed properties for passive testing by using probabilistic user models"  International Conference on Quality Software, 9th ( QSIC 2009 ).
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Using a mining frequency patterns model to automate passive testing of real-time systems"  International Conference on Software Engineering and Knowledge Engineering, 21st ( SEKE 2009 ). Knowledge Systems Institute Graduate School Press.
bib entry

César Andrés, Carlos Molinero, Manuel Núñez. " A hierarchical methodology to specify and simulate complex computational systems"  International Conference on Computational Science, 9th ( ICCS 2009 ) Lecture Notes in Computer Science 5544.
bib entry

Carlos Molinero, Manuel Núñez, César Andrés. " Combining Genetic Algorithms and Mutation Testing to generate test sequences"  International Work-Conference on Artificial Neural Networks, 10th ( IWANN 2009 ) Lecture Notes in Computer Science 5517.
bib entry

César Andrés, Mercedes G. Merayo, Carlos Molinero. " Advantages of mutation in passive testing: An empirical study"  Workshop on Mutation Analysis, 4th ( MUTATION 2009 ) IEEE Computer Society Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Formal correctness of a passive testing approach for timed systems"  Workshop on Advances in Model Based Testing, 5th ( A-MOST 2009 ) IEEE Computer Society Press.
bib entry

César Andrés, Luis Llana, Ismael Rodríguez. " Formally transforming user-model testing problems into implementer-model testing problems and viceversa"  Journal of Logic and Algebraic Programming.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Passive testing of Stochastic Timed Systems"  International Conference on Software Testing, Verification, and Validation, 2nd ( ICST 2009 )  IEEE Computer Society Press.
bib entry

2008

César Andrés, Carlos Molinero, Manuel Núñez. " A formal methodology to specify hierarchical agent-based systems"  International conference on signal-image technology & internet-based systems, 4th ( SITIS 2008 )  IEEE Computer Society Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Passive Testing of Timed Systems"  International Symposium on Automated Technology for Verification and Analysis, 6th ( ATVA 2008 ) Lecture Notes in Computer Science 5311.
bib entry | Extended version

César Andrés, Ismael Rodríguez, Fernando Rubio. " Formally Testing Liveness by means of Compression Rates"  International Conference on Parallel Problem Solving from Nature, 10th ( PPSN 2008 ) Lecture Notes in Computer Science 5199.
bib entry

César Andrés, Luis Llana, Ismael Rodríguez. " Formally comparing user and implementer model-based testing methods"  Workshop on Advances in Model Based Testing, 4th ( A-MOST 2008 ) IEEE Computer Society Press.
bib entry

César Andrés, Rafael G. Aranda, Manuel Núñez. " Using Formal Methods to Develop a Complex Information System : A Practical/Theorical Experience"  Annual ACM Symposium on Applied Computing, 23rd ( ACM SAC 2008 ) ACM Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Formal development of a complex information system"  International Conference on Systems, 3rd ( ICONS 2008 ) IEEE Computer Society Press.
bib entry

César Andrés, Manuel Núñez. " ACABARASE : an Anti-spam CAse-BAsed ReAsoning SystEm"  International Conference on Systems, 3rd ( ICONS 2008 ) IEEE Computer Society Press.
bib entry

For copies of these papers, or more information on this page's author, please email me.
Last updated: August 2012.

Go to the top[Teaching]

Academic Year 2012 / 2013
Fundamentos de Programación (1º de Grado). (UCM)
Métodos Formales de Validación de Sistemas (Optativa Grado). (UCM)
Bases de datos y sistemas de información (Optativa Ing Informática). (UCM)
Informática (GMat, GIngMat, GMatEst). (UCM)

Academic Year 2011 / 2012
Tecnología de la Programación (G.I.I Grupos A y B). (UCM)

Academic Year 2010 / 2011
Informática (GMat, GIngMat, GMatEst). (UCM)
Bases de Datos (Postgr. Ing.Matemática). (UCM)

Academic Year 2009 / 2010
Seminario Introducción a la Legislación Española en la Sociedad de la Información (ILESI). (UCM)

Academic Year 2008 / 2009
Data structures. (UCM)

Academic Year 2007 / 2008
Data structures laboratory (Maude). (UCM)

Go to the top[Others]

2nd Workshop on Formal Methods in the Development of Software (WS-FMDS), 2012 (General co-chair)

PYLINT ONLINE CHECKER

1st Workshop on Formal Methods in the Development of Software (WS-FMDS), 2011 (General co-chair)

Research group: Testing and Performance Evaluation

Servidor moodle oficial de la Universidad

Tarot Summer School on Software Testing 2009

PASsive TEsting tool (PASTE)

TeBug 2011

¡CSS Válido! Valid HTML 4.01 Strict