{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:12:26Z","timestamp":1743070346836,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642047718"},{"type":"electronic","value":"9783642047725"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04772-5_10","type":"book-chapter","created":{"date-parts":[[2009,9,23]],"date-time":"2009-09-23T16:32:44Z","timestamp":1253723564000},"page":"69-74","source":"Crossref","is-referenced-by-count":4,"title":["SynPSL: Behavioral Synthesis of PSL Assertions"],"prefix":"10.1007","author":[{"given":"Florian","family":"Eibensteiner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Findenig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Pfaff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Accellera: Property Specification Language Reference Manual (September 2004)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Boul\u00e9, M., Zilic, Z.: Efficient automata-based assertion-checker synthesis of PSL properties. In: Proceedings of the 2006 IEEE International High Level Design Validation and Test Workshop (HLDVT 2006), pp. 69\u201376 (2006)","DOI":"10.1109\/HLDVT.2006.319966"},{"key":"10_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"10_CR4","unstructured":"Eisner, C., Fisman, D.: A Practical Introduction to PSL. Springer Science+Business Media LLC, 223 Spring Street, New York, NY 10013, USA (2006)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1007\/10722167_40","volume-title":"Computer Aided Verification","author":"Y. Abarbanel","year":"2000","unstructured":"Abarbanel, Y., et al.: FoCs: Automatic generation of simulation checkers from formal specifications. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 538\u2013542. Springer, Heidelberg (2000)"},{"key":"10_CR6","unstructured":"Findenig, R.: Behavioral synthesis of PSL assertions. Master\u2019s thesis, Upper Austrian University of Applied Sciences, Hagenberg (July 2007)"},{"key":"10_CR7","unstructured":"Findenig, R., Eibensteiner, F., Pfaff, M.: Echtzeit-\u00dcberwachung von Hard- und Software mit PSL. In: Tagungsband Austrochip 2008, October 2008, pp. 44\u201347 (2008)"},{"key":"10_CR8","unstructured":"Pfaff, M.: Verfahren zur beschleunigten systemsimulation mit vhdl durch integration von externen hardware\/software-komponenten. In: Reihe, C. (ed.) Schriften der Johannes Kepler Universit\u00e4t Linz, Technik und Naturwissenschaften. Universit\u00e4tsverlag Rudolf Trauner (1999)"},{"key":"10_CR9","unstructured":"Ruah, S., Fisman, D., Ben-David, S.: Automata construction for on-the-fly model checking PSL safety simple subset. Technical Report H-0234, IBM Haifa Research Lab, Haifa (April 2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory - EUROCAST 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04772-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T16:16:48Z","timestamp":1558541808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04772-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642047718","9783642047725"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04772-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}