FADOSS
Diseño y análisis formal de sistemas de software
Publicacions (677) Publicacions en què ha participat algun/a investigador/a
2024
-
A Comparative Analysis of Time Series Prediction Techniques a Systematic Literature Review (SLR)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A full process algebraic representation of Ant Colony Optimization
Information Sciences, Vol. 658
-
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving
Multimedia Tools and Applications, Vol. 83, Núm. 12, pp. 36865-36898
2023
-
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language
Expert Systems with Applications, Vol. 213
-
Complexity of adaptive testing in scenarios defined extensionally
Frontiers of Computer Science, Vol. 17, Núm. 3
-
Compositional Verification in Rewriting Logic
Theory and Practice of Logic Programming
-
Del conteo al agrupamiento en la numeración: Un paso necesario para aprender la numeración
Uno: Revista de didáctica de las matematicas, Núm. 100, pp. 11-20
-
Fault Diagnosis and Prognosis Modeling Methods in Predictive Maintenance: A Systematic Review
2023 26th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023
-
How to stop undesired propagations by using bi-level genetic algorithms
Applied Soft Computing, Vol. 136
-
InsectDSOT: A Neural Network for Insect Detection in Olive Trees
International Conference on Agents and Artificial Intelligence
-
Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications
Journal of Systems and Software
-
Introduction to the special issue on new trends in autonomous systems engineering
Journal of Supercomputing
-
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 6
-
Prediction in Smart Environments and Administration: Systematic Literature Review
Lecture Notes in Networks and Systems
-
Preface
CEUR Workshop Proceedings
-
QMaude: Quantitative Specification and Verification in Rewriting Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis
CEUR Workshop Proceedings
-
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 188-205
-
Strategies in Conditional Narrowing Modulo SMT Plus Axioms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 1-20
-
Systematic Literature Review of Social Media interactions
International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2023