Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Philipp Niemann


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN

» QMDDs: Efficient Quantum Function Representation and Manipulation
[Link zur Zeitschriften-Homepage]




Autor:

Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 35, Number 1, pp. 86-99
DOI: 10.1109/TCAD.2015.2459034
Jahr:


2016





KONFERENZEN


» More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models




Autor:

Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler
Konferenz:
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Referenz:

Vienna, Austria, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Efficient Construction of QMDDs for Irreversible, Reversible and Quantum Functions




Autor:

Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

pp. 214-231, Kolkata, India, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Frame Conditions in Symbolic Representations of UML/OCL Models




Autor:

Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Referenz:

Indian Institute of Technology, Kanpur, India, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models




Autor:

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Konferenz:
Modellierung
Referenz:

Karlsruhe, Germany, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Logic Synthesis for Quantum State Generation




Autor:

Philipp Niemann, Rhitam Datta, Robert Wille
Konferenz:
46th International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Sapporo, Japan, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Extracting Frame Conditions from Operation Contracts




Autor:

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Konferenz:
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS)
Referenz:

pp. 266-275, Ottawa, Canada, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions




Autor:

Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille
Konferenz:
Reversible Computation
Referenz:

pp. 248-264, Grenoble, France, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification




Autor:

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Konferenz:
International Conference on Model Transformation (ICMT)
Referenz:

pp. 149-165, L’Aquila, Italy, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Assisted Generation of Frame Conditions for Formal Models




Autor:

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Konferenz:
Design, Automation and Test in Europe (DATE'15)
Referenz:

pp. 309-312, Grenoble, France, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models




Autor:

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Konferenz:
8th International Conference on Tests & Proofs (TAP)
Referenz:

pp. 99-116, York, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Equivalence Checking in Multi-level Quantum Systems




Autor:

Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

pp. 201-215, Kyoto, Japan, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Efficient Synthesis of Quantum Circuits Implementing Clifford Group Operations




Autor:

Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

pp. 483-488, Singapore, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» On the “Q” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure




Autor:

Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

pp. 125-140, Victoria, Canada, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» Extraktion von Frame Conditions aus Operation Contracts




Autor:

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Workshop:
Software Engineering (SE)
Referenz:

Vienna, Austria, 2016
Hyperlink:

[Link zum Workshop]


» Towards a Base Model for UML and OCL Verification




Autor:

Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla
Workshop:
Model-Driven Engineering, Verification, and Validation (MoDeVVa)
Referenz:

Valencia, Spain, 2014
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt