Cyber-Physical Systems

Seite 1 von 2.

1. Marcel Walter; Robert Wille; Frank Sill Torres; Rolf Drechsler

   Design Automation for Field-coupled Nanotechnologies

   ISBN 978-3-030-89952-3, Springer, 2022.

2. Marcel Walter; Winston Haaswijk; Robert Wille; Frank Sill Torres; Rolf Drechsler

   One-pass Synthesis for Field-coupled Nanocomputing Technologies

   In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

3. Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler

   Verification for Field-coupled Nanocomputing Circuits

   In: 57th Design Automation Conference (DAC). Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

4. Frank Sill Torres; Pedro A. Silva; Geraldo Fontes; Marcel Walter; José Augusto M. Nacif; Ricardo Santos Ferreira; Omar Paranaiba Vilela Neto; Jeferson F. Chaves; Robert Wille; Philipp Niemann; Daniel Große; Rolf Drechsler

   On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata

   In: Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2020.

5. Marcel Walter; Robert Wille; Frank Sill Torres; Rolf Drechsler

   Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits

   In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2020), July 6-8, Limassol, Cyprus, …

6. Tim Meywerk; Marcel Walter; Vladimir Herdt; Jan Kleinekathöfer; Daniel Große; Rolf Drechsler

   Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling

   In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). International Symposium On …

7. Umberto Garlando; Marcel Walter; Robert Wille; Fabrizio Riente; Frank Sill Torres; Rolf Drechsler

   ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing

   In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2020), August 26-28, Portoro¸,, Slovenia, …

8. Tim Meywerk; Marcel Walter; Daniel Große; Rolf Drechsler

   Clustering-Guided SMT(LRA) Learning

   In: 16th International Conference on integrated Formal Methods (iFM). International Conference on Integrated Formal Methods (IFM-2020), November …

9. Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler

   Scalable Design for Field-coupled Nanocomputing Circuits

   In: 24th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-24), 24th, …

10. Marcel Walter; Robert Wille; Daniel Große; Frank Sill Torres; Rolf Drechsler

    Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete

    In: Journal on Emerging Technologies in Computing Systems (JETC), Vol. 15, No. 29, ACM, 2019.

• 1
• 2