{"id":"https://openalex.org/W1420250834","doi":"https://doi.org/10.1007/978-3-642-35743-5_21","title":"Verifying Temporal Properties of Use-Cases in Natural Language","display_name":"Verifying Temporal Properties of Use-Cases in Natural Language","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W1420250834","doi":"https://doi.org/10.1007/978-3-642-35743-5_21","mag":"1420250834"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-35743-5_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-35743-5_21","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":"conference-paper","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/A5058218415","display_name":"Viliam \u0160imko","orcid":null},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Viliam Simko","raw_affiliation_strings":["Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","Charles University Faculty of Mathematics and Physics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University Faculty of Mathematics and Physics","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059949877","display_name":"David Hauzar","orcid":"https://orcid.org/0000-0001-9064-7008"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"David Hauzar","raw_affiliation_strings":["Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","Charles University Faculty of Mathematics and Physics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University Faculty of Mathematics and Physics","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082418720","display_name":"Tom\u00e1\u0161 Bure\u0161","orcid":"https://orcid.org/0000-0003-3622-9918"},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]},{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tomas Bures","raw_affiliation_strings":["Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, Prague 8, 182 07, Czech Republic","Academy of Sciences of the Czech Republic","Charles University, Faculty of Mathematics and Physics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, Prague 8, 182 07, Czech Republic","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Academy of Sciences of the Czech Republic","institution_ids":["https://openalex.org/I202391551"]},{"raw_affiliation_string":"Charles University, Faculty of Mathematics and Physics","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062364548","display_name":"Petr Hn\u011btynka","orcid":"https://orcid.org/0000-0002-1008-6886"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Petr Hnetynka","raw_affiliation_strings":["Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","Charles University Faculty of Mathematics and Physics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University Faculty of Mathematics and Physics","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038827584","display_name":"Franti\u0161ek Pl\u00e1\u0161il","orcid":"https://orcid.org/0000-0003-1910-8989"},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]},{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Frantisek Plasil","raw_affiliation_strings":["Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, Prague 8, 182 07, Czech Republic","Academy of Sciences of the Czech Republic","Charles University, Faculty of Mathematics and Physics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Distributed and Dependable Systems, Charles University, Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, Prague 1, 118 00, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, Prague 8, 182 07, Czech Republic","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Academy of Sciences of the Czech Republic","institution_ids":["https://openalex.org/I202391551"]},{"raw_affiliation_string":"Charles University, Faculty of Mathematics and Physics","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.7805,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.66945138,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"350","last_page":"367"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9990000128746033,"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.9990000128746033,"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/T10260","display_name":"Software Engineering Research","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/consistency","display_name":"Consistency (knowledge bases)","score":0.7705523371696472},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7669028043746948},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5870514512062073},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5565153956413269},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44744616746902466},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23435446619987488}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7705523371696472},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7669028043746948},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5870514512062073},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5565153956413269},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44744616746902466},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23435446619987488}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-35743-5_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-35743-5_21","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.233.5837","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.5837","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://d3s.mff.cuni.cz/publications/download/2011-FACS2011-VerifyingUseCases.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.914.1242","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.914.1242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.researchgate.net/profile/Viliam_Simko/publication/231814476_Verifying_Temporal_Properties_of_Use-Cases_in_Natural_Language/links/0912f507035709f690000000.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6399999856948853,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W88975855","https://openalex.org/W99198949","https://openalex.org/W168126392","https://openalex.org/W1489800325","https://openalex.org/W1503973138","https://openalex.org/W1543262385","https://openalex.org/W1572511148","https://openalex.org/W1591454593","https://openalex.org/W1984544455","https://openalex.org/W2030715801","https://openalex.org/W2080019998","https://openalex.org/W2105975579","https://openalex.org/W2117410295","https://openalex.org/W2144477072","https://openalex.org/W2157455734","https://openalex.org/W2162497509","https://openalex.org/W2171816001","https://openalex.org/W2293287097","https://openalex.org/W2498077939","https://openalex.org/W2569364308","https://openalex.org/W3021589601","https://openalex.org/W3144368627","https://openalex.org/W4206457894","https://openalex.org/W4244728546"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}