{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:51:41Z","timestamp":1725573101722},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262862"},{"type":"electronic","value":"9783540316664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499909_8","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:56:28Z","timestamp":1292864188000},"page":"91-104","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Tasks Verification with Quasar"],"prefix":"10.1007","author":[{"given":"Sami","family":"Evangelista","sequence":"first","affiliation":[]},{"given":"Claude","family":"Kaiser","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Pajault","sequence":"additional","affiliation":[]},{"given":"Jean Francois","family":"Pradat-Peyre","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Rousseau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-28644-8_1","volume-title":"CONCUR 2004 - Concurrency Theory","author":"T. Andrews","year":"2004","unstructured":"Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: Exploiting program structure for model checking concurrent software. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 1\u201315. Springer, Heidelberg (2004)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/10722060_21","volume-title":"Reliable Software Technologies Ada-Europe 2000","author":"J. Blieberger","year":"2000","unstructured":"Blieberger, J., Burgstaller, B., Scholz, B.: Symbolic Reaching Definitions Analysis of Ada Programs. In: Keller, H.B., Pl\u00f6dereder, E. (eds.) Ada-Europe 2000. LNCS, vol.\u00a01845, p. 238. Springer, Heidelberg (2000)"},{"issue":"11","key":"8_CR3","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/504311.504287","volume":"36","author":"C. Boyapati","year":"2001","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free java programs. SIGPLAN Not.\u00a036(11), 56\u201369 (2001)","journal-title":"SIGPLAN Not."},{"key":"8_CR4","first-page":"134","volume-title":"Concurrency in Ada","author":"A. Burns","year":"1995","unstructured":"Burns, A., Wellings, A.: Concurrency in Ada,\u00a0ch. 6.11, pp. 134\u2013137. Cambridge University Press, Cambridge (1995)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Burns, A., Wellings, A.J.: How to verify concurrent Ada programs: the application of model checking. ACM SIGADA Ada Letters\u00a019(2) (1999)","DOI":"10.1145\/334725.334743"},{"key":"8_CR6","unstructured":"Burns, A., Wellings, A.J., Burns, F., Koelmans, A.M., Koutny, M., Romanovsky, A., Yakovlev, A.: Towards modelling and verification of concurrent ada programs using petri nets. In: Pezz\u00e9, M., Shatz, M. (eds.) DAIMI PB: Workshop Proceedings Software Engineering and Petri Nets, pp. 115\u2013134 (2000)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby, Zheng, H.: Bandera: extracting finite-state models from java source code. In: International Conference on Software Engineering, pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1145\/158431.158432","volume":"2","author":"L.K. Dillon","year":"1993","unstructured":"Dillon, L.K.: A visual execution model for ada tasking. ACM Trans. Softw. Eng. Methodol.\u00a02(4), 311\u2013345 (1993)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/237432.237459","volume":"6","author":"L.K. Dillon","year":"1997","unstructured":"Dillon, L.K.: Task dependence and termination in ada. ACM Trans. Softw. Eng. Methodol.\u00a06(1), 80\u2013110 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-44947-7_12","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"S. Evangelista","year":"2003","unstructured":"Evangelista, S., Kaiser, C., Pradat-Peyre, J.-F., Rousseau, P.: Quasar: A new tool for concurrent ada programs analysis. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol.\u00a02655, pp. 168\u2013181. Springer, Heidelberg (2003)"},{"issue":"1","key":"8_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/992211.958424","volume":"XXIV","author":"S. Evangelista","year":"2004","unstructured":"Evangelista, S., Kaiser, C., Pradat-Peyre, J.F., Rousseau, P.: Verifying linear time temporal logic properties of concurrent ada programs with quasar. Ada Lett.\u00a0XXIV(1), 17\u201324 (2004)","journal-title":"Ada Lett."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Evangelista, S.: High level Petri nets analysis with Helena. In: 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, ICAPTN (2005)","DOI":"10.1007\/11494744_26"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/512529.512558","volume-title":"Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation","author":"K.R.M. Cormac Flanagan","year":"2002","unstructured":"Cormac Flanagan, K.R.M., Leino, M., Lillibridge, G., Nelson, J.B.: Extended static checking for java. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pp. 234\u2013245. ACM Press, New York (2002)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-24622-0_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J. Hatcliff","year":"2004","unstructured":"Hatcliff, J., Robby, Dwyer, M.B.: Verifying atomicity specifications for concurrent object-oriented software using model-checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 175\u2013190. Springer, Heidelberg (2004)"},{"issue":"3","key":"8_CR15","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.21759","volume":"15","author":"T. Murata","year":"1989","unstructured":"Murata, T., Shenker, B., Shatz, S.M.: Detection of Ada static deadlocks using Petri nets invariants. IEEE Transactions on Software Engineering\u00a015(3), 314\u2013326 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1145\/302405.302663","volume-title":"Proceedings of the 21st international conference on Software engineering","author":"G. Naumovich","year":"1999","unstructured":"Naumovich, G., Avrunin, G.S., Clarke, L.A.: Data flow analysis for checking properties of concurrent java programs. In: Proceedings of the 21st international conference on Software engineering, pp. 399\u2013410. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"8_CR17","unstructured":"Pajault, C.: Extending Quasar with dynamic tasks computation. Technical Report 695, CNAM, CEDRIC, Paris (2005)"},{"key":"8_CR18","unstructured":"Rousseau, P.: Concurrent ada program slicing for source code understanding and formal analysis. Technical Report 708, CNAM, CEDRIC (2005)"},{"issue":"4","key":"8_CR19","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/71.80172","volume":"1","author":"S.M. Shatz","year":"1990","unstructured":"Shatz, S.M., Mai, K., Black, C., Tu, S.: Design and implementation of a petri net based toolkit for ada tasking analysis. IEEE Transactions on Parallel and Distributed Systems\u00a01(4), 424\u2013441 (1990)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 95 Reference Manual. Language and Standard Libraries","year":"1997","unstructured":"Tucker Taft, S., Duff, R.A. (eds.): Ada 95 Reference Manual. LNCS, vol.\u00a01246. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technology \u2013 Ada-Europe 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499909_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:03Z","timestamp":1605643323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499909_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262862","9783540316664"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11499909_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}