|
Home « Team « Publications
» Publications of
Philipp Niemann
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
» On the complexity of design tasks for Digital Microfluidic Biochips
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler |
| Journal: |
|
Microelectronics Journal |
| Details: |
|
Volume 78, Pages 35-45 |
Year:
|
|
2018
|
|
» An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
vol. 37, no. 12, pp. 3031-3041, December 2018.
DOI: 10.1109/TCAD.2018.2789782 |
Year:
|
|
2018
|
|
» Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler |
| Journal: |
|
Computer Languages, Systems & Structures |
| Details: |
|
Volume 54, December 2018, Pages 512-527
DOI: 10.1016/j.cl.2017.11.002 |
Year:
|
|
2018
|
|
» QMDDs: Efficient Quantum Function Representation and Manipulation
[Link to the Homepage of this journal]
|
|
|
|
|
|
Author:
|
|
Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 35, Number 1, pp. 86-99DOI: 10.1109/TCAD.2015.2459034
|
Year:
|
|
2016
|
|
|
CONFERENCES |
|
» Accuracy and Compactness in Decision Diagrams for Quantum Computation
|
|
|
|
Author:
|
|
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille |
| Conference: |
|
Design, Automation and Test in Europe (DATE) |
Reference:
|
| Florence, Italy, 2019
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Multi-Objective Synthesis of Quantum Circuits Using Genetic Programming
|
|
|
|
Author:
|
|
Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
|
| Conference: |
|
Reversible Computation |
Reference:
|
| pp. 220-227, Leicester, UK, 2018
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata
|
|
|
|
Author:
|
|
Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, Rolf Drechsler |
| Conference: |
|
Euromicro Conference on Digital System Design (DSD) |
Reference:
|
| pp. 649-656, Prague, Czech Republic, 2018
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Improved Synthesis of Clifford+T Quantum Functionality
|
|
|
|
Author:
|
|
Philipp Niemann, Robert Wille, Rolf Drechsler |
| Conference: |
|
Design, Automation and Test in Europe (DATE) |
Reference:
|
| pp. 597-600, Dresden, Germany, 2018
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Analyzing Frame Conditions in UML/OCL Models:
Consistency, Equivalence, and Independence
|
|
|
|
Author:
|
|
Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler |
| Conference: |
|
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) |
Reference:
|
| pp. 139-151, Funchal, Portugal, 2018
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models
|
|
|
|
Author:
|
|
Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler |
| Conference: |
|
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
Reference:
|
| pp. 77-86, Vienna, Austria, 2017
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Efficient Construction of QMDDs for Irreversible, Reversible and Quantum Functions
|
|
|
|
Author:
|
|
Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler
|
| Conference: |
|
Reversible Computation |
Reference:
|
| pp. 214-231, Kolkata, India, 2017
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Frame Conditions in Symbolic Representations of UML/OCL Models
|
|
|
|
Author:
|
|
Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler |
| Conference: |
|
14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
Reference:
|
| pp. 65-70, Indian Institute of Technology, Kanpur, India, 2016
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Towards a Catalog of Structural and Behavioral
Verification Tasks for UML/OCL Models
|
|
|
|
Author:
|
|
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille |
| Conference: |
|
Modellierung |
Reference:
|
| pp. 117-124, Karlsruhe, Germany, 2016
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Logic Synthesis for Quantum State Generation
|
|
|
|
Author:
|
|
Philipp Niemann, Rhitam Datta, Robert Wille |
| Conference: |
|
46th International Symposium on Multiple-Valued Logic (ISMVL) |
Reference:
|
| pp. 247-252, Sapporo, Japan, 2016
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Extracting Frame Conditions from Operation Contracts
|
|
|
|
Author:
|
|
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| Conference: |
|
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS) |
Reference:
|
| pp. 266-275, Ottawa, Canada, 2015
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions
|
|
|
|
Author:
|
|
Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille |
| Conference: |
|
Reversible Computation |
Reference:
|
| pp. 248-264, Grenoble, France, 2015
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification
|
|
|
|
Author:
|
|
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille |
| Conference: |
|
International Conference on Model Transformation (ICMT) |
Reference:
|
| pp. 149-165, L’Aquila, Italy, 2015
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Assisted Generation of Frame Conditions for Formal Models
|
|
|
|
Author:
|
|
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
|
| Conference: |
|
Design, Automation and Test in Europe (DATE'15) |
Reference:
|
| pp. 309-312, Grenoble, France, 2015
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
|
|
|
|
Author:
|
|
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille |
| Conference: |
|
8th International Conference on Tests & Proofs (TAP) |
Reference:
|
| pp. 99-116, York, 2014
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Equivalence Checking in Multi-level Quantum Systems
|
|
|
|
Author:
|
|
Philipp Niemann, Robert Wille, Rolf Drechsler |
| Conference: |
|
Reversible Computation |
Reference:
|
| pp. 201-215, Kyoto, Japan, 2014
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Efficient Synthesis of Quantum Circuits Implementing Clifford Group Operations
|
|
|
|
Author:
|
|
Philipp Niemann, Robert Wille, Rolf Drechsler |
| Conference: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Reference:
|
| pp. 483-488, Singapore, 2014
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» On the “Q” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure
|
|
|
|
Author:
|
|
Philipp Niemann, Robert Wille, Rolf Drechsler |
| Conference: |
|
Reversible Computation |
Reference:
|
| pp. 125-140, Victoria, Canada, 2013
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Towards Gate-Level Design of QCA Circuits
|
|
|
|
Author:
|
|
Philipp Niemann, Igor Kazhdan, Frank Sill Torres, Rolf Drechsler |
| Workshop: |
|
6th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) |
Reference:
|
| Florence, Italy, 2019
| Hyperlink:
|
| [Link to the Workshop]
|
» Optimizing Ts in the Synthesis of Clifford+T Quantum Circuits
|
|
|
|
Author:
|
|
Philipp Niemann, Robert Wille, Rolf Drechsler |
| Workshop: |
|
2nd International Workshop on
Quantum Compilation (IWQC, co-located with ICCAD) |
Reference:
|
| San Diego, CA, USA, 2018
| Hyperlink:
|
| [Link to the Workshop]
|
» Extraktion von Frame Conditions aus Operation Contracts
|
|
|
|
Author:
|
|
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| Workshop: |
|
Software Engineering (SE) |
Reference:
|
| Vienna, Austria, 2016
| Hyperlink:
|
| [Link to the Workshop]
|
» Towards a Base Model for UML and OCL Verification
|
|
|
|
Author:
|
|
Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla |
| Workshop: |
|
Model-Driven Engineering, Verification, and Validation (MoDeVVa) |
Reference:
|
| Valencia, Spain, 2014
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
