Homepage
Sitemap
Kontakt


Arbeitsgruppe
Forschung
Lehre
Publikationen
Software
Service
Kontakt



Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Mathias Soeken


BÜCHER

» Formal Specification Level
[Lesen Sie hier mehr!]



Verlag:


Springer
Autor:

Mathias Soeken, Rolf Drechsler
Format:
eBook, Hardcover
Erscheinungsjahr:


2014



» Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik
[Lesen Sie hier mehr!]



Verlag:


Shaker Verlag
Autor:

Rolf Drechsler, Mathias Soeken, Robert Wille (Hrsg.)
Format:
gebunden
Erscheinungsjahr:


2012




BUCHBEITRÄGE
» Logic Synthesis for Majority based In-Memory Computing
Großformat des Buches: Advances in Memristors, Memristive Devices and Systems Autor:

Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler

Herausgeber:Sundarapandian Vaidyanathan, Christos Volos
Buchtitel:Advances in Memristors, Memristive Devices and Systems
Verlag:Springer
Seiten:425 - 448
Erscheinungsjahr:2017
Format:Hardcover

» A framework for reversible circuit complexity
Großformat des Buches: Problems and New Solutions in the Boolean Domain Autor:

Mathias Soeken, Nabila Abdessaied, Rolf Drechsler

Herausgeber:Bernd Steinbach
Buchtitel:Problems and New Solutions in the Boolean Domain
Verlag:Cambridge Scholars Publishing
Seiten:327 - 341
Erscheinungsjahr:2016
Format:Paperback

» Formale Spezifikationsebene
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2013 Autor:

Mathias Soeken

Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2013
Verlag:GI
Seiten:241-250
Erscheinungsjahr:2014
Format:Paperback

» Formal Specification Level
Großformat des Buches: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012 Autor:

Rolf Drechsler, Mathias Soeken, Robert Wille

Herausgeber:Jan Haase
Buchtitel:Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
Verlag:Springer
Seiten:37-52
Erscheinungsjahr:2014
Format:Hardcover



ZEITSCHRIFTEN

» A PLiM computer for the IoT
[Link zur Zeitschriften-Homepage]




Autor:

Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli
Zeitschrift:
Computer
Details:
Accepted
Jahr:


2017




» Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers
[Link zur Zeitschriften-Homepage]




Autor:

Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler
Zeitschrift:
IET Cyber-Physical Systems: Theory & Applications
Details:
Volume 1, Issue 1, December 2016, pp. 49-59
DOI: 10.1049/iet-cps.2016.0022
Jahr:


2016




» metaSMT: Focus On Your Application And Not On Solver Integration
[Link zur Zeitschriften-Homepage]




Autor:

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey
Zeitschrift:
International Journal of Software Tools for Technology Transfer
Details:
Regular Paper, pp 1-17, DOI10.1007/s10009-016-0426-1 Link
Jahr:


2016




» Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry
[Link zur Zeitschriften-Homepage]




Autor:

Christopher Rosebrock, Saeideh Shirinzadeh, Mathias Soeken, Norbert Riefler, Thomas Wriedt, Rolf Drechsler, Lutz Mädler
Zeitschrift:
Combustion and Flame
Details:
Volume 168, June 2016, Pages 255–269
Jahr:


2016




» Complexity of Reversible Circuits and their Quantum Implementations
[Link zur Zeitschriften-Homepage]




Autor:

Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken
Zeitschrift:
Theoretical Computer Science
Details:
Volume 618, (March 2016), pp. 85–106. DOI:10.1016/j.tcs.2016.01.011
Jahr:


2016




» Atomic distributions in crystal structures solved by Boolean satisfiability techniques
[Link zur Zeitschriften-Homepage]




Autor:

Mathias Soeken, Rolf Drechsler, Reinhard X. Fischer
Zeitschrift:
Zeitschrift für Kristallographie - Crystalline Materials
Details:
Z. Kristallogr. 2016; 231(2): 107–111
Jahr:


2015




» SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits
[Link zur Zeitschriften-Homepage]




Autor:

Robert Wille, Eleonora Schonborn, Mathias Soeken, Rolf Drechsler
Zeitschrift:
INTEGRATION, the VLSI Journal
Details:
53(3):39-53
Jahr:


