{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:11:42Z","timestamp":1773655902644,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642272684","type":"print"},{"value":"9783642272691","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27269-1_12","type":"book-chapter","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T05:52:10Z","timestamp":1326779530000},"page":"200-217","source":"Crossref","is-referenced-by-count":24,"title":["Using Temporal Logic for Dynamic Reconfigurations of Components"],"prefix":"10.1007","author":[{"given":"Julien","family":"Dormoy","sequence":"first","affiliation":[]},{"given":"Olga","family":"Kouchnarenko","sequence":"additional","affiliation":[]},{"given":"Arnaud","family":"Lanoix","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Aguilar Cornejo, M., Garavel, H., Mateescu, R., De Palma, N.: Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. Research Report RR-4222, INRIA (2001)","DOI":"10.1007\/0-306-47005-5_20"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Aguirre, N., Maibaum, T.: A temporal logic approach to the specification of reconfigurable component-based systems. Automated Software Engineering (2002)","DOI":"10.1109\/ASE.2002.1115028"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Aldric, J.: Using types to enforce architectural structure. In: WICSA 2008, pp. 23\u201334 (February 2008)","DOI":"10.1109\/WICSA.2008.48"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-71998-4_1","volume-title":"Recent Trends in Algebraic Development Techniques","author":"P. Baldan","year":"2007","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B., Lluch Lafuente, A.: A temporal graph logic for verification of graph transformation systems. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol.\u00a04409, pp. 1\u201320. Springer, Heidelberg (2007)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-77395-5_9","volume-title":"Runtime Verification","author":"H. Barringer","year":"2007","unstructured":"Barringer, H., Gabbay, D.M., Rydeheard, D.E.: From runtime verification to evolvable systems. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 97\u2013110. Springer, Heidelberg (2007)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14295-6_1","volume-title":"Computer Aided Verification","author":"D.A. Basin","year":"2010","unstructured":"Basin, D.A., Klaedtke, F., M\u00fcller, S.: Policy monitoring in first-order temporal logic. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 1\u201318. Springer, Heidelberg (2010)"},{"key":"12_CR7","unstructured":"Basin, D.A., Klaedtke, F., M\u00fcller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: IARCS, FSTTCS 2008, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. LIPIcs, vol.\u00a02, pp. 49\u201360 (2008)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL Semantics for Runtime Verification. Journal of Logic and Computation, JLC (2010)","DOI":"10.1093\/logcom\/exn075"},{"key":"12_CR9","unstructured":"Bellegarde, F., Groslambert, J., Huisman, M., Julliand, J., Kouchnarenko, O.: Verification of liveness properties with JML. Technical report RR-5331, INRIA (2004)"},{"issue":"11-12","key":"12_CR10","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E. Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.-B.: The fractal component model and its support in java. Softw., Pract. Exper.\u00a036(11-12), 1257\u20131284 (2006)","journal-title":"Softw., Pract. Exper."},{"key":"12_CR11","unstructured":"Chauvel, F., Barais, O., Plouzeau, N., Borne, I., J\u00e9z\u00e9quel, J.-M.: Composition et expression qualitative de politiques d\u2019adaptation pour les composants Fractal. In: GDR GPL 2009, Toulouse, France (January 2009)"},{"issue":"1-2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s12243-008-0073-y","volume":"64","author":"P.-C. David","year":"2009","unstructured":"David, P.-C., Ledoux, T., L\u00e9ger, M., Coupaye, T.: FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures. Annales des T\u00e9l\u00e9communications\u00a064(1-2), 45\u201363 (2009)","journal-title":"Annales des T\u00e9l\u00e9communications"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Giorgetti, A., Groslambert, J., Julliand, J., Kouchnarenko, O.: Verification of class liveness properties with java modelling language. In: IET Software (2008)","DOI":"10.1049\/iet-sen:20080008"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"12_CR16","unstructured":"L\u00e9ger, M.: Fiabilit\u00e9 des Reconfigurations Dynamiques dans les Architectures \u00e0 Composant. PhD thesis, Ecole Nationale Sup\u00e9rieure des Mines de Paris (2009)"},{"key":"12_CR17","first-page":"1","volume-title":"ARM 2007","author":"M. L\u00e9ger","year":"2007","unstructured":"L\u00e9ger, M., Ledoux, T., Coupaye, T.: Reliable dynamic reconfigurations in the fractal component model. In: ARM 2007, pp. 1\u20136. ACM, New York (2007)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-13238-4_5","volume-title":"Component-Based Software Engineering","author":"M. L\u00e9ger","year":"2010","unstructured":"L\u00e9ger, M., Ledoux, T., Coupaye, T.: Reliable dynamic reconfigurations in a reflective component model. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol.\u00a06092, pp. 74\u201392. Springer, Heidelberg (2010)"},{"key":"12_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification.","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1992)"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-47993-7_9","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"B. Redmond","year":"2002","unstructured":"Redmond, B., Cahill, V.: Supporting unanticipated dynamic adaptation of application behaviour. In: Deng, T. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 205\u2013230. Springer, Heidelberg (2002)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-45719-4_23","volume-title":"Algebraic Methodology and Software Technology","author":"K. Trentelman","year":"2002","unstructured":"Trentelman, K., Huisman, M.: Extending jml specifications with temporal logic. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 334\u2013348. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27269-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T22:05:38Z","timestamp":1742335538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27269-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642272684","9783642272691"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27269-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}