Sistemas Informáticos y Computación

2016

1. 7th International Workshop on Software Engineering for E-learning (ISELEAR’16)

   Proceedings, TEEM '16

2. 7th International workshop on software engineering for elearning (ISELEAR'16)

   ACM International Conference Proceeding Series

3. A bigraphical modeling methodology for multi-scale reconfigurable systems

   Proceedings - 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016

4. A formal passive testing approach to control the integrity of private information in eHealth systems

   Studies in Computational Intelligence

5. A proposal to measure the quality of virtual teaching

   Proceedings, TEEM '16

6. A systematic approach for performance evaluation using process mining: The POSIDONIA operations case study

   QUDOS 2016 - Proceedings of the 2nd International Workshop on Quality-Aware DevOps, co-located with ISSTA 2016

7. A web tool for assessment of the quality of digital educational materials

   2016 International Symposium on Computers in Education, SIIE 2016: Learning Analytics Technologies

8. An adaptation approach for smart buildings

   Proceedings - 18th IEEE International Conference on High Performance Computing and Communications, 14th IEEE International Conference on Smart City and 2nd IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2016

9. An algorithmic approach to global asymptotic stability verification of hybrid systems

   Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016

10. An overview of a decision approach for autonomic applications architectural adaptation

    Proceedings - 18th IEEE International Conference on High Performance Computing and Communications, 14th IEEE International Conference on Smart City and 2nd IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2016

11. Aprender haciendo. Una experiencia en la enseñanza de Ingeniería de Software

    Actas del Congreso Virtual: Avances en Tecnologías, Innovación y Desafíos de la Educación Superior ATIDES 2016

12. Assessing metaheuristics by means of random benchmarks

    Procedia Computer Science

13. Attack simulation based software protection assessment method

    2016 International Conference on Cyber Security and Protection of Digital Services, Cyber Security 2016

14. Automatic media planning: Optimal advertisement placement problems

    2016 IEEE Congress on Evolutionary Computation, CEC 2016

15. Branching bisimulation games

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

16. Built-in variant generation and unification, and their applications in Maude 2.7

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

17. Cafeinmaude: A cafeOBJ interpreter in maude

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

18. Combining static analysis and testing for deadlock detection

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

19. Controllability through nondeterminism in distributed testing

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

20. Counterexample guided abstraction refinement for stability analysis

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