Page 3 of 7.
Mathias Soeken; Baruch Sterin; Rolf Drechsler; Robert K. Brayton
In: 24th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2015), June 12-13, Mountain View, CA, …
Mathias Soeken; Robert Wille; Oliver Keszöcze; D. Michael Miller; Rolf Drechsler
In: Journal on Emerging Technologies in Computing Systems (JETC), 2015.
Nabila Abdessaied; Mathias Soeken; Gerhard W. Dueck; Rolf Drechsler
In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) . IFIP/IEEE International Conference on Very Large Scale Integration …
In: Formal Methods in Computer Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), September 27-30, Austin, TX, USA, 2015.
Rolf Drechsler; Mathias Soeken; Robert Wille
In: Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design …
Nils Przigoda; Judith Peters; Mathias Soeken; Robert Wille; Rolf Drechsler
In: 12th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation …
Robert Wille; Eleonora Schönborn; Mathias Soeken; Rolf Drechsler
In: Integration, the VLSI Journal, Elsevier B.V. 2015.
Mathias Soeken; Rolf Drechsler; Reinhard X. Fischer
In: Zeitschrift für Kristallographie - Crystalline Materials, 2015.
Christoph Lüth; Serge Autexier; Dieter Hutter; Mathias Soeken; Robert Wille; Rolf Drechsler
In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop, April 14, Berlin, Germany, Pages …
In: Jan Haase (Hrsg.). Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012. Pages 37-52, Springer, 2014.