Bisimulation
| Beteiligte Mitarbeiter | Publikationen
|
| Lehrstuhl für Rechnerarchitektur | |
| Ralf Wimmer, Dipl.-Inf. | Kontakt |
| ehemaliger Mitarbeiter Lehrstuhl ür Rechnerarchitektur | |
| Marc Herbstritt, Dr. | Kontakt |
|
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. |