{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:23:20Z","timestamp":1759332200016,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ecbs.2004.1316693","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"144-151","source":"Crossref","is-referenced-by-count":9,"title":["Applying model checking to workflow verification"],"prefix":"10.1109","author":[{"given":"J.-H.","family":"Pfeiffer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.R.","family":"Rossak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Speck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/ASE.2000.873671"},{"key":"22","first-page":"224","article-title":"Model-checking multi-threaded distributed java programs","author":"stoller","year":"2000","journal-title":"SPIN"},{"year":"1997","journal-title":"ARIS Methods Reference Manual ARIS 6 0 2 1","key":"17"},{"year":"2000","author":"visser","journal-title":"Java Pathfinder - Second Generation of A Java Model Checker","key":"23"},{"key":"18","first-page":"59","article-title":"Model checking and code generation for UML state machines and collaborations","author":"knapp","year":"2002","journal-title":"Proceedings of 5th Workshop on Tools for System Design and Verification (2002)"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1007\/3-540-45923-5_5"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/ICCAD.2000.896481"},{"year":"1991","author":"holzmann","journal-title":"Design and Validation of Computer Protocols","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/3-540-44685-0_5","article-title":"Using the bandera tool set to model-check properties of concurrent java software","volume":"2154","author":"hatcliff","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1145\/355045.355061"},{"key":"11","first-page":"411","article-title":"Framework for multi-valued reasoning over inconsistent viewpoints","author":"easterbrook","year":"2001","journal-title":"International Conference on Software Engineering"},{"key":"12","article-title":"Verifying component-based collaboration designs","author":"fisler","year":"2001","journal-title":"4th ICSE Workshop on Component-Based Software Engineering Component Certification and System Prediction"},{"key":"21","first-page":"75","article-title":"Validation of business process models","author":"speck","year":"2003","journal-title":"Proceedings of ECOOP 2003 Workshop Correctness of Model-based Software Composition (CMC)"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/ICSR.1996.496115"},{"year":"0","author":"pa?sa?reanu","journal-title":"DEOS Kernel Environment Modeling Using LTL Assumptions","key":"20"},{"key":"2","first-page":"103","article-title":"Automatically validating temporal safety properties of interfaces","author":"ball","year":"2001","journal-title":"Proceedings of the 8th International SPIN Workshop on Model Checking of Software"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/IPDPS.2002.1016616"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/ICSE.2001.919092"},{"key":"7","first-page":"42","article-title":"Bytecode model checking: An experimental analysis","volume":"2318","author":"d","year":"2002","journal-title":"9th International SPIN Workshop on Model Checking of Software 2002 Grenoble"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/ICSE.2000.870434"},{"year":"2000","author":"corbett","journal-title":"Expressing Checkable Properties of Dynamic Systems the Bandera Specification Language","key":"5"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"4"},{"key":"9","first-page":"51","article-title":"Model checking the composition of hypermedia design components","author":"dong","year":"2002","journal-title":"Proceedings of the 10th IBM Center for Advanced Studies Conference (GASCON)"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1145\/503209.503226"}],"event":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","location":"Brno, Czech Republic"},"container-title":["Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9203\/29178\/01316693.pdf?arnumber=1316693","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:51Z","timestamp":1497613971000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1316693\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/ecbs.2004.1316693","relation":{},"subject":[]}}