@inproceedings{BeyerHeinig, author = {Beyer, Dirk and Heinig, Andy}, title = {Different Strategies for BDD-based Reachability Analysis of Timed Automata}, series = {Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001)}, booktitle = {Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001)}, editor = {Rozenblit, Jerzy and Sveda, Miroslav and Rattray, Charles}, address = {Stirling}, pages = {89 -- 98}, language = {en} } @inproceedings{HeinigSchoelzel, author = {Heinig, Andy and Sch{\"o}lzel, Mario}, title = {Zeitbeschr{\"a}nkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren}, series = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden}, publisher = {Fraunhofer-Institut f{\"u}r Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung}, address = {Dresden}, isbn = {3-9810287-1-6}, pages = {319 -- 328}, language = {de} }