Publications
Publications
Recent publications
This is an overview of publications by ESI employees in close collaboration with our partners.
Validation and verification of automated systems
Chapter: A Virtual Test Platform for the Health Domain
Results of the ENABLE-S3 Project
Pag 297-320
publication
Results of the ENABLE-S3 Project
Pag 297-320
Integrated formal methods
Relating Alternating Relations for Conformance and Refinement
Ramon Janssen, Frits Vaandrager, Jan Tretmans. Pag 246-264
publication
Ramon Janssen, Frits Vaandrager, Jan Tretmans. Pag 246-264
Improving model inference in industry by combining active and passive learning
Fu, Y.; Terechko, A.Bijlsma; T.Cuijners, P.J.L.Redegeld, J.Ors, A.O.
publication
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
| Title | Authors | Year | Published in | Link |
|---|---|---|---|---|
| A Virtual Test Platform for the Health Domain | Hendriks, T.; Triantafyllidis, K.; Mathijssen, R.; Wesselius, J.; Laar , P. van de; | 2020 | Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project | Download |
| Lifecycle Governance for Effective Digital Twins : A Joint Systems Engineering and IT Perspective | Pileggi, P.; Lazovik, E.; Broekhuijsen, J.; Borth, M.; Verriet, J.; | 2020 | SysCon 2020, The 14th Annual IEEE International Systems Conference, April 20 - 23, 2020, Le Westin Montréal, Montréal, Québec, Canada | |
| Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation | Mooij, A.J.; Ketema, J.; Klusener, S.; Schuts, M.; | 2020 | Saner 2020, 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, London, Ontario, Canada, February 18-21, 2020 | |
| Assisted Diagnostics Methodology for Complex High-Tech Applications | Velikova, M.; Ypma, A.; Bratosin, C.; Lemmen, V.; Wijk, R.J. van; | 2019 | 2019 4th International Conference on System Reliability and Safety (ICSRS) | |
| Control of Platooned Vehicles in Presence of Traffic Shock Waves | Ibrahim, A.; Cicic, M.; Goswami, D.; Basten, T.; Johansson, K.H.; | 2019 | 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, 27 October 2019 through 30 October 2019 | Download |
| Towards continuous evolution through automatic detection and correction of service incompatibilities | Akesson, B.; Sleuters, J.; Weiss, S.; Begeer, R.; | 2019 | 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 | |
| A Digital Twin for Cyber-Physical Energy System | Pileggi, P. ; Verriet, J. ; Broekhuijsen, J. ; Leeuwen, C. van ; Wijbrandi, W. ; Konsman, M. | 2019 | Modeling and Simulation of Cyber-Physical Energy Systems, 15 April 2019, Montreal, Canada | |
| A retargetable fault injection framework for safety validation of autonomous vehicles | Fu, Y.; Terechko, A.Bijlsma; T.Cuijners, P.J.L.Redegeld, J.Ors, A.O. | 2019 | Proceedings 2019 IEEE International Conference on Software Architecture, ICSA-C 2019, 25-29 March 2019, Hamburg, Germany | Download |
| Computational effort of bdd-based supervisor synthesis of extended finite automata | Thuijsman, S.; Hendriks, D.; Theunissen, R.; Reniers, M.; Schiffelers, R.; | 2019 | 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 | Download |
| Coverage-Based Testing with Symbolic Transition Systems | Bos, P. van den; Tretmans, J.; | 2019 | 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 | Download |
| Decision support methodology for evolutionary embedded system design | Bijlsma, T.; Sanden, B. van der; Li, Y.; Janssen, R.; Tinsel, R.; | 2019 | IEEE International Symposium on Systems Engineering (ISSE) 2019 | |
| Designing a controller with image-based pipelined sensing and additive uncertainties | Medina, R.; Valencia, J.; Stuijk, S.; Goswami, D.; Basten, T.; | 2019 | ACM Transactions on Cyber-Physical Systems | Download |
| Digital twin strategies for SoS: 4 challenges and 4 architecture setups for digital twins of SoS | Borth, M.; Verriet, J.; Muller, G.; | 2019 | 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 | Download |
| Early Design Phase Cross-Platform Throughput Prediction for Industrial Stream-Processing Applications | Bijlsma, T.; Tabingh Suermondt, W.; Doornbos, R.; | 2019 | Procedia Computer Science, 17th Annual Conference on Systems Engineering Research (CSER) | Download |
| IMACS: A Framework for Performance Evaluation of Image Approximation in a Closed-loop System | Mohamed, S.; De, S.; Bimpisidis, K.; Nathan, V.; Goswami, D.; Corporaal, H.; Basten, T.; | 2019 | 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 | Download |
| Implementation-aware design of image-based control with on-line measurable variable-delay | Medina Sánchez; R.A.Stuijk; S.Goswami; D.Basten, A.A. | 2019 | 22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019, 25-29 March 2019, Florence, Italy | Download |
| Improving Model Inference in Industry by Combining Active and Passive Learning | Yang, N. ; Aslam, K. ; Schiffelers, R. ; Lensink, L. ; Hendriks, D. ; Cleophas, L. ; Serebrenik, A. | 2019 | 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019) - Hangzhou, China, 24 Feb 2019 - 27 Feb 2019 | Download |
| Matching implementations to specifications: The Corner Cases of ioco | Janssen, R; Tretmans, J. | 2019 | Proceedings of the ACM Symposium on Applied Computing, 34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019 | Download |
| Memory bandwidth regulation for multiframe task sets | Awan, M.A.; Souto, P.F.; Bletsas, K.; Akesson, B.; Tovar, E.; | 2019 | Proceedings - 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019, 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019, 18 August 2019 through 21 August 2019 | Download |
| Practical security and privacy threat analysis in the automotive domain: Long term support scenario for over-the-air updates | Vasenev, A.Stahl, F.Hamazaryan, H.Ma, Z.Shan, L.Kemmerich, J.Loiseaux, C. | 2019 | VEHITS 2019 - Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 5th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2019, 3 May 2019 through 5 May 2019 | Download |
| Probabilistic health and mission readiness assessment at system-level | Borth, M.; Barbini, L.; | 2019 | Proceedings of the Annual Conference of the Prognostics and Health Management Society, PHM, 11th Annual Conference of the Prognostics and Health Management Society, PHM 2019, 23 September 2019 through 26 September 2019 | Download |
| Reducing Design Time and Promoting Evolvability using Domain-specific Languages in an Industrial Context | Akesson, B.Hooman, J.Sleuters, J.Yankov, A. | 2019 | Model Management and Analytics for Large Scale Systems | |
| Relating Alternating Relations for Conformance and Refinement | Janssen, R.; Vaandrager, F.; Tretmans, J.; | 2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 15th International Conference on Integrated Formal Methods, IFM 2019, 2 December 2019 through 6 December 2019 | Download |
| RERS 2019: Combining Synthesis with Real-World Models | Jasper, M.; Mues, M.; Murtovi, A; Schlüter, M; Howar, F. ; Steffen, B.; Schordan, M.; Hendriks, D.; Schiffelers, R.; Kuppens, H.; Vaandrager, F.W. | 2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 6 April 2019 through 11 April 2019 | Download |
| Response time analysis of multiframe mixed-criticality systems | Hussain, I.; Bletsas, K.; Awan, M.A.; Akesson, B.; Souto, P.F.; Tovar, E.; | 2019 | ACM International Conference Proceeding Series, 27th International Conference on Real-Time Networks and Systems, RTNS 2019, 6 November 2019 through 8 November 2019 | Download |
| Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA | Nägele, T.; Hooman, J. | 2019 | Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS, 24th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2018, 11 December 2018 through 13 December 2018 | Download |
| Schedule synthesis for halide pipelines through reuse analysis | Sioutas, S.Stuijk, S.Waeijen, L.Basten, T.Corporaal, H.Somers, L. | 2019 | ACM Transactions on Architecture and Code Optimization | Download |
| Structured problem exploration approach for the pre-concept stage of system development | Vasenev, A.; Hendriks, T.; | 2019 | 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 | Download |
| Techniques and analysis for mixed-criticality scheduling with mode-dependent server execution budgets | Awan, M.A.; Bletsas, K.; Souto, P.F.; Akesson, B.; Tovar, E.; | 2019 | ACM Transactions on Embedded Computing Systems | Download |
| The Growing N-Gram Algorithm : A Novel Approach to String Clustering | Grappiolo, C.Verwielen, E.Noorman, N. | 2019 | ICPRAM 2019, 8th International Conference on Pattern Recognition Application and Methods, Prague, Czech Republic, 19- 21 February 2019 | Download |
| The semantic snake charmer search engine: A tool to facilitate data science in high-tech industry domains | Grappiolo, C.Gerwen, M.J.A.M. vanVerhoosel, J.P.C.Somers, L. | 2019 | CHIIR 2019 - Proceedings of the 2019 Conference on Human Information Interaction and Retrieval, 4th ACM SIGIR Conference on Information Interaction and Retrieval, CHIIR 2019, 10 March 2019 through 14 March 2019 | Download |
| Trading Digital Accuracy for Power in an RSSI Computation of a Sensor Network Transceiver | Detterer, P.Erdin, C.Nabi, M.Gyvez, J.P. deBasten, A.A.Jiao, H. | 2019 | Proceedings of the 22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019, 25-29 March 2019, Florence, Italy | Download |
| Virtual Prototyping of Large-Scale IoT Control Systems Using Domain-Specific Languages | Verriet, J.Buit, L.Doornbos, R.Huijbrechts, B.Sevo, K.Sleuters, J.Verberkt, M. | 2019 | MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, 20 February 2019 through 22 February 2019 | Download |
| A Domain Model-Centric Approach for the Development of Large-Scale Office Lighting Systems | Doornbos, R.Huijbrechts, B.Sleuters, J.Verriet, J.Sevo, K.Verberkt, M. | 2018 | Complex Systems Design & Management : Proceedings of the Ninth International Conference on Complex Systems Design & Management, CSD&M Paris 2018 | Download |
| A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements | Berg, F. van den; Hooman, J.; Haverkort, B.R. | 2018 | 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018. 26 February 2018 through 28 February 2018 | Download |
| Abstraction and abstraction refinement | Dams, D.R.; Grumberg, O. | 2018 | Handbook of Model Checking, 385-419, Springer International Publishing | Download |
| Building Distributed Co-simulations using CoHLA | Nägele, T.; Hooman, J.; Sleuters, J | 2018 | Proceedings 21st Euromicro Conference on Digital System Design (DSD 2018) | Download |
| CoHLA: Design Space Exploration and Co-simulation Made Easy | Nägele, T.; Hooman, J.; Broenink, T; .Broenink, J. | 2018 | 2018 IEEE Industrial Cyber-Physical Systems (ICPS), 15-18 May 2018, St. Petersburg, Russia | Download |
| Data-driven Aspects of Engineering : The Use of Operational Data in SoS Engineering: Chances and Challenges | Borth, M.; Gerwen, E. van | 2018 | System of Systems Engineering Conference (SoSE), 2018 | Download |
| Early Design Phase Cross-Platform Throughput Prediction for Industrial Stream-Processing Applications | Bijlsma, T.; Lint, A; Verriet, J. | 2018 | Leibniz International Proceedings in Informatics | Download |
| Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling | Behrouzian, A.R.B.; Goswami, D.; Basten, T.; Geilen, M.; Alizadeh Ara, H.; Hendriks, M. | 2018 | 24th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018, Porto, Portugal, 11-13 Arpril 2018 | Download |
| Identifying bottlenecks in manufacturing systems using stochastic criticality analysis | Bastos, J.; Sanden, B.; van der, Donk, O.; Voeten, J.; Stuijk, S.; Schiffelers, R.; Corporaal, H. | 2018 | 2017 Forum on Specification and Design Languages, FDL 2017. 18 September 2017 through 20 September 2017 | Download |
| Industrial Experience with the Migration of Legacy Models using a DSL | Schuts, M.; Hooman, J.; Tielemans, P. | 2018 | RWDSL2018 Proceedings of the Real World Domain Specific Languages Workshop 2018 | Download |
| Loop transformations leveraging hardware prefetching | Sioutas, S.; Stuijk, S; Corporaal, H.; Basten, A.A.; Somers, L. | 2018 | CGO 2018 - Proceedings of the 16th International Symposium on Code Generation and Optimization, CGO 2018. 24 February 2018 through 28 February 2018 | Download |
| Mixed-criticality Scheduling with Dynamic Memory Bandwidth Regulation | Awan, M.A.; Souto, P.; Bletsas, K; Akesson, B.; Tovar, E. | 2018 | 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2018 | Download |
| Mixed-criticality Scheduling with Memory Bandwidth Regulation | Awan, M.A.; Souto, P.; Bletsas, K; Akesson, B.; Tovar, E. | 2018 | Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE), 2018 | Download |
| Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code | Dams, D.; Mooij, A.; Kramer, P.; Radulescu, A.; Vanhara, J. | 2018 | 201825th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018. 20 March 2018 through 23 March 2018 | Download |
| Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain | Hendriks, M.; Ara, H.A.; Geilen, M.; Marin, R.G.; Jong, R. de; Vlugt, S. van der; Goswami, D. | 2018 | Journal of Signal Processing Systems | Download |
| Monotonic Optimization of Dataflow Buffer Sizes | Hendriks, M.; Ara, H.A.; Geilen, M.; Basten, A.A.; Marin, R.G.; Jong, R. de; Vlugt, S. van der | 2018 | Journal of Signal Processing Systems for Signal, Image, and Video Technology (formerly the Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology) | Download |
| Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages | Akesson, B.; Hooman, J.; Dekker, R.; Ekkelkamp, W.; Stottelaar, B. | 2018 | Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018) | Download |
| Parametric Critical Path Analysis for Event Networks with Minimal and Maximal Time Lags | Pinxten, J. van; Geilen, M.; Hendriks, M.; Basten, T | 2018 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Download |
| Performance prediction for families of data-intensive software applications | Verriet, J.; Dankers, R.; Somers, L. | 2018 | 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, Germany - April 9-13, 2018 | Download |
| Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach | Schuts, M.; Hooman, J.; Kurtev, I.; Swagerman, D.J. | 2018 | Proceedings of the Federated Conference on Computer Science and Information Systems | Download |
| Scalable analysis for multi-scale dataflow models | Ara, H.A.; Behrouzian, A.; Hendriks, M.; Geilen, M.; Goswami, D.; Basten, T. | 2018 | ACM Transactions on Embedded Computing Systems | Download |
| Structuring of Methods to Estimate Benefits of Partial Networking | Vasenev, A | 2018 | 4th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2018) | Download |
| The Semantic Snake Charmer Search Engine : A Tool to Facilitate Data Science in High-tech Industry Domains | Grappiolo, C.; Verhoosel, J.; Gerwen, E. van; Somers, L. | 2018 | 4th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) | Download |
| Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers | Awan, M.A.; Souto, P.; Bletsas, K.; Akesson, B.; Tovar, E. | 2018 | Proc. 30th Euromicro Conference on Real-Time Systems (ECRTS 2018) | Download |
| A fail-operational truck platooning architecture | Bijlsma, T.; ; Hendriks, T. | 2017 | 28th IEEE Intelligent Vehicles Symposium, IV 2017. 11 June 2017 through 14 June 2017 | Download |
| Checking Metric Temporal Logic with TRACE | Hendriks, M.; Geilen, M.; Behrouzian, A.R.B.; Basten, T.; Alizadeh, H.; Goswami, D. | 2017 | 16th International Conference on Application of Concurrency to System Design, ACSD 2016. 19 June 2016 through 24 June 2016 | Download |
| Co-simulation of cyber-physical systems using HLA | Nagele, T.; Hooman, J. | 2017 | 7th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2017. 9 January 2017 through 11 January 2017 | Download |
| Effective link quality estimation as a means to improved end-to-end packet delivery in high traffic mobile ad hoc networks | Afzal, S.R.; Stuijk, S.; Nabi, M.; Basten, T | 2017 | Digital Communications and Networks | Download |
| Exploring the trade-off between processing resources and settling time in image-based control through LQR tuning | Medina, R.; Stuijk, S.; Goswami, D.; Basten, T. | 2017 | 32nd Annual ACM Symposium on Applied Computing, SAC 2017. 4 April 2017 through 6 April 2017 | Download |
| Forward progress on GPU concurrency | Donaldson, A.F.; Ketema, J.; Sorensen, T.; Wickerson, J. | 2017 | 28th International Conference on Concurrency Theory, CONCUR 2017. 5 September 2017 through 8 September 2017 | Download |
| iDSL: Automated Performance Evaluation of Service-Oriented Systems | Berg, F. van den; Haverkort, B.R.; Hooman, J. | 2017 | Symposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017. 18 October 2017 through 18 October 2017 | Download |
| Mapping of synchronous dataflow graphs on MPSoCs based on parallelism enhancement | Tang, Q.; Basten, T.; Geilen, M.; Stuijk, S.; Wei, J.B. | 2017 | Journal of Parallel and Distributed Computing | Download |
| On the existence of practical testers | Katoen, J.P.; Langerak, R.; Rensink, A. | 2017 | Symposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017. 18 October 2017 through 18 October 2017 | Download |
| Online scheduling of 2-re-entrant flexible manufacturing systems | Pinxten, J. van; Waqas, U.; Geilen, M. ; Basten, T.; Somers, L. | 2017 | ACM Transactions on Embedded Computing Systems | Download |
| Rapid Construction of Co-simulations of Cyber-Physical Systems in HLA using a DSL | Nagele, T.; Hooman, J. | 2017 | 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) | Download |
| Runtime Monitoring Based on Interface Specifications | Kurtev, I.; Hooman, J.; Schuts, M. | 2017 | Symposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017. 18 October 2017 through 18 October 2017 | Download |
| Special section: Integrating dataflow, embedded computing and architecture | Basten, T.; Moreira, O.; Groote, R. de | 2017 | ACM Transactions on Design Automation of Electronic Systems | Download |
| Task-FIFO co-scheduling of streaming applications on MPSoCs with predictable memory hierarchy | Tang, Q.; Basten, T.; Geilen, M.; Stuijk, S.; Wei, J.B. | 2017 | ACM Transactions on Embedded Computing Systems | Download |
| A blueprint for system-level performance modeling of software-intensive embedded systems | Hendriks, M.; Basten, T.; Verriet, J.; Brassé, M.; Somers, L. | 2016 | International Journal on Software Tools for Technology Transfer | Download |
| A Fast Estimator of Performance with Respect to the Design Parameters of Self Re-Entrant Flowshops | Waqas, U.; Geilen, M.; Stuijk, S.; Pinxten, J.V.; Basten, T.; Somers, L.; Corporaal, H. | 2016 | 19th Euromicro Conference on Digital System Design, DSD 2016. 31 August 2016 through 2 September 2016 | Download |
| An experimental study of cross-technology interference in in-vehicle wireless sensor networks | Tavakoli, R.; Nabi, M.; Basten, T.; Goossens, K. | 2016 | 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2016. 13 November 2016 through 17 November 2016 | Download |
| Blended education for systems architecting evaluation of the initial blended course version | Muller, G.; Aker, J. van den; Postema, H. | 2016 | 11th Systems of Systems Engineering Conference, SoSE 2016, 12 June 2016 through 16 June 2016 | Download |
| Communication aware multiprocessor binding for shared memory systems | Adyanthaya, S.; Geilen, M.; Basten, T. Schiffelers, R. | 2016 | 11th IEEE International Symposium on Industrial Embedded Systems, SIES 2016, 23 May 2016 through 25 May 2016 | Download |
| Dataflow-based modeling and performance analysis for online gesture recognition | Grützmacher, F.; Beichler, B.; Haubelt, C.; Theelen, B. | 2016 | 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, 11 April 2016 | Download |
| Engineering the Smarts : An Illustration of the Disconnect between Control Engineering and AI | Borth, M.; Hendriks, M. | 2016 | 11th System of Systems Engineering Conference (SoSE), 2016. | Download |
| Evaluating the effect of a lightweight formal technique in industry | Osaiweran, A.; Schuts, M.; Hooman, J.; Groote, J.F.; Rijnsoever, B. van | 2016 | International Journal on Software Tools for Technology Transfer | Download |
| Formalizing and testing the consistency of DSL transformations | Keshishzadeh, S.; Mooij, A.J. | 2016 | Formel aspects of computing | Download |
| Improving maintenance by creating a DSL for configuring a fieldbus | Schuts, M.; Hooman, J. | 2016 | DSM 2016 - Proceedings of the International Workshop on Domain-Specific Modeling, co-located with SPLASH 2016 | Download |
| Industrial application of domain specific languages combined with formal techniques | Schuts, M.; Hooman, J. | 2016 | 1st International Workshop on Real World Domain Specific Languages, RWDSL 2016, 12 March 2016 | Download |
| Industrial application of formal models generated from domain specific languages | Hooman, J. | 2016 | Frank de Boer on the Occasion of His 60th Birthday, 2016, 5 July 2016 through 5 July 2016 | Download |
| Industrial Experiences with a Formal DSL Semantics to Check the Correctness of Generated DSL Artifacts | Keshishzadeh, S.; Mooij, A.J.; Hooman, J. | 2016 | Proceedings FESCA 2016 | Download |
| Industrial Software Rejuvenation Using Open-Source Parsers | Mooij, A.J.; Joy, M.M.;Eggen, G.; Janson, P.; Radulescu, A. | 2016 | Theory and Practice of Model Transformations | Download |
| INLyD: Inter-network-layer delay as a low-cost quality metric for multi-hop routing in wireless mobile networks | Afzal, S.R.; Nabi, M.; Stuijk, S.; Basten, T. | 2016 | 13th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2016. 13 November 2016 through 17 November 2016 | Download |
| Lessons learned from tool integration with OSLC | Leitner, A.; Herbst, B. ;Mathijssen, R. | 2016 | 22nd International Conference on Information and Software Technologies, ICIST 2016, 13 October 2016 through 15 October 2016 | Download |
| Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding | Zhu, X.Y.; Geilen, M.; Basten, T.; Stuijk, S. | 2016 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Download |
| Online heuristic for the Multi-Objective Generalized traveling salesman problem | Pinxten, J. van; Geilen, M.; Basten, T.; Waqas, U.; Somers, L. | 2016 | Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016 | |
| Reconfigurable pipelined sensing for image-based control | Medina, R.; Stuijk, S.; Goswami, D.: Basten, T. | 2016 | 11th IEEE International Symposium on Industrial Embedded Systems, SIES 2016, 23 May 2016 through 25 May 2016 | Download |
| Refactoring of legacy software using model learning and equivalence checking: An industrial experience report | Schuts, M.; Hooman, J.; Vaandrager, F. | 2016 | 12th International Conference on Integrated Formal Methods, IFM 2016, 1 June 2016 through 5 June 2016 | Download |
| Robust online face tracking-by-detection | Comaschi, F.; Stuijk, S.; Basten, T.; Corporaal, H. | 2016 | 2016 IEEE International Conference on Multimedia and Expo, ICME 2016, 11 July 2016 through 15 July 2016 | Download |
| Sample-Drop Firmness Analysis of TDMA-Scheduled Control Applications | Behrouzian, A.R.B.; Goswami, D.; Geilen, M.; Hendriks, M.; Alizadeh Ara, H.; Horssen, E.P. van; Heemels, W.P.M.H.; Basten, T. | 2016 | 11th System of Systems Engineering Conference (SoSE), 2016. | Download |
| Tight Temporal Bounds for Dataflow Applications Mapped onto Shared Resources | Alizadeh Ara. H.; Geilen; M.; Basten; T.; Behrouzian; A.R.B.; Hendriks; M.; Goswami; D. | 2016 | 11th System of Systems Engineering Conference (SoSE), 2016. | Download |
| Transition from closed system to Internet of Things: A study in standardizing building lighting systems | Mathews; E.; Muller; G. | 2016 | 11th Systems of Systems Engineering Conference, SoSE 2016, 12 June 2016 through 16 June 2016 | Download |
| A new probabilistic constraint logic programming language based on a generalised distribution semantics | Michels, S.; Hommersom, A.; Lucas, P.J.F.; Velikova, M. | 2015 | Artificial Intelligence | Download |
| Automated Diagnosis of Breast Cancer on Medical Images | Velikova, M.; Dutra, I.; Burnside, E.S. | 2015 | Foundations of Biomedical Knowledge Representation | Download |
| Computing response time distributions using iterative probabilistic model checking | Van Den Berg, Freek; Hooman, Jozef; Hartmanns, Arnd; Haverkort, Boudewijn R.; Remke, Anne | 2015 | 12th European Performance Engineering Workshop, EPEW 2015; Madrid; Spain; 31 August 2015 through 1 September 2015 | Download |
| Cost-effective industrial software rejuvenation using domain-specific models | Mooij, A.J.; Eggen, G.; Hooman, J.; Wezep, H. van | 2015 | 8th International Conference on Theory and Practice of Model Transformations, ICMT 2015, 20 July 2015 through 21 July 2015 | Download |
| Efficiently computing latency distributions by combined performance evaluation techniques | Berg, F. van den; Haverkort, B.R.; Hooman J. | 2015 | 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015 | Download |