2016




» Embedding of Large Boolean Functions for Reversible Logic
[Link zur Zeitschriften-Homepage]




Autor:

Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler
Zeitschrift:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 12, Issue 4
Preprint available at arXiv 1408.3586
Jahr:


2015




» Ancilla-free synthesis of large reversible functions using binary decision diagrams
[Link zur Zeitschriften-Homepage]




Autor:

Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler
Zeitschrift:
Journal of Symbolic Computation
Details:
accepted, preprint available at arXiv 1408.3955
Jahr:


2015




» Upper bounds for reversible circuits based on Young subgroups
[Link zur Zeitschriften-Homepage]




Autor:

Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Zeitschrift:
Information Processing Letters
Details:
Volume 114, Number 06 (June 2014), pp. 282-286. DOI: 10.1016/j.ipl.2014.01.003
Jahr:


2014




» Quantum circuits employing roots of the Pauli matrices
[Link zur Zeitschriften-Homepage]




Autor:

Mathias Soeken, D. Michael Miller, Rolf Drechsler
Zeitschrift:
Physical Review A
Details:
Volume 88, 042322, 2013, DOI: 10.1103/PhysRevA.88.042322
Jahr:


2013




» Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic
[Link zur Zeitschriften-Homepage]




Autor:

Robert Wille, Mathias Soeken, D. Michael Miller, Rolf Drechsler
Zeitschrift:
INTEGRATION, the VLSI Journal
Details:
Volume 47, Number 2, pp. 284-294, DOI: 10.1016/j.vlsi.2013.08.002
Jahr:


2014




» Speci fication-Driven Model Transformation Testing
[Link zur Zeitschriften-Homepage]




Autor:

Esther Guerra, Mathias Soeken
Zeitschrift:
Software and Systems Modeling
Details:
accepted
Jahr:


2013




» Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits
[Link zur Zeitschriften-Homepage]




Autor:

Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler
Zeitschrift:
Multiple-Valued Logic and Soft Computing
Details:
Volume 21, Number 5-6, 2013, pp. 627-640
Jahr:


2013




» RevKit: An Open Source Toolkit for the Design of Reversible Circuits
[Link zur Zeitschriften-Homepage]




Autor:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Zeitschrift:
Reversible Computation 2011 (Series: Lecture Notes in Computer Science)
Details:
Volume 7165, Third International Workshop, RC 2011, Revised Papers, pp. 64-76
Jahr:


2012




» RevKit: A Toolkit for Reversible Circuit Design
[Link zur Zeitschriften-Homepage]




Autor:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Zeitschrift:
Multiple-Valued Logic and Soft Computing
Details:
Volume 18, Number 1, pp. 55-65
Jahr:


2012





KONFERENZEN


» An Adaptive Prioritized ε-Preferred Evolutionary Algorithm for Approximate BDD Optimization




Autor:

Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler
Konferenz:
Genetic and Evolutionary Computation Conference (GECCO)
Referenz:

Berlin, Germany, 2017
Hyperlink:

[Link zur Konferenz]


» Endurance Management for Resistive Logic-In-Memory Computing Architectures




Autor:

Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Lausanne, Switzerland, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Equivalence Checking Using Gröbner Bases




Autor:

Amr Sayed Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler
Konferenz:
Formal Methods in Computer Aided Design (FMCAD)
Referenz:

Mountain View, USA, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Approximation-aware Rewriting of AIGs for Error Tolerant Applications




Autor:

Arun Chandrasekharan, Mathias Soeken, Daniel Große, Rolf Drechsler
Konferenz:
International Conference on Computer Aided Design (ICCAD)
Referenz:

Austin, USA, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Enumeration of reversible functions and its application to circuit complexity




Autor:

Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli
Konferenz:
Reversible Computation
Referenz:

Bologna, Italy, 2016
Hyperlink:

[Link zur Konferenz]


» Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm




Autor:

Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler
Konferenz:
Genetic and Evolutionary Computation Conference (GECCO)
Referenz:

Denver, USA, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» An MIG-based Compiler for Programmable Logic-in-Memory Architectures




Autor:

Mathias Soeken, Saeideh Shirinzadeh, Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Rolf Drechsler, Giovanni De Micheli
Konferenz:
Design Automation Conference (DAC)
Referenz:

Austin, USA, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Precise Error Determination of Approximated Components in Sequential Circuits with Model Checking




Autor:

Arun Chandrasekharan, Mathias Soeken, Daniel Große, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

Austin, USA, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Multi-Objective BDD Optimization for RRAM based Circuit Design




Autor:

Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler
Konferenz:
IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'16)
Referenz:

Košice, Slovakia, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Technology mapping of reversible circuits to Clifford+T quantum circuits




Autor:

Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler
Konferenz:
46rd International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Sapporo, Japan, 2016
Hyperlink:

[Link zur Konferenz]


» Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction




Autor:

Amr Sayed Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 1048-1053, Dresden, Germany, 2016
Best Paper Candidate
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Fast Logic Synthesis for RRAM-based In-Memory Computing using Majority-Inverter Graphs




Autor:

Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Dresden, Germany, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Optimizing Majority-Inverter Graphs With Functional Hashing




Autor:

Mathias Soeken, Pierre-Emmanuel Gaillardon, Luca Amaru, Giovanni De Micheli
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Dresden, Germany, 2016
Hyperlink:

[Link zur Konferenz]


» BDD Minimization for Approximate Computing




Autor:

Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

pp. 474-479, Macao, China, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Reverse Engineering with Simulation Graphs




Autor:

Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton
Konferenz:
Formal Methods in Computer Aided Design (FMCAD)
Referenz:

Austin, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Reversible Circuit Rewriting with Simulated Annealing




Autor:

Nabila Abdessaied, Mathias Soeken, Gerhard W. Dueck, and Rolf Drechsler
Konferenz:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Referenz:

Daejeon, Korea, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Coverage of OCL Operation Specifications and Invariants




Autor:

Mathias Soeken, Julia Seiter, Rolf Drechsler
Konferenz:
9th International Conference on Tests & Proofs (TAP)
Referenz:

L’Aquila, Italy, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics




Autor:

Michael Kirkedal Thomsen, Mathias Soeken, Robin Kaarsgaard
Konferenz:
Reversible Computation
Referenz:

Grenoble, France, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Technology mapping for quantum circuits using Boolean functional decomposition




Autor:

Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

Grenoble, France, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Multi-Objective BDD Optimization with Evolutionary Algorithms




Autor:

Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler
Konferenz:
Genetic and Evolutionary Computation Conference (GECCO)
Referenz:

Madrid, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Requirement Phrasing Assistance using Automatic Quality Assessment




Autor:

Arman Allahyari-Abhari, Mathias Soeken, Rolf Drechsler
Konferenz:
IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15)
Referenz:

Belgrade, Serbia, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Fredkin-Enabled Transformation-based Reversible Logic Synthesis




Autor:

Mathias Soeken, Anupam Chattopadhyay
Konferenz:
45th International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Waterloo, Canada, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Dynamic Template Matching with Mixed-polarity Toffoli Gates




Autor:

Md Mazder Rahman, Mathias Soeken, Gerhard W. Dueck
Konferenz:
45th International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Waterloo, Canada, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Automated and Quality-driven Requirements Engineering




Autor:

Rolf Drechsler, Mathias Soeken, Robert Wille,
Konferenz:
International Conference on Computer Aided Design (ICCAD)
Referenz:

San Jose, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» metaSMT: A Unified Interface to SMT-LIB2




Autor:

Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL'14)
Referenz:

pp. 1-6, Munich, Germany, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Automating the Translation of Assertions Using Natural Language Processing Techniques




Autor:

Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris and Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Munich, Germany, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Quality Assessment for Requirements based on Natural Language Processing




Autor:

