- VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
Proceedings of the 41st International Conference on Machine Learning, PMLR 235:2846-2856
- SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks
Anahita Baninajjar; Kamran Hosseini; Ahmed Rezine; Amir Aminifar
ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Rhodes Island, Greece, 2023, pp. 1-5
- Secure Cloud Control Using Verifiable Computation
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng
2021 IEEE International Conference on Omni-Layer Intelligent Systems (COINS)
- Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Eles, Zebo Peng
IEEE Real-Time Systems Symposium (RTSS 19)
- Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
IEEE Design & Test
- Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng
ACM Transactions on Design Automation of Electronic Systems (TODAES)
- Stability-Aware Integrated Routing and Scheduling for Control Applications in Ethernet Networks
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
Design, Automation and Test in Europe (DATE) 2018
- Optimization of Message Encryption for Real-Time Applications in Embedded Systems
Amir Aminifar, Petru Eles, Zebo Peng
IEEE Transactions on Computers
- Control-Quality Driven Design of Embedded Control Systems with Stability Guarantees
Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin, Karl-Erik Årzén
IEEE Design & Test
- Intrusion-Damage Assessment and Mitigation in Cyber-Physical Systems for Control Applications
Rouhollah Mahfouzi, Amir Aminifar, Petru Eles, Zebo Peng, Mattias Villani
International Conference on Real-Time Networks and Systems (RTNS 2016)
- Self-Triggered Controllers and Hard Real-Time Guarantees
Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng
Design, Automation & Test in Europe (DATE), March 2016, Dresden, Germany
- Analysis and Design of Real-Time Servers for Control Applications
Amir Aminifar , Enrico Bini , Petru Eles , Zebo Peng
IEEE Transactions on Computers
- Jfair: A Scheduling Algorithm to Stabilize Control Applications
Amir Aminifar, Petru Eles, Zebo Peng
RTAS: 21th IEEE Real-Time and Embedded Technology and Applications Symposium, Cyber-Physical Systems Week, Seattle, WA, April 2015
- Schedulability Analysis of Ethernet AVB Switches
Unmesh D. Bordoloi, Amir Aminifar, Petru Eles, Zebo Peng
20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014), Chongqing, China, Aug. 20-22, 2014.
- Bandwidth-Efficient Controller--Server Co-Design with Stability Guarantees
Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng
Design, Automation & Test in Europe (DATE 2014), Dresden, Germany, March 24-28, 2014.
- Designing Bandwidth-Efficient Stabilizing Control Servers
Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng
IEEE Real-Time Systems Symposium (RTSS 2013), Vancouver, Canada, December 3-6, 2013.
- Stability-Aware Analysis and Design of Embedded Control Systems
Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin
International Conference on Embedded Software (EMSOFT 2013), Montreal, Canada, September 29 - October 4, 2013.
- Control-Quality Driven Design of Cyber-Physical Systems with Robustness Guarantees
Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin
Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.
- Designing High-Quality Embedded Control Systems with Guaranteed Stability
Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
33rd IEEE Real-Time Systems Symposium (RTSS 2012), San Juan, Puerto Rico, December 4-7, 2012.
- Control-Quality Driven Task Mapping for Distributed Embedded Control Systems
Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng
17th IEEE Intl. Conf. on Embedded and Real-Time Computing Systems and Applications (RTCSA 2011), Toyama, Japan, August 29-31, 2011.
|
|
