Scientific publications

Scientific publications

Recent publications

Scientific publications

Scientific publications: here you find an overview of scientific publications that are a result of our research. You can sort the output by clicking the various table headers. To make a selection, type your search term in one of the open fields.

Go to the General publications
Scientific publications
Title
SD2Act 2022 : Diagnosing cyber-physical systems: from hardware failures to functional failures
Authors
Nägele, T.C.; Barbini, L.
Year
2024
Published in
TNO report
Link
Contact ESI office for full text
Title
Architectures for Complex Systems of Energy Systems
Authors
Helmholt, K.A.; Huijbrechts, B.; Leeuw, J.N.A. van der; Hendriks, A.J.; Emde, M.F.
Year
2024
Published in
TNO report
Link
Contact ESI office for full text
Title
Guided root cause analysis of machine failures - Status 2023
Authors
Gerwen, M.J.A.M. van
Year
2024
Published in
TNO report
Link
Contact ESI office for full text
Title
Matala 2023 Technical Report
Authors
Bera, D.
Year
2024
Published in
TNO report
Link
Contact ESI office for full text
Title
Model-Based Testing with ComMA 2023
Authors
Hooman, J.J.M.; Kurtev, I.; Lichiardopol, A.
Year
2024
Published in
TNO report
Link
Contact ESI office for full text
Title
Sustainability assessment of the Dutch high-tech industry 2023
Authors
Tabingh Suermondt, W.K.; Corvino, R.; Marincic, J.; Teixeira, J.; Bratosin, C.; Mathijssen, R.
Year
2024
Published in
TNO report
Link
Contact ESI office for full text
Title
Approaches to performance diagnostics and prediction with Bayesian networks
Authors
Barbini, L.
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
Guided root cause analysis of machine failures - Status 2022
Authors
Gerwen, M.J.A.M. van
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
Improving the verification capabilities of ComMA
Authors
Roncea, A.
Year
2023
Published in
Master Thesis
Link
Contact ESI office for full text
Title
An interview study about the use of logs in embedded software engineering
Authors
Yang, N.; Cuijpers, P.; Hendriks, D.; Schiffelers, R.; Lukkien, J.; Serebrenik, A.
Year
2023
Published in
Empirical Software Engineering
Link
Title
Compositional Performance Prediction for Tightly Coupled Manufacturing Systems
Authors
Verriet, J.H.
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
Differential Diagnosis with Active Testing
Authors
Gerwen, E. van; Barnini, L.; Borth, M
Year
2023
Published in
PHM Society Asia-Pacific Conference, 4th Asia Pacific Conference of the Prognostics and Health Management, Tokyo, Japan, September 11–14, 2023
Link
Title
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit
Authors
Fokkink, W.J.; Goorden, M.A.; Hendriks, D.; Beek, D.A. van; Hofkamp, A.T.; Reijnen, F.F.H.; Etman, L.F.P.; Moormann, L.; Mortel-Fronczak, J.M. van de; Reniers, M.A.; Rooda, J.E.; Sanden, L.J. van der; Schiffelers, R.R.H.; Thuijsman, S.B.; Verbakel, J.J.; Vogel, J.A.;
Year
2023
Published in
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023.
Link
Title
Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs
Authors
H. Elahi; M. Geilen; T. Basten
Year
2023
Published in
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Link
Title
Estimating the Energy Consumption of Applications in the Computing Continuum with iFogSim
Authors
Baneshi, S.; Varbanescu, A.L.; Pathania, A.; Akesson, B.; Pimentel, A.
Year
2023
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Link
Title
Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development
Authors
Verriet, J.; Sanden, B. van der; Veen, G. van der; Splunter, A. van; Lousberg, S.; Hendriks, M.; Basten, T.
Year
2023
Published in
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering (MODELSWARD 2023),
Link
Title
From BDD Scenarios to Test Case Generation
Authors
Zameni, T.; Bos, P. van den; Tretmans, J.; Foederer, J.; Rensink, A.;
Year
2023
Published in
Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023.
Link
Title
Kansen en aandachtspunten bij het synthese-gebaseerd ontwikkelen van besturingssoftware voor infrastructurele objecten
Authors
Hendriks, D.
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
MBSE study group: Conceptual Framework on Interface Centric MBSE
Authors
Tabingh Suermondt, W.
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
MBSE study: Conceptual framework on Variation Modelling
Authors
Pronk, B.
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
Modeling and analysis of switching max-plus linear systems with discrete-event feedback
Authors
Mohamadkhani, A.; Geilen, M.; Voeten, J.; Basten, A.A.
Year
2023
Published in
Discrete event dynamic systems: Theory and applications
Link
Title
PPS: From Methodology to Application in Industry : A method for analyzing performance on complex Cyber Physical Systems
Authors
Triantafyllidis, K.; Niknam, S.; Blankenstein, Y.
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
Reference Architecture in Relation to Business Reasoning
Authors
Acur, S.; Hendriks, T.
Year
2023
Published in
SysCon 2023 - 17th Annual IEEE International Systems Conference Proceedings
Link
Title
SOS! Ensuring safety and security in an expanding system of systems landscape
Authors
Acur, S.; Hendriks, A.J.; Meijaard, Y.; Vliet-Hameeteman, C. van der
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
State-of-the-art study on formalisms and methods to specify and analyze flows in logistic processes
Authors
Hegge, J.; Hendriks, D.; Laar, P. van de; Sanden, L.J. van der; Oortwijn, W.; Yang, N.
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
Step-Wise MBSE Introduction into a Company: An Interface-Centric Case Study
Authors
Vasenev, A.; Suermondt, W.T.; Behl, A.; Lukkien, J.
Year
2023
Published in
2023 18th Annual System of Systems Engineering Conference, SoSe 2023
Link
Title
Synthesis-based engineering of supervisory controllers
Authors
Fokkink, W.; Goorden, M.; Hendriks, D.; Mortel-Fronczak, A. van de; Oortwijn, W.; Rooda, K.
Year
2023
Published in
Mikroniek
Link
Contact ESI office for full text
Title
System architecting for environmental sustainability and circularity – literature review
Authors
Vasenev, A.; Marincic, J.
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
Systems Engineering Education: From Learning Program to Business Value
Authors
Muller, G.; Veen, L. van; Aker, J. van den
Year
2023
Published in
Systems
Link
Title
Thirteen concepts to play it safe with the cloud
Authors
Hendriks, T.; Akesson, B.; Voeten, J.; Hendriks, M.; Coronel Parada, J.; Garcia-Gordillo, M.; Saez, S.; Valls, J.J.;
Year
2023
Published in
2023 IEEE International Systems Conference (SysCon)
Link
Title
Validating a Workflow Design Space Exploration methodology
Authors
Vasenev, A.; Verriet, J.H.; Hooman, J.
Year
2023
Published in
TNO report
Link
Contact ESI office for full text
Title
Visual Explanations of Runtime Verification Verdicts : Master Thesis
Authors
Mangelaars, E.
Year
2023
Published in
TNO scriptie
Link
Title
Constructive Model Inference: Model Learning for Component-based Software Architectures
Authors
Hooimeijer, B.; Geilen, M.; Groote, J.; Hendriks, D.; Schiffelers, R.
Year
2022
Published in
Proceedings of the 17th International Conference on Software Technologies - ICSOFT
Link
Title
On-The-Fly Solving for Symbolic Parity Games
Authors
Laveaux, M.; Wesselink, W.; Willemse, T.A.C.
Year
2022
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022 held as part of 25th European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 2 April 2022 through 7 April 2022
Link
Title
Partial-Order Reduction for Supervisory Controller Synthesis
Authors
Sanden, B. van der; Geilen, M.; Reniers, M.; Basten, T.
Year
2022
Published in
IEEE Internet of Things Journal
Link
10.1109/TAC.2021.3129161
Title
A comprehensive survey of industry practice in real-time systems
Authors
Akesson, B.; Nasri, M.; Nelissen, G.; Altmeyer, S.; Davis, R.I.;
Year
2022
Published in
Real-Time Systems
Link
Title
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems
Authors
Hendriks, D.; Meer, A. van der; Oortwijn, W.
Year
2022
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, 14 September 2022 through 15 September 2022
Link
Title
A Python Library for Trace Analysis
Authors
Dams, D.; Havelund, K.; Kauffman, S.
Year
2022
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 22nd International Conference on Runtime Verification, RV 2022, 28 September 2022 through 30 September 2022
Link
Title
A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool
Authors
Aslam, K.; Hendriks, D.
Year
2022
Published in
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering. ISoLA 2022
Link
Title
Delay-aware Multi-layer Multi-rate Model Predictive Control for Vehicle Platooning under Message-rate Congestion Control
Authors
Ibrahim, A.; Goswami, D.; Li, H.; Basten, T.
Year
2022
Published in
IEEE Access
Link
Title
Design Space Exploration for Distributed Cyber-Physical Systems: State-of-the-art, Challenges, and Directions
Authors
Herget, M.; Saadatmand, F.S.; Bor, M.; Gonzalez Alonso, I.; Stefanov, T.; Akesson, B.; Pimentel, A.D.
Year
2022
Published in
2022 25th Euromicro Conference on Digital System Design (DSD)
Link
Title
Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases
Authors
Mooij, A.J.
Year
2022
Published in
Information Processing Letters
Link
Title
Goodbye ioco
Authors
Tretmans, J.; Janssen, R.
Year
2022
Published in
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Link
Title
MBSE in the High-Tech Equipment Industry - MBSE-Study of ESI and Partners - Observations and Conclusions
Authors
Wesselius, J.H.; Aker, J. van den; Doornbos, R.; Hendriks, T.; Marincic, J.; Tabingh Suermondt, W.
Year
2022
Published in
TNO report
Link
Contact ESI office for full text
Title
Partial Specifications of Component-based Systems using Petri Nets
Authors
Hilbrands, B.J.; Bera, D.; Akesson, B.
Year
2022
Published in
CEUR Workshop Proceedings, PNSE’22: International Workshop on Petri Nets and Software Engineering, Bergen, Norway, June 20, 2022
Link
Title
Receiver Design With an Adjustable Energy-Signal-Quality Tradeoff for IoT Networks
Authors
Detterer, P.; Nabi, M.; Jiao, H.; Basten, T.
Year
2022
Published in
IEEE Internet of Things Journal
Link
10.1109/JIOT.2022.3187673
Title
Runtime Verification as Documentation
Authors
Dams, D.; Havelund, K.; Kauffman, S.
Year
2022
Published in
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering. ISoLA 2022
Link
Title
Runtime Verification of Compound Components with ComMA
Authors
Schuts, M.; Alonso, M.; Hooman, J.
Year
2022
Published in
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Link
Title
Static type checking without downcast operator
Authors
Mooij, A.J.
Year
2022
Published in
Information Processing Letters
Link
Title
The AutoADAPT Multi-Domain Awareness Model
Authors
Borth, M.
Year
2022
Published in
TNO report
Link
Contact ESI office for full text
Title
Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis
Authors
Thuijsman, S.; Reniers, M.; Hendriks, D.
Year
2021
Published in
2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)
Link
Title
Encoder-Decoder Approaches for Detection and Diagnosis of Anomalies in Machine Control Applications
Authors
Posch, J.; Verriet, J.; Driessens, K.
Year
2021
Published in
Proceedings of BNAIC/BeneLearn 2021 : 33rd Benelux Conference on Artificial Intelligence and 30th Belgian-Dutch Conference on Machine Learning : AI in Action
Link
Title
Receiver-sensitivity control for energy-efficient IoT networks
Authors
Detterer, P.; Nabi, M.; Jiao, H.; Basten, A.A.
Year
2021
Published in
IEEE Communications Letters
Link
Title
A comprehensive survey of industry practice in real-time systems
Authors
Akesson, B.; Nasri, M.; Nelissen, G.; Altmeyer, S.; Davis, R.I.
Year
2021
Published in
Real-Time Systems
Link
Title
Architecting System of Systems Solutions with Security and Data-Protection Principles
Authors
Khashooei B.A.; Vasenev A.; Kocademir H.A.; Mathijssen R.
Year
2021
Published in
2021 16th International System of Systems Engineering Conference, SoSE 2021
Link
Title
Automated Verification of the Parallel Bellman–Ford Algorithm
Authors
Safari, M.; Oortwijn, W.; Huisman, M.
Year
2021
Published in
International Static Analysis Symposium, SAS 2021
Link
Title
Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases
Authors
Dams, D.R.; Ketema, J.; Kramer, P.; Mooij, A.J.; Radulescu, A.
Year
2021
Published in
Proceedings of the 20th Belgium-Netherlands Software Evolution Workshop
Link
Title
Gobra: Modular Specification and Verification of Go Programs
Authors
Wolf, F.A.; Arquint, L.; Clochard, M.; Oortwijn, W.; Pereira, J.C.; Müller, P.
Year
2021
Published in
Lecture Notes in Computer Science
Link
Title
Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach
Authors
Marko, M.; Castella Triginer, J.M.; Striecks, C.; Braun, T.; Schwarz, R.; Marksteiner, S.; Vasenev, A.; Kemmerich, J.; Hamazaryan, H.; Shan, L.; Loiseaux, C.
Year
2021
Published in
International Conference on Computer Safety, Reliability, and Security
Link
Title
Industrial experiences with the evolution of a DSL
Authors
Schuts, M.; Alonso, M.; Hooman, J.
Year
2021
Published in
Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling (DSM ’21), October 18, 2021, Chicago, IL, USA. ACM, New York, NY, USA
Link
Title
LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems
Authors
Sanden, B. van der; Blankenstein, Y.; Schiffelers, R.; Voeten, J.
Year
2021
Published in
2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)
Link
Title
Model-Driven System-Performance Engineering for Cyber-Physical Systems
Authors
Sanden, B. van der; Li, Y.; Aker, J. van den; Akesson, B.; Bijlsma, T.; Hendriks, M.; Triantafyllidis, K.; Verriet, J.; Voeten, J.; Basten, T.
Year
2021
Published in
Proceedings of the 2021 International Conference on Embedded Software
Link
Title
Multi-layer multi-rate model predictive control for vehicle platooning under IEEE 802.11p
Authors
Ibrahim, A.; Goswami, D.; Li, H.; Soroa, I.M.; Basten, T.
Year
2021
Published in
Transportation Research Part C: Emerging Technologies
Link
Title
Partial-Order Reduction for Supervisory Controller Synthesis
Authors
Sanden, B. van der; Geilen, M.; Reniers, M.; Basten, T.
Year
2021
Published in
IEEE Transactions on Automatic Control
Link
Title
Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems
Authors
Asadi Khashooei, B. Vasenev, A.; Kocademir, H.A.
Year
2021
Published in
40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021 held in conjunction with Workshops on DECSoS, MAPSOD, DepDevOps, USDAI and WAISE 2021, September 2021
Link
Title
A Distributed Safety Mechanism using Middleware and Hypervisors for Autonomous Vehicles
Authors
Bijlsma, T.; Buriachevskyi, A.; Frigerio, A.; Fu, Y.; Goossens, K.; Ors, A.O.; Van Der Perk, P.J.; Terechko, A.; Vermeulen, B.
Year
2020
Published in
Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020
Link
Title
A scenario- and platform-aware design flow for image-based control systems
Authors
Mohamed, S.; Goswami, D.; Nathan, V.; Rajappa, R.; Basten, T.
Year
2020
Published in
Microprocessors and Microsystems
Link
Title
A Virtual Test Platform for the Health Domain
Authors
Hendriks, T.; Triantafyllidis, K.; Mathijssen, R.; Wesselius, J.; Laar , P. van de;
Year
2020
Published in
Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project
Link
Title
Architectural guidance in automotive for privacy and security Survey and classification
Authors
Sanden, B. van der; Vasenev, A.
Year
2020
Published in
SYSCON 2020 - 14th Annual IEEE International Systems Conference, Proceedings, 14th Annual IEEE International Systems Conference, SYSCON 2020, 24 August 2020 through 27 August 2020
Link
Title
Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach
Authors
Marko, N.; Vasenev, A.; Striecks, C.
Year
2020
Published in
Lecture Notes in Computer Science, 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2020
Link
Title
Complex software-centric systems require interface medelling
Authors
Hooman, J.; Munnik, D. van der; Noltes, P.
Year
2020
Published in
Bits&Chips: Software-centric systems conference 2020
Link
Title
Constructing tool-based security test sequences for vehicles as high-tech data-rich systems
Authors
Vasenev, A.; Karagiannis, S.; Mathijssen, R.
Year
2020
Published in
VEHITS 2020 - Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems
Link
Title
Control Performance Optimization for Application Integration on Automotive Architectures
Authors
Minaeva, A.; Roy, D.; Akesson, B.; Hanzalek, Z.; Shakraborty, S.
Year
2020
Published in
IEEE Transactions on Computers
Link
Title
Firmness Analysis of Real-Time Tasks
Authors
Behrouzian, A.R.B.; Goswami, D.; Basten, T.; Geilen, M.; Alizadeh Ara, H.; Hendriks, M.
Year
2020
Published in
ACM Transactions on Embedded Computing Systems
Link
Title
Fleet-based System Health Assessment: Reasoning about Change and Differences
Authors
Borth, M.
Year
2020
Published in
Proceedings of the European Conference of the PHM Society
Link
Title
Lifecycle Governance for Effective Digital Twins : A Joint Systems Engineering and IT Perspective
Authors
Pileggi, P.; Lazovik, E.; Broekhuijsen, J.; Borth, M.; Verriet, J.;
Year
2020
Published in
SysCon 2020, The 14th Annual IEEE International Systems Conference, April 20 - 23, 2020, Le Westin Montréal, Montréal, Québec, Canada
Link
Title
Programming tensor cores from an image processing DSL
Authors
Sioutas, S.; Stuijk, S.; Basten, T.; Somers, L.; Corporaal, H.
Year
2020
Published in
Proceedings of the 23rd International Workshop on Software and Compilers for Embedded Systems, SCOPES 2020, 25 May 2020
Link
Title
QRML: A Component Language and Toolset for Quality and Resource Management
Authors
Berg, F. vanden; Camra, V.; Hendriks, M.; Geilen, M.; Hnetynka, P.; Manteca, F.; Sanchez, P.; Bures, T.; Basten, T.
Year
2020
Published in
Forum on Specification and Design Languages
Link
Title
Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation
Authors
Mooij, A.J.; Ketema, J.; Klusener, S.; Schuts, M.;
Year
2020
Published in
Saner 2020, 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, London, Ontario, Canada, February 18-21, 2020
Link
Title
Response time analysis of multiframe mixed-criticality systems with arbitrary deadlines
Authors
Hussain, I.; Awan, M.A.; Souto, P.F.; Bletsas, K.; Akesson, B.; Tovar, E.
Year
2020
Published in
Real-Time Systems
Link
Title
Scenarios in dataflow modeling and analysis
Authors
Geilen, M.C.W.; Skelin, M.; Kampenhout, J.R. van; Ara, H.A.; Basten, T.; Stuijk, S.; Goossens, K.G.W
Year
2020
Published in
System-Scenario-based Design Principles and Applications
Link
Title
Scenarios in the design of flexible manufacturing systems
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.
Year
2020
Published in
System-Scenario-based Design Principles and Applications
Link
Title
Schedule Synthesis for Halide Pipelines on GPUs
Authors
Sioutas, S.; Stuijk, S.l; Basten, T.; Corporaal, H.; Somers, L.
Year
2020
Published in
ACM Transactions on Architecture and Code Optimization
Link
Title
SoK: Engineering privacy-aware high-tech systems
Authors
Riva, G.M.; Vasenev, A.; Zannone, N.
Year
2020
Published in
ACM International Conference Proceeding Series
Link
Title
System-scenario-based design principles and applications
Authors
Catthoor, F.; Basten, T.; Zompakis, N.; Geilen, M.C.W.; Kjeldsberg, P.G.
Year
2020
Published in
System-Scenario-based Design Principles and Applications
Link
Title
Assisted Diagnostics Methodology for Complex High-Tech Applications
Authors
Velikova, M.; Ypma, A.; Bratosin, C.; Lemmen, V.; Wijk, R.J. van;
Year
2019
Published in
2019 4th International Conference on System Reliability and Safety (ICSRS)
Link
Title
Control of Platooned Vehicles in Presence of Traffic Shock Waves
Authors
Ibrahim, A.; Cicic, M.; Goswami, D.; Basten, T.; Johansson, K.H.;
Year
2019
Published in
2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, 27 October 2019 through 30 October 2019
Link
Title
Towards continuous evolution through automatic detection and correction of service incompatibilities
Authors
Akesson, B.; Sleuters, J.; Weiss, S.; Begeer, R.;
Year
2019
Published in
CEUR Workshop Proceedings, 2019 Joint Workshop on Model-Driven Engineering for the Internet of Things and of the Workshop on Interplay of Model-Driven and Component-Based Software Engineering, MDE4IoT and ModComp 2019, 15 September 2019 through 17 September 2019
Link
Title
A Digital Twin for Cyber-Physical Energy System
Authors
Pileggi, P. ; Verriet, J. ; Broekhuijsen, J. ; Leeuwen, C. van ; Wijbrandi, W. ; Konsman, M.
Year
2019
Published in
Modeling and Simulation of Cyber-Physical Energy Systems, 15 April 2019, Montreal, Canada
Link
Title
A retargetable fault injection framework for safety validation of autonomous vehicles
Authors
Fu, Y.; Terechko, A.Bijlsma; T.Cuijners, P.J.L.Redegeld, J.Ors, A.O.
Year
2019
Published in
Proceedings 2019 IEEE International Conference on Software Architecture, ICSA-C 2019, 25-29 March 2019, Hamburg, Germany
Link
Title
Computational effort of bdd-based supervisor synthesis of extended finite automata
Authors
Thuijsman, S.; Hendriks, D.; Theunissen, R.; Reniers, M.; Schiffelers, R.;
Year
2019
Published in
IEEE International Conference on Automation Science and Engineering, 15th IEEE International Conference on Automation Science and Engineering, CASE 2019, 22 August 2019 through 26 August 2019
Link
Title
Coverage-Based Testing with Symbolic Transition Systems
Authors
Bos, P. van den; Tretmans, J.;
Year
2019
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13th International Conference on Tests and Proofs, TAP 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019, 9 October 2019 through 11 October 2019
Link
Title
Decision support methodology for evolutionary embedded system design
Authors
Bijlsma, T.; Sanden, B. van der; Li, Y.; Janssen, R.; Tinsel, R.;
Year
2019
Published in
IEEE International Symposium on Systems Engineering (ISSE) 2019
Link
Title
Designing a controller with image-based pipelined sensing and additive uncertainties
Authors
Medina, R.; Valencia, J.; Stuijk, S.; Goswami, D.; Basten, T.;
Year
2019
Published in
ACM Transactions on Cyber-Physical Systems
Link
Title
Digital twin strategies for SoS: 4 challenges and 4 architecture setups for digital twins of SoS
Authors
Borth, M.; Verriet, J.; Muller, G.;
Year
2019
Published in
2019 14th Annual Conference System of Systems Engineering, SoSE 2019, 14th Annual Conference System of Systems Engineering, SoSE 2019, 19 May 2019 through 22 May 2019
Link
Title
Early Design Phase Cross-Platform Throughput Prediction for Industrial Stream-Processing Applications
Authors
Bijlsma, T.; Tabingh Suermondt, W.; Doornbos, R.;
Year
2019
Published in
Procedia Computer Science, 17th Annual Conference on Systems Engineering Research (CSER)
Link
Title
IMACS: A Framework for Performance Evaluation of Image Approximation in a Closed-loop System
Authors
Mohamed, S.; De, S.; Bimpisidis, K.; Nathan, V.; Goswami, D.; Corporaal, H.; Basten, T.;
Year
2019
Published in
2019 8th Mediterranean Conference on Embedded Computing, MECO 2019 - Proceedings, 8th Mediterranean Conference on Embedded Computing, MECO 2019, 10 June 2019 through 14 June 2019
Link
Title
Implementation-aware design of image-based control with on-line measurable variable-delay
Authors
Medina Sánchez; R.A.Stuijk; S.Goswami; D.Basten, A.A.
Year
2019
Published in
22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019, 25-29 March 2019, Florence, Italy
Link
Title
Improving Model Inference in Industry by Combining Active and Passive Learning
Authors
Yang, N. ; Aslam, K. ; Schiffelers, R. ; Lensink, L. ; Hendriks, D. ; Cleophas, L. ; Serebrenik, A.
Year
2019
Published in
26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019) - Hangzhou, China, 24 Feb 2019 - 27 Feb 2019
Link
Title
Matching implementations to specifications: The Corner Cases of ioco
Authors
Janssen, R; Tretmans, J.
Year
2019
Published in
Proceedings of the ACM Symposium on Applied Computing, 34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019
Link
Contact