Mathias Soeken, Nabila Abdessaied, Arman Allahyari-Abhari, Andi Buzo, Liana Musat, Georg Pelz, Rolf Drechsler
Konferenz:
Special Session at the Forum on Specification & Design Languages (FDL'14)
Referenz:

Munich, Germany, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Self-Verification as the Key Technology for Next Generation Electronic Systems




Autor:

Rolf Drechsler, Hoang M. Le, Mathias Soeken
Konferenz:
Symposium on Integrated Circuits and System Design (SBCCI)
Referenz:

Aracaju, Brazil, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Behaviour Driven Development for Tests and Verification




Autor:

Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Rolf Drechsler
Konferenz:
8th International Conference on Tests & Proofs (TAP)
Referenz:

pp. 61-77, York, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Mapping NCV Circuits to Optimized Clifford+T Circuits




Autor:

D. Michael Miller, Mathias Soeken, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

Kyoto, Japan, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Quantum Circuit Optimization by Hadamard Gate Reduction




Autor:

Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

Kyoto, Japan, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Grammar-based Program Generation Based on Model Finding




Autor:

Mathias Soeken, Rolf Drechsler
Konferenz:
IEEE Design and Test Symposium 2013 (IDT)
Referenz:

Marrakesch, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» White Dots do Matter: Rewriting Reversible Logic Circuits




Autor:

Mathias Soeken, Michael Kirkedal Thomsen
Konferenz:
Reversible Computation
Referenz:

pp. 196-208, Victoria, Canada, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Reducing the Depth of Quantum Circuits Using Additional Lines




Autor:

Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

pp. 221-233, Victoria, Canada, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Hardware-Software Co-Visualization: Developing Systems in the Holodeck




Autor:

Rolf Drechsler, Mathias Soeken
Konferenz:
16th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

pp. 1-4, Karlovy Vary, Czech Republic, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Debugging of Reversible Circuits using πDDs




Autor:

Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler
Konferenz:
43rd International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

pp. 316-321, Toyama, Japan, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Exact Template Matching Using Boolean Satisfiability




Autor:

Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsler
Konferenz:
43rd International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

pp. 328-333, Toyama, Japan, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Determining Relevant Model Elements for the Verification of UML/OCL Specifications




Autor:

Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 1189-1192, Grenoble, France, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Towards a Generic Verification Methodology for System Models




Autor:

Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 1193-1196, Grenoble, France, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Improving the Mapping of Reversible Circuits to Quantum Circuits Using Multiple Target Lines




Autor:

Robert Wille, Mathias Soeken, Christian Otterstedt, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

pp. 145-150. Yokohama, Japan, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Towards Dialog Systems for Assisted Natural Language Processing in the Design of Embedded Systems




Autor:

Rolf Drechsler, Mathias Soeken, Robert Wille
Konferenz:
IEEE Design and Test Symposium 2012 (IDT)
Referenz:

Doha, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Completeness-Driven Development




Autor:

Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille
Konferenz:
International Conference on Graph Transformation
Referenz:

pp. 38-50, Bremen, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Formal Specification Level: Towards Verification-driven Design Based on Natural Language Processing




Autor:

Rolf Drechsler, Mathias Soeken, Robert Wille
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

pp. 53-58, Vienna, Austria, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Circuit Line Minimization in the HDL-based Synthesis of Reversible Logic




Autor:

Robert Wille, Mathias Soeken, Eleonora Schönborn, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

pp. 213-218, Amherst, USA, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Assisted Behavior Driven Development Using Natural Language Processing




Autor:

Mathias Soeken, Robert Wille, Rolf Drechsler
Konferenz:
50th International Conference on Objects, Models, Components, Patterns (TOOLS)
Referenz:

pp. 269-287, Prague, Czech Republic, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits




Autor:

Mathias Soeken, Zahra Sasanian, Robert Wille, D. Michael Miller, Rolf Drechsler
Konferenz:
42nd International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

pp. 173-178, Victoria, Canada, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» A Synthesis Flow for Sequential Reversible Circuits




Autor:

Mathias Soeken, Robert Wille, Christian Otterstedt, Rolf Drechsler
Konferenz:
42nd International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

pp. 299-304, Victoria, Canada, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines




Autor:

Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler
Konferenz:
42nd International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

pp. 69-74, Victoria, Canada, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Eliminating Invariants in UML/OCL Models




Autor:

Mathias Soeken, Robert Wille, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 1142-1145, Dresden, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Debugging of Inconsistent UML/OCL Models




Autor:

Robert Wille, Mathias Soeken, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 1078-1083, Dresden, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Synthesis of Reversible Circuits with Minimal Lines for Large Functions




Autor:

Mathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

pp. 85-92, Sydney, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Encoding OCL Data Types for SAT-based Verification of UML/OCL Models




Autor:

Mathias Soeken, Robert Wille, Rolf Drechsler
Konferenz:
5th International Conference on Tests & Proofs (TAP)
Referenz:

pp. 152-170, Zurich, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Automatic Property Generation for the Formal Verification of Bus Bridges




Autor:

Mathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler
Konferenz:
14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

pp. 417-422, Cottbus, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Designing a RISC CPU in Reversible Logic




Autor:

Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler
Konferenz:
41st International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

pp. 170-175, Tuusula, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Verifying Dynamic Aspects of UML Models




Autor:

Mathias Soeken, Robert Wille, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 1077-1082, Grenoble, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Reducing the Number of Lines in Reversible Circuits




Autor:

Robert Wille, Mathias Soeken, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

pp. 647-652, Anaheim, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Window Optimization of Reversible and Quantum Circuits




Autor:

Mathias Soeken, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
Konferenz:
13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

pp. 431-435, Vienna, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Verifying UML/OCL Models Using Boolean Satisfiability




Autor:

Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 1341-1344, Dresden, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability




Autor:

Robert Wille, Daniel Große, Mathias Soeken, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

pp. 411-416, Montpellier, 2008
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» On the computational complexity of error metrics in approximate computing




Autor:

Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
Workshop:
International Workshop on Boolean Problems
Referenz:

Freiberg, Germany, 2016
Hyperlink:

[Link zum Workshop]


» Symbolic Error Metric Determination for Approximate Computing




Autor:

Arun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler
Workshop:
19. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'16)
Referenz:

Freiburg, Germany, 2016
Hyperlink:

[Link zum Workshop]


» Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses




Autor:

Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler
Workshop:
Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa)
Referenz:

Ottawa, Canada, 2015
Hyperlink:

[Link zum Workshop]


» Simulation Graphs for Reverse Engineering




Autor:

Baruch Sterin, Mathias Soeken, Rolf Drechsler, Robert K. Brayton
Workshop:
International Workshop on Logic Synthesis (IWLS)
Referenz:

Mountain View, CA, USA, 2015
Hyperlink:

[Link zum Workshop]


» Self-Inverse Functions and Palindromic Circuits




Autor:

Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck, D. Michael Miller
Workshop:
Reed-Muller Workshop
Referenz:

Waterloo, Canada, 2015, pre-print available at arXiv:1502.05825
Hyperlink:

[Link zum Workshop]


» Coverage at the Formal Specification Level




Autor:

Rolf Drechsler, Julia Seiter, Mathias Soeken
Workshop:
International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS)
Referenz:

Lausanne, Switzerland, 2014
Hyperlink:

[Link zum Workshop]


» A framework for reversible circuit complexity




Autor:

Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
Workshop:
10th International Workshop on Boolean Problems
Referenz:

Freiberg, Germany, 2014, post-print available at arXiv:1407.5878
PDF:

[hier ansehen]
PS:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Towards a Multi-dimensional and Dynamic Visualization for ESL Designs




Autor:

Jannis Stoppe, Marc Michael, Mathias Soeken, Robert Wille, Rolf Drechsler
Workshop:
DATE Friday Workshop: Design Automation for Understanding Hardware Designs
Referenz:

Dresden, Germany, 2014
Hyperlink:

[Link zum Workshop]


» Formale Methoden für Alle




Autor:

Mathias Soeken, Max Nitze, Rolf Drechsler
Workshop:
17. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'14)
Referenz:

Böblingen, Germany, 2014
Hyperlink:

[Link zum Workshop]


» Law-based Verification for Complex Swarm Systems




Autor:

Rolf Drechsler, Hoang M. Le, Mathias Soeken, Robert Wille
Workshop:
International Workshop on the Swarm at the Edge of the Cloud
Referenz:

Montreal, Canada
Hyperlink:

[Link zum Workshop]


» lips: An IDE for Model Driven Engineering Based on Natural Language Processing




Autor:

