{"id":"https://openalex.org/W1556428868","doi":"https://doi.org/10.1007/978-3-540-77395-5_7","title":"Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification","display_name":"Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification","publication_year":2007,"publication_date":"2007-12-06","ids":{"openalex":"https://openalex.org/W1556428868","doi":"https://doi.org/10.1007/978-3-540-77395-5_7","mag":"1556428868"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-77395-5_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-77395-5_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007729921","display_name":"Omar Ochoa","orcid":"https://orcid.org/0000-0002-2072-5610"},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Omar Ochoa","raw_affiliation_strings":["The University of Texas at El Paso, Computer Science Department, 500 W. University Avenue, El Paso TX, 79912, USA","The University of Texas at El Paso, Computer Science Department, El Paso, TX"],"affiliations":[{"raw_affiliation_string":"The University of Texas at El Paso, Computer Science Department, 500 W. University Avenue, El Paso TX, 79912, USA","institution_ids":["https://openalex.org/I164936912"]},{"raw_affiliation_string":"The University of Texas at El Paso, Computer Science Department, El Paso, TX","institution_ids":["https://openalex.org/I164936912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074088202","display_name":"Irbis Gallegos","orcid":null},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Irbis Gallegos","raw_affiliation_strings":["The University of Texas at El Paso, Computer Science Department, 500 W. University Avenue, El Paso TX, 79912, USA","The University of Texas at El Paso, Computer Science Department, El Paso, TX"],"affiliations":[{"raw_affiliation_string":"The University of Texas at El Paso, Computer Science Department, 500 W. University Avenue, El Paso TX, 79912, USA","institution_ids":["https://openalex.org/I164936912"]},{"raw_affiliation_string":"The University of Texas at El Paso, Computer Science Department, El Paso, TX","institution_ids":["https://openalex.org/I164936912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109954155","display_name":"Steve Roach","orcid":null},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steve Roach","raw_affiliation_strings":["The University of Texas at El Paso, Computer Science Department, 500 W. University Avenue, El Paso TX, 79912, USA","The University of Texas at El Paso, Computer Science Department, El Paso, TX"],"affiliations":[{"raw_affiliation_string":"The University of Texas at El Paso, Computer Science Department, 500 W. University Avenue, El Paso TX, 79912, USA","institution_ids":["https://openalex.org/I164936912"]},{"raw_affiliation_string":"The University of Texas at El Paso, Computer Science Department, El Paso, TX","institution_ids":["https://openalex.org/I164936912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032779885","display_name":"Ann Q. Gates","orcid":"https://orcid.org/0000-0001-6974-7899"},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ann Gates","raw_affiliation_strings":["The University of Texas at El Paso, Computer Science Department, 500 W. University Avenue, El Paso TX, 79912, USA","The University of Texas at El Paso, Computer Science Department, El Paso, TX"],"affiliations":[{"raw_affiliation_string":"The University of Texas at El Paso, Computer Science Department, 500 W. University Avenue, El Paso TX, 79912, USA","institution_ids":["https://openalex.org/I164936912"]},{"raw_affiliation_string":"The University of Texas at El Paso, Computer Science Department, El Paso, TX","institution_ids":["https://openalex.org/I164936912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5007729921"],"corresponding_institution_ids":["https://openalex.org/I164936912"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.4572,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63934426,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"75","last_page":"86"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/aspectj","display_name":"AspectJ","score":0.951318621635437},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7960501313209534},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7272186279296875},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.6983330249786377},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6800999641418457},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6300084590911865},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.5383632183074951},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42670485377311707},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.42549192905426025},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.41343507170677185},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.38011810183525085},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.3177908957004547},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1894972324371338},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.13536852598190308},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.07031568884849548}],"concepts":[{"id":"https://openalex.org/C2781009160","wikidata":"https://www.wikidata.org/wiki/Q735604","display_name":"AspectJ","level":4,"score":0.951318621635437},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7960501313209534},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7272186279296875},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6983330249786377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6800999641418457},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6300084590911865},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5383632183074951},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42670485377311707},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.42549192905426025},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41343507170677185},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.38011810183525085},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.3177908957004547},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1894972324371338},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.13536852598190308},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.07031568884849548},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-77395-5_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-77395-5_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.105.9049","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.9049","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://rtg.cis.upenn.edu/rv2007/papers/09.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W20649036","https://openalex.org/W1501556234","https://openalex.org/W1537387651","https://openalex.org/W1602043639","https://openalex.org/W1610570299","https://openalex.org/W1612453857","https://openalex.org/W1861203031","https://openalex.org/W2029414465","https://openalex.org/W2041252769","https://openalex.org/W2047276559","https://openalex.org/W2065387002","https://openalex.org/W2079777989","https://openalex.org/W2101731983","https://openalex.org/W2118922341","https://openalex.org/W2120926795","https://openalex.org/W2132750992","https://openalex.org/W2137591753","https://openalex.org/W2138916466","https://openalex.org/W2499711114","https://openalex.org/W2561675875","https://openalex.org/W4254691308"],"related_works":["https://openalex.org/W2067692122","https://openalex.org/W2097388256","https://openalex.org/W2189019288","https://openalex.org/W1982596275","https://openalex.org/W4240435256","https://openalex.org/W2010155134","https://openalex.org/W2126225516","https://openalex.org/W164100725","https://openalex.org/W2114161632","https://openalex.org/W2412050082"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}