Fachbereich
Sistemas Informáticos y Computación
Publikationen (69) Publikationen, an denen Forscher/innen teilgenommen haben
2018
-
MoDeVVa 2018 15
th
workshop on model-driven engineering, verification and validation
CEUR Workshop Proceedings
-
9th International Workshop on Software Engineering for E-learning (ISELEAR'18)
ACM International Conference Proceeding Series
-
A comparative study of methods for collective prediction determination using interval estimates
ACM International Conference Proceeding Series
-
A decision approach for energy distribution management in smart cities
Proceedings of the ACM Symposium on Applied Computing
-
A language-independent technique for assessing tweet success: An experience report
IEEE Access, Vol. 6, pp. 62384-62395
-
A methodology for model-based verification of safety contracts and performance requirements
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247
-
A novel adaptation approach for collaborative ubiquitous applications
International Journal of Autonomous and Adaptive Communications Systems, Vol. 11, Núm. 4, pp. 293-314
-
A systematic approach for performance assessment using process mining: An industrial experience report
Empirical Software Engineering, Vol. 23, Núm. 6, pp. 3394-3441
-
A tool for domain-independent model mutation
Science of Computer Programming, Vol. 163, pp. 85-92
-
A tool for the digital edition of interactive fiction using stretchtext.
Information Visualisation - Biomedical Visualization, Visualisation on Built and Rural Environments and Geometric Modelling and Imaging, IV 2018
-
A tool supported methodology to passively test asynchronous systems with multiple users
Information and Software Technology, Vol. 104, pp. 162-178
-
A tool-supported framework for work planning on construction sites based on constraint programming
Automation in Construction, Vol. 86, pp. 190-198
-
AUNTY: A tool to automatically analyze data using fuzzy automata
Proceedings - 3rd International Conference on Computational Intelligence and Applications, ICCIA 2018
-
Adaptive and reconfigurable systems and architectures (AROSA 2018): Summary report
Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018
-
An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
An axiomatic semantics for iocos_ conformance relation
Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184
-
An efficient characterization of petri net solvable binary words
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Associative unification and symbolic reasoning modulo associativity in maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Averist: Algorithmic verifier for stability of linear hybrid systems
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
-
Bounded Reordering in the Distributed Test Architecture
IEEE Transactions on Reliability, Vol. 67, Núm. 2, pp. 522-537