{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:46:54Z","timestamp":1725893214903},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77395-5_4","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:25:53Z","timestamp":1196940353000},"page":"38-50","source":"Crossref","is-referenced-by-count":9,"title":["Static and Dynamic Detection of Behavioral Conflicts Between Aspects"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Durr","sequence":"first","affiliation":[]},{"given":"Lodewijk","family":"Bergmans","sequence":"additional","affiliation":[]},{"given":"Mehmet","family":"Aksit","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Durr, P., Bergmans, L., Aksit, M.: Reasoning about semantic conflicts between aspects. In: Chitchyan, R., Fabry, J., Bergmans, L., Nedos, A., Rensink, A. (eds.) Proceeding of ADI 2006 Aspect, Dependencies, and interactions Workshop, Lancaster University, pp. 10\u201318 (July 2006)","key":"4_CR1"},{"unstructured":"Durr, P.E.A., Bergmans, L.M.J., Aksit, M.: Reasoning about behavioral conflicts between aspects. Technical Report TR-CTIT-07-15, Enschede (February 2007)","key":"4_CR2"},{"unstructured":"Group, T.O.: IEEE: Regular expressions. The Open Group Base Specifications, IEEE Std 1003.1 (6) (2004)","key":"4_CR3"},{"unstructured":"de Roo, A.: Towards more robust advice: Message flow analysis for composition filters and its application. Master\u2019s thesis, University of Twente (March 2007)","key":"4_CR4"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/1029894.1029916","volume-title":"SIGSOFT 2004\/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering","author":"S. Krishnamurthi","year":"2004","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying aspect advice modularly. In: SIGSOFT 2004\/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pp. 137\u2013146. ACM Press, New York, USA (2004)"},{"unstructured":"Goldman, M., Katz, S.: Modular generic verification of ltl properties for aspects. In: Clifton, C., L\u00e4mmel, R., Leavens, G.T. (eds.) FOAL: Foundations Of Aspect-Oriented Languages, pp. 11\u201319 (March 2006)","key":"4_CR6"},{"unstructured":"Staijen, T., Rensink, A.: A graph-transformation-based semantics for analysing aspect interference. In: Workshop on Graph Computation Models, Natal, Brazil (2006)","key":"4_CR7"},{"key":"4_CR8","first-page":"201","volume-title":"Aspect-Oriented Software Development","author":"R. Douence","year":"2005","unstructured":"Douence, R., Fradet, P.: Trace-based aspects. In: Filman, R.E., Elrad, T., Clarke, S. (eds.) Aspect-Oriented Software Development, pp. 201\u2013217. Addison-Wesley, Boston (2005)"},{"issue":"1","key":"4_CR9","first-page":"174","volume":"1","author":"M. S\u00e9gura-Devillechaise","year":"2006","unstructured":"S\u00e9gura-Devillechaise, M., Menaud, J.M., Fritz, T., Loriant, N., Douence, R., S\u00fcdholt, M.: An expressive aspect language for system applications with arachne. Transactions on AOSD I\u00a01(1), 174\u2013213 (2006)","journal-title":"Transactions on AOSD I"},{"doi-asserted-by":"crossref","unstructured":"Bernstein, A.J.: Program analysis for parallel processing. In: IEEE Trans. on Electronic Computers. EC-15, pp. 757\u2013762 (1966)","key":"4_CR10","DOI":"10.1109\/PGEC.1966.264565"},{"volume-title":"Atomic Transactions : In Concurrent and Distributed Systems","year":"1993","unstructured":"Lynch, N.A., Merritt, M., Weihl, W.E., Fekete, A. (eds.): Atomic Transactions: In Concurrent and Distributed Systems. Morgan Kaufmann, San Francisco (1993)","key":"4_CR11"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77395-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:10:40Z","timestamp":1619521840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77395-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773948"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77395-5_4","relation":{},"subject":[]}}