Oliver Keszöcze, Mathias Soeken, Eugen Kuksa, Rolf Drechsler
Workshop:
Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE)
Referenz:

pp. 31—38, San Francisco, 2013
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Towards Automatic Scenario Generation from Coverage Information




Autor:

Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler
Workshop:
8th International Workshop on Automation of Software Test (AST)
Referenz:

pp. 82-88, San Francisco, 2013
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen




Autor:

Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler
Workshop:
16. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Referenz:

Rostock, 2013
Hyperlink:

[Link zum Workshop]


» Verification of Embedded Systems Using Modeling and Implementation Languages




Autor:

Mathias Soeken, Heinz Riener, Robert Wille, Görschwin Fey, Rolf Drechsler
Workshop:
International Workshop on Metamodelling and Code Generation for Embedded Systems (MeCoEs'12)
Referenz:

pp. 67-72, Tampere, Finland, 2012
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Behavior Driven Development for Circuit Design and Verification




Autor:

Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler
Workshop:
IEEE International Workshop on High-Level Design Validation and Test (HLDVT)
Referenz:

pp. 9-16, Huntington Beach, USA, 2012
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Towards Embedding of Large Functions for Reversible Logic




Autor:

Mathias Soeken, Robert Wille, Laura Tague, D. Michael Miller, Rolf Drechsler
Workshop:
International Workshop on Boolean Problems
Referenz:

Freiberg, 2012
Hyperlink:

[Link zum Workshop]


» Using πDDs in the Design for Reversible Circuits




Autor:

Mathias Soeken, Robert Wille, Shin-Ichi Minato, Rolf Drechsler
Workshop:
Workshop on Reversible Computation
Referenz:

Kopenhagen, 2012
Hyperlink:

[Link zum Workshop]


» Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams




Autor:

Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler
Workshop:
Workshop on Reversible Computation
Referenz:

Kopenhagen, 2012
Hyperlink:

[Link zum Workshop]


» Towards Automatic Determination of Problem Bounds for Object Instantiation in Static Model Verification




Autor:

Mathias Soeken, Robert Wille, Rolf Drechsler
Workshop:
Model-Driven Engineering, Verification, And Validation (MoDeVVa)
Referenz:

Wellington, 2011
Hyperlink:

[Link zum Workshop]


» Synthesis of Reversible Circuits with Minimal Lines for Large Functions




Autor:

Mathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler
Workshop:
Workshop on Reversible Computation
Referenz:

pp. 59-70, Gent, 2011
Hyperlink:

[Link zum Workshop]


» Customized Design Flows for Reversible Circuits Using RevKit




Autor:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Workshop:
Workshop on Reversible Computation
Referenz:

pp. 91-96, Gent, 2011
Hyperlink:

[Link zum Workshop]


» Designing a RISC CPU in Reversible Logic




Autor:

Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler
Workshop:
14. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Referenz:

pp. 249-258, Oldenburg, 2011
Hyperlink:

[Link zum Workshop]


» Towards Automatic Property Generation for the Formal Verification of Bus Bridges




Autor:

Mathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler
Workshop:
14. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Referenz:

Oldenburg, 2011
Hyperlink:

[Link zum Workshop]


» Hierarchical Synthesis of Reversible Circuits Using Positive and Negative Davio Decomposition




Autor:

Mathias Soeken, Robert Wille, Rolf Drechsler
Workshop:
5th International Design & Test Workshop (IDT)
Referenz:

pp. 143-148, Abu Dhabi, 2010
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» RevKit: A Toolkit for Reversible Circuit Design




Autor:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Workshop:
Workshop on Reversible Computation
Referenz:

pp. 69-72, Bremen, 2010
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Hierarchical Synthesis of Reversible Circuits Using Positive and Negative Davio Decomposition




Autor:

Mathias Soeken, Robert Wille, Rolf Drechsler
Workshop:
Workshop on Reversible Computation
Referenz:

pp. 55-58, Bremen, 2010
Hyperlink:

[Link zum Workshop]


» Verifying UML/OCL Models Using Boolean Satisfiability




Autor:

Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
Workshop:
13. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Referenz:

pp 57-66, Dresden, 2010
Hyperlink:

[Link zum Workshop]

















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









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt