{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:27:35Z","timestamp":1742398055359},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425410"},{"type":"electronic","value":"9783540447986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44798-9_5","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T13:16:15Z","timestamp":1178198175000},"page":"71-85","source":"Crossref","is-referenced-by-count":4,"title":["Heuristics for Hierarchical Partitioning with Application to Model Checking"],"prefix":"10.1007","author":[{"given":"M. Oliver","family":"M\u00f6ller","sequence":"first","affiliation":[]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"5_CR1","unstructured":"Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, Minsu Kang, Rupak Majumdar, Freddy Y.C. Mang, Christoph Meyer-Kirsch, and Bow-Yaw Wang. Mocha: A model checking tool that exploits design structure. Proceedings of 23rd International Conference on Software Engineering, 2001. See http:\/\/www.cis.upenn.edu\/mocha\/ ."},{"key":"5_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/3-540-48320-9_9","volume-title":"Proceedings of the Tenth International Conference on Concurrency Theory (CONCUR\u201999)","author":"R. Alur","year":"1999","unstructured":"Rajeev Alur and Bow-Yaw Wang. \u201cNext\u201d Heuristic for On-the-fly Model Checking. In Proceedings of the Tenth International Conference on Concurrency Theory (CONCUR\u201999), LNCS 1664, pages 98\u2013113. Springer-Verlag, 1999."},{"key":"5_CR3","unstructured":"Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke, Jr. and E. Allen Emerson. Synthesis of synchronization skeletons from branching time temporal logic. Lecture Notes Comp. Sci., 131:52\u201371, 1982.","DOI":"10.1007\/BFb0025774"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Rance Cleaveland, Joachim Parrow, and Bernhard Steffen. The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems. ACM Transactions on Programming Languages and Systems, 15(1):36\u201372, January 1993.","DOI":"10.1145\/151646.151648"},{"key":"5_CR6","unstructured":"Philippe Flajolet. A problem in Statistical Classification Theory, 1997. http:\/\/pauillac.inria.fr\/algo\/libraries\/autocomb\/schroeder-html\/ ."},{"key":"5_CR7","unstructured":"Phillippe Flajolet. Mathematical Methods in the Analysis of Algorithms and Data Structures. Lecture Notes for A Graduate Course on Computation Theory, Udine (Italy), Fall 1984. In Egon B\u00f6rger, editor, Trends in Theoretical Computer Science, pages 225\u2013304. Computer Science Press, 1988."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Saul B. Gelfand, C. S. Ravishankar, and Edward J. Delp. An iterative growing and pruning algorithm for classification tree design. IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-13(2):163\u2013174, February 1991.","DOI":"10.1109\/34.67645"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1109\/32.538606","volume":"22","author":"P. Godefroid","year":"1996","unstructured":"Patrice Godefroid, Doron Peled, and Mark Staskauskas. Using partial order methods in the formal validation of industrial concurrent programs. IEEE, Transactions on Software Engineerings, 22:496\u2013507, 1996.","journal-title":"IEEE, Transactions on Software Engineerings"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Gerard J. Holzmann. The model checker spin. IEEE Trans. on Software Engineering, 23(5):279\u2013295, May 1997. Special issue on Formal Methods in Software Practice.","DOI":"10.1109\/32.588521"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"M. Oliver M\u00f6ller and Rajeev Alur. Heuristics for hierarchical partitioning with application to model checking. Research Series RS-00-21, BRICS, Department of Computer Science, University of Aarhus, August 2000. 30 pp, available online at http:\/\/www.brics.dk\/RS\/00\/21\/ .","DOI":"10.7146\/brics.v7i21.20148"},{"key":"5_CR13","first-page":"361","volume":"15","author":"E. Schr\u00f6der","year":"1870","unstructured":"Ernst Schr\u00f6der. Vier combinatorische probleme. Zentralblatt. f. Math. Phys., 15:361\u2013376, 1870.","journal-title":"Zentralblatt. f. Math. Phys."},{"key":"5_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2351-2","volume-title":"Algorithms for VLSI Physical Design Automation","author":"N. Sherwani","year":"1995","unstructured":"Naveed Sherwani. Algorithms for VLSI Physical Design Automation-2nd Edition. Kluwer Academic Publishers, Norwell, USA, 1995.","edition":"2nd Edition"},{"key":"5_CR15","unstructured":"Lance Tokuda and Don Batory. Evolving Object-Oriented Designs with Refactorings. In Proceedings of ASE-99: The 14th IEEE Conference on Automated Software Engineering. IEEE CS Press, October 1999."}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44798-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T13:34:44Z","timestamp":1556372084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44798-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425410","9783540447986"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44798-9_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}