FM01 Welcome Reception & PhD Forum, hosted by EDAA, ACM SIGDA, and IEEE CEDA

Start

Monday, 9 March 2020 18:00

End

Monday, 9 March 2020 21:00

Room

Lunch Area

Organiser

Robert Wille, Johannes Kepler University Linz, Austria

FM01.1 Session 1

Session Start

Mon, 18:00

Session End

Mon, 21:00

Organiser

Robert Wille, Johannes Kepler University Linz, Austria

Presentations

FM01.1.1 Networks-on-Chip for Heterogeneous 3D Systems-on-Chip

Start

18:00

End

21:00

Author

Jan Moritz Joseph, Otto-von-Guericke Universität Magdeburg, Germany

FM01.1.2 Intelligent Scheduling Algorithms for Energy Optimization in Smart Grid

Start

18:00

End

21:00

Author

Nilotpal Chakraborty, IIT Patna, India

FM01.1.3 Enhanced Detection and Prevention Techniques to Ensure a Secured Hardware with Improved Performance Metrics

Start

18:00

End

21:00

Author

Sree Ranjani, IIT Madras, India

FM01.1.4 QoS-aware Cross-layer Reliability-integrated Design of Heterogeneous Embedded Systems

Start

18:00

End

21:00

Author

Siva Satyendra Sahoo, Technische Universität Dresden, Germany

FM01.1.5 Design and implementation aspects of post-quantum cryptography

Start

18:00

End

21:00

Author

Angshuman Karmakar, imec-COSIC, KU Leuven, Belgium

FM01.1.6 Security implications of power management systems in multicore devices

Start

18:00

End

21:00

Author

Philipp Miedl, ETH Zurich, Switzerland

FM01.1.7 Towards Sustainable Logic Encryption in an Age of Mistrust

Start

18:00

End

21:00

Author

Amin Rezaei, Northwestern University, United States

FM01.1.8 Architectures And Automation For Beyond-CMOS Technologies

Start

18:00

End

21:00

Author

Debjyoti Bhattacharjee, Nanyang Technological University, Singapore

FM01.1.9 On-chip Thermal Monitoring and Optimization for New-generation Manycore Systems

Start

18:00

End

21:00

Author

Mengquan Li, Nanyang Technological University, Singapore

FM01.1.10 Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

Start

18:00

End

21:00

Author

Bo-Yuan Huang, Student, Taiwan

FM01.1.11 A Formal Approach towards Pattern Guided Scheduling in Embedded Control Systems

Start

18:00

End

21:00

Author

Sumana Ghosh, TUM, Germany

FM01.1.12 Design and Evaluation of Ethernet-based E/E-Architectures for Latency- and Safety-critical Applications

Start

18:00

End

21:00

Author

Fedor Smirnov, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany

FM01.1.13 System-Level Mapping, Analysis, and Management of Real-Time Applications in Many-Core Systems

Start

18:00

End

21:00

Author

Behnaz Pourmohseni, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany

FM01.1.14 Self Aware Nature Inspired Approaches Ensuring Embedded Security

Start

18:00

End

21:00

Author

Krishnendu Guha, University of Calcutta, India

FM01.1.15 CAD Frameworks for Advancing Design IP Protection

Start

18:00

End

21:00

Author

Satwik Patnaik, New York University, United States

FM01.1.16 Design Automation for Error-Tolerant Sample Preparation with Digital Microfluidic Biochips

Start

18:00

End

21:00

Author

Sudip Poddar, National Taiwan University of Science and Technology, Taiwan

FM01.1.17 Automated Test Generation with SystemC Designs for Pre-Silicon Validation

Start

18:00

End

21:00

Author

Bin Lin, Portland State University, United States

FM01.1.18 Dynamic Energy Management of Mixed-Criticality Real-Time Networks-on-Chip

Start

18:00

End

21:00

Author

Thawra Kadeed, TU Braunschweig, Germany

FM01.1.19 Proving Correctness of Industrial Multipliers using Symbolic Computer Algebra

Start

18:00

End

21:00

Author

Alireza Mahzoon, University of Bremen, Germany

FM01.1.20 A Holistic Approach to Functional Safety for Networked Cyber-Physical Systems

Start

18:00

End

21:00

Author

Enrico Fraccaroli, Università degli Studi di Verona, Italy

FM01.1.21 Automated Analysis of Virtual Prototypes at the Electronic System Level–Design Understanding and Applications–

Start

18:00

End

21:00

Author

Mehran Goli, University of Bremen, Germany

FM01.1.22 A Novel Test Flow for Approximate Digital Circuits

Start

18:00

End

21:00

Author

Marcello Traiola, LIRMM, France

FM01.1.23 Heterogeneous HW/SW Techniques for Reliable Systems

Start

18:00

End

21:00

Author

Florian Kriebel, Vienna University of Technology, Austria

FM01.1.24 Efficient Scale-Up and Scale-Out of Beam Longitudinal Dynamics Simulations

Start

18:00

End

21:00

Author

Konstantinos Iliakis, National Technical University of Athens, Greece

FM01.1.25 On Improving Statistical Model Checking by Qualitative Verification

Start

18:00

End

21:00

Author

Tim Gonschorek, Otto von Guericke University Magdeburg, Germany

FM01.1.26 Verifying Multipliers using Computer Algebra

Start

18:00

End

21:00

Author

Daniela Kaufmann, Johannes Kepler University, Austria

FM01.1.27 Energy-efficient Photonic Architectures for Large-scale Computing

Start

18:00

End

21:00

Author

Dharanidhar Dang, University of California, San Diego, United States

FM01.1.28 Energy Efficient and Reliable Deep Learning Accelerator Design

Start

18:00

End

21:00

Author

Jeff Zhang, New York University, United States

FM01.1.29 Connecting the Dots: From Theory to Application of IP Protection

Start

18:00

End

21:00

Author

Abhrajit Sengupta, New York University, United States

FM01.1.30 Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded Systems

Start

18:00

End

21:00

Author

Georg von der Brüggen, TU Dortmund University, Germany

FM01.1.31 Energy-efficient and Performance-driven Implementation of Computational Pipelines of Whole Genome Sequencing on Embedded Platforms

Start

18:00

End

21:00

Author

Sidharth Maheshwari, Newcastle University, United Kingdom

FM01.1.32 Complexity Reduction for Embedded System-Level Design

Start

18:00

End

21:00

Author

Valentina Richthammer, Ulm University, Germany