Publications

Publications

Recent publications

This is an overview of publications by ESI employees in close collaboration with our partners.

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

TitleAuthorsYearPublished inLink
A Virtual Test Platform for the Health DomainHendriks, T.; Triantafyllidis, K.; Mathijssen, R.; Wesselius, J.; Laar , P. van de;2020Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project Download
Lifecycle Governance for Effective Digital Twins : A Joint Systems Engineering and IT PerspectivePileggi, P.; Lazovik, E.; Broekhuijsen, J.; Borth, M.; Verriet, J.;2020SysCon 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 RejuvenationMooij, A.J.; Ketema, J.; Klusener, S.; Schuts, M.;2020Saner 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 ApplicationsVelikova, M.; Ypma, A.; Bratosin, C.; Lemmen, V.; Wijk, R.J. van;20192019 4th International Conference on System Reliability and Safety (ICSRS)
Control of Platooned Vehicles in Presence of Traffic Shock WavesIbrahim, A.; Cicic, M.; Goswami, D.; Basten, T.; Johansson, K.H.;20192019 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 incompatibilitiesAkesson, B.; Sleuters, J.; Weiss, S.; Begeer, R.;2019CEUR 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 SystemPileggi, P. ; Verriet, J. ; Broekhuijsen, J. ; Leeuwen, C. van ; Wijbrandi, W. ; Konsman, M.2019Modeling and Simulation of Cyber-Physical Energy Systems, 15 April 2019, Montreal, Canada
A retargetable fault injection framework for safety validation of autonomous vehiclesFu, Y.; Terechko, A.Bijlsma; T.Cuijners, P.J.L.Redegeld, J.Ors, A.O.2019Proceedings 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 automataThuijsman, S.; Hendriks, D.; Theunissen, R.; Reniers, M.; Schiffelers, R.;2019IEEE 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 SystemsBos, P. van den; Tretmans, J.;2019Lecture 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 designBijlsma, T.; Sanden, B. van der; Li, Y.; Janssen, R.; Tinsel, R.;2019IEEE International Symposium on Systems Engineering (ISSE) 2019
Designing a controller with image-based pipelined sensing and additive uncertaintiesMedina, R.; Valencia, J.; Stuijk, S.; Goswami, D.; Basten, T.;2019ACM Transactions on Cyber-Physical Systems Download
Digital twin strategies for SoS: 4 challenges and 4 architecture setups for digital twins of SoSBorth, M.; Verriet, J.; Muller, G.;20192019 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 ApplicationsBijlsma, T.; Tabingh Suermondt, W.; Doornbos, R.;2019Procedia Computer Science, 17th Annual Conference on Systems Engineering Research (CSER) Download
IMACS: A Framework for Performance Evaluation of Image Approximation in a Closed-loop SystemMohamed, S.; De, S.; Bimpisidis, K.; Nathan, V.; Goswami, D.; Corporaal, H.; Basten, T.;20192019 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-delayMedina Sánchez; R.A.Stuijk; S.Goswami; D.Basten, A.A.201922nd 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 LearningYang, N. ; Aslam, K. ; Schiffelers, R. ; Lensink, L. ; Hendriks, D. ; Cleophas, L. ; Serebrenik, A.201926th 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 iocoJanssen, R; Tretmans, J.2019Proceedings 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 setsAwan, M.A.; Souto, P.F.; Bletsas, K.; Akesson, B.; Tovar, E.;2019Proceedings - 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 updatesVasenev, A.Stahl, F.Hamazaryan, H.Ma, Z.Shan, L.Kemmerich, J.Loiseaux, C.2019VEHITS 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-levelBorth, M.; Barbini, L.;2019Proceedings 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 ContextAkesson, B.Hooman, J.Sleuters, J.Yankov, A.2019Model Management and Analytics for Large Scale Systems
Relating Alternating Relations for Conformance and RefinementJanssen, R.; Vaandrager, F.; Tretmans, J.;2019Lecture 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 ModelsJasper, M.; Mues, M.; Murtovi, A; Schlüter, M; Howar, F. ; Steffen, B.; Schordan, M.; Hendriks, D.; Schiffelers, R.; Kuppens, H.; Vaandrager, F.W.2019Lecture 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 systemsHussain, I.; Bletsas, K.; Awan, M.A.; Akesson, B.; Souto, P.F.; Tovar, E.;2019ACM 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 HLANägele, T.; Hooman, J.2019Proceedings 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 analysisSioutas, S.Stuijk, S.Waeijen, L.Basten, T.Corporaal, H.Somers, L.2019ACM Transactions on Architecture and Code Optimization Download
Structured problem exploration approach for the pre-concept stage of system developmentVasenev, A.; Hendriks, T.;20192019 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 budgetsAwan, M.A.; Bletsas, K.; Souto, P.F.; Akesson, B.; Tovar, E.;2019ACM Transactions on Embedded Computing Systems Download
The Growing N-Gram Algorithm : A Novel Approach to String ClusteringGrappiolo, C.Verwielen, E.Noorman, N.2019ICPRAM 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 domainsGrappiolo, C.Gerwen, M.J.A.M. vanVerhoosel, J.P.C.Somers, L.2019CHIIR 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 TransceiverDetterer, P.Erdin, C.Nabi, M.Gyvez, J.P. deBasten, A.A.Jiao, H.2019Proceedings 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 LanguagesVerriet, J.Buit, L.Doornbos, R.Huijbrechts, B.Sevo, K.Sleuters, J.Verberkt, M.2019MODELSWARD 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 SystemsDoornbos, R.Huijbrechts, B.Sleuters, J.Verriet, J.Sevo, K.Verberkt, M.2018Complex 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 MeasurementsBerg, F. van den; Hooman, J.; Haverkort, B.R.201819th 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 refinementDams, D.R.; Grumberg, O.2018Handbook of Model Checking, 385-419, Springer International Publishing Download
Building Distributed Co-simulations using CoHLANägele, T.; Hooman, J.; Sleuters, J2018Proceedings 21st Euromicro Conference on Digital System Design (DSD 2018) Download
CoHLA: Design Space Exploration and Co-simulation Made EasyNägele, T.; Hooman, J.; Broenink, T; .Broenink, J.20182018 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 ChallengesBorth, M.; Gerwen, E. van2018System of Systems Engineering Conference (SoSE), 2018 Download
Early Design Phase Cross-Platform Throughput Prediction for Industrial Stream-Processing ApplicationsBijlsma, T.; Lint, A; Verriet, J.2018Leibniz International Proceedings in Informatics Download
Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive SchedulingBehrouzian, A.R.B.; Goswami, D.; Basten, T.; Geilen, M.; Alizadeh Ara, H.; Hendriks, M.201824th 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 analysisBastos, J.; Sanden, B.; van der, Donk, O.; Voeten, J.; Stuijk, S.; Schiffelers, R.; Corporaal, H.20182017 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 DSLSchuts, M.; Hooman, J.; Tielemans, P.2018RWDSL2018 Proceedings of the Real World Domain Specific Languages Workshop 2018 Download
Loop transformations leveraging hardware prefetchingSioutas, S.; Stuijk, S; Corporaal, H.; Basten, A.A.; Somers, L.2018CGO 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 RegulationAwan, M.A.; Souto, P.; Bletsas, K; Akesson, B.; Tovar, E.201824th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2018 Download
Mixed-criticality Scheduling with Memory Bandwidth RegulationAwan, M.A.; Souto, P.; Bletsas, K; Akesson, B.; Tovar, E.2018Proc. 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 codeDams, D.; Mooij, A.; Kramer, P.; Radulescu, A.; Vanhara, J.2018201825th 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 DomainHendriks, M.; Ara, H.A.; Geilen, M.; Marin, R.G.; Jong, R. de; Vlugt, S. van der; Goswami, D.2018Journal of Signal Processing Systems Download
Monotonic Optimization of Dataflow Buffer SizesHendriks, M.; Ara, H.A.; Geilen, M.; Basten, A.A.; Marin, R.G.; Jong, R. de; Vlugt, S. van der2018Journal 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 LanguagesAkesson, B.; Hooman, J.; Dekker, R.; Ekkelkamp, W.; Stottelaar, B.2018Proceedings 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 LagsPinxten, J. van; Geilen, M.; Hendriks, M.; Basten, T2018IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Download
Performance prediction for families of data-intensive software applicationsVerriet, J.; Dankers, R.; Somers, L.20189th 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 ApproachSchuts, M.; Hooman, J.; Kurtev, I.; Swagerman, D.J.2018Proceedings of the Federated Conference on Computer Science and Information Systems Download
Scalable analysis for multi-scale dataflow modelsAra, H.A.; Behrouzian, A.; Hendriks, M.; Geilen, M.; Goswami, D.; Basten, T.2018ACM Transactions on Embedded Computing Systems Download
Structuring of Methods to Estimate Benefits of Partial NetworkingVasenev, A20184th 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 DomainsGrappiolo, C.; Verhoosel, J.; Gerwen, E. van; Somers, L.20184th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) Download
Worst-case Stall Analysis for Multicore Architectures with Two Memory ControllersAwan, M.A.; Souto, P.; Bletsas, K.; Akesson, B.; Tovar, E.2018Proc. 30th Euromicro Conference on Real-Time Systems (ECRTS 2018) Download
A fail-operational truck platooning architectureBijlsma, T.; ; Hendriks, T.201728th IEEE Intelligent Vehicles Symposium, IV 2017. 11 June 2017 through 14 June 2017 Download
Checking Metric Temporal Logic with TRACEHendriks, M.; Geilen, M.; Behrouzian, A.R.B.; Basten, T.; Alizadeh, H.; Goswami, D.201716th 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 HLANagele, T.; Hooman, J.20177th 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 networksAfzal, S.R.; Stuijk, S.; Nabi, M.; Basten, T2017Digital Communications and Networks Download
Exploring the trade-off between processing resources and settling time in image-based control through LQR tuningMedina, R.; Stuijk, S.; Goswami, D.; Basten, T.201732nd Annual ACM Symposium on Applied Computing, SAC 2017. 4 April 2017 through 6 April 2017 Download
Forward progress on GPU concurrencyDonaldson, A.F.; Ketema, J.; Sorensen, T.; Wickerson, J.201728th International Conference on Concurrency Theory, CONCUR 2017. 5 September 2017 through 8 September 2017 Download
iDSL: Automated Performance Evaluation of Service-Oriented SystemsBerg, F. van den; Haverkort, B.R.; Hooman, J.2017Symposium 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 enhancementTang, Q.; Basten, T.; Geilen, M.; Stuijk, S.; Wei, J.B.2017Journal of Parallel and Distributed Computing Download
On the existence of practical testersKatoen, J.P.; Langerak, R.; Rensink, A.2017Symposium 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 systemsPinxten, J. van; Waqas, U.; Geilen, M. ; Basten, T.; Somers, L.2017ACM Transactions on Embedded Computing Systems Download
Rapid Construction of Co-simulations of Cyber-Physical Systems in HLA using a DSLNagele, T.; Hooman, J.20172017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) Download
Runtime Monitoring Based on Interface SpecificationsKurtev, I.; Hooman, J.; Schuts, M.2017Symposium 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 architectureBasten, T.; Moreira, O.; Groote, R. de2017ACM Transactions on Design Automation of Electronic Systems Download
Task-FIFO co-scheduling of streaming applications on MPSoCs with predictable memory hierarchyTang, Q.; Basten, T.; Geilen, M.; Stuijk, S.; Wei, J.B.2017ACM Transactions on Embedded Computing Systems Download
A blueprint for system-level performance modeling of software-intensive embedded systemsHendriks, M.; Basten, T.; Verriet, J.; Brassé, M.; Somers, L.2016International Journal on Software Tools for Technology Transfer Download
A Fast Estimator of Performance with Respect to the Design Parameters of Self Re-Entrant FlowshopsWaqas, U.; Geilen, M.; Stuijk, S.; Pinxten, J.V.; Basten, T.; Somers, L.; Corporaal, H.201619th 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 networksTavakoli, R.; Nabi, M.; Basten, T.; Goossens, K.201619th 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 versionMuller, G.; Aker, J. van den; Postema, H.201611th Systems of Systems Engineering Conference, SoSE 2016, 12 June 2016 through 16 June 2016 Download
Communication aware multiprocessor binding for shared memory systemsAdyanthaya, S.; Geilen, M.; Basten, T. Schiffelers, R.201611th 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 recognitionGrützmacher, F.; Beichler, B.; Haubelt, C.; Theelen, B.20162nd 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 AIBorth, M.; Hendriks, M.201611th System of Systems Engineering Conference (SoSE), 2016. Download
Evaluating the effect of a lightweight formal technique in industryOsaiweran, A.; Schuts, M.; Hooman, J.; Groote, J.F.; Rijnsoever, B. van2016International Journal on Software Tools for Technology Transfer Download
Formalizing and testing the consistency of DSL transformationsKeshishzadeh, S.; Mooij, A.J.2016Formel aspects of computing Download
Improving maintenance by creating a DSL for configuring a fieldbusSchuts, M.; Hooman, J.2016DSM 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 techniquesSchuts, M.; Hooman, J.20161st International Workshop on Real World Domain Specific Languages, RWDSL 2016, 12 March 2016 Download
Industrial application of formal models generated from domain specific languagesHooman, J.2016Frank 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 ArtifactsKeshishzadeh, S.; Mooij, A.J.; Hooman, J.2016Proceedings FESCA 2016 Download
Industrial Software Rejuvenation Using Open-Source ParsersMooij, A.J.; Joy, M.M.;Eggen, G.; Janson, P.; Radulescu, A.2016Theory and Practice of Model Transformations Download
INLyD: Inter-network-layer delay as a low-cost quality metric for multi-hop routing in wireless mobile networksAfzal, S.R.; Nabi, M.; Stuijk, S.; Basten, T.201613th 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 OSLCLeitner, A.; Herbst, B. ;Mathijssen, R.201622nd 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 UnfoldingZhu, X.Y.; Geilen, M.; Basten, T.; Stuijk, S.2016IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Download
Online heuristic for the Multi-Objective Generalized traveling salesman problemPinxten, J. van; Geilen, M.; Basten, T.; Waqas, U.; Somers, L.2016Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016
Reconfigurable pipelined sensing for image-based controlMedina, R.; Stuijk, S.; Goswami, D.: Basten, T.201611th 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 reportSchuts, M.; Hooman, J.; Vaandrager, F.201612th International Conference on Integrated Formal Methods, IFM 2016, 1 June 2016 through 5 June 2016 Download
Robust online face tracking-by-detectionComaschi, F.; Stuijk, S.; Basten, T.; Corporaal, H.20162016 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 ApplicationsBehrouzian, A.R.B.; Goswami, D.; Geilen, M.; Hendriks, M.; Alizadeh Ara, H.; Horssen, E.P. van; Heemels, W.P.M.H.; Basten, T.201611th System of Systems Engineering Conference (SoSE), 2016. Download
Tight Temporal Bounds for Dataflow Applications Mapped onto Shared ResourcesAlizadeh Ara. H.; Geilen; M.; Basten; T.; Behrouzian; A.R.B.; Hendriks; M.; Goswami; D.201611th System of Systems Engineering Conference (SoSE), 2016. Download
Transition from closed system to Internet of Things: A study in standardizing building lighting systemsMathews; E.; Muller; G.201611th 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 semanticsMichels, S.; Hommersom, A.; Lucas, P.J.F.; Velikova, M.2015Artificial Intelligence Download
Automated Diagnosis of Breast Cancer on Medical ImagesVelikova, M.; Dutra, I.; Burnside, E.S.2015Foundations of Biomedical Knowledge Representation Download
Computing response time distributions using iterative probabilistic model checkingVan Den Berg, Freek; Hooman, Jozef; Hartmanns, Arnd; Haverkort, Boudewijn R.; Remke, Anne201512th European Performance Engineering Workshop, EPEW 2015; Madrid; Spain; 31 August 2015 through 1 September 2015 Download
Cost-effective industrial software rejuvenation using domain-specific modelsMooij, A.J.; Eggen, G.; Hooman, J.; Wezep, H. van20158th 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 techniquesBerg, F. van den; Haverkort, B.R.; Hooman J.20159th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015 Download