Sistemas Informáticos y Computación

2015

1. 6th international workshop on software engineering for E-Learning (ISELEAR15)

   ACM International Conference Proceeding Series

2. A formal method for parallel genetic algorithms

   Procedia Computer Science

3. A generic intermediate representation for verification condition generation

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

4. A liberal type system for functional logic programs

   Mathematical Structures in Computer Science

5. A methodology for designing energy-aware systems for computational science

   Procedia Computer Science

6. A multi-scale modeling approach for software architecture deployment

   Proceedings of the ACM Symposium on Applied Computing

7. A syntax-directed model transformation framework based on attribute grammars

   Communications in Computer and Information Science

8. AROSA 2015 Track Report: Adaptive and reconfigurable service-oriented and component-based applications and architectures

   Proceedings - 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2015

9. Analysis process for context aware applications in pervasive environments

   2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015 - Proceedings

10. Awakening decentralised real-time collaboration: Re-engineering apache wave into a general-purpose federated and collaborative platform

    Advances in Intelligent Systems and Computing

11. Checking Java assertions using automated test-case generation

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

12. Complexity of Bradley-Manna-Sipma lexicographic ranking functions

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

13. Compositional safety verification with Max-SMT

    Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015

14. Debugging of wrong and missing answers for datalog programs with constraint handling rules

    Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015

15. Designing energy efficient Smart Buildings in ubiquitous environments

    International Conference on Intelligent Systems Design and Applications, ISDA

16. Equational abstractions in rewriting logic and Maude

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

17. Extending mCRL2 with ready simulation and iocos input-output conformance simulation

    Proceedings of the ACM Symposium on Applied Computing

18. Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

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

19. Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014 Maceió, AL, Brazil, September 29 - October 1, 2014 Proceedings

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

20. Foundations of quantitative predicate abstraction for stability analysis of hybrid systems

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