Publications
Publications
Recent publications
This is an overview of publications by ESI employees in close collaboration with our partners.
Response time analysis of multiframe mixed-criticality systems
with arbitrary deadlines.
Hussain, I.; Awan, M.A.; Souto, P.F.; Bletsas, K.; Akesson, B.; Tovar, E.
Published in Real-Time Systems
publication
Hussain, I.; Awan, M.A.; Souto, P.F.; Bletsas, K.; Akesson, B.; Tovar, E.
Published in Real-Time Systems
QRML: A Component Language and Toolset
for Quality and Resource Management
Berg, F. vanden; Camra, V.; Hendriks, M.; Geilen, M.; Hnetynka, P.; Manteca, F.; Sanchez, P.; Bures, T.; Basten, T.
Published in Forum on Specification and Design Languages
publication
Berg, F. vanden; Camra, V.; Hendriks, M.; Geilen, M.; Hnetynka, P.; Manteca, F.; Sanchez, P.; Bures, T.; Basten, T.
Published in Forum on Specification and Design Languages
Reconfigurable pipelined control systems
Sanchez, R.M.; Nikkhah, S.T.; Goswami, D.; Heemels, W.; Stuijk, S.; Basten, T.
2020 IEEE Design and Test
publication
2020 IEEE Design and Test
Multi-layer multi-rate model predictive control for vehicle platooning under IEEE 802.11p
Ibrahim, A.; Goswami, D.; Li, H.; Soroa, I.M.; Basten, T.
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Practical security and privacy threat analysis in the automotive domain: Long term support scenario for over-the-air updates | Authors Vasenev, A.Stahl, F.Hamazaryan, H.Ma, Z.Shan, L.Kemmerich, J.Loiseaux, C. | Year 2019 | Published in 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 | Link |
Title RERS 2019: Combining Synthesis with Real-World Models | Authors Jasper, M.; Mues, M.; Murtovi, A; Schlüter, M; Howar, F. ; Steffen, B.; Schordan, M.; Hendriks, D.; Schiffelers, R.; Kuppens, H.; Vaandrager, F.W. | Year 2019 | Published in 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 | Link |
Title Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA | Authors Nägele, T.; Hooman, J. | Year 2019 | Published in 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 | 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 |
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 Relating Alternating Relations for Conformance and Refinement | Authors Janssen, R.; Vaandrager, F.; Tretmans, J.; | Year 2019 | Published in 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 | 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 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 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 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 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 Memory bandwidth regulation for multiframe task sets | Authors Awan, M.A.; Souto, P.F.; Bletsas, K.; Akesson, B.; Tovar, E.; | Year 2019 | Published in 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 | 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 Structured problem exploration approach for the pre-concept stage of system development | Authors Vasenev, A.; Hendriks, T.; | 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 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 The semantic snake charmer search engine: A tool to facilitate data science in high-tech industry domains | Authors Grappiolo, C.Gerwen, M.J.A.M. vanVerhoosel, J.P.C.Somers, L. | Year 2019 | Published in 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 | 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 Response time analysis of multiframe mixed-criticality systems | Authors Hussain, I.; Bletsas, K.; Awan, M.A.; Akesson, B.; Souto, P.F.; Tovar, E.; | Year 2019 | Published in ACM International Conference Proceeding Series, 27th International Conference on Real-Time Networks and Systems, RTNS 2019, 6 November 2019 through 8 November 2019 | Link |
Title Techniques and analysis for mixed-criticality scheduling with mode-dependent server execution budgets | Authors Awan, M.A.; Bletsas, K.; Souto, P.F.; Akesson, B.; Tovar, E.; | Year 2019 | Published in ACM Transactions on Embedded Computing Systems | 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 Trading Digital Accuracy for Power in an RSSI Computation of a Sensor Network Transceiver | Authors Detterer, P.Erdin, C.Nabi, M.Gyvez, J.P. deBasten, A.A.Jiao, H. | Year 2019 | Published in Proceedings of the 22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019, 25-29 March 2019, Florence, Italy | Link |
Title Probabilistic health and mission readiness assessment at system-level | Authors Borth, M.; Barbini, L.; | Year 2019 | Published in 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 | Link |
Title Virtual Prototyping of Large-Scale IoT Control Systems Using Domain-Specific Languages | Authors Verriet, J.Buit, L.Doornbos, R.Huijbrechts, B.Sevo, K.Sleuters, J.Verberkt, M. | Year 2019 | Published in 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 | Link |
Title The Growing N-Gram Algorithm : A Novel Approach to String Clustering | Authors Grappiolo, C.Verwielen, E.Noorman, N. | Year 2019 | Published in ICPRAM 2019, 8th International Conference on Pattern Recognition Application and Methods, Prague, Czech Republic, 19- 21 February 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 Schedule synthesis for halide pipelines through reuse analysis | Authors Sioutas, S.Stuijk, S.Waeijen, L.Basten, T.Corporaal, H.Somers, L. | Year 2019 | Published in ACM Transactions on Architecture and Code Optimization | 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 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 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 Reducing Design Time and Promoting Evolvability using Domain-specific Languages in an Industrial Context | Authors Akesson, B.Hooman, J.Sleuters, J.Yankov, A. | Year 2019 | Published in Model Management and Analytics for Large Scale Systems | Link |
Title Structuring of Methods to Estimate Benefits of Partial Networking | Authors Vasenev, A | Year 2018 | Published in 4th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2018) | Link |
Title A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements | Authors Berg, F. van den; Hooman, J.; Haverkort, B.R. | Year 2018 | Published in 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018. 26 February 2018 through 28 February 2018 | Link |
Title Identifying bottlenecks in manufacturing systems using stochastic criticality analysis | Authors Bastos, J.; Sanden, B.; van der, Donk, O.; Voeten, J.; Stuijk, S.; Schiffelers, R.; Corporaal, H. | Year 2018 | Published in 2017 Forum on Specification and Design Languages, FDL 2017. 18 September 2017 through 20 September 2017 | Link |
Title Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling | Authors Behrouzian, A.R.B.; Goswami, D.; Basten, T.; Geilen, M.; Alizadeh Ara, H.; Hendriks, M. | Year 2018 | Published in 24th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018, Porto, Portugal, 11-13 Arpril 2018 | Link |
Title Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code | Authors Dams, D.; Mooij, A.; Kramer, P.; Radulescu, A.; Vanhara, J. | Year 2018 | Published in 201825th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018. 20 March 2018 through 23 March 2018 | Link |
Title Parametric Critical Path Analysis for Event Networks with Minimal and Maximal Time Lags | Authors Pinxten, J. van; Geilen, M.; Hendriks, M.; Basten, T | Year 2018 | Published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Link |
Title Performance prediction for families of data-intensive software applications | Authors Verriet, J.; Dankers, R.; Somers, L. | Year 2018 | Published in 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, Germany - April 9-13, 2018 | Link |
Title Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach | Authors Schuts, M.; Hooman, J.; Kurtev, I.; Swagerman, D.J. | Year 2018 | Published in Proceedings of the Federated Conference on Computer Science and Information Systems | Link |
Title Mixed-criticality Scheduling with Memory Bandwidth Regulation | Authors Awan, M.A.; Souto, P.; Bletsas, K; Akesson, B.; Tovar, E. | Year 2018 | Published in Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE), 2018 | Link |
Title Early Design Phase Cross-Platform Throughput Prediction for Industrial Stream-Processing Applications | Authors Bijlsma, T.; Lint, A; Verriet, J. | Year 2018 | Published in Leibniz International Proceedings in Informatics | Link |
Title Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers | Authors Awan, M.A.; Souto, P.; Bletsas, K.; Akesson, B.; Tovar, E. | Year 2018 | Published in Proc. 30th Euromicro Conference on Real-Time Systems (ECRTS 2018) | Link |
Title Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain | Authors Hendriks, M.; Ara, H.A.; Geilen, M.; Marin, R.G.; Jong, R. de; Vlugt, S. van der; Goswami, D. | Year 2018 | Published in Journal of Signal Processing Systems | Link |
Title Monotonic Optimization of Dataflow Buffer Sizes | Authors Hendriks, M.; Ara, H.A.; Geilen, M.; Basten, A.A.; Marin, R.G.; Jong, R. de; Vlugt, S. van der | Year 2018 | Published in 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) | Link |
Title CoHLA: Design Space Exploration and Co-simulation Made Easy | Authors Nägele, T.; Hooman, J.; Broenink, T; .Broenink, J. | Year 2018 | Published in 2018 IEEE Industrial Cyber-Physical Systems (ICPS), 15-18 May 2018, St. Petersburg, Russia | Link |
Title Industrial Experience with the Migration of Legacy Models using a DSL | Authors Schuts, M.; Hooman, J.; Tielemans, P. | Year 2018 | Published in RWDSL2018 Proceedings of the Real World Domain Specific Languages Workshop 2018 | Link |
Title Mixed-criticality Scheduling with Dynamic Memory Bandwidth Regulation | Authors Awan, M.A.; Souto, P.; Bletsas, K; Akesson, B.; Tovar, E. | Year 2018 | Published in 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2018 | Link |
Title Abstraction and abstraction refinement | Authors Dams, D.R.; Grumberg, O. | Year 2018 | Published in Handbook of Model Checking, 385-419, Springer International Publishing | Link |
Title Data-driven Aspects of Engineering : The Use of Operational Data in SoS Engineering: Chances and Challenges | Authors Borth, M.; Gerwen, E. van | Year 2018 | Published in System of Systems Engineering Conference (SoSE), 2018 | Link |
Title Loop transformations leveraging hardware prefetching | Authors Sioutas, S.; Stuijk, S; Corporaal, H.; Basten, A.A.; Somers, L. | Year 2018 | Published in CGO 2018 - Proceedings of the 16th International Symposium on Code Generation and Optimization, CGO 2018. 24 February 2018 through 28 February 2018 | Link |
Title Scalable analysis for multi-scale dataflow models | Authors Ara, H.A.; Behrouzian, A.; Hendriks, M.; Geilen, M.; Goswami, D.; Basten, T. | Year 2018 | Published in ACM Transactions on Embedded Computing Systems | Link |
Title Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages | Authors Akesson, B.; Hooman, J.; Dekker, R.; Ekkelkamp, W.; Stottelaar, B. | Year 2018 | Published in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018) | Link |
Title Building Distributed Co-simulations using CoHLA | Authors Nägele, T.; Hooman, J.; Sleuters, J | Year 2018 | Published in Proceedings 21st Euromicro Conference on Digital System Design (DSD 2018) | Link |
Title A Domain Model-Centric Approach for the Development of Large-Scale Office Lighting Systems | Authors Doornbos, R.Huijbrechts, B.Sleuters, J.Verriet, J.Sevo, K.Verberkt, M. | Year 2018 | Published in Complex Systems Design & Management : Proceedings of the Ninth International Conference on Complex Systems Design & Management, CSD&M Paris 2018 | Link |
Title The Semantic Snake Charmer Search Engine : A Tool to Facilitate Data Science in High-tech Industry Domains | Authors Grappiolo, C.; Verhoosel, J.; Gerwen, E. van; Somers, L. | Year 2018 | Published in 4th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) | Link |
Title On the existence of practical testers | Authors Katoen, J.P.; Langerak, R.; Rensink, A. | Year 2017 | Published in 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 | Link |
Title Effective link quality estimation as a means to improved end-to-end packet delivery in high traffic mobile ad hoc networks | Authors Afzal, S.R.; Stuijk, S.; Nabi, M.; Basten, T | Year 2017 | Published in Digital Communications and Networks | Link |
Title Mapping of synchronous dataflow graphs on MPSoCs based on parallelism enhancement | Authors Tang, Q.; Basten, T.; Geilen, M.; Stuijk, S.; Wei, J.B. | Year 2017 | Published in Journal of Parallel and Distributed Computing | Link |
Title Checking Metric Temporal Logic with TRACE | Authors Hendriks, M.; Geilen, M.; Behrouzian, A.R.B.; Basten, T.; Alizadeh, H.; Goswami, D. | Year 2017 | Published in 16th International Conference on Application of Concurrency to System Design, ACSD 2016. 19 June 2016 through 24 June 2016 | Link |
Title Co-simulation of cyber-physical systems using HLA | Authors Nagele, T.; Hooman, J. | Year 2017 | Published in 7th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2017. 9 January 2017 through 11 January 2017 | Link |
Title A fail-operational truck platooning architecture | Authors Bijlsma, T.; ; Hendriks, T. | Year 2017 | Published in 28th IEEE Intelligent Vehicles Symposium, IV 2017. 11 June 2017 through 14 June 2017 | Link |
Title Rapid Construction of Co-simulations of Cyber-Physical Systems in HLA using a DSL | Authors Nagele, T.; Hooman, J. | Year 2017 | Published in 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) | Link |
Title Exploring the trade-off between processing resources and settling time in image-based control through LQR tuning | Authors Medina, R.; Stuijk, S.; Goswami, D.; Basten, T. | Year 2017 | Published in 32nd Annual ACM Symposium on Applied Computing, SAC 2017. 4 April 2017 through 6 April 2017 | Link |
Title Special section: Integrating dataflow, embedded computing and architecture | Authors Basten, T.; Moreira, O.; Groote, R. de | Year 2017 | Published in ACM Transactions on Design Automation of Electronic Systems | Link |
Title Task-FIFO co-scheduling of streaming applications on MPSoCs with predictable memory hierarchy | Authors Tang, Q.; Basten, T.; Geilen, M.; Stuijk, S.; Wei, J.B. | Year 2017 | Published in ACM Transactions on Embedded Computing Systems | Link |
Title Online scheduling of 2-re-entrant flexible manufacturing systems | Authors Pinxten, J. van; Waqas, U.; Geilen, M. ; Basten, T.; Somers, L. | Year 2017 | Published in ACM Transactions on Embedded Computing Systems | Link |
Title Forward progress on GPU concurrency | Authors Donaldson, A.F.; Ketema, J.; Sorensen, T.; Wickerson, J. | Year 2017 | Published in 28th International Conference on Concurrency Theory, CONCUR 2017. 5 September 2017 through 8 September 2017 | Link |
Title iDSL: Automated Performance Evaluation of Service-Oriented Systems | Authors Berg, F. van den; Haverkort, B.R.; Hooman, J. | Year 2017 | Published in 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 | Link |
Title Runtime Monitoring Based on Interface Specifications | Authors Kurtev, I.; Hooman, J.; Schuts, M. | Year 2017 | Published in 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 | Link |
Title Industrial application of formal models generated from domain specific languages | Authors Hooman, J. | Year 2016 | Published in Frank de Boer on the Occasion of His 60th Birthday, 2016, 5 July 2016 through 5 July 2016 | Link |
Title Refactoring of legacy software using model learning and equivalence checking: An industrial experience report | Authors Schuts, M.; Hooman, J.; Vaandrager, F. | Year 2016 | Published in 12th International Conference on Integrated Formal Methods, IFM 2016, 1 June 2016 through 5 June 2016 | Link |
Title Industrial Software Rejuvenation Using Open-Source Parsers | Authors Mooij, A.J.; Joy, M.M.;Eggen, G.; Janson, P.; Radulescu, A. | Year 2016 | Published in Theory and Practice of Model Transformations | Link |
Title Lessons learned from tool integration with OSLC | Authors Leitner, A.; Herbst, B. ;Mathijssen, R. | Year 2016 | Published in 22nd International Conference on Information and Software Technologies, ICIST 2016, 13 October 2016 through 15 October 2016 | Link |
Title Formalizing and testing the consistency of DSL transformations | Authors Keshishzadeh, S.; Mooij, A.J. | Year 2016 | Published in Formel aspects of computing | Link |
Title A blueprint for system-level performance modeling of software-intensive embedded systems | Authors Hendriks, M.; Basten, T.; Verriet, J.; Brassé, M.; Somers, L. | Year 2016 | Published in International Journal on Software Tools for Technology Transfer | Link |
Title Evaluating the effect of a lightweight formal technique in industry | Authors Osaiweran, A.; Schuts, M.; Hooman, J.; Groote, J.F.; Rijnsoever, B. van | Year 2016 | Published in International Journal on Software Tools for Technology Transfer | Link |
Title Dataflow-based modeling and performance analysis for online gesture recognition | Authors Grützmacher, F.; Beichler, B.; Haubelt, C.; Theelen, B. | Year 2016 | Published in 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, 11 April 2016 | Link |
Title A Fast Estimator of Performance with Respect to the Design Parameters of Self Re-Entrant Flowshops | Authors Waqas, U.; Geilen, M.; Stuijk, S.; Pinxten, J.V.; Basten, T.; Somers, L.; Corporaal, H. | Year 2016 | Published in 19th Euromicro Conference on Digital System Design, DSD 2016. 31 August 2016 through 2 September 2016 | Link |