Facultad de Empresa y Comunicación

2009

1. A hierarchical methodology to specify and simulate complex computational systems

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. Advantages of mutation in passive testing: An empirical study

   IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

3. Analysis of the OLSR protocol by using formal passive testing

   Proceedings - Asia-Pacific Software Engineering Conference, APSEC

4. Applying formal passive testing to study temporal properties of the stream control transmission protocol

   SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods

5. Combining genetic algorithms and mutation testing to generate test sequences

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

6. De niña a mujer: los tebeos femeninos durante el primer franquismo (1939-1950)

   Prensa y periodismo especializado IV

7. El método de ensayo y el seminario como alternativas de aprendizaje de los alumnos univeristarios

   Métodos y herramientas innovadoras para potenciar el proceso de aprendizaje del alumno en el EEES

8. Formal correctness of a passive testing approach for timed systems

   IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

9. Improving ontologies through ontology learning: A university case

   2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009

10. La comunicación no convencional en la gestión de los clubes de fútbol

    Actas del I Congreso Internacional Brand Trends: Valencia, del 18 al 20 de febrero de 2009

11. La construcción de enfermedades sexuadas desde la publicidad de fármacos en revistas internacionales de medicina (1975-2005): Un asunto de validez científica

    La cultura en el cuerpo: actas del I Congreso Internacional de Cultura y Género : 11-13 de noviembre de 2009

12. La utilización de los modelos ARIMA en la estimación del precio de acciones: una aplicación preliminar

    Administrando en entornos inciertos = managing in uncertain environment

13. Los blogs de deportes como estrategia empresarial de los medios de comunicación españoles

    Prensa y periodismo especializado IV

14. Next generation mashups: How to create my own services in a convergent world

    IEEE Latin America Transactions

15. Passive testing of stochastic timed systems

    Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009

16. Supporting the extraction of timed properties for passive testing by using probabilistic user models

    Proceedings - International Conference on Quality Software

17. Técnicas innovadoras de aprendizaje basado en competencias: una experiencia en la universidad privada española

    Innovación educativa para la educación superior: hacia el proceso de la convergencia

18. Using a mining frequency patterns model to automate passive testing of real-time systems

    Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009

19. Work in progress - Closing the loop between simulation and optimization in engineering H management education

    Proceedings - Frontiers in Education Conference, FIE

20. Work in progress - Issues adopting the "bologna Process" student-Centric methodologies in high enrollment core subjects

    Proceedings - Frontiers in Education Conference, FIE