UB01 Session 1 1030 - 1230 1030 Timing & power characterization framework for embedded processors Authors: Mark Kettner and Frank Oppenheimer, OFFIS - Institute for Information Technology, DE 1030 WTG: Waveform Transition Graphs: A designer-friendly formalism for asynchronous circuits Author: Danil Sokolov, Newcastle University, GB 1030 MICROPLAN: Micro-System Design and Production Planning Tool Authors: Horst Tilman, Robert Fischbach and Jens Lienig, Technische Universität Dresden, DE 1030 Hipacc: Synthesizing High-Performance Image Processing Applications with Hipacc Authors: M. Akif Oezkan¹, M. Akif Özkan,¹, Oliver Reiche¹, Bo Qiao¹, Richard Membarth,², Jürgen Teich¹ and Frank Hannig^{1 1}Friedrich–Alexander University Erlangen–Nürnberg (FAU), DE; ²German Research Center for Artificial Intelligence (DFKI), DE 1030 ACSIM: A Novel, Simulator for Heterogeneous Parallel and Distributed Systems that in-corporate Custom Hardware Accelerators Authors: Nikolaos Tampouratzis¹ and Ioannis Papaefstathiou^{2 1}Technical University of Crete, GR; ²Synelixis Solutions LTD, GR 1030 MDC: Multi-Dataflow Composer Tool: dataflow to hardware composition and optimization of reconfigurable accelerators Authors: Francesca Palumbo¹, Carlo Sau², Tiziana Fanni², Claudio Rubattu¹ and Luigi Raffo^{2 1}University of Sassari, IT; ²University of Cagliari, IT 1030 Design Space Exploration Frameworks for Approximate Computing Authors: Alberto Bosio¹, Olivier Sentieys² and Daniel Ménard^{3 1}University of Lyon, FR; ²University of Rennes, INRIA/IRISA, FR; ³INSA Rennes - IETR, FR 1030 RESCUE: EDA Toolset for Interdependent Aspects of Reliability, Security and Quality in Nanoelectronic Systems Design Authors: Cemil Cem Gürsoy¹, Guilherme Cardoso Medeiros², Junchao Chen³, Nevin George⁴, Josie Esteban Rodriguez Condia⁵, Thomas Lange⁶, Aleksa Damljanovic⁵, Raphael Segabinazzi Ferreira⁴, Aneesh Balakrishnan⁶, Xinhui Anna Lai¹, Shayesteh Masoumian⁷, Dmytro Petryk³, Troya Cagil Koylu², Felipe Augusto da Silva⁸, Ahmet Cagri Bagbaba⁸ and Maksim Jenihhin^{1 1}Tallinn University of Technology, EE; ²Delft University of Technology, NL; ³IHP, DE; ⁴BTU Cottbus-Senftenberg, DE; ⁵Politecnico di Torino, IT; ⁶IROC Technologies, FR; ⁷Intrinsic ID B.V., NL; ⁸Cadence Design Systems GmbH, DE 1030 RISC-V VP: RISC-V based Virtual Prototype: An Open Source Platform for Modeling and Verification Authors: Vladimir Herdt¹, Daniel Große², Hoang M. Le¹ and Rolf Drechsler^{2 1}University of Bremen, DE; ²University of Bremen, DFKI GmbH, DE 1030 SETA-RAY: A New IDE tool for Predicting, Analyzing and Mitigating Radiation-induced Soft Errors on FPGAs Authors: Luca Sterpone, Boyang Du and Sarah Azimi, Politecnico di Torino, IT UB02 Session 2 1230 - 1500 1230 Timing & power characterization framework for embedded processors Authors: Mark Kettner and Frank Oppenheimer, OFFIS - Institute for Information Technology, DE 1230 WTG: Waveform Transition Graphs: A designer-friendly formalism for asynchronous circuits Author: Danil Sokolov, Newcastle University, GB 1230 A Fast Prototyping Framework for Service-Oriented Automotive Applications Authors: Matthias Becker, Zhonghai Lu and De-Jiu Chen, KTH Royal Institute of Technology, SE 1230 EQ-PyD-Net: Energy-Efficient Monocular Depth Estimation on ARM-based Embedded Platforms Authors: Andrea Calimera¹, Valentino Peluso¹, Antonio Cipolletta¹, Matteo Poggi², Fabio Tosi² and Stefano Mattoccia^{2 1}Politecnico di Torino, IT; ²Università di Bologna, IT 1230 ACSIM: A Novel, Simulator for Heterogeneous Parallel and Distributed Systems that in-corporate Custom Hardware Accelerators Authors: Nikolaos Tampouratzis¹ and Ioannis Papaefstathiou^{2 1}Technical University of Crete, GR; ²Synelixis Solutions LTD, GR 1230 MASCaRA: A Machine Learning Automatic Speech Recognition Platform for Users with Dysarthria Authors: Davide Mulfari, Gabriele Meoni, Marco Marini and Luca Fanucci, University of Pisa, IT 1230 SCCharts: The KIELER SCCharts Editor - A Modular Open-Source Modeling Suite with Automatic Diagram Synthesis Authors: Steven Smyth¹, Alexander Schulz-Rosengarten¹, Christian Motika² and Reinhard von Hanxleden^{1 1}Kiel University, DE; ²Lufthansa Technik, DE 1230 RESCUE: EDA Toolset for Interdependent Aspects of Reliability, Security and Quality in Nanoelectronic Systems Design Authors: Cemil Cem Gürsoy¹, Guilherme Cardoso Medeiros², Junchao Chen³, Nevin George⁴, Josie Esteban Rodriguez Condia⁵, Thomas Lange⁶, Aleksa Damljanovic⁵, Raphael Segabinazzi Ferreira⁴, Aneesh Balakrishnan⁶, Xinhui Anna Lai¹, Shayesteh Masoumian⁷, Dmytro Petryk³, Troya Cagil Koylu², Felipe Augusto da Silva⁸, Ahmet Cagri Bagbaba⁸ and Maksim Jenihhin^{1 1}Tallinn University of Technology, EE; ²Delft University of Technology, NL; ³IHP, DE; ⁴BTU Cottbus-Senftenberg, DE; ⁵Politecnico di Torino, IT; ⁶IROC Technologies, FR; ⁷Intrinsic ID B.V., NL; ⁸Cadence Design Systems GmbH, DE 1230 ApoDOSIS: ADvanced Orchestrator for Smart-buildIngS Authors: Kostas Siozios¹ and Stylianos Siskos^{2 1}Aristotle University of Thessaloniki, GR; ²Department of Physics, Aristotle University of Thessaloniki, GR 1230 A Modular Reconfigurable Digital Microfluidics Platform Authors: Georgi Tanev¹, Winnie Svendsen² and Jan Madsen^{3 1}Technical University of Denmark, DK; ²DTU Bioengineering, DK; ³DTU Compute, DK UB03 Session 3 1500 - 1730 1500 MICROPLAN: Micro-System Design and Production Planning Tool Authors: Horst Tilman, Robert Fischbach and Jens Lienig, Technische Universität Dresden, DE 1500 T-CREST: The Time-Predictable Multicore Processor T-CREST Authors: Martin Schöberl, Luca Pezzarossa and Jens Sparso, Technical University of Denmark, DK 1500 A Fast Prototyping Framework for Service-Oriented Automotive Applications Authors: Matthias Becker, Zhonghai Lu and De-Jiu Chen, KTH Royal Institute of Technology, SE 1500 ASAM: Automatic Synthesis of Algorithms on Multi Chip/FPGA with Communication Constraints Authors: Amir Masoud Gharehbaghi, Tomohiro Maruoka, Yukio Miyasaka, Akihiro Goda, Amir Masoud Gharehbaghi and Masahiro Fujita, The University of Tokyo, JP 1500 PREESM: Generating energy-optimized adaptive software on a heterogeneous platform with PREESM Authors: Maxime Pelcat¹, Karol Desnos¹, Daniel Menard¹, Florian Arrestier¹, Alexandre Honorat¹, Claudio Rubattu², Antoine Morvan¹, Julien Heulot¹ and Jean-François Nezan^{1 1}INSA Rennes/IETR, FR; ²UNISS, INSA Rennes/IETR, FR 1500 MASCaRA: A Machine Learning Automatic Speech Recognition Platform for Users with Dysarthria Authors: Davide Mulfari, Gabriele Meoni, Marco Marini and Luca Fanucci, University of Pisa, IT 1500 SCCharts: The KIELER SCCharts Editor - A Modular Open-Source Modeling Suite with Automatic Diagram Synthesis Authors: Steven Smyth¹, Alexander Schulz-Rosengarten¹, Christian Motika² and Reinhard von Hanxleden^{1 1}Kiel University, DE; ²Lufthansa Technik, DE 1500 ReqV: A tool for requirements formal consistency checking Authors: Luca Pulina¹, Massimo Narizzano², Armando Tacchella² and Simone Vuotto^{1 1}University of Sassari, IT; ²University of Genoa, IT 1500 SETA-RAY: A New IDE tool for Predicting, Analyzing and Mitigating Radiation-induced Soft Errors on FPGAs Authors: Luca Sterpone, Boyang Du and Sarah Azimi, Politecnico di Torino, IT 1500 Addressing Man-In-The-Middle threat in extensively connected cars and next-generation automotive networks Authors: Luca Crocetti, Luca Baldanzi and Luca Fanucci, University of Pisa, IT UB05 Session 5 1000 - 1200 1000 Timing & power characterization framework for embedded processors Authors: Mark Kettner and Frank Oppenheimer, OFFIS - Institute for Information Technology, DE 1000 Logic Minimizer: Logic Minimizers for Partially Defined Functions Authors: Tsutomu Sasao, Kyu Matsuura, Kazuyuki Kai and Yukihiro Iguchi, Meiji University, JP 1000 SWARM: Self-organized Wiring and Arrangement of Responsive Modules Authors: Daniel Marolt and Jürgen Scheible, Hochschule Reutlingen, DE 1000 HEPSYCODE-MC: Electronic System-Level Methodology for HW/SW Co-Design of Mixed-Criticality Embedded Systems Authors: Luigi Pomante¹, Vittoriano Muttillo¹, Marco Santic¹ and Emilio Incerto^{2 1}Università degli Studi dell'Aquila - DEWS, IT; ²IMT Lucca, IT 1000 CS: CrazySquare Authors: Federica Caruso¹, Federica Caruso¹, Tania Di Mascio¹, Alessandro D'Errico¹, Marco Pennese², Luigi Pomante¹, Claudia Rinaldi¹ and Marco Santic^{1 1}University of L'Aquila, IT; ²Ministry of Education, IT 1000 MDC: Multi-Dataflow Composer Tool: dataflow to hardware composition and optimization of reconfigurable accelerators Authors: Francesca Palumbo¹, Carlo Sau², Tiziana Fanni², Claudio Rubattu¹ and Luigi Raffo^{2 1}University of Sassari, IT; ²University of Cagliari, IT 1000 SCCharts: The KIELER SCCharts Editor - A Modular Open-Source Modeling Suite with Automatic Diagram Synthesis Authors: Steven Smyth¹, Alexander Schulz-Rosengarten¹, Christian Motika² and Reinhard von Hanxleden^{1 1}Kiel University, DE; ²Lufthansa Technik, DE 1000 LabSmiling: A SaaS framework, composed of a number of remotely accessible testbeds and related SW tools, for analysis, design and management of low data-rate wireless personal area networks based on IEEE 802.15.4 Authors: Carlo Centofanti, Luigi Pomante, Marco Santic and Walter Tiberti, University of L'Aquila, IT 1000 MECO: An autonomic Manager for Edge-Computing platfOrms Authors: Gabriella D'Andrea, Tania Di Mascio, Luigi Pomante and Giacomo Valente, University of L'Aquila, IT 1000 RISC-V VP: RISC-V based Virtual Prototype: An Open Source Platform for Modeling and Verification Authors: Vladimir Herdt¹, Daniel Große², Hoang M. Le¹ and Rolf Drechsler^{2 1}University of Bremen, DE; ²University of Bremen, DFKI GmbH, DE UB06 Session 6 1200 - 1400 1200 Timing & power characterization framework for embedded processors Authors: Mark Kettner and Frank Oppenheimer, OFFIS - Institute for Information Technology, DE 1200 EDP Player: A Design Assistant for Procedural Design Automation of Analog Integrated Circuits Authors: Matthias Schweikardt¹, Husni Habal² and Jürgen Scheible^{1 1}Hochschule Reutlingen, DE; ²Infineon Technologies, DE 1200 MICROPLAN: Micro-System Design and Production Planning Tool Authors: Horst Tilman, Robert Fischbach and Jens Lienig, Technische Universität Dresden, DE 1200 mROS and ZytleBot: Design Platforms for Embedded Robot Systems Authors: Hideki Takase¹, Yasuhiro Nitta¹ and So Tamura^{2 1}Kyoto University, JP; ²Kyoto Universiy, JP 1200 PREESM: Generating energy-optimized adaptive software on a heterogeneous platform with PREESM Authors: Maxime Pelcat¹, Karol Desnos¹, Daniel Menard¹, Florian Arrestier¹, Alexandre Honorat¹, Claudio Rubattu², Antoine Morvan¹, Julien Heulot¹ and Jean-François Nezan^{1 1}INSA Rennes/IETR, FR; ²UNISS, INSA Rennes/IETR, FR 1200 A RISC-V Based Virtual Prototype with an Integrated Hardware-in-the-Loop Radar Authors: Peer Adelt, Denis Zeinel, Bastian Koppelmann, Wolfgang Mueller and Christoph Scheytt, University of Paderborn, DE 1200 SCCharts: The KIELER SCCharts Editor - A Modular Open-Source Modeling Suite with Automatic Diagram Synthesis Authors: Steven Smyth¹, Alexander Schulz-Rosengarten¹, Christian Motika² and Reinhard von Hanxleden^{1 1}Kiel University, DE; ²Lufthansa Technik, DE 1200 MASCaRA: A Machine Learning Automatic Speech Recognition Platform for Users with Dysarthria Authors: Davide Mulfari, Gabriele Meoni, Marco Marini and Luca Fanucci, University of Pisa, IT 1200 Design Space Exploration Frameworks for Approximate Computing Authors: Alberto Bosio¹, Olivier Sentieys² and Daniel Ménard^{3 1}University of Lyon, FR; ²University of Rennes, INRIA/IRISA, FR; ³INSA Rennes - IETR, FR UB07 Session 7 1400 - 1600 1400 RESCUE: EDA Toolset for Interdependent Aspects of Reliability, Security and Quality in Nanoelectronic Systems Design Authors: Cemil Cem Gürsoy¹, Guilherme Cardoso Medeiros², Junchao Chen³, Nevin George⁴, Josie Esteban Rodriguez Condia⁵, Thomas Lange⁶, Aleksa Damljanovic⁵, Raphael Segabinazzi Ferreira⁴, Aneesh Balakrishnan⁶, Xinhui Anna Lai¹, Shayesteh Masoumian⁷, Dmytro Petryk³, Troya Cagil Koylu², Felipe Augusto da Silva⁸, Ahmet Cagri Bagbaba⁸ and Maksim Jenihhin^{1 1}Tallinn University of Technology, EE; ²Delft University of Technology, NL; ³IHP, DE; ⁴BTU Cottbus-Senftenberg, DE; ⁵Politecnico di Torino, IT; ⁶IROC Technologies, FR; ⁷Intrinsic ID B.V., NL; ⁸Cadence Design Systems GmbH, DE 1400 EDP Player: A Design Assistant for Procedural Design Automation of Analog Integrated Circuits Authors: Matthias Schweikardt¹, Husni Habal² and Jürgen Scheible^{1 1}Hochschule Reutlingen, DE; ²Infineon Technologies, DE 1400 A Fast Prototyping Framework for Service-Oriented Automotive Applications Authors: Matthias Becker, Zhonghai Lu and De-Jiu Chen, KTH Royal Institute of Technology, SE 1400 EQ-PyD-Net: Energy-Efficient Monocular Depth Estimation on ARM-based Embedded Platforms Authors: Andrea Calimera¹, Valentino Peluso¹, Antonio Cipolletta¹, Matteo Poggi², Fabio Tosi² and Stefano Mattoccia^{2 1}Politecnico di Torino, IT; ²Università di Bologna, IT 1400 T-CREST: The Time-Predictable Multicore Processor T-CREST Authors: Martin Schöberl, Luca Pezzarossa and Jens Sparso, Technical University of Denmark, DK 1400 Addressing Man-In-The-Middle threat in extensively connected cars and next-generation automotive networks Authors: Luca Crocetti, Luca Baldanzi and Luca Fanucci, University of Pisa, IT 1400 ASAM: Automatic Synthesis of Algorithms on Multi Chip/FPGA with Communication Constraints Authors: Amir Masoud Gharehbaghi, Tomohiro Maruoka, Yukio Miyasaka, Akihiro Goda, Amir Masoud Gharehbaghi and Masahiro Fujita, The University of Tokyo, JP 1400 MECO: An autonomic Manager for Edge-Computing platfOrms Authors: Gabriella D'Andrea, Tania Di Mascio, Luigi Pomante and Giacomo Valente, University of L'Aquila, IT 1400 LabSmiling: A SaaS framework, composed of a number of remotely accessible testbeds and related SW tools, for analysis, design and management of low data-rate wireless personal area networks based on IEEE 802.15.4 Authors: Carlo Centofanti, Luigi Pomante, Marco Santic and Walter Tiberti, University of L'Aquila, IT 1400 ReqV: A tool for requirements formal consistency checking Authors: Luca Pulina¹, Massimo Narizzano², Armando Tacchella² and Simone Vuotto^{1 1}University of Sassari, IT; ²University of Genoa, IT UB08 Session 8 1600 - 1800 1600 RESCUE: EDA Toolset for Interdependent Aspects of Reliability, Security and Quality in Nanoelectronic Systems Design Authors: Cemil Cem Gürsoy¹, Guilherme Cardoso Medeiros², Junchao Chen³, Nevin George⁴, Josie Esteban Rodriguez Condia⁵, Thomas Lange⁶, Aleksa Damljanovic⁵, Raphael Segabinazzi Ferreira⁴, Aneesh Balakrishnan⁶, Xinhui Anna Lai¹, Shayesteh Masoumian⁷, Dmytro Petryk³, Troya Cagil Koylu², Felipe Augusto da Silva⁸, Ahmet Cagri Bagbaba⁸ and Maksim Jenihhin^{1 1}Tallinn University of Technology, EE; ²Delft University of Technology, NL; ³IHP, DE; ⁴BTU Cottbus-Senftenberg, DE; ⁵Politecnico di Torino, IT; ⁶IROC Technologies, FR; ⁷Intrinsic ID B.V., NL; ⁸Cadence Design Systems GmbH, DE 1600 Logic Minimizer: Logic Minimizers for Partially Defined Functions Authors: Tsutomu Sasao, Kyu Matsuura, Kazuyuki Kai and Yukihiro Iguchi, Meiji University, JP 1600 SWARM: Self-organized Wiring and Arrangement of Responsive Modules Authors: Daniel Marolt and Jürgen Scheible, Hochschule Reutlingen, DE 1600 EQ-PyD-Net: Energy-Efficient Monocular Depth Estimation on ARM-based Embedded Platforms Authors: Andrea Calimera¹, Valentino Peluso¹, Antonio Cipolletta¹, Matteo Poggi², Fabio Tosi² and Stefano Mattoccia^{2 1}Politecnico di Torino, IT; ²Università di Bologna, IT 1600 PREESM: Generating energy-optimized adaptive software on a heterogeneous platform with PREESM Authors: Maxime Pelcat¹, Karol Desnos¹, Daniel Menard¹, Florian Arrestier¹, Alexandre Honorat¹, Claudio Rubattu², Antoine Morvan¹, Julien Heulot¹ and Jean-François Nezan^{1 1}INSA Rennes/IETR, FR; ²UNISS, INSA Rennes/IETR, FR 1600 Addressing Man-In-The-Middle threat in extensively connected cars and next-generation automotive networks Authors: Luca Crocetti, Luca Baldanzi and Luca Fanucci, University of Pisa, IT 1600 SETA-RAY: A New IDE tool for Predicting, Analyzing and Mitigating Radiation-induced Soft Errors on FPGAs Authors: Luca Sterpone, Boyang Du and Sarah Azimi, Politecnico di Torino, IT 1600 A Modular Reconfigurable Digital Microfluidics Platform Authors: Georgi Tanev¹, Winnie Svendsen² and Jan Madsen^{3 1}Technical University of Denmark, DK; ²DTU Bioengineering, DK; ³DTU Compute, DK 1600 mROS and ZytleBot: Design Platforms for Embedded Robot Systems Authors: Hideki Takase¹, Yasuhiro Nitta¹ and So Tamura^{2 1}Kyoto University, JP; ²Kyoto Universiy, JP 1600 POETS: Partially Ordered Event Driven Systems Authors: Jonathan Beaumont¹, Ghaith Tarawneh², Shane Fleming¹, Matthew Naylor³, Andrew Brown⁴, Andrey Mokhov², Simon Moore³ and David Thomas^{1 1}Imperial College London, GB; ²Newcastle University, GB; ³University of Cambridge, GB; ⁴University of Southampton, GB UB09 Session 9 1000 - 1200 1000 TinyWIDS: A Intrusion Detection System for Wireless Sensor Networks Authors: Walter Tiberti¹ and Luigi Pomante^{2 1}University of L'Aquila, IT; ²DEWS, IT 1000 RESCUE: EDA Toolset for Interdependent Aspects of Reliability, Security and Quality in Nanoelectronic Systems Design Authors: Cemil Cem Gürsoy¹, Guilherme Cardoso Medeiros², Junchao Chen³, Nevin George⁴, Josie Esteban Rodriguez Condia⁵, Thomas Lange⁶, Aleksa Damljanovic⁵, Raphael Segabinazzi Ferreira⁴, Aneesh Balakrishnan⁶, Xinhui Anna Lai¹, Shayesteh Masoumian⁷, Dmytro Petryk³, Troya Cagil Koylu², Felipe Augusto da Silva⁸, Ahmet Cagri Bagbaba⁸ and Maksim Jenihhin^{1 1}Tallinn University of Technology, EE; ²Delft University of Technology, NL; ³IHP, DE; ⁴BTU Cottbus-Senftenberg, DE; ⁵Politecnico di Torino, IT; ⁶IROC Technologies, FR; ⁷Intrinsic ID B.V., NL; ⁸Cadence Design Systems GmbH, DE 1000 ASAM: Automatic Synthesis of Algorithms on Multi Chip/FPGA with Communication Constraints Authors: Amir Masoud Gharehbaghi, Tomohiro Maruoka, Yukio Miyasaka, Akihiro Goda, Amir Masoud Gharehbaghi and Masahiro Fujita, The University of Tokyo, JP 1000 HEPSYCODE-MC: Electronic System-Level Methodology for HW/SW Co-Design of Mixed-Criticality Embedded Systems Authors: Luigi Pomante¹, Vittoriano Muttillo¹, Marco Santic¹ and Emilio Incerto^{2 1}Università degli Studi dell'Aquila - DEWS, IT; ²IMT Lucca, IT 1000 CS: CrazySquare Authors: Federica Caruso¹, Federica Caruso¹, Tania Di Mascio¹, Alessandro D'Errico¹, Marco Pennese², Luigi Pomante¹, Claudia Rinaldi¹ and Marco Santic^{1 1}University of L'Aquila, IT; ²Ministry of Education, IT 1000 LabSmiling: A SaaS framework, composed of a number of remotely accessible testbeds and related SW tools, for analysis, design and management of low data-rate wireless personal area networks based on IEEE 802.15.4 Authors: Carlo Centofanti, Luigi Pomante, Marco Santic and Walter Tiberti, University of L'Aquila, IT 1000 SETA-RAY: A New IDE tool for Predicting, Analyzing and Mitigating Radiation-induced Soft Errors on FPGAs Authors: Luca Sterpone, Boyang Du and Sarah Azimi, Politecnico di Torino, IT 1000 ReqV: A tool for requirements formal consistency checking Authors: Luca Pulina¹, Massimo Narizzano², Armando Tacchella² and Simone Vuotto^{1 1}University of Sassari, IT; ²University of Genoa, IT 1000 MECO: An autonomic Manager for Edge-Computing platfOrms Authors: Gabriella D'Andrea, Tania Di Mascio, Luigi Pomante and Giacomo Valente, University of L'Aquila, IT 1000 Design Space Exploration Frameworks for Approximate Computing Authors: Alberto Bosio¹, Olivier Sentieys² and Daniel Ménard^{3 1}University of Lyon, FR; ²University of Rennes, INRIA/IRISA, FR; ³INSA Rennes - IETR, FR UB10 Session 10 1200 - 1430 1200 TinyWIDS: A Intrusion Detection System for Wireless Sensor Networks Authors: Walter Tiberti¹ and Luigi Pomante^{2 1}University of L'Aquila, IT; ²DEWS, IT 1200 RESCUE: EDA Toolset for Interdependent Aspects of Reliability, Security and Quality in Nanoelectronic Systems Design Authors: Cemil Cem Gürsoy¹, Guilherme Cardoso Medeiros², Junchao Chen³, Nevin George⁴, Josie Esteban Rodriguez Condia⁵, Thomas Lange⁶, Aleksa Damljanovic⁵, Raphael Segabinazzi Ferreira⁴, Aneesh Balakrishnan⁶, Xinhui Anna Lai¹, Shayesteh Masoumian⁷, Dmytro Petryk³, Troya Cagil Koylu², Felipe Augusto da Silva⁸, Ahmet Cagri Bagbaba⁸ and Maksim Jenihhin^{1 1}Tallinn University of Technology, EE; ²Delft University of Technology, NL; ³IHP, DE; ⁴BTU Cottbus-Senftenberg, DE; ⁵Politecnico di Torino, IT; ⁶IROC Technologies, FR; ⁷Intrinsic ID B.V., NL; ⁸Cadence Design Systems GmbH, DE 1200 MICROPLAN: Micro-System Design and Production Planning Tool Authors: Horst Tilman, Robert Fischbach and Jens Lienig, Technische Universität Dresden, DE 1200 A Modular Reconfigurable Digital Microfluidics Platform Authors: Georgi Tanev¹, Winnie Svendsen² and Jan Madsen^{3 1}Technical University of Denmark, DK; ²DTU Bioengineering, DK; ³DTU Compute, DK 1200 ApoDOSIS: ADvanced Orchestrator for Smart-buildIngS Authors: Kostas Siozios¹ and Stylianos Siskos^{2 1}Aristotle University of Thessaloniki, GR; ²Department of Physics, Aristotle University of Thessaloniki, GR 1200 ReqV: A tool for requirements formal consistency checking Authors: Luca Pulina¹, Massimo Narizzano², Armando Tacchella² and Simone Vuotto^{1 1}University of Sassari, IT; ²University of Genoa, IT