Saila
Sistemas Informáticos y Computación
Biltzar ekarpenak (45) Ikertzaileren baten partaidetza izan duten argitalpenak
2015
-
6th international workshop on software engineering for E-Learning (ISELEAR15)
ACM International Conference Proceeding Series
-
A formal method for parallel genetic algorithms
Procedia Computer Science
-
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)
-
A liberal type system for functional logic programs
Mathematical Structures in Computer Science
-
A methodology for designing energy-aware systems for computational science
Procedia Computer Science
-
A multi-scale modeling approach for software architecture deployment
Proceedings of the ACM Symposium on Applied Computing
-
A syntax-directed model transformation framework based on attribute grammars
Communications in Computer and Information Science
-
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
-
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
-
Awakening decentralised real-time collaboration: Re-engineering apache wave into a general-purpose federated and collaborative platform
Advances in Intelligent Systems and Computing
-
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)
-
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)
-
Compositional safety verification with Max-SMT
Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015
-
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
-
Designing energy efficient Smart Buildings in ubiquitous environments
International Conference on Intelligent Systems Design and Applications, ISDA
-
Equational abstractions in rewriting logic and Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Extending mCRL2 with ready simulation and iocos input-output conformance simulation
Proceedings of the ACM Symposium on Applied Computing
-
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)
-
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)
-
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)