- document
-
Eekhout, I. (author), van Buuren, S. (author), Visser, B. (author), Bink, M.C.A.M. (author), Huisman, A. (author)Intensive longitudinal data can be used to explore important associations and patterns between various types of inputs and outcomes. Nonlinear relations and irregular measurement occasions can pose problems to develop an accurate model for these kinds of data. This paper focuses on the development, fitting and evaluation of a prediction model...article 2023
- document
-
Hendriks, D. (author), van der Meer, A. (author), Oortwijn, W. (author)Software-intensive systems constantly evolve. To prevent software changes from unintentionally introducing costly system defects, it is important to understand their impact to reduce risk. However, it is in practice nearly impossible to foresee the full impact of software changes when dealing with huge industrial systems with many configurations...conference paper 2022
- document
-
Bearfield, G. (author), van Gulijk, C. (author), Thomas, R. (author)Safety critical functions of the engineered railway need to perform at levels of integrity that are so high that an acceptable failure rate cannot be demonstrated through testing alone. Where such functions need to be implemented in complex programmable electronic systems certain design, build and test requirements are defined in technical...article 2022
- document
-
Adhikari, A. (author), Wenink, E. (author), van der Waa, J.S. (author), Bouter, C.A. (author), Tolios, I. (author), Raaijmakers, S.A. (author)Several useful taxonomies have been published that survey the eXplainable AI (XAI) research field. However, these taxonomies typically do not show the relation between XAI solutions and several use case aspects, such as the explanation goal or the task context. In order to better connect the field of XAI research with concrete use cases and user...conference paper 2022
- document
-
Hooimeijer, B. (author), Geilen, M. (author), Groote, J. (author), Hendriks, D. (author), Schiffelers, R. (author)Model learning, learning a state machine from software, can be an effective model-based engineering technique, especially to understand legacy software. However, so far the applicability is limited as models that can be learned are quite small, often insufficient to represent the software behavior of large industrial systems. We introduce a...conference paper 2022
- document
-
van Gulijk, C. (author), Zaitseva, E. (author)Computational intelligence is rapidly becoming an essential part of reliability engineering. This book offers a wide spectrum of viewpoints on the merger of technologies. Leading scientists share their insights and progress on reliability engineering techniques, suitable mathematical methods, and practical applications. Thought-provoking ideas...book 2021
- document
-
van Gulijk, C. (author)This work puts Computational Intelligence in Reliability Engineering in perspective within the larger framework of digitalization and business. The approach is to consider RECI solutions as business solutions in a wider enterprise architecture environment. Using that as a starting point four key components are discussed for successful...bookPart 2021
- document
- den Boef, P. (author), Cox, P.B. (author), Tóth, R. (author) conference paper 2021
- document
-
Albers, T. (author), Lazovik, E. (author), Yousefi, M.H.N. (author), Lazovik, A. (author)Distributed data processing systems have become the standard means for big data analytics. These systems are based on processing pipelines where operations on data are performed in a chain of consecutive steps. Normally, the operations performed by these pipelines are set at design time, and any changes to their functionality require the...article 2021
- document
- Hendriks, T. (author) conference paper 2021
- document
-
van Gulijk, C. (author), Zaitseva, E. (author)[No abstract available]bookPart 2021
- document
-
Regeer, H. (author), Nieuwenhuijse, E.A. (author), Vos, R.C. (author), Kiefte-de Jong, J.C. (author), van Empelen, P. (author), de Koning, E.J.P. (author), Bilo, H.J.G. (author), Huisman, S.D. (author)Aims: To investigate changes in physical activity (PA) and psychological factors during societal lockdown in people with type 2 diabetes. Methods: A cross-sectional study among Dutch adults with type 2 diabetes. Data were collected using online questionnaires. A multivariate multinomial logistic regression was performed with change in PA during...article 2021
- document
-
de Boer, H. (author), Muller, R.W.D. (author), Wong, S. (author), Voogt, V. (author)A key obstacle within the design of cognitive radios has always been the spectrum sensing component that implements the function automatic modulation classification (AMC). With the transition to software-defined radios (SDRs) followed by the introduction of field-programmable gate arrays (FPGAs) and deep learning (DL), it becomes possible to...conference paper 2021
- document
-
Wetzels, F. (author), van den Berg, J.L. (author), van der Mei, R. (author)This paper is motivated by recent developments in SDN and NFV whereby service functions, distributed over a centralised controlled network, are connected to form a service function chain (SFC). Upon arrival of a new service request a decision has to be made to which one of SFCs the request must be routed. This decision is based on (1) actual...conference paper 2021
- document
-
Austin, P.C. (author), White, I.R. (author), Lee, D.S. (author), van Buuren, S. (author)Missing data is a common occurrence in clinical research. Missing data occurs when the value of the variables of interest are not measured or recorded for all subjects in the sample. Common approaches to addressing the presence of missing data include complete-case analyses, in which subjects with missing data are excluded, or mean-value...article 2021
- document
-
Diallo, M. (author), Akesson, B. (author), Bera, D. (author), Begeer, R. (author)There are many classes of Petri nets for describing communicating systems. Some of these guarantee important properties, such as termination in the case of portnets. There are also many methods and tools available for their analysis and synthesis. However, when developing new methods, or benchmarking against existing ones, it is often helpful to...conference paper 2021
- document
-
Lathouwers, S. (author), Everts, M.H. (author), Huisman, M. (author)String sanitizers are widely used functions for preventing injection attacks such as SQL injections and cross-site scripting (XSS). It is therefore crucial that the implementations of such string sanitizers are correct. We present a novel approach to reason about a sanitizer's correctness by automatically generating a model of the implementation...conference paper 2020
- document
-
Bijlsma, T. (author), Buriachevskyi, A. (author), Frigerio, A. (author), Fu, Y. (author), Goossens, K. (author), Ors, A.O. (author), Van Der Perk, P.J. (author), Terechko, A. (author), Vermeulen, B. (author)Autonomous vehicles use cyber-physical systems to provide comfort and safety to passengers. Design of safety mechanisms for such systems is hindered by the growing quantity and complexity of SoCs (System-on-a-Chip) and software stacks required for autonomous operation. Our study tackles two challenges: (1) fault handling in an autonomous driving...conference paper 2020
- document
-
Piattini, M. (author), Peterssen, G. (author), Pérez-Castillo, R. (author), Hevia, J.L. (author), Serrano, M.A. (author), Hernández, G. (author), García Rodríguez de Guzmán, I. (author), Paradela, C.A. (author), Polo, M. (author), Murina, E. (author), Jiménez, L. (author), Marqueño, J.C. (author), Gallego, R. (author), Tura, J. (author), Phillipson, F. (author), Murillo, J.M. (author)This paper presents the Talavera Manifesto for quantum software engineering and programming. This manifesto collects some principles and commitments about the quantum software engineering and programming field, as well as some calls for action. This is the result of the discussion and different viewpoints of academia and industry practitioners...conference paper 2020
- document
- Cobos Mendez, R. (author), Oliveira Filho, J. (author), Dresscher, D. (author), Broenink, J. (author) conference paper 2020