{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:26Z","timestamp":1750308026515,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1145\/1289971.1289999","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"165-174","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Aspects of availability"],"prefix":"10.1145","author":[{"given":"Pascal","family":"Fradet","sequence":"first","affiliation":[{"name":"INRIA\/LIG, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane Hong Tuan","family":"Ha","sequence":"additional","affiliation":[{"name":"INRIA\/CEA, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.12.001"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647768.733787"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_4_1","volume-title":"Concurrency and Petri Nets, LNCS","author":"Bengtsson J.","year":"2004","unstructured":"J. Bengtsson and W. Yi . Timed automata: Semantics, algorithms and tools . In Concurrency and Petri Nets, LNCS vol. 3098 . Springer-Verlag , 2004 . J. Bengtsson and W. Yi. Timed automata: Semantics, algorithms and tools. In Concurrency and Petri Nets, LNCS vol. 3098. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504293"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325703"},{"key":"e_1_3_2_1_7_1","volume-title":"Inf. Syst. Tech. Panel Symp. on Protecting Nato Information Systems in the 21st century","author":"Cuppens F.","year":"1999","unstructured":"F. Cuppens and C. Saurel . Towards a formalization of availability and denial of service . In Inf. Syst. Tech. Panel Symp. on Protecting Nato Information Systems in the 21st century , 1999 . F. Cuppens and C. Saurel. Towards a formalization of availability and denial of service. In Inf. Syst. Tech. Panel Symp. on Protecting Nato Information Systems in the 21st century, 1999."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645435.652651"},{"key":"e_1_3_2_1_9_1","first-page":"201","volume-title":"Trace-based aspects","author":"Douence R.","year":"2004","unstructured":"R. Douence , P. Fradet , and M. S\u00fcdholt . Trace-based aspects . In M. Aksit, S. Clarke, T. Elrad, and R. Filman, editors, Aspect-Oriented Software Development, pages 201 -- 217 . Addison-Wesley , 2004 . R. Douence, P. Fradet, and M. S\u00fcdholt. Trace-based aspects. In M. Aksit, S. Clarke, T. Elrad, and R. Filman, editors, Aspect-Oriented Software Development, pages 201--217. Addison-Wesley, 2004."},{"key":"e_1_3_2_1_10_1","volume-title":"Prog. Lang. and Syst.: Second Asian Symposium, (APLAS'04)","volume":"3302","author":"Fradet P.","year":"2004","unstructured":"P. Fradet and S. Hong Tuan Ha. Network fusion . In Prog. Lang. and Syst.: Second Asian Symposium, (APLAS'04) , LNCS vol. 3302 , 2004 . P. Fradet and S. Hong Tuan Ha. Network fusion. In Prog. Lang. and Syst.: Second Asian Symposium, (APLAS'04), LNCS vol. 3302, 2004."},{"key":"e_1_3_2_1_11_1","volume-title":"2nd Journ\u00e9e sur le D\u00e9veloppement de Logiciels Par Aspects (JFDLPA","author":"Fradet P.","year":"2005","unstructured":"P. Fradet and S. Hong Tuan Ha. Syst\u00e8mes de gestion de ressources et aspects de disponibilit\u00e9 . In 2nd Journ\u00e9e sur le D\u00e9veloppement de Logiciels Par Aspects (JFDLPA 2005 ), Sept. 2005. P. Fradet and S. Hong Tuan Ha. Syst\u00e8mes de gestion de ressources et aspects de disponibilit\u00e9. In 2nd Journ\u00e9e sur le D\u00e9veloppement de Logiciels Par Aspects (JFDLPA 2005), Sept. 2005."},{"key":"e_1_3_2_1_12_1","volume-title":"Sept.","author":"Fradet P.","year":"2006","unstructured":"P. Fradet and S. Hong Tuan Ha. Syst\u00e8mes de gestion de ressources et aspects de disponibilit\u00e9. L'Objet - Logiciel, bases de donn\u00e9es, r\u00e9seaux, 12(2-3):183--210 , Sept. 2006 . P. Fradet and S. Hong Tuan Ha. Syst\u00e8mes de gestion de ressources et aspects de disponibilit\u00e9. L'Objet - Logiciel, bases de donn\u00e9es, r\u00e9seaux, 12(2-3):183--210, Sept. 2006."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-9170-5","volume-title":"Dependability: Basic Concepts and Terminology. Dependable Computing and Fault-Tolerant Systems","author":"Laprie J.-C.","year":"1992","unstructured":"J.-C. Laprie . Dependability: Basic Concepts and Terminology. Dependable Computing and Fault-Tolerant Systems . Springer , 1992 . J.-C. Laprie. Dependability: Basic Concepts and Terminology. Dependable Computing and Fault-Tolerant Systems. Springer, 1992."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000048933.15922.f9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0046-8"},{"issue":"2","key":"e_1_3_2_1_19_1","article-title":"A resource allocation model for denial of service protection","volume":"2","author":"Millen J. K.","year":"1994","unstructured":"J. K. Millen . A resource allocation model for denial of service protection . Journal of Computer Security , 2 ( 2 ), 1994 . J. K. Millen. A resource allocation model for denial of service protection. Journal of Computer Security, 2(2), 1994.","journal-title":"Journal of Computer Security"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2005.54"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00571421"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(94)90065-5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_24_1","volume-title":"Workshop on Foundations of Aspect-Oriented Languages (FOAL'03)","author":"Sipma H.","year":"2003","unstructured":"H. Sipma . A formal model for cross-cutting modular transition systems . In Workshop on Foundations of Aspect-Oriented Languages (FOAL'03) , 2003 . H. Sipma. A formal model for cross-cutting modular transition systems. In Workshop on Foundations of Aspect-Oriented Languages (FOAL'03), 2003."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.55087"}],"event":{"name":"GPCE '07: Generative Programming and Component Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Salzburg Austria","acronym":"GPCE '07"},"container-title":["Proceedings of the 6th international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1289971.1289999","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1289971.1289999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:13:59Z","timestamp":1750259639000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1289971.1289999"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":24,"alternative-id":["10.1145\/1289971.1289999","10.1145\/1289971"],"URL":"https:\/\/doi.org\/10.1145\/1289971.1289999","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]},"assertion":[{"value":"2007-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}