Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publikationen

Seite 3 von 4.

Oliver Keszöcze; Philipp Niemann; Arved Friedemann; Rolf Drechsler
On the complexity of design tasks for Digital Microfluidic Biochips
In: Microelectronics Journal, Vol. 78, Pages 35-45, Elsevier, 2018.
Philipp Niemann; Robert Wille; Rolf Drechsler
Optimizing Ts in the Synthesis of Clifford+T Quantum Circuits
In: 2nd International Workshop on Quantum Compilation (IWQC, co-located with ICCAD). International Workshop on Quantum Compilation (IWQC-02), November …
Philipp Niemann; Frank Hilken; Martin Gogolla; Robert Wille
Extraktion von Frame Conditions aus Operation Contracts
In: SE Software Engineering für Smart Cities. Software Engineering für Smart Cities (SE-2016), February 23-26, Wien, Austria, 2016.
Frank Hilken; Philipp Niemann; Martin Gogolla; Robert Wille
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification
In: 8th International Conference on Model Transformation (ICMT). International Conference on Model Transformation (ICMT-08), July 20-24, L'Aquila, …
Philipp Niemann; Frank Hilken; Martin Gogolla; Robert Wille
Assisted Generation of Frame Conditions for Formal Models
In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Design, Automation & Test in Europe (DATE-15), March …
Philipp Niemann; Saikat Basu; Amlan Chakrabarti; Niraj K. Jha; Robert Wille
Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions
In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, …
Philipp Niemann; Robert Wille; D. Michael Miller; Mitchell A. Thornton; Rolf Drechsler
QMDDs: Efficient Quantum Function Representation and Manipulation
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2015.
Philipp Niemann; Robert Wille; Rolf Drechsler
Efficient Synthesis of Quantum Circuits Implementing Clifford Group Operations
In: Asia and South Pacific Design Automation Conference - Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-14), 19th, January …
Phillip Niemann; Robert Wille; Rolf Drechsler
Equivalence Checking in Multi-level Quantum Systems
In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC-14), July 10-11, Kyoto, …
Frank Hilken; Philipp Niemann; Martin Gogolla; Robert Wille
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
In: International Conference on Tests & Proofs - Proceedings. International Conference on Tests & Proofs (TAP-14), 8th, July 24-25, York, United …