Listar por autor "4fdb2b2d78ea94c4088771d8dea5d1fb"
Mostrando ítems 1-20 de 32
-
Advantages of Arrowhead Framework for the Machine Tooling Industry
Aldalur, Iñigo; Illarramendi, Miren; Larrinaga, Felix; Perez Lazare, Jose María (IEEE, 2020)Immersed in the digital era and fully experiencing the changes introduced by the new industrial revolution of the so-called Industry 4.0, there are still many aspects of industrial digitization to resolve. Interoperability ... -
An experience in the implementation of the flipped classroom instructional model in the computer science degree
Aldalur, Iñigo; Markiegi, Urtzi; Iturbe, Mikel; Roman Txopitea, Ibai; Illarramendi, Miren (Wiley, 2023)In recent years, education has undergone a profound transformation process, having gone from relying only on the traditional lecture to making full use of digital formats. This gradual process, accelerated by the COVID-19 ... -
Analysis of technological architectures for the new paradigm of the industry 4.0
Larrinaga, Felix; Aldalur, Iñigo; Illarramendi, Miren; Iturbe, Mikel; Perez Lazare, Jose María (DYNA Publishing, 2019)The present work defines an interoperable and scalable architecture that will allow the servitization of the machine tool sector. ICT and the Internet of Things make possible to interconnect different devices and controllers, ... -
Bokazio zientifikoak sustatzeko laborategia
Anaya Rodríguez, Maite; Iriondo, Jaione; Illarramendi, Miren (ETB - Elhuyar, 2020)Zientzia eta teknologia alorreko ogibideetan berrikuntza eta ideia berriak izatea ezinbestekoa da. Azken urteetan, alor honetako lanbideen eskaera nabarmen handitu da. Era berean ordea, gazteentzat, batik bat, emakumeentzat, ... -
Collective experience of application of an inverted classroom in the computer science degree program
Aldalur, Iñigo; Illarramendi, Miren; Iturbe, Mikel; Roman Txopitea, Ibai; Markiegi, Urtzi (SEFI, 2021)In the last years, higher education is immersed in the transformation of the teaching experience with the aim of involving students more, as well as motivating them. Nowadays, students are very familiarized with new ... -
CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker
Illarramendi, Miren; Etxeberria, Leire; Larrinaga, Felix; Sagardui, Goiuria (IEEE, 2020)Software Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ... -
Digital safety manager: IoT service to assure the safe behaviour of machines and controls in the digital industry
Illarramendi, Miren; Iriarte, Asier; Arrieta, Aitor; Sagardui, Goiuria; Larrinaga, Felix (Dyna, 2022)The digital industry requires increasingly complex and reliable software systems. They need to control and make decisions at runtime, and that decision making can become very critical. As a consequence, the verification ... -
E-Learning Experience with Flipped Classroom Quizzes Using Kahoot, Moodle and Google Forms: A Comparative Study
Aldalur, Iñigo; Markiegi, Urtzi; VALENCIA PARAFITA, XABIER; Cuenca, Javier; Illarramendi, Miren (ACM, 2023)In recent years, the use of technology is gaining weight in higher education. Today’s students are digital natives and e-Learning is common for them. Furthermore, they find traditional teaching methods tedious. In order ... -
Enhancing multi-objective test case selection through the mutation operator
Ugarte Querejeta, Miriam; Valle Entrena, Pablo; Illarramendi, Miren; Arrieta, Aitor (Springer Nature, 2025)Test case selection has been a widely investigated technique to increase the cost-effectiveness of software testing. Because the search space in this problem is huge, search-based approaches have been found effective, where ... -
Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen duten UML Egoera Makinak
Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier; Sagardui, Goiuria (UEU, 2019)In current industrial environments, the software of embedded systems have to cope with the increasing complexity and robustness requirements at runtime. One way to manage these requirements is having the software component’s ... -
Experiencia colectiva de aplicación de la clase invertida en el grado de informática
Aldalur, Iñigo; Illarramendi, Miren; Iturbe, Mikel; Markiegi, Urtzi; Roman Txopitea, Ibai (2021)As information consumption habits change, higher education is facing the challenge of transforming the teaching experience in order to maximize student involvement and motivation. This transformation, based on multimedia ... -
How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators
Arrieta, Aitor; Valle Entrena, Pablo; Iriarte, Asier; Illarramendi, Miren (IEEE, 2023)Cyber-Physical Systems (CPSs) combine digital cyber technologies with physical processes. As in any other software system, in the case of CPSs, the use of Artificial Intelligence (AI) techniques in general, and Deep Neural ... -
Implantación colectiva de la clase invertida en el grado de informática
Aldalur, Iñigo; Illarramendi, Miren; Iturbe, Mikel; Markiegi, Urtzi; Roman Txopitea, Ibai (AENUI, 2022)La educación ha sufrido una gran transformación en las últimas décadas. El alumnado de hoy en día está formado por nativos digitales y la educación tradicional les parece aburrida. Por este motivo, los docentes tratan de ... -
Implementation of a holistic digital twin solution for design prototyping and virtual commissioning
Ugarte Querejeta, Miriam; Illarramendi, Miren (IET, 2022)Industry 4.0 has ushered in a new era of digital manufacturing and in this context, digital twins are considered as the next wave of simulation technologies. The development and commissioning of Cyber Physical Systems (CPS) ... -
Increasing dependability in Safety Critical CPSs using Reflective Statecharts
Illarramendi, Miren; Elkorobarrutia, Xabier; Etxeberria, Leire; Sagardui, Goiuria (Springer, 2017)Dependability is crucial in Safety Critical Cyber Physical Systems (CPS). In spite of the research carried out in recent years, implementation and certification of such systems remain costly and time consuming. In this ... -
Jone Proba 1
Arroitajauregi Aranburu, Jone; Illarramendi, Miren (2026) -
MAWA: Enhancing mobile web browsing through web augmentation for improved user experience
Aldalur, Iñigo; Perez Riaño, Alain; Larrinaga, Felix; Illarramendi, Miren (Elsevier, 2024)In recent years, mobile devices have witnessed an exceptional surge in web browsing, emerging as the primary information source. Developers, however, struggle to cater to every user’s needs, compelling users to customize ... -
MDE based IoT Service to enhance the safety of controllers at runtime
Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier; Perez Lazare, Jose María; Larrinaga, Felix; Sagardui, Goiuria (Aachen University, 2019)One of the challenges for complex IoT software systems is toincrease their safety. A Model Driven Development approach helps in the design and development phase of these systems while runtime checkin gtechniques help to ... -
Methodology and toolset for testing highly reconfigurable programmable logic controllers
Ugarte Querejeta, Miriam (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2023)The manufacturing industry has entered a new era of highly changeable customer requirements and tailor-made products. To meet market demands, manufacturing systems need to be redefined to be able to cost-effectively produce ... -
A methodology for model-based verification of safety contracts and performance requirements
Illarramendi, Miren; Etxeberria, Leire (SAGE, 2018)The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software ...
