Amir R. B. Behrouzian

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 11

Top Topics

Metric Temporal Logic

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Amir R. B. Behrouzian, Hadi Alizadeh Ara, Marc Geilen, Dip Goswami, Twan Basten
Firmness Analysis of Real-time Tasks. ACM Trans. Embed. Comput. Syst. 19 (4) (2020)
Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten
Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models. RTNS (2018)
Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Dip Goswami
Compositional Dataflow Modelling for Cyclo-Static Applications. DSD (2018)
Amir R. B. Behrouzian, Dip Goswami, Twan Basten
Robust co-synthesis of embedded control systems with occasional deadline misses. IOLTS (2018)
Hadi Alizadeh Ara, Amir R. B. Behrouzian, Martijn Hendriks, Marc Geilen, Dip Goswami, Twan Basten
Scalable Analysis for Multi-Scale Dataflow Models. ACM Trans. Embed. Comput. Syst. 17 (4) (2018)
Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Amir R. B. Behrouzian, Martijn Hendriks, Dip Goswami
Tight temporal bounds for dataflow applications mapped onto shared resources. SIES (2016)
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, Dip Goswami, Martijn Hendriks, Sander Stuijk, Michel A. Reniers, Jeroen Voeten
xCPS: a tool to explore cyber physical systems. SIGBED Rev. 14 (1) (2016)
Amir R. B. Behrouzian, Dip Goswami, Marc Geilen, Martijn Hendriks, Hadi Alizadeh Ara, Eelco P. van Horssen, W. P. M. H. Heemels, Twan Basten
Sample-drop firmness analysis of TDMA-scheduled control applications. SIES (2016)
Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami
Checking Metric Temporal Logic with TRACE. ACSD (2016)
Amir R. B. Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara
Multi-Constraint multi-processor Resource Allocation. SAMOS (2015)
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, Dip Goswami, Sander Stuijk, Michel A. Reniers, Jeroen Voeten
xCPS: A tool to eXplore Cyber Physical Systems. WESE (2015)