Aportaciones congreso (22) Publicaciones en las que ha participado algún/a investigador/a

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