César Andrés

According to our database, César Andrés authored at least 42 papers between 2008 and 2016.

Collaborative distances:

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

2016

Formal framework for defining trust in multi-organisation environment.

Khalifa Toumi, César Andrés, Ana R. Cavalli

Int. J. Auton. Adapt. Commun. Syst., 2016

A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory.

Rui Abreu, César Andrés, Ana R. Cavalli

Proceedings of the Risks and Security of Internet and Systems, 2016

2014

Validation of a Trust Approach in Multi-Organization Environments.

Khalifa Toumi, Ana R. Cavalli, César Andrés

Int. J. Secur. Softw. Eng., 2014

How to Evaluate Trust Using MMT.

Khalifa Toumi, Wissam Mallouli, Edgardo Montes de Oca, César Andrés, Ana R. Cavalli

Proceedings of the Network and System Security - 8th International Conference, 2014

2013

A formal framework for software product lines.

César Andrés, Carlos Camacho, Luis Llana

Inf. Softw. Technol., 2013

Trust Ontology Based on Access Control Parameters in Multi-organization Environments.

Khalifa Toumi, César Andrés, Ana R. Cavalli

Proceedings of the Ninth International Conference on Signal-Image Technology & Internet-Based Systems, 2013

Security Properties in Virtual Organizations.

Khalifa Toumi, César Andrés, Ana R. Cavalli

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

2012

Formal passive testing of timed systems: theory and tools.

César Andrés, Mercedes G. Merayo, Manuel Núñez

Softw. Test. Verification Reliab., 2012

Optimizing the Trade-offs Between Cost and Performance in Scientific Computing.

Alberto Nuñez, César Andrés, Mercedes G. Merayo

Proceedings of the International Conference on Computational Science, 2012

Testing Interoperability Security Policies.

Mazen El Maarabani, César Andrés, Ana R. Cavalli

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

CLAT: Collaborative Learning Adaptive Tutor.

Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments.

Khalifa Toumi, César Andrés, Ana R. Cavalli

Proceedings of the Information Systems Security, 8th International Conference, 2012

MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing.

Alberto Nuñez, César Andrés, Mercedes G. Merayo

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

Preventing Attacks by Classifying User Models in a Collaborative Scenario.

César Andrés, Alberto Nuñez, Manuel Núñez

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

OCE: An Online Colaborative Editor.

César Andrés, Rui Abreu, Alberto Nuñez

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

How to Reduce the Cost of Passive Testing.

César Andrés, Ana R. Cavalli

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

A vector based model approach for defining trust in Multi-Organization Environments.

Khalifa Toumi, César Andrés, Ana R. Cavalli, Mazen El Maarabani

Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

2011

Compression Strategies for Passive Testing.

César Andrés, Luis Llana

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Self-adaptive fuzzy-timed systems.

César Andrés, Luis Llana, Manuel Núñez

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2010

Passive Testing of Web Services.

César Andrés, María-Emilia Cambronero, Manuel Núñez

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties.

César Andrés, Mercedes G. Merayo, Manuel Núñez

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

From Data Mining to User Models in Evolutionary Databases.

César Andrés, Manuel Núñez, Yaofeng Zhang

Proceedings of the Intelligent Information and Database Systems, 2010

MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning.

César Andrés, Mercedes G. Merayo, Yaofeng Zhang

Proceedings of the Intelligent Information and Database Systems, 2010

Formal Passive Testing of Service-Oriented Systems.

César Andrés, María-Emilia Cambronero, Manuel Núñez

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Formally transforming user-model testing problems into implementer-model testing problems and viceversa.

César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez

J. Log. Algebraic Methods Program., 2009

Formal Study of Prioritized Service Compositions.

César Andrés, Gregorio Díaz, Enrique Martínez, Yaofeng Zhang

Proceedings of the Fifth International Conference on Signal-Image Technology & Internet-Based Systems, 2009

Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems.

César Andrés, Mercedes G. Merayo, Manuel Núñez

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol.

César Andrés, Mercedes G. Merayo, Manuel Núñez

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models.

César Andrés, Mercedes G. Merayo, Manuel Núñez

Proceedings of the Ninth International Conference on Quality Software, 2009

Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences.

Carlos Molinero, Manuel Núñez, César Andrés

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Formal Correctness of a Passive Testing Approach for Timed Systems.

César Andrés, Mercedes G. Merayo, Manuel Núñez

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Passive Testing of Stochastic Timed Systems.

César Andrés, Mercedes G. Merayo, Manuel Núñez

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Advantages of Mutation in Passive Testing: An Empirical Study.

César Andrés, Mercedes G. Merayo, Carlos Molinero

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

A Hierarchical Methodology to Specify and Simulate Complex Computational Systems.

César Andrés, Carlos Molinero, Manuel Núñez

Proceedings of the Computational Science, 2009

Analysis of the OLSR Protocol by Using Formal Passive Testing.

César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

A Formal Methodology to Specify Hierarchical Agent-Based Systems.

César Andrés, Carlos Molinero, Manuel Núñez

Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Using formal methods to develop a complex information system: a practical/theoretical experience.

César Andrés, Rafael G. Aranda, Manuel Núñez

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Formally Testing Liveness by Means of Compression Rates.

César Andrés, Ismael Rodríguez, Fernando Rubio

Proceedings of the Parallel Problem Solving from Nature, 2008

Formally comparing user and implementer model-based testing methods.

César Andrés, Luis Llana, Ismael Rodríguez

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm.

César Andrés, Manuel Núñez

Proceedings of the Third International Conference on Systems, 2008

Formal Development of a Complex Information System.

César Andrés, Mercedes G. Merayo, Manuel Núñez

Proceedings of the Third International Conference on Systems, 2008

Passive Testing of Timed Systems.

César Andrés, Mercedes G. Merayo, Manuel Núñez

Proceedings of the Automated Technology for Verification and Analysis, 2008