Scientific publications


Explore the publications from TNO‑ESI, showcasing our research findings and expertise. This includes peer-reviewed articles, conference papers, and research reports, as well as more accessible publications that share insights from our collaborations with industry partners. You can easily search the publications by keyword to find what is most relevant to you.

Year
2021
Authors
Khashooei, B.A.; Vasenev, A.; Kocademir, H.A.; Mathijssen, R.W.M.

Architecting System of Systems Solutions with Security and Data-Protection Principles

The rapid advancement of communication technology realized the dream of interconnected systems. In addition to enabling scalability and flexibility of solutions, this paradigm created new system design challenges. One such challenge is to holistically address security and privacy concerns of solutions early in design while respecting the system of systems context.
Year
2021
Authors
Wolf, F.A.; Arquint, L.; Clochard, M.; Oortwijn, W.; Pereira, J.C.; Müller, P.

Gobra: Modular Specificationand Verification of Go Programs

Gobra is an increasingly-popular systems programming language targeting, especially, concurrent and distributed systems. Go differentiates itself from other imperative languages by offering structural subtyping and lightweight concurrency through go routines with message-passing communication. This combination of features poses interestingchallenges for static verification, most prominently the combination of amutable heap and advanced concurrency primitives.
Year
2020
Authors
Elahi, H.; Geilen, M.; Basten, T.

A compositional Model for Multi-Rate Max-Plus Linear Systems

The timing of discrete-event systems with synchronization is naturally modeled with canonical multi-rate max-plus linear equations. The main objectives of these models are to analyze and control the systems. As a system becomes more complex, determining its canonical model becomes more complicated. Moreover, these systems may change over time which demands the model to be recalculated.
Year
2020
Authors
Jonk, R.; Voeten, J.; Geilen, M.; Basten, T.; Schiffelers, R.

SMT-based verification of temporal properties for component-based software systems

We introduce a technique to verify temporal properties expressed in MTL on Interval Message Sequence Charts (IMSC), a model based on UML2.0 MSC that captures the timed execution of component-based software systems. We accomplish this by encoding the IMSC and the property of interest in a constraint satisfaction problem, which is then solved with an SMT solver.
Year
2020
Authors
Sanden, B. van der; Vasenev, A.

Architectural guidance in automotive for privacy and security Survey and classification

Year
2020
Authors
Mohamed, S.; Goswami, D.; Nathan, V.; Rajappa, R.; Basten, T.

A scenario- and platform-aware design flow for image-based control systems

Published in
Microprocessors and Microsystems, 75
Year
2021
Authors
Detterer, P.; Nabi, M.; Jiao, H.; Basten, A.A.

Receiver-sensitivity control for energy-efficient IoT networks

Published in
IEEE Communications Letters(4), pp. 1383-1386.
To increase energy efficiency of receiver-dominated nodes in IoT networks, we introduce Receiver-Sensitivity Control (RSC). RSC enables a trade-off between communication range and reception efforts. This trade-off is achieved through multiple receiver-sensitivity levels that can be adjusted at run time.
Year
2019
Authors
Sleuters, J.; Li, Y.; Verriet, J.; Velikova, M.; Doornbos, R.

A digital twin method for automated behavior analysis of large-scale distributed IoT Systems

Year
2020
Authors
Geilen, M.C.W.; Skelin, M.; Kampenhout, J.R. van; Ara, H.A.; Basten, T.; Stuijk, S.; Goossens, K.G.W.

Scenarios in dataflow modeling and analysis

Year
2020
Authors
Basten, T.; Bastos, J.; Medina, R.; Sanden, B. van der; Geilen, M.C.W.; Goswami, D.; Reniers, M.A.; Stuijk, S.; Voeten, J.P.M.

Scenarios in the design of flexible manufacturing systems