César Andrés

43 papers A 2B 4C 7Misc 3Journal 5Unranked 21

Year	Rank	Type	Title / Venue / Authors
2016	C	`conf`	A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory. CRiSIS Rui Abreu, César Andrés, Ana R. Cavalli
2016	J	`jnl`	Formal framework for defining trust in multi-organisation environment. Int. J. Auton. Adapt. Commun. Syst. Khalifa Toumi, César Andrés, Ana R. Cavalli
2014	B	`conf`	How to Evaluate Trust Using MMT. NSS Khalifa Toumi, Wissam Mallouli, Edgardo Montes de Oca, César Andrés, Ana R. Cavalli
2014	J	`jnl`	Validation of a Trust Approach in Multi-Organization Environments. Int. J. Secur. Softw. Eng. Khalifa Toumi, Ana R. Cavalli, César Andrés
2013	J	`jnl`	A formal framework for software product lines. Inf. Softw. Technol. César Andrés, Carlos Camacho, Luis Llana
2013	—	`conf`	Security Properties in Virtual Organizations. HPCC/EUC Khalifa Toumi, César Andrés, Ana R. Cavalli
2013	—	`conf`	Trust Ontology Based on Access Control Parameters in Multi-organization Environments. SITIS Khalifa Toumi, César Andrés, Ana R. Cavalli
2012	C	`conf`	A vector based model approach for defining trust in Multi-Organization Environments. CRiSIS Khalifa Toumi, César Andrés, Ana R. Cavalli, Mazen El Maarabani
2012	C	`conf`	CLAT: Collaborative Learning Adaptive Tutor. SEKE Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana
2012	J	`jnl`	Formal passive testing of timed systems: theory and tools. Softw. Test. Verification Reliab. César Andrés, Mercedes G. Merayo, Manuel Núñez
2012	—	`conf`	How to Reduce the Cost of Passive Testing. HASE César Andrés, Ana R. Cavalli
2012	—	`conf`	MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. ICCCI (1) Alberto Nuñez, César Andrés, Mercedes G. Merayo
2012	—	`conf`	OCE: An Online Colaborative Editor. ICCCI (2) César Andrés, Rui Abreu, Alberto Nuñez
2012	Misc	`conf`	Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. ICCS Alberto Nuñez, César Andrés, Mercedes G. Merayo
2012	—	`conf`	Preventing Attacks by Classifying User Models in a Collaborative Scenario. ICCCI (1) César Andrés, Alberto Nuñez, Manuel Núñez
2012	—	`ed.`	Proceedings 2nd Workshop on Formal Methods in the Development of Software, WS-FMDS 2012, Paris, France, August 28, 2012. WS-FMDS César Andrés, Luis Llana
2012	C	`conf`	Testing Interoperability Security Policies. SEKE Mazen El Maarabani, César Andrés, Ana R. Cavalli
2012	Misc	`conf`	Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. ICISS Khalifa Toumi, César Andrés, Ana R. Cavalli
2011	—	`conf`	Compression Strategies for Passive Testing. ICST Workshops César Andrés, Luis Llana
2011	B	`conf`	Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation César Andrés, Luis Llana, Manuel Núñez
2010	—	`conf`	Formal Passive Testing of Service-Oriented Systems. IEEE SCC César Andrés, María-Emilia Cambronero, Manuel Núñez
2010	—	`conf`	From Data Mining to User Models in Evolutionary Databases. ACIIDS (1) César Andrés, Manuel Núñez, Yaofeng Zhang
2010	—	`conf`	MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. ACIIDS (2) César Andrés, Mercedes G. Merayo, Yaofeng Zhang
2010	C	`conf`	Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE César Andrés, Mercedes G. Merayo, Manuel Núñez
2010	—	`conf`	Passive Testing of Web Services. WS-FM César Andrés, María-Emilia Cambronero, Manuel Núñez
2009	—	`conf`	A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. ICCS (1) César Andrés, Carlos Molinero, Manuel Núñez
2009	—	`conf`	Advantages of Mutation in Passive Testing: An Empirical Study. ICST Workshops César Andrés, Mercedes G. Merayo, Carlos Molinero
2009	C	`conf`	Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez
2009	B	`conf`	Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM César Andrés, Mercedes G. Merayo, Manuel Núñez
2009	—	`conf`	Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. IWANN (1) Carlos Molinero, Manuel Núñez, César Andrés
2009	—	`conf`	Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops César Andrés, Mercedes G. Merayo, Manuel Núñez
2009	—	`conf`	Formal Study of Prioritized Service Compositions. SITIS César Andrés, Gregorio Díaz, Enrique Martínez, Yaofeng Zhang
2009	J	`jnl`	Formally transforming user-model testing problems into implementer-model testing problems and viceversa. J. Log. Algebraic Methods Program. César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez
2009	A	`conf`	Passive Testing of Stochastic Timed Systems. ICST César Andrés, Mercedes G. Merayo, Manuel Núñez
2009	—	`conf`	Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC César Andrés, Mercedes G. Merayo, Manuel Núñez
2009	C	`conf`	Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE César Andrés, Mercedes G. Merayo, Manuel Núñez
2008	—	`conf`	A Formal Methodology to Specify Hierarchical Agent-Based Systems. SITIS César Andrés, Carlos Molinero, Manuel Núñez
2008	—	`conf`	ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS César Andrés, Manuel Núñez
2008	—	`conf`	Formal Development of a Complex Information System. ICONS César Andrés, Mercedes G. Merayo, Manuel Núñez
2008	A	`conf`	Formally Testing Liveness by Means of Compression Rates. PPSN César Andrés, Ismael Rodríguez, Fernando Rubio
2008	—	`conf`	Formally comparing user and implementer model-based testing methods. ICST Workshops César Andrés, Luis Llana, Ismael Rodríguez
2008	B	`conf`	Passive Testing of Timed Systems. ATVA César Andrés, Mercedes G. Merayo, Manuel Núñez
2008	Misc	`conf`	Using formal methods to develop a complex information system: a practical/theoretical experience. SAC César Andrés, Rafael G. Aranda, Manuel Núñez