Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

Bisimulation

| Beteiligte Mitarbeiter | Publikationen |


Beteiligte Mitarbeiter

Lehrstuhl für Rechnerarchitektur
Ralf Wimmer, Dipl.-Inf. Kontakt
ehemaliger Mitarbeiter Lehrstuhl ür Rechnerarchitektur
Marc Herbstritt, Dr. Kontakt


Publikationen
Ralf Wimmer, Dipl.-Inf., Marc Herbstritt, Dr., Bernd Becker, Prof. Dr.
Optimization Techniques for BDD-based Bisimulation Computation
Proceedings of 17th ACM Great Lakes Symposium on VLSI (GLSVLSI), pp. 405--410, Stresa-Lago Maggiore, Italy, March 11-13 2007. ACM Press.
Ralf Wimmer, Dipl.-Inf., Marc Herbstritt, Dr., H. Hermanns, K. Strampp, Bernd Becker, Prof. Dr.
Sigref - A Symbolic Bisimulation Tool Box
Proceedings of 4th International Symposium on Automated Technology for Verification and Analysis (ATVA), Beijing, China, October 23.-26. 2006. Springer LNCS 4218.
E. Böde, M.Herbstritt, H. Hermanns, S. Johr, T. Peikenkamp, R. Pulungan, R. Wimmer, B. Becker
ompositional Performability Evaluation for STATEMATE
Proceedings of 3rd International Conference on the Quantitative Evaluation of SysTems (QEST), Riverside (CA), USA, September 11.-14. 2006
Ralf Wimmer, Dipl.-Inf., Marc Herbstritt, Dr., Bernd Becker, Prof. Dr.
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Proceedings of 9th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS), pp. 9--14, 2006.