{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T05:22:22Z","timestamp":1741324942971,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642224096"},{"type":"electronic","value":"9783642224102"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22410-2_34","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T00:28:22Z","timestamp":1309220902000},"page":"385-399","source":"Crossref","is-referenced-by-count":0,"title":["Using Uppaal for Verification of Priority Assignment in Real-Time Databases"],"prefix":"10.1007","author":[{"given":"Martin","family":"Kot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"34_CR1","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/132271.132276","volume":"17","author":"R.K. Abbott","year":"1992","unstructured":"Abbott, R.K., Garcia-Molina, H.: Scheduling real-time transactions: a performance evaluation. ACM Transactions on Database Systems (TODS)\u00a017(3), 513\u2013560 (1992)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"34_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.L.: Automata for modeling real-time systems. Proc. of Int. Colloquium on Algorithms, Languages, and Programming. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 322\u2013335. Springer, Heidelberg (1990)"},{"key":"34_CR3","unstructured":"Behrmann, G., David, A., Larsen, K. G.: A Tutorial on Uppaal (December 15, 2008), http:\/\/www.it.uu.se\/research\/group\/darts\/papers\/texts\/new-tutorial.pdf"},{"key":"34_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification, Model-Checking Techniques and Tools","author":"B. Berard","year":"2001","unstructured":"Berard, B., Bidoit, M., Petit, A., Laroussinie, F., Petrucci, L., Schnoebelen, P.: Systems and Software Verification, Model-Checking Techniques and Tools. Springer, Heidelberg (2001); ISBN: 978-3540415237"},{"key":"34_CR5","unstructured":"David, A., Amnell, T.: Uppaal2k: Small Tutorial (December 15, 2008), http:\/\/www.it.uu.se\/research\/group\/darts\/uppaal\/tutorial.ps"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Haritsa, J.R., Livny, M., Carey, M.J.: Earliest Deadline Scheduling for Real-Time Database Systems. In: Proceedings of Real-Time Systems Symposium 1991, pp. 232\u2013242 (1991); ISBN: 0-8186-2450-7","DOI":"10.1109\/REAL.1991.160378"},{"key":"34_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"Henzinger, T.A.: Symbolic model checking for real-time systems. Information and computation\u00a0111, 193\u2013244 (1994)","journal-title":"Information and computation"},{"key":"34_CR8","first-page":"463","volume-title":"Advances in Real-Time Systems","author":"B. Kao","year":"1995","unstructured":"Kao, B., Garcia-Molina, H.: An Overview of Real-Time Database Systems. In: Advances in Real-Time Systems, pp. 463\u2013486. Prentice-Hall, Inc., Englewood Cliffs (1995)"},{"issue":"2","key":"34_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11334-009-0086-3","volume":"5","author":"M. Kot","year":"2009","unstructured":"Kot, M.: Modeling selected real-time database concurrency control protocols in Uppaal. Innovations in Systems and Software Engineering\u00a05(2), 129\u2013138 (2009); ISSN: 1614-5046","journal-title":"Innovations in Systems and Software Engineering"},{"key":"34_CR10","first-page":"673","volume-title":"Proceedings of the International Multiconference on Computer Science and Information Technology","author":"M. Kot","year":"2008","unstructured":"Kot, M.: Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal. In: Proceedings of the International Multiconference on Computer Science and Information Technology, vol.\u00a03, pp. 673\u2013678. IEEE Computer Society Press, Los Alamitos (2008); ISBN: 978-83-60810-14-9, ISSN: 1896-7094"},{"key":"34_CR11","unstructured":"Kot, M.: Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal. In: Proceedings of the Dateso 2010 Annual International Workshop on DAtabases, TExts, Specifications and Objects, CEUR Workshops Proceedings, Sun SITE Central Europe, vol.\u00a0567, pp. 147\u2013154 (2010); ISSN: 1613-0073"},{"key":"34_CR12","unstructured":"Kr\u00f3l, V., Pokorn\u00fd, J., \u010cernohorsk\u00fd, J.: The V4DB project - support platform for testing the algorithms used in real-time databases. WSEAS Transactions on Information Science & Applications\u00a010(3) (October 2006)"},{"key":"34_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Springer, Heidelberg (1993); ISBN: 978-0792393801"},{"key":"34_CR14","unstructured":"Neto, P.F.R., Perkusich, M.L.B., De Almeida, H.O., Perkusich, A.: A Formal Verification and Approach for Real-Time Databases. Selected Readings on Database Technologies and Applications, Information Science Reference, 268\u2013295 (2009); ISBN: 978-1-60566-098-1"},{"key":"34_CR15","first-page":"261","volume-title":"Proc. of the 16 th Euromicro Conference on Real-Time Systems","author":"D. Nystr\u00f6m","year":"2004","unstructured":"Nystr\u00f6m, D., Nolin, M., Tesanovic, A., Norstr\u00f6m, C., Hansson, J.: Pessimistic Concurrency-Control and Versioning to Support Database Pointers in Real-Time Databases. In: Proc. of the 16 th Euromicro Conference on Real-Time Systems, pp. 261\u2013270. IEEE Computer Society, Los Alamitos (2004)"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"Ulusoy, \u00d6., Belford, G.G.: A Simulation Model for Distributed Real-Time Database Systems. In: Proceedings of the 25 th Annual Simulation Symposium, pp. 232\u2013240 (1992); ISBN: 0-8186-2765-4","DOI":"10.1109\/SIMSYM.1992.227558"},{"key":"34_CR17","unstructured":"ParaDiSe (Parallel & Distributed Systems Laboratory): Yahoda verification tools database (April 15, 2011), http:\/\/anna.fi.muni.cz\/yahoda\/"}],"container-title":["Communications in Computer and Information Science","Digital Information Processing and Communications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22410-2_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T19:27:19Z","timestamp":1741289239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22410-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642224096","9783642224102"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22410-2_34","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}