{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:08:42Z","timestamp":1760202522953},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308072"},{"type":"electronic","value":"9783540322955"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596356_21","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:49:24Z","timestamp":1132642164000},"page":"184-193","source":"Crossref","is-referenced-by-count":2,"title":["Polyhedra-Based Approach for Incremental Validation of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"David","family":"Doose","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoubir","family":"Mammeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"21_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Hybrid Systems, pp. 209\u2013229 (1992)","DOI":"10.1007\/3-540-57318-6_30"},{"issue":"2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"21_CR4","first-page":"337","volume-title":"Proceedings of the Int\u2019l Conf. on Real-Time Computing and Applications","author":"B. Andersson","year":"2000","unstructured":"Andersson, B., Jonsson, J.: Fixed-priority preemptive multiprocessor scheduling: To partition or not to partition. In: Proceedings of the Int\u2019l Conf. on Real-Time Computing and Applications, Cheju Island, Korea, pp. 337\u2013346. IEEE Computer Society Press, Los Alamitos (2000)"},{"issue":"1-2","key":"21_CR5","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0167-6423(97)00009-9","volume":"30","author":"R. Bagnara","year":"1998","unstructured":"Bagnara, R.: A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Science of Computer Programming\u00a030(1-2), 119\u2013155 (1998)","journal-title":"Science of Computer Programming"},{"key":"21_CR6","first-page":"191","volume-title":"Real-Time Systems Symposium","author":"T.P. Baker","year":"1990","unstructured":"Baker, T.P.: A stack-based resource allocation policy for realtime. In: Real-Time Systems Symposium, pp. 191\u2013200. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"21_CR7","volume-title":"Meeting Deadlines in Hard Real-Time Systems: The Rate Monotonic Approach","author":"L.P. Briand","year":"1999","unstructured":"Briand, L.P., Roy, D.M.: Meeting Deadlines in Hard Real-Time Systems: The Rate Monotonic Approach. IEEE Computer Society, Los Alamitos (1999)"},{"key":"21_CR8","unstructured":"Airlines Electronic\u00a0Engineering Committee. Arinc specification 653 (January 1997)"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-58485-4_43","volume-title":"Static Analysis","author":"N. Halbwachs","year":"1994","unstructured":"Halbwachs, N., Proy, Y.-E., Raymond, P.: Verification of linear hybrid systems by means of convex approximations. In: LeCharlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864, pp. 223\u2013237. Springer, Heidelberg (1994)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Hytech: The next generation. In: IEEE Real-Time Systems Symposium, pp. 56\u201365 (1995)","DOI":"10.1109\/REAL.1995.495196"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: A user guide to hytech. In: Tools and Algorithms for Construction and Analysis of Systems, pp. 41\u201371 (1995)","DOI":"10.1007\/3-540-60630-0_3"},{"issue":"1-2","key":"21_CR12","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 110\u2013122 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? In: Proceedings of the 27th Annual Symposium on Theory of Computing, pp. 373\u2013382 (1995)","DOI":"10.1145\/225058.225162"},{"key":"21_CR14","unstructured":"Wilde, D.K.: A library for doing polyhedral operations. Technical Report 2157 (December 1993)"},{"key":"21_CR15","unstructured":"Sanjay\u00a0Rajopadhye Patrice\u00a0Quinton and Tanguy Risset. On manipulating z-polyhedra. Technical Report 1016 (Jully 1996)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Hill, P.M., Bagnara, R., Zaffanella, E.: Widening operators for powerset domains. In: Quaderno 349, Dipartimento di Matematica, Universit\u00e0 di Parma, Italy (2004)","DOI":"10.1007\/978-3-540-24622-0_13"},{"key":"21_CR17","unstructured":"Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Technical report, Menlo Park USA (March 1999)"},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers\u00a039, 1175\u20131185 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"21_CR19","unstructured":"Le Verge, H.: A note on cherniakova\u2019s algorithm. Technical Report RR-1662 (April 1992)"},{"key":"21_CR20","unstructured":"Di Vito, B.L.: A formal model of partitionning for integrated modular avionics. Technical report (August 1998)"}],"container-title":["Lecture Notes in Computer Science","Embedded and Ubiquitous Computing \u2013 EUC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596356_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:16Z","timestamp":1605643396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596356_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308072","9783540322955"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11596356_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}