Reflextion publications
Keywords Source Date Involved partners Contact
Reflexion project success "Er is data genoeg, maar er wordt weinig mee gedaan" , ProcessControl #6 2019 TNO Bas Huijbrechts
Semantic search engine Corrado Grappiolo, Emile van Gerwen, Jack Verhoosel, Lou Somers. "The Semantic Snake Charmer Search Engine, a Tool to Facilitate Data Science in High-tech Industry Domains". Proceedings of the ACM SIGIR Conference on Human Information Interaction and Retrieval. Demonstration paper. demo March 2019 TNO Corrado Grappiolo
Probabilistic string clustering Eline Verwielen, Corrado Grappiolo, Nils Noorman, Kuno Huisman. "The Growing N-Gram Algorithm: A Novel Approach to String Clustering". Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods. February 2019 TNO Corrado Grappiolo
Transition system visualization Dennis van der Werf. "Visualizing Symbolic Transition Systems". Master Thesis, University of Amsterdam, 2018. July 2018 Axini Machiel van de Bijl
Process mining for testing Aswathy George. "Process Mining in Model Based Testing", Master Thesis, University of Amsterdam, 2018. July 2018 Axini Machiel van de Bijl
Test cases grouping Martijn Willensen. "Improving Diagnosis by Grouping Test Cases to Reduce Complexity", Master Thesis, University of Twente, 2018 July 2018 Axini Machiel van de Bijl
Bearing fault Detection Paulo Sousa, "Bearing fault detection: a feature-based approach", MSc Thesis, Univ. Porto (FEUP), 2018. June 2018 Siemens Industry Software Bram Cornelis
Fleet-based fault detection Hendrickx, Kilian & Meert, Wannes & Cornelis, Bram & Janssens, Karl & Gryllias, Konstantinos & Davis, Jesse. "A fleet-wide approach for condition monitoring of similar machines using time-series clustering". International Conference on Condition Monitoring of Machinery in Non-stationary Operations (CMMNO2018), 2018. June 2018 Siemens Industry Software Bram Cornelis
Ontology evaluation Kambiz Sekandar. "A quality measure for automatic ontology evaluation and improvement". Master thesis, Utrecht University, 2018. June 2018 TNO Jan Verhoosel
Probabilistic string clustering Eline Verwielen. "Growing N-grams: a probabilistic approach to string clustering". Master thesis, Tilburg University, 2018. March 2018 TNO Corrado Grappiolo
The value of exploiting data ITEA Magazine #29 March 2018 TNO Bas Huijbrechts
Smart high-tech system-diagnostics with operational data Yonghui Li, Marina Velikova, Emile van Gerwen, Martijn Hendriks, Michael Borth, Koen Kanters. "Demonstrator of high-tech system-diagnostics with operational data". ICT.OPEN 2018. March 2018 TNO Bas Huijbrechts
Data mining for condition monitoring Sander Castermans, "Data mining techniques for machine/vehicle condition monitoring", MSc Thesis, KU Leuven, 2017. June 2017 Siemens Industry Software Bram Cornelis
Simulation-driven machine learning Cameron Sobie and Carina Freitas and Mike Nicolai. "Simulation-driven machine learning: Bearing fault classification". Mechanical Systems and Signal Processing, pp 403-419, 2018 March 2017 Siemens Industry Software Cameron Sobie
Data-science, een kwestie van goed samenwerken Joost Janse. "Data-science, een kwestie van goed samenwerken". Bits&Chips, July 2016. July 2016 Océ Joost Janse
Reflexion partners
Reflexion Partner Achievement Contact
TNO System-data demonstrator: industrial showcases of how operational data adds value to high-tech industry. Bas Huijbrechts
SynerScope First market releases of SynerScope's Ixiwa and Iximeer products suite: quickly navigate, search, link and improve structured and unstructured data; explore all dimensions of the data at once. Jorik Blaas
Yazzoom Extension of the Yazzoom Yanomaly big data platform for anomaly detection on machine generated data & Yasense virtual sensor tool suite. David Verstraeten
Axini Extension of the Axini TestManager user profile driven MBT engine prototype, generating testcases following the same distribution & characteristics of real users interacting with the system. Machiel Van der Bijl
Barco Developed and released Nexxis Care Plan, Barco's web portal for its distributors, resellers and system integrators to manage their installed Barco products. Wim Sandra
Philips Developed new Image Guided Therapy system verification processes using model-based testing incorperating usage models learnt from field log data by applying machine learning techniques. Rob Ekkel
Philips Developed and released a data analysis framework which collects & visualizes machine data of the fleet of operational MRI systems, supporting services incl. MRI system dashboards for commercial customers. Mark van Helvoort
Océ Developed the Optimal Diagnostic Analysis System (ODAS) data infrastructure tool suite to support data analytics using Python Jupyter Notebooks for R&D engineering community. Lou Somers
Siemens ISW Developed and validated a methodology to train machine learning algorithms with simulation-generated data for conditional monitoring of machines. Bram Cornelis
all partners 25 data science specialists (FTEs) were employed by the consortium partners to work on operational data roadmap activities as a direct result of the project activities. Bas Huijbrechts
Axini, SynerScope, Yazzoom 10 commercial tool set releases including - in the project developed - generic purpose data visualization, analytics and MBT functionality to be applied in an industrial setting directly resulted from the Reflexion project activities. Bas Huijbrechts
TitleAuthorsYearPublished inLink
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
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
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
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
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
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
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
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
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
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
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
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
Early Design Phase Cross-Platform Throughput Prediction for Industrial Stream-Processing ApplicationsBijlsma, T.Tabingh Suermondt, W.Doornbos, R.201917th Annual Conference on Systems Engineering Research (CSER) Download
Probabilistic Health and Mission Readiness Assessment at System-LevelBorth, M.Barbini, L.2019Annual conference of the prognostics and health management society 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
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. deVlugt, S. van derGoswami, 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. deVlugt, 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. vanGeilen, 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. vanSomers, 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., Voeten, J., 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
Enhanced time-slotted channel hopping in WSNs using non-intrusive channel-quality estimationTavakoli, R., Nabi, M., Basten, T., Goossens, K.201512th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, MASS 2015, 19 October 2015 through 22 October 2015 Download
Improving end-to-end packet delivery in high traffic multi-hop wireless ad hoc networksAfzal, S.R., Nabi, M., Stuijk, S., Basten, T.2015EAI Endorsed Transactions on Energy Web Download
Intelligent Disease Self-Management with Mobile TechnologyVelikova, M., Lucas, P.J.F., Heijden, M. van der2015Computer Download
Iterative robust multiprocessor schedulingAdyanthaya, S., Geilen, M., Basten, T., Voeten, J., Schiffelers, R.201523rd International Conference on Real-Time Networks and Systems, RTNS 2015, 4 November 2015 through 6 November 2015 Download
Metis : an integrated reference architecture for addressing uncertainty in decision-support systemsHuijbrechts, B., Velikovaa, M., Michels, S., Scheepens, R.2015Procedia Computer Science Download
Modular model-based supervisory controller design for wafer logistics in lithography machinesVan Der Sanden, B., Reniers, M., Geilen, M., Basten, T., Jacobs, J., Voeten, J., Schiffelers, R.201518th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2015, 30 September 2015 through 2 October 2015 Download
Multi-Constraint multi-processor Resource AllocationBehrouzian, A.R.B., Goswami, D., Basten, T., Geilen, M., Ara, H.A.201515th International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, SAMOS 2015, 20 July 2015 through 23 July 2015 Download
Online multi-face detection and tracking using detector confidence and structured SVMsComaschi, F., Stuijk, S., Basten, A.A., Corporaal, H.201512th IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2015, 25 August 2015 through 28 August 2015 Download
Performance analysis of weakly-consistent scenario-aware dataflow graphsGeilen, M., Falk, J., Haubelt, C., Basten, T., Theelen, B., Stuijk, S.201548th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015; Asilomar Hotel and Conference GroundsPacific Grove; United States; 2 November 2014 through 5 November 2014 Download
Performance engineering for industrial embedded data-processing systemsHendriks, M., Verriet, J., Basten, T., Brassn, M., Dankers, R., Laan, R., Lint, A., Moneva, H., Somers, L., Willekens, M.201516th International Conference on Product-Focused Software Process Improvement, PROFES 2015, 2 December 2015 through 4 December 2015 Download
Probabilistic System Summaries for Behavior ArchitectingBorth, M.2015Complex Systems Design & Management
QSRTI: a method for quality assessment of event based (safety related) traffic informationHendriks, T., Vliet-Hameeteman, C. van der201522nd ITS World Congress, Bordeaux, France, 5–9 October 2015
Robustness Analysis for Indoor Lighting Systems : An Application of Model Checking in Large-Scale Distributed Control SystemsDoornbos, R., Verriet, J., Verberkt, M.2015ICONS 2015 : The Tenth International Conference on Systems
Supporting active patient self-careHeijden, M. van der, Velikova, M., Lucas, P.J.F.2015Information Technology for Patient Empowerment in Healthcare Download
Uniting academic achievements on performance analysis with industrial needsTheelen, Bart, Hooman, Jozef201512th European Performance Engineering Workshop, EPEW 2015; Madrid; Spain; 31 August 2015 through 1 September 2015; Download
Using domain specific languages to improve the development of a power control unitSchuts, M., Hooman, J.2015Federated Conference on Computer Science and Information Systems, FedCSIS 2015, 13 September 2015 through 16 September 2015 Download
XCPS: A tool to eXplore cyber physical systemsAdyanthaya, S., Ara, H.A., Bastos, J., Behrouzian, A., Sánchez, R.M., Pinxten, J. van, Sanden, B. van der, Waqas, U., Basten, T., Corporaal, H., Frijns, R., Geilen, M., Goswami, D., Stuijk, S., Reniers, M., Voeten, J.20152015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015 - Proceedings Download
A blueprint for system-level performance modeling of software-intensive embedded systemsHendriks, M., Basten, T., Verriet, J., Brassé, M., Somers, L.2014Int J Softw Tools Technol Transfer Download
Reflexion PartnerAchievementContact
TNOSystem-data demonstrator: industrial showcases of how opertional data adds value to high-tech industry.Bas Huijbrechts
SynerScopeFirst market releases of SynerScope's Ixiwa and Iximeer products suite: quickly navigate, search, link and improve structured and unstructured data; explore all dimensions of the data at once.Jorik Blaas
YazzoomExtension of the Yazzoom Yanomaly big data platform for anomaly detection on machine generated data & Yasense virtual sensor tool suiteDavid Verstraeten
AxiniExtension of the Axini TestManager user profile driven MBT engine prototype, generating testcases following the same distribution & characteristics of real users interacting with the system.Machiel Van der Bijl
BarcoDeveloped and released Nexxis Care Plan, Barco's web portal for its distributors, resellers and system integrators to manage their installed Barco products.Wim Sandra
PhilipsDeveloped new Image Guided Therapy system verification processes using model-based testing incorperating usage models learnt from field log data by applying machine learning techniques.Rob Ekkel
PhilipsDeveloped and released a data analysis framework which collects & visualizes machine data of the fleet of operational MRI systems, supporting services incl. MRI system dashboards for commercial customers.Mark van Helvoort
OcéDeveloped the Optimal Diagnostic Analysis System (ODAS) data infrastructure tool suite to support data analytics using Python Jupyter Notebooks for R&D engineering community.Lou Somers
Siemens ISWDeveloped and validated a methodology to train machine learning algorithms with simulation-generated data for conditional monitoring of machines.Bram Cornelis
all partners25 data science specialists (FTEs) were employed by the consortium partners to work on operational data roadmap activities as a direct result of the project activities.Bas Huijbrechts
Axini, SynerScope, Yazzoom10  commercial tool set releases including - in the project developed - generic purpose data visualization, analytics and MBT functionality to be applied in an industrial setting directly resulted from the Reflexion project activities.Bas Huijbrechts
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
DummyTitleAuthorsYearPublished inLink
Structuring of Methods to Estimate Benefits of Partial NetworkingVasenev, A20184th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2018) Download
A Piecewise Linear Approach towards Sheet Control in a Printer Paper PathBjörn Bukkems; René van de Molengraft; Maurice Heemels; Nathan van de Wouw; Maarten Steinbuch2006ACC Download
Robust Piecewise Linear Sheet Control in a Printer Paper PathBjörn Bukkems; Jeroen de Best; René van de Molengraft; Maarten Steinbuch2006ADHS Download
Multi-disciplinary modelling of dynamic embedded systemsBjörn Bukkems; Heico Sandee; Jan Beckers; Zhaorui Yuan; Berry van der Wijst2004Mechatronics and Robotics Download
Sheet Feedback Control Design in a Printer Paper PathBjörn Bukkems2007PhD Thesis Download
Event-Driven Control in Theory and Practice - Trade-offs in software and control performanceHeico Sandee2007PhD Thesis Download
A case study of multi-disciplinary modeling using MATLAB / Simulink and TrueTimeEvert vd Waal; Peter van den Bosch2005INCOSE Download
Do useful Multi-Domain Methods Exist?Gerrit Muller2005CSER Download
Five Years of Multi-Disciplinary Academic and Industrial Research: Lessons LearnedGerrit Muller; Maurice Heemels2007Conference on System Engineering Research (CSER) 2007 Download
Effective industrial modeling for high-tech systems: The example of Happy FlowJan Beckers; Maurice Heemels; Björn Bukkems; Gerrit Muller2007INCOSE Download
On the Systematic use of Budget Based DesignHennie Freriks; Maurice Heemels2006INCOSE Download
Analysis and experimental validation of processor load for event-driven controllersHeico Sandee; Peter Visser; Maurice Heemels2006CCA Download
Event Driven Control as an opportunity in the Multidisciplinary Development of Embedded ControllersHeico Sandee2005ACC Download
Threads of Reasoning: a case study in printer controlHeico Sandee; Maurice Heemels2006INCOSE Download
Coupling Simulink and UML modelsJozef Hooman; Nataliya Mulyar; Ladislau Posta2004FORMS/FORMATS Download
Robust stability of networked control systems with time-varying network-induced delaysMarieke Cloosterman; Nathan van de Wouw; Maurice Heemels; Henk Nijmeijer2006CDC Download
Practical stability of perturbed event-driven controlled linear systemsW.P.M.H. Heemels; Heico Sandee2006ACC Download
A multi-disciplinary and model-based design methodology for high-tech systemsW.P.M.H. Heemels; Evert van de Waal; Gerrit Muller2006CSER Download
The Use of the Keydriver Technique in the Design of CopiersW.P.M.H. Heemels; Lou Somers; Peter van den Bosch; Zhaorui Yuan; Berry van der Wijst; Adriaan van den Brand; Gerrit Muller2006Proceedings ICSSEA Download
Analysis of varying sampling frequency in controller algorithmsMaurice Snoeren2005MSc thesis. TU/e Electrical Engineering / Control Systems Download
Performance Analysis of Distributed Real-Time Embedded SystemsMenno de Hoon2005MSc thesis. TU/e Electrical Engineering / Electronic Systems Download
Modeling of hardware software performance of high-tech systemsPeter v.d. Bosch; Marcel Verhoef; Gerrit Muller; Oana Florescu2007INCOSE Download
Interpreting Distributed System Architectures with VDM++, a case studyMarcel Verhoef; Peter Gorm Larsen2007Conference on System Engineering Research (CSER) 2007 Download
Performance Modelling and Analysis Using POOSL for an In-Car Navigation SystemOana Florescu; Menno de Hoon; Jeroen Voeten; Henk Corporaal2006Book: Proceedings of the 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI) Download
Predictability in real time systems developmentJinfeng Huang; Jeroen Voeten; Oana Florescu; P.H.A. van der Putten; Henk Corporaal2005Book: Advances in Design and Specification Languages for SoCs Download Download
Property-Preservation Synthesis for Unified Control- and Data-Oriented ModelsOana Florescu; Jeroen Voeten; Henk Corporaal2006Book: Applications of Specification and Design Languages for SoCs Download Download
Error-Estimation in Model-Driven Development for Real-Time SoftwareOana Florescu; Jeroen Voeten; J. Huang; Henk Corporaal2004FDL'04 Download Download
Property-Preservation Synthesis for Unified Control- and Data-Oriented ModelsOana Florescu; Jeroen Voeten; Henk Corporaal2005FDL Download Download
Reusing Real-Time Systems Design Experience Through Modelling PatternsOana Florescu; Jeroen Voeten; Marcel Verhoef; Henk Corporaal2006FDL - ECSI, 2006 Download Download
A Unified Model for Analysis of Real-Time PropertiesOana Florescu; Jeroen Voeten; Henk Corporaal2004ISOLA 04 Download Download
Strengthening Property Preservation in Concurrent Real-Time SystemsOana Florescu; Jinfeng Huang; Jeroen Voeten; Henk Corporaal2006Book:Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) Download Download
Probabilistic Modelling and Evaluation of Soft Real-Time Embedded SystemsOana Florescu; Menno de Hoon; Jeroen Voeten; Henk Corporaal2006Book:Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS VI) Download Download
Controller and Plant System Design TrajectoryPeter Visser; Jan Broenink2006CACSD Download Download
FPGAs as versatile configurable I/O devices in Hardware-in-the-Loop SimulationPeter Visser; Marcel Groothuis; Jan Broenink2004RTSS'04 Download Download
Hard Real-Time Networking on FirewireZ. Yuchen; Peter Visser; Jan Broenink20057th Real-Time Linux Workshop Download Download
Multi-Disciplinary Design Support using Hardware-in-the-Loop SimulationPeter Visser; Marcel Groothuis; Jan Broenink2004Progress Download Download
A Clock Synchronization Skeleton Based on RTAI.Yang Huang; Peter Visser; Jan Broenink20068th Real-Time Linux Workshop Download Download
On the use of VDM++ for specifying Real-Time SystemsMarcel Verhoef2006Technical report:Towards Next Generation Tools for VDM: Contributions fo the First International Overture Workshop, CS-TR 969 Download Download
New Robust Stability and Stabilization Conditions for Linear Repetitive ProcessesW. Paszke; O. Bachelier2009Proceedings of 6th International Workshop on Multidimensional (nD) Systems Download Download
Dissipative stability theory for linear repetitive processes with application in iterative learning controlW. Paszke; P. Rapisarda; E. Rogers; M. Steinbuch2009Proceedings of Symposium on Learning Control at IEEE CDC 2009 Download Download
Modeling Composite End-to-End flows with AADLN.Muhammad; Y. Vandewoude; Y. Berbers; S. van Loo2009Proceedings of STANDRTS workshop on Euromicro Conference on Real-Time Systems (ECRTS 09) Download Download
Evaluating sharpness functions for automated scanning electron microscopyM.E. Rudnaya; R.M.M. Mattheij; J.M.L. Maubach2010Journal of Microscopy, 240(1), 38-49, 2010 Download Download
Towards automatic control of scanning transmission electron microscopesA. Tejada Ruiz; S.W. van der Hoeven; A. J. den Dekker; P.M.J. van den Hof2009Proceedings IEEE Multi-Conference on Systems and Control (CCA 2009) Download Download
Electron Microscopy Experiments Concerning Hysteresis in the Magnetic Lens SystemP.J. van Bree; C.M.M. van Lierop; P.P.J. van den Bosch2010IEEE Multi-conference on Systems and Control Yokohama, Japan Download
Using The Parallelism Viewpoint to Optimize the Use of Threads in Parallelism-Intensive Software SystemsN. Muhammad; N. Boucke and Y. Berbers2010IEEE International Conference on Software and Computing Technology (ICSCT 2010), October, 2010 Download Download
A Parallelism Viewpoint to Analyze Performance Bottlenecks of Parallelism-Intensive Software SystemsN. Muhammad; N. Boucke and Y. Berbers20106th Central and Eastern European Software Engineering Conference, Moscow, Russia October, 2010 Download Download
Model-Based Enhancement of Software Performance for Precision Critical SystemsN. Muhammad; N. Boucke and Y. Berbers2010ECSA 2010 Doctoral Symposium, Copenhagen, Denmark, 2010 Download Download
Feed Forward Initialization of Hysteretic SystemsP.J. van Bree; C.M.M. van Lierop; P.P.J. van den Bosch2010IEEE Conference on Decision and Control, Atlanta (G, USA), 15 -17 December, 2010 Download Download
Nonlinearities in Industrial Motion Stages - Detection and ClassificationD.J. Rijlaarsdam; S.J.L.M. van Loon; P.W.J.M. Nuij; M. Steinbuch2010American Control Conference (ACC 2010), pp. 6644-6649, 2010 Download Download
Frequency domain based feed forward tuning for friction compensationD. Rijlaarsdam; V. v. Geffen; P.W.J.M. Nuij; J. Schoukens; M. Steinbuch2010ASPE 2010 Spring Topical Meeting - Control of Precision Systems, Massachusetts Institute of Technology, Boston (MA, United States), pp 129 – 134, 2010 Download Download
Throughput maximization of particle radius measurements through balancing size versus current of the electron probeW. Van den Broek; S. Van Aert; P. Goos; D. Van Dyck2010Ultramicroscopy (2010) doi:10.1016/j.ultramic.2010.11.025 Download Download
Introducing Measure-by-Wire, the Systematic Use of Control Theory in Transmission Electron MicroscopyA. Tejada; A.J. den Dekker; W. van den Broek2011Ultramicroscopy Download Download
Towards an adaptive minimum variance control scheme for specimen drift compensation in Transmission Electron MicroscopesA. Tejada; P. Vos; A.J. den Dekker20117th International Workshop on Multidimensional (nD) Systems (nDS11) Download Download
Exploring different inelastic projection mechanisms for electron tomographyB. Goris; S. Bals; W. Van den Broek; J. Verbeeck; G. Van Tendeloo2011Ultramicroscopy Download Download
Stability and Performance Analysis of Dual-Random-Rate Systems via Markov Jump Linear System TheoryA. Tejada; J.R. Chavez-Fuentes; P. Vos201150th Conference on Decision and Control Download Download
POEM_Defocus Polar Rose Estimation Method - a fast defocus estimation method for STEMA. Tejada; A. den Dekker2011Proc. 2011 IEEE International Instrumentation and Measurement Technology Conference, Binjiang, Hangzhou, China, 2011, pp. 1228-1232 Download Download
The Role of Poisson’s Binomial Distribution in the Analysis of TEM ImagesA. Tejada; A. den Dekker2011Ultramicroscopy Download Download
Spectral analysis of nonlinear systems and higher order sinusoidal input describing functionsD. Rijlaarsdam; P. Nuij; J. Schoukens; M. Steinbuch2010Automatica 2010 Download Download
Electron tomography based on a total variation minimization reconstruction techniqueB. Goris; W. Van den Broek; K.J. Batenburg; S. Bals2011Ultramicroscopy Download Download
A New Method for Defocus and Astigmatism Correction in Electron MicroscopyM. Rudnaya; W. Van den Broek; R. Doornbos; S. Kho; R. Mattheij; J. Maubach;2011Microscopy and Microanalysis, 17 (Suppl. 2) 528-529 Download Download
Control-oriented hysteresis models for magnetic electron lenseP.J. van Bree; C. M. M. van Lierop; P. P. J. van den Bosch2009IEEE Transactions on Magnetics Download Download
A model based atomic resolution tomographic algorithmW. van den Broek; S. Van Aert; D. Van Dyck2009Ultramicroscopy 109 Download Download
Embedded Systems with AADL: A Practical StudyN.Muhammad; Y. Vandewoude; Y. Berbers; S. van Loo2010Chapter in: Advanced Technologies book, by IN-TECH publishers, 2010 Download Download
Towards Intelligent Tool-Support for AADL Based Modeling of Embedded SystemsD. Langsweirdt; Y. Vandewoude; Y. Berbers2009Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) ; S. Van Baelen et al (Eds.) Download Download
Characterization of hysteresis within magnetic electron lensesP.J. van Bree; C.M.M. van Lierop; P.P.J. van den Bosch200928th Benelux Meeting on Systems and Control Download Download
Model based tomography in high resolution HAADF STEMW. van den Broek; S. van Aert; D. van Dyck2009Proceedings of Microscopy Conference Download Download
Scanning Electron Microscopy: Power Spectrum AnalysisM.E. Rudnaya; J.M.L. Maubach; R.M.M. Mattheij2009Proceedings of Microscopy Conference Download Download
Iterative Learning Control by Linear Repetitive Processes TheoryW. Paszke2009Proceedings of the 28th Benelux Meeting on Systems and Control Download Download
Dynamics of magnetic electron lensesP.J. van Bree200827th Benelux Meeting on Systems and Control Download Download
Towards automatic control of scanning transmission electron microscopes: system identification issuesA. Tejada Ruiz200928th Benelux Meeting on Systems and Control Download Download
Iterative Autofocus Algorithms for Scanning Electron MicroscopyM. Rudnaya; J.M.L. Maubach; R.M.M. Mattheij2009Microscopy & Microanalysis 2009 Download Download
Observer Development for Automatic STEM closed-control loopA. Tejada Ruiz; A.J. den Dekker2009Microscopy & Microanalysis 2009 Download Download
Alignment Control of STEM: a Ronchigram Based ApproachS. van der Hoeven; A.J. den Dekker2009Microscopy & Microanalysis 2009 Download Download
A Review of Function Modelling: Approaches and ApplicationsM.S. Erden; H. Komoto; T.J. van Beek; V. D'Amelio; E. Echavarria; T. Tomiyama2007Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM) Download Download
Concrete syntax and semantics of the compositional interchange format for hybrid systemsD.A. van Beek; M.A. Reniers; J.E. Rooda; R.R.H. Schiffelers2008Ifac 2008; International Federation of Automatic Control Download Download
How reference architectures support the evolution of Product FamiliesG. Muller2008CSER 2008 Download Download
Living' Architecture Overviews - Supporting the Design of Complex SystemsP.D. Borches; G.M. Bonnema2008CIRP Design Conference Download Download
Assessing Software Archives with Evolutionary ClustersA. Vanya; L. Hofland; S. Klusener; P. van de Laar; H. van Vliet2008ICPC08 Download Download
Framework for Computer-Aided Evolution of Object-Oriented DesignS. Ciraci; P. van den Broek; M. Aksit2008IEEE Workshop on Quality Oriented Reuse of Software Download Download
Requirements for Complex Systems ModelingT.J. van Beek; T. Tomiyama2008CIRP Design Conference Download Download
Design with Overview - how to survive in complex organizationsG.M. Bonnema; P.D. Borches2008Proceedings of INCOSE 2008 Download Download
Analyzing the Actual Execution of a Large Software-Intensive System for Determining DependenciesT. Callo; Paris Avgeriou; Pierre America2008Working Conference on Reverse Engineering (WCRE 2008) Download Download
Economics of Architectural Investments in Industrial PracticeA. Ivanovic; P. America20082nd International Workshop on Measurement and Economics of Software Product Lines. Download Download
Integrating conventional system views with function-behavior-state modellingT.J. van Beek; T. Tomiyama2009CIRP Design Conference 2009 - Competitive Design Download Download
Connecting Views in Mechatronic Systems Design, a Function Modeling ApproachT.J. van Beek; T. Tomiyama2008IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications Download Download
On the origin of evolvable systemsP.D. Borches; G.M. Bonnema2007Tools and Methods of Competitive Engineering (TMCE 2008), Kusadasi, Turkey Download Download
Towards Recovering Architectural Concepts Using Latent Semantic IndexingP. van der Spek; S. Klusener; P. van de Laar2007CSMR 2008; European Conference on Software Maintenance and Reengineering Download Download
Supporting Evolving Product FamiliesP. van de Laar20097th Annual Conference on Systems Engineering Research (CSER09) Download Download
Researching reference architectures - and their relationship with frameworks, methods, techniques, and toolsG. Muller; P. van de Laar20097th Annual Conference on Systems Engineering Research (CSER09) Download Download
On the transfer of evolutionary coupling to industryP. van de Laar2009IEEE Mining Software Repositories (MSR 2009) Download Download
Scheduling with sequence dependent setup times in application to Magnetic Resonance Imaging scans processingE. Ivanov; A. Pogromsky; K. Rooda20093rd IEEE Multi-conference on Systems and Control (MSC 2009) Saint Petersburg, RUSSIA Download Download
Scheduling with dynamic constraints in application to MRI scan processingE. Ivanov; A. Yu; S. Pogromsky; J.E. Rooda20093rd IEEE Multi-conference on Systems and Control (MSC 2009) Saint Petersburg, RUSSIA July 8-10, 2009 Download Download
Modeling and simulation using the compositional interchance format for hybrid systemsC. Sonntag; R.R.H. Schiffelers; D.A. van Beek; J.E. Rooda; S. Engell2009MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling; Editors: I.Troch and F.Breitenecker (2009). Download Download
Hybrid Modeling and Simulation of plant/controller CombinationsR.R.H. Schiffelers; A.Y. Pogromsky; D.A. van Beek; J.E. Rooda20093rd IEEE Multi-conference on Systems and Control Download Download
Experimental evaluation of a tool for the verification and transformation of source code in event-driven systemsGürcan Gülesir; Klaas van den Berg; Lodewijk Bergmans; Mehmet Aksit2009Journal on Empirical Software Engineering Download Download
Defining Execution Viewpoints for a Large and Complex Software-Intensive SystemT. Callo; P. America; P. Avgeriou20098th Working IEEE/IFIP Conference on Software Architecture (WICSA), Cambridge Download Download
Supervisory control synthesis for a patient support systemR.J.M. Theunissen; R.R.H. Schiffelers; D.A. van Beek; J.E. Rooda2009European Control Conference (ECC), Budapest (H) Download Download
Coping with system evolutionP.D. Borches; M. Bonnema2009Incose 2009 Download Download
Transferring Software to a New Framework in a Brownfield EnvironmentP. van der Spek; S. Klusener2009European Conference on Software Maintenance and Reengineering, (CSMR), 2009 Download Download
Characterizing Evolutionary ClustersA. Vanya; S. Klusener; N. van Rooijen; H. van Vliet2009WCRE09 Download Download