Author of the publication

Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation.

, , and . MBMV, page 203-212. Shaker, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata., , , and . DDECS, page 391-396. IEEE Computer Society, (2007)Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation., , and . MBMV, page 203-212. Shaker, (2007)On Combining 01X-Logic and QBF., and . EUROCAST, volume 4739 of Lecture Notes in Computer Science, page 531-538. Springer, (2007)Minimization of Large State Spaces using Symbolic Branching Bisimulation., , and . DDECS, page 9-14. IEEE Computer Society, (2006)The Demand for Reliability in Probabilistic Verification., , , and . MBMV, page 99-108. Shaker, (2008)Exploiting don't cares to minimize *BMDs., , and . ISCAS (5), page 191-194. IEEE, (2001)Compositional Performability Evaluation for STATEMATE., , , , , , , and . QEST, page 167-178. IEEE Computer Society, (2006)Bounded Model Checking with Parametric Data Structures., , , and . Electron. Notes Theor. Comput. Sci., 174 (3): 3-16 (2007)Memory-aware Bounded Model Checking for Linear Hybrid Systems., , , and . MBMV, page 153-162. Fraunhofer Institut für Integrierte Schaltungen, (2006)SAT-based verification: from core algorithms to novel application domains.. University of Freiburg, (2008)