No results founds

2026 (5)

Estivill-Castro, Vladimir; Portela, Manuel; Rubio Serrano, Toni. Agentic workflow for the modelling of daily activity schedules of individual behaviour for the generation of utility consumption at urban scale. Proceedings of the International Conference on Simulation and Modeling Methodologies, Technologies and Applications 2026; 1: 514-523.

Estivill-Castro V.; Nabuuso N.. Efficient Construction of Interpretable Oblique Decision Trees. Communications in Computer and Information Science 2026; 2829: 98-115.

Estivill-Castro V.; Hexel R.. Grammar-Prompted Synthesis of Verification Properties from Natural Language Requirements for Multiple Model Checkers. Dins: Mannion M; Mannisto T; Maciaszek L (eds.). Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering - (Volume 1). . : -; 2026. p. 815-824.

Erdelyi O.; Erdelyi G.; Estivill-Castro V.. On the acceptability of computer tools with randomised decision making. Lecture Notes in Computer Science 2026; 16405 LNCS(0): 1-16.

Rabella N.O.; Estivill-Castro V.; Siddiqui M.S.; Chergui H.. Towards Secure Knowledge Distillation in Edge and Federated AI Systems: A System-Level Perspective. Dins: -. 2026 IEEE 12th International Conference on Network Softwarization (NetSoft). . New York: IEEE; 2026. p. 405-408.

2025 (7)

Portela M.; Castillo C.; Tolan S.; Karimi-Haghighi M.; Pueyo A.A.. A comparative user study of human predictions in algorithm-supported recidivism risk assessment. Artificial Intelligence and Law 2025; : .

López, Daniel; Oliver, Miquel. Bridging the Hype and Reality of Generative AI: Insights from Real-World Enterprise Implementations. ECONSTOR; 2025.

López Fernández, Daniel; Oliver, Miquel. Cinco pasos para fijar una estrategia de innovación. Harvard Deusto Business Research 2025; 80: .

Estivill-Castro V.; Carrillo M.; Rosenblueth D.A.. Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification. Dins: AAVV. In Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering MODELSWARD-Volume 1. . : -; 2025. p. 141-149.

Estivill-Castro V, Carrillo M, Rosenblueth DA. LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems. Dins: AAVV. In Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering MODELSWARD-Volume 1. . : -; 2025. p. 15-26.

López Fernández, Daniel; Oliver Riera, Miquel. Methodology, strategies, and factors for business innovation in large companies. International Journal of Innovation Studies 2025; 9(2): 91-115.

Mitjavila, Berta; Oliver, Miquel. Modelado de la generación fotovoltaica en una comunidad energética. Jornadas de Automática; 2025.

2024 (6)

Estivill-Castro V, Charnejovsky MP, Maccani G. Addressing Challenges and Opportunities in Data Sharing for the Common Good: The Case of Europe's First Data Altruism Organisation. Dins: AA.VV.. 2024 IEEE Smart Cities Futures Summit (SCFC). . : IEEE; 2024. p. 45-49.

Oliver M; Santandreu M; Crispeels T; de Buyser E; Roels T; Domingos H; Portela C; Finotto V; Gualdi L. Fostering a Culture of Entrepreneurship within the EUTOPIA Alliance. EUTOPIA Review; 2024.

Angelopoulos G, Estivill-Castro V. Human-Robot Dialogue that Elicits The Alignment of Moral Principles For Driverless Vehicles. Dins: -. ACM/IEEE International Conference on Human-Robot Interaction. . : -; 2024. p. 196-200.

López, Daniel; Oliver, Miquel. Transformación innovadora: el fin del departamento de innovación tal y como lo conocemos. Harvard-Deusto business review 2024; 347: .

Lusty C.; Estivill-Castro V.; Hexel R.. TTWiFi: Time-Triggered WiFi for Mobile Robotics in Human Environments. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 2024; 527: 14-28.

Escriba G; Pérez D; Vila N; Marín D; Oliver M. Unsupervised Anomaly Detection in Urban Water Networks U sing a Hierarchical Deep Learning Model. Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation 2024; : .

2023 (3)

McColl C.; Estivill-Castro V.; McColl M.; Hexel R.. Decomposable and Executable Models for Verification of Real-Time Systems. Communications in Computer and Information Science 2023; 1708: 135-136.

Lopez D.; Oliver M.. Integrating Innovation into Business Strategy: Perspectives from Innovation Managers. Sustainability (Switzerland) 2023; 15(8): 1-28.