xCPS: A tool to eXplore Cyber Physical Systems. - Shreya Adyanthaya; Hadi Alizadeh Ara; João Bastos; Amir R. B. Behrouzian; Róbinson Medina Sánchez; Joost van Pinxten; Bram van der Sanden; Umar Waqas; Twan Basten; Henk Corporaal; Raymond Frijns; Marc Geilen; et al. (WESE, 2015)

Multi-Constraint multi-processor Resource Allocation. - Amir R. B. Behrouzian; Dip Goswami; Twan Basten; Marc Geilen; Hadi Alizadeh Ara (SAMOS, 2015)

Checking Metric Temporal Logic with TRACE. - Martijn Hendriks; Marc Geilen; Amir R. B. Behrouzian; Twan Basten; Hadi Alizadeh Ara; Dip Goswami (ACSD, 2016)

Tight temporal bounds for dataflow applications mapped onto shared resources. - Hadi Alizadeh Ara; Marc Geilen; Twan Basten; Amir R. B. Behrouzian; Martijn Hendriks; Dip Goswami (SIES, 2016)

Sample-drop firmness analysis of TDMA-scheduled control applications. - Amir R. B. Behrouzian; Dip Goswami; Marc Geilen; Martijn Hendriks; Hadi Alizadeh Ara; Eelco P. van Horssen; W. P. M. H. Heemels; Twan Basten (SIES, 2016)

xCPS: a tool to explore cyber physical systems. - Shreya Adyanthaya; Hadi Alizadeh Ara; João Bastos; Amir R. B. Behrouzian; Róbinson Medina Sánchez; Joost van Pinxten; Bram van der Sanden; Umar Waqas; Twan Basten; Henk Corporaal; Raymond Frijns; Marc Geilen; et al. (SIGBED Rev., 2016)

Compositional Dataflow Modelling for Cyclo-Static Applications. - Hadi Alizadeh Ara; Marc Geilen; Amir R. B. Behrouzian; Twan Basten; Dip Goswami (DSD, 2018)

Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling. - Amir Reza Baghban Behrouzian; Dip Goswami; Twan Basten; Marc Geilen; Hadi Alizadeh Ara; Martijn Hendriks (RTAS, 2018)

Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models. - Hadi Alizadeh Ara; Marc Geilen; Amir R. B. Behrouzian; Twan Basten (RTNS, 2018)

Scalable Analysis for Multi-Scale Dataflow Models. - Hadi Alizadeh Ara; Amir R. B. Behrouzian; Martijn Hendriks; Marc Geilen; Dip Goswami; Twan Basten (ACM Trans. Embed. Comput. Syst., 2018)

Monotonic Optimization of Dataflow Buffer Sizes. - Martijn Hendriks; Hadi Alizadeh Ara; Marc Geilen; Twan Basten; Ruben Guerra Marin; Rob de Jong; Steven van der Vlugt (J. Signal Process. Syst., 2019)

Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain. - Steven van der Vlugt; Hadi Alizadeh Ara; Rob de Jong; Martijn Hendriks; Ruben Guerra Marin; Marc Geilen; Dip Goswami (J. Signal Process. Syst., 2019)

Firmness Analysis of Real-time Tasks. - Amir R. B. Behrouzian; Hadi Alizadeh Ara; Marc Geilen; Dip Goswami; Twan Basten (ACM Trans. Embed. Comput. Syst., 2020)