DATE PhD Forum 2018 
The DATE PhD forum is part of the DATE Conference and hosted by the European Design Automation Association (EDAA), the ACM Special Interest Group on Design Automation (SIGDA), and the IEEE Council on Electronic Design Automation (CEDA). It offers the opportunity for PhD students to present their thesis work to a broad audience in the design, automation and test community from academia and industry. During the presentation at the DATE Conference, it helps students to establish contacts. Representatives from industry and academia get a glance of state-of-the-art research in design, automation and test. The review process resulted in the selection of the PhD students listed below. We thank EDAA, ACM SIGDA, CEDA and DATE for making this forum possible.
Cecilia Metra, University of Bologna, IT (Chair, DATE PhD Forum 2018)
PhD Forum Committee
Juergen Alt, Intel Corporation, DE
Davide Bertozzi, University of Ferrara, IT
Alberto Bosio, LIRMM, FR
Luigi Carro, Universidade Generale do Rio Grande do Sul, BR
Anupam Chattopadhyay, Nanyang Technological University, SG
Marcello Coppola, STMicroelectronics, FR
Rolf Drechsler, University of Bremen, DE
Helmut Graeb, Technische Universität München, DE
Martin Omana, University of Bologna, IT
Daniele Rossi, Hertfordshire University, UK
Andreas Steininger, Vienna University of Technology, AU
Sander Stuijk, Eindhoven University of Technology, NL
Miroslav N. Velev, Aries Design Automation, US
Admitted Presentations
1. An Optimization-Based Methodology for the Exploration of Cyber-Physical System Architectures
Dmitrii Kirov, University of Trento, IT
2. Resilient Energy-Constrained Microprocessor Architectures
Anteneh Gebregiorgis and Mehdi Tahoori, Karlsruhe Institute of Technology, DE
3. Verified Model Refactorings for Hybrid Control Systems
Sebastian Schlesinger, Technische Universitat-Berlin, DE
4. Exact Design of Digital Microfluidic Biochips
Oliver Keszocze, University of Bremen, DE
5. A Functional Safety Approach for Cyber-Physical Systems
Oliver Keszocze, University of Bremen, DE
6. Research on Accuracy-Configurable Architecture for Applications and Systems
Tongxin Yang, Fukuoka University, PJ
7. Social Insect-inspired Adaptive Hardware Systems
Matthew Rowlings, Andy Tyrrell and Martin Trefzer, The University of York, UK
8. Power Modeling for Fast Power Estimation on FPGA
Yehya Nasser, Jean-Christophe Prévotet and Maryline, INSA Rennes, FR
9. Machine Learning Approaches for Hardware Reliability Modelling and Mitigation
Arunkumar Vijayan and Mehdi Tahoori, Karlsruhe Institute of Technology, DE
10. Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Design of Real-Time Systems
Fabiola Ribeiro, Achim Rettberg, Carlos E. Pereira and Michel dos Santos Soares, Federal University of Uberlandia, BR
11. Early Evaluation of Multicore Systems Soft Error Reliability Using Virtual Platforms
Felipe Rocha da Rosa, Universidade Federal do Rio Grande do Sul, BR
12. Spintronic memory towards Secure and Energy-Efficient Computing
Anirudh Iyengar and Swaroop Ghosh, Pennsylvania State University, USA
13. Energy-Efficient and Reliable Computing in Dark Silicon Era
Mohammad-Hashem Haghbayan, University of Turku, FI