{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T12:42:33Z","timestamp":1774615353198,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/re.2011.6051657","type":"proceedings-article","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T11:05:14Z","timestamp":1319195114000},"page":"153-162","source":"Crossref","is-referenced-by-count":12,"title":["Vacuous real-time requirements"],"prefix":"10.1109","author":[{"given":"Amalinda","family":"Post","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"Hoenicke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Podelski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on uppaal","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems"},{"key":"ref11","first-page":"7","article-title":"Ambiguity in requirements specification","author":"berry","year":"2003","journal-title":"Persp on SW Requirements"},{"key":"ref12","author":"kurshan","year":"1998","journal-title":"FormalCheck User Manual"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_11"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_35"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008779610539"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_22"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0001-6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_21"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_39"},{"key":"ref4","first-page":"37","article-title":"Sanity checks in formal verification","author":"kupferman","year":"2006","journal-title":"CONCUR"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63166-6_28"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","article-title":"A calculus of durations","volume":"40","author":"zhou","year":"1991","journal-title":"IPL"},{"key":"ref5","author":"zhou","year":"2004","journal-title":"Duration Calculus A Formal Approach to Real-Time Systems"},{"key":"ref8","author":"hoenicke","year":"2006","journal-title":"Combination of Processes Data and Time"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19811-3_4"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1145\/196244.196575","article-title":"formally verifying a microprocessor using a simulation methodology","author":"beatty","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"ref1","year":"1998","journal-title":"The Institute of Electrical and Electronics Engineers IEEE Std 830-1998"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_2"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.1016\/j.infsof.2009.01.004","article-title":"A systematic literature review to identify and classify software requirement errors","volume":"51","author":"walia","year":"2009","journal-title":"Inf Softw Technol"},{"key":"ref21","first-page":"71","article-title":"Requirements interdependencies - moulding the state of research into a research agenda","author":"dahlstedt","year":"2003","journal-title":"REFSQ"}],"event":{"name":"2011 IEEE 19th International Requirements Engineering Conference (RE)","location":"Trento, Italy","start":{"date-parts":[[2011,8,29]]},"end":{"date-parts":[[2011,9,2]]}},"container-title":["2011 IEEE 19th International Requirements Engineering Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6036256\/6051621\/06051657.pdf?arnumber=6051657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T04:26:02Z","timestamp":1497932762000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6051657\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/re.2011.6051657","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}