{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:25:07Z","timestamp":1729628707040,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/date.2011.5763177","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T17:45:16Z","timestamp":1361295916000},"page":"1-6","source":"Crossref","is-referenced-by-count":38,"title":["Verifying dynamic aspects of UML models"],"prefix":"10.1109","author":[{"given":"M","family":"Soeken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"111","article-title":"Static Verification of UML Model Consis-tency","author":"baruzzo","year":"2006","journal-title":"Procs of the 3rd Workshop on Model Design and Validation (MoDeV2a)"},{"key":"ref11","first-page":"411","article-title":"Consistency checking of UML requirements","author":"li","year":"2005","journal-title":"ICECCS"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-00255-7_4","article-title":"Verifying UML\/OCL Operation Con-tracts","volume":"5423","author":"cabot","year":"2009","journal-title":"Integrated Formal Methods"},{"key":"ref13","first-page":"193","article-title":"Symbolic Model Checking without BDDs","volume":"1579","author":"biere","year":"1999","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","article-title":"An Extensible SAT-solver","volume":"2919","author":"e\u00e9n","year":"2003","journal-title":"SAT Ser Lecture Notes in Computer Science"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-69167-1","author":"ganai","year":"2007","journal-title":"SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)"},{"key":"ref19","first-page":"97","article-title":"Sat-based procedures for temporal reasoning","volume":"1809","author":"armando","year":"1999","journal-title":"5th European Conference on Planning"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/b135980"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-642-02949-3_8","article-title":"Consistency, Independence and Consequences in UML and OCL Models","volume":"5668","author":"gogolla","year":"2009","journal-title":"TAP of Lecture Notes in Computer Science"},{"key":"ref8","first-page":"73","author":"cabot","year":"2008","journal-title":"Verification of UML\/OCL Class Diagrams Using Constraint Programming"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.027"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9028-9"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2008.82"},{"key":"ref22","first-page":"174","article-title":"Boolector: An Efficient SMT Solver for Bit- Vectors and Arrays","volume":"5505","author":"brummayer","year":"2009","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/299917.299919"}],"event":{"name":"2011 Design, Automation & Test in Europe","start":{"date-parts":[[2011,3,14]]},"location":"Grenoble","end":{"date-parts":[[2011,3,18]]}},"container-title":["2011 Design, Automation & Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5754459\/5762992\/05763177.pdf?arnumber=5763177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:50:08Z","timestamp":1498017008000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5763177\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/date.2011.5763177","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}