{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T20:57:56Z","timestamp":1761512276322,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,21]],"date-time":"2006-05-21T00:00:00Z","timestamp":1148169600000},"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":[[2006,5,21]]},"DOI":"10.1145\/1137677.1137681","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"16-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Verifying the adaptation behavior of embedded systems"],"prefix":"10.1145","author":[{"given":"Klaus","family":"Schneider","sequence":"first","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Tobias","family":"Schuele","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Mario","family":"Trapp","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Experimental Software Engineering (IESE), Kaiserslautern, Germany"}]}],"member":"320","published-online":{"date-parts":[[2006,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_3_1","first-page":"1","volume-title":"Symposium on Logic in Computer Science (LICS)","author":"Burch J.","year":"1990","unstructured":"J. Burch , E. Clarke , K. McMillan , D. Dill , and L. Hwang . Symbolic model checking: 1020 states and beyond . In Symposium on Logic in Computer Science (LICS) , pages 1 -- 33 , Washington, D.C. , June 1990 . IEEE Computer Society.]] J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang. Symbolic model checking: 1020 states and beyond. In Symposium on Logic in Computer Science (LICS), pages 1--33, Washington, D.C., June 1990. IEEE Computer Society.]]"},{"key":"e_1_3_2_1_4_1","volume-title":"MIT","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , O. Grumberg , and D. Peled . Model Checking . MIT , London, England , 1999 .]] E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT, London, England, 1999.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/605466.605491"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/508352.508353"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","first-page":"134","volume-title":"International Workshop on Self-Adaptive Software (IWSAS)","author":"Dixon K.","year":"2000","unstructured":"K. Dixon , T. Pham , and P. Khosla . Port-based adaptable agent architecture . In P. Robertson, H. Shrobe, and R. Laddaga, editors, International Workshop on Self-Adaptive Software (IWSAS) , volume 1936 of LNCS , pages 134 -- 142 , Oxford, UK , 2000 . Springer .]] K. Dixon, T. Pham, and P. Khosla. Port-based adaptable agent architecture. In P. Robertson, H. Shrobe, and R. Laddaga, editors, International Workshop on Self-Adaptive Software (IWSAS), volume 1936 of LNCS, pages 134--142, Oxford, UK, 2000. Springer.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028613.1028618"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/827269.828987"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.663540"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952334"},{"key":"e_1_3_2_1_15_1","first-page":"131","volume-title":"Workshop on Distributed and Parallel Embedded Systems (DIPES)","author":"Nace W.","year":"2000","unstructured":"W. Nace and P. Koopman . Product family approach to graceful degradation. In B. Kleinjohann, editor , Workshop on Distributed and Parallel Embedded Systems (DIPES) , pages 131 -- 140 , Paderborn, Germany , 2000 . Kluwer.]] W. Nace and P. Koopman. Product family approach to graceful degradation. In B. Kleinjohann, editor, Workshop on Distributed and Parallel Embedded Systems (DIPES), pages 131--140, Paderborn, Germany, 2000. Kluwer.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/784820.784830"},{"key":"e_1_3_2_1_17_1","volume-title":"Verification of Reactive Systems -- Formal Methods and Algorithms. Texts in Theoretical Computer Science (EATCS Series)","author":"Schneider K.","year":"2003","unstructured":"K. Schneider . Verification of Reactive Systems -- Formal Methods and Algorithms. Texts in Theoretical Computer Science (EATCS Series) . Springer , 2003 .]] K. Schneider. Verification of Reactive Systems -- Formal Methods and Algorithms. Texts in Theoretical Computer Science (EATCS Series). Springer, 2003.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1023833.1023859"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.028"},{"key":"e_1_3_2_1_20_1","volume-title":"Conference on Application of Concurrency to System Design (ACSD), St","author":"Schneider K.","year":"2005","unstructured":"K. Schneider and T. Schuele . Averest: Specification, verification, and implementation of reactive systems . In Conference on Application of Concurrency to System Design (ACSD), St . Malo, France , 2005 . participant's proceedings.]] K. Schneider and T. Schuele. Averest: Specification, verification, and implementation of reactive systems. In Conference on Application of Concurrency to System Design (ACSD), St. Malo, France, 2005. participant's proceedings.]]"},{"key":"e_1_3_2_1_21_1","volume-title":"Dresden","author":"Schneider K.","year":"2006","unstructured":"K. Schneider and T. Schuele . A framework for verifying and implementing embedded systems. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen , Dresden , Germany , 2006 . GI\/ITG\/GMM.]] K. Schneider and T. Schuele. A framework for verifying and implementing embedded systems. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Dresden, Germany, 2006. GI\/ITG\/GMM.]]"},{"key":"e_1_3_2_1_22_1","volume-title":"The Averest Framework","author":"Schneider K.","year":"2006","unstructured":"K. Schneider and T. Schuele . The Averest Framework , 2006 . http:\/\/www.averest.org.]] K. Schneider and T. Schuele. The Averest Framework, 2006. http:\/\/www.averest.org.]]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0019-9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2003.1218078"},{"key":"e_1_3_2_1_26_1","volume-title":"International Workshop on Dependable Embedded Systems Florence","author":"Trapp M.","year":"2003","unstructured":"M. Trapp and B. Sch\u00fcrmann . On the modeling of adaptive systems . In International Workshop on Dependable Embedded Systems Florence , Italy , 2003 .]] M. Trapp and B. Sch\u00fcrmann. On the modeling of adaptive systems. In International Workshop on Dependable Embedded Systems Florence, Italy, 2003.]]"},{"key":"e_1_3_2_1_27_1","first-page":"935","volume-title":"IASTED International Multi-Conference on Applied Informatics","author":"Trapp M.","year":"2003","unstructured":"M. Trapp , B. Sch\u00fcrmann , and T. Tetteroo . Service-based development of dynamically reconfiguring embedded systems. In M. Hamza, editor , IASTED International Multi-Conference on Applied Informatics , pages 935 -- 941 , Innsbruck, Austria , 2003 . IASTED\/ACTA Press.]] M. Trapp, B. Sch\u00fcrmann, and T. Tetteroo. Service-based development of dynamically reconfiguring embedded systems. In M. Hamza, editor, IASTED International Multi-Conference on Applied Informatics, pages 935--941, Innsbruck, Austria, 2003. IASTED\/ACTA Press.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"Software Engineering and Applications(SEA)","author":"Trapp M.","year":"2003","unstructured":"M. Trapp , B. Sch\u00fcrmann , and T. Tetteroo . Variable-based environment model for gracefully degrading embedded systems . In M. Hamza, editor, Software Engineering and Applications(SEA) , Marina Del Rey, USA , 2003 . IASTED\/ACTA Press .]] M. Trapp, B. Sch\u00fcrmann, and T. Tetteroo. Variable-based environment model for gracefully degrading embedded systems. In M. Hamza, editor, Software Engineering and Applications(SEA), Marina Del Rey, USA, 2003. IASTED\/ACTA Press.]]"}],"event":{"name":"ICSE06: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Shanghai China","acronym":"ICSE06"},"container-title":["Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1137677.1137681","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1137677.1137681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:29Z","timestamp":1750259669000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1137677.1137681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,21]]},"references-count":25,"alternative-id":["10.1145\/1137677.1137681","10.1145\/1137677"],"URL":"https:\/\/doi.org\/10.1145\/1137677.1137681","relation":{},"subject":[],"published":{"date-parts":[[2006,5,21]]},"assertion":[{"value":"2006-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}