{"id":"https://openalex.org/W2766194497","doi":"https://doi.org/10.1007/978-3-319-69483-2_19","title":"How to Efficiently Build a Front-End Tool for\u00a0UPPAAL: A Model-Driven Approach","display_name":"How to Efficiently Build a Front-End Tool for\u00a0UPPAAL: A Model-Driven Approach","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2766194497","doi":"https://doi.org/10.1007/978-3-319-69483-2_19","mag":"2766194497"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-69483-2_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-69483-2_19","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":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/0a7f1ca2-ca55-4ddb-b8be-834b00258cd0","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010396704","display_name":"Stefano Schivo","orcid":"https://orcid.org/0000-0002-4945-1473"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Stefano Schivo","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039777169","display_name":"Bu\u011fra M. Yildiz","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bu\u011fra M. Yildiz","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007430287","display_name":"Enno Ruijters","orcid":"https://orcid.org/0000-0002-5855-5282"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Enno Ruijters","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056829990","display_name":"Christopher Gerking","orcid":"https://orcid.org/0000-0001-5531-9607"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christopher Gerking","raw_affiliation_strings":["Software Engineering, Heinz Nixdorf Institute, Paderborn University, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Software Engineering, Heinz Nixdorf Institute, Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088210519","display_name":"Rajesh Kumar","orcid":"https://orcid.org/0000-0002-8151-4673"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Rajesh Kumar","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012080384","display_name":"Stefan Dziwok","orcid":"https://orcid.org/0000-0002-8679-6673"},"institutions":[{"id":"https://openalex.org/I4210093498","display_name":"Fraunhofer Institute for Mechatronic Systems Design","ror":"https://ror.org/004nttc42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210093498","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Dziwok","raw_affiliation_strings":["Software Engineering, Fraunhofer IEM, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Software Engineering, Fraunhofer IEM, Paderborn, Germany","institution_ids":["https://openalex.org/I4210093498"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045219123","display_name":"Arend Rensink","orcid":"https://orcid.org/0000-0002-1714-6319"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arend Rensink","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mari\u00eblle Stoelinga","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5010396704"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.2711,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.94989562,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"319","last_page":"336"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.996999979019165,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8894393444061279},{"id":"https://openalex.org/keywords/front-and-back-ends","display_name":"Front and back ends","score":0.5747586488723755},{"id":"https://openalex.org/keywords/front","display_name":"Front (military)","score":0.4406718611717224},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.30511611700057983},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.0820896327495575}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8894393444061279},{"id":"https://openalex.org/C53016008","wikidata":"https://www.wikidata.org/wiki/Q620167","display_name":"Front and back ends","level":2,"score":0.5747586488723755},{"id":"https://openalex.org/C2777551076","wikidata":"https://www.wikidata.org/wiki/Q842332","display_name":"Front (military)","level":2,"score":0.4406718611717224},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.30511611700057983},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0820896327495575},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-319-69483-2_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-69483-2_19","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:ris.utwente.nl:openaire/0a7f1ca2-ca55-4ddb-b8be-834b00258cd0","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/0a7f1ca2-ca55-4ddb-b8be-834b00258cd0","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Schivo, S, Yildiz, B M, Ruijters, E J J, Gerking, C, Kumar, R, Dziwok, S, Rensink, A & Stoelinga, M I A 2017, How to Efficiently Build a Front-End Tool for UPPAAL : A Model-Driven Approach. in K Larsen, O Sokolsky & J Wang (eds), Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10606, Lecture Notes in Programming and Software Engineering, Springer, pp. 319-336, 3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017, Changsha, China, 23/10/17. https://doi.org/10.1007/978-3-319-69483-2_19","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:fraunhofer.de:N-502394","is_oa":false,"landing_page_url":"http://publica.fraunhofer.de/documents/N-502394.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400801","display_name":"Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fraunhofer IEM","raw_type":"Conference Paper"},{"id":"pmh:oai:publica.fraunhofer.de:publica/401333","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/401333","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference paper"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/0a7f1ca2-ca55-4ddb-b8be-834b00258cd0","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/0a7f1ca2-ca55-4ddb-b8be-834b00258cd0","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Schivo, S, Yildiz, B M, Ruijters, E J J, Gerking, C, Kumar, R, Dziwok, S, Rensink, A & Stoelinga, M I A 2017, How to Efficiently Build a Front-End Tool for UPPAAL : A Model-Driven Approach. in K Larsen, O Sokolsky & J Wang (eds), Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10606, Lecture Notes in Programming and Software Engineering, Springer, pp. 319-336, 3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017, Changsha, China, 23/10/17. https://doi.org/10.1007/978-3-319-69483-2_19","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3640064926","display_name":null,"funder_award_id":"EP/P016456/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W34866348","https://openalex.org/W116997663","https://openalex.org/W275084143","https://openalex.org/W994990881","https://openalex.org/W1493088336","https://openalex.org/W1509087931","https://openalex.org/W1537891716","https://openalex.org/W1546734197","https://openalex.org/W1548431414","https://openalex.org/W1651060577","https://openalex.org/W1815881154","https://openalex.org/W1979803196","https://openalex.org/W1987734880","https://openalex.org/W2048355938","https://openalex.org/W2049161850","https://openalex.org/W2072922398","https://openalex.org/W2091158003","https://openalex.org/W2096349415","https://openalex.org/W2111540344","https://openalex.org/W2121337044","https://openalex.org/W2125930621","https://openalex.org/W2150220388","https://openalex.org/W2156607688","https://openalex.org/W2159433799","https://openalex.org/W2259883075","https://openalex.org/W2271042972","https://openalex.org/W2406159297","https://openalex.org/W2488611155","https://openalex.org/W2527976622","https://openalex.org/W2572735123","https://openalex.org/W2572880003","https://openalex.org/W2598527319","https://openalex.org/W2740338871","https://openalex.org/W3140384403","https://openalex.org/W3151604262","https://openalex.org/W6717736111"],"related_works":["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/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4}],"updated_date":"2026-03-17T09:09:15.849793","created_date":"2025-10-10T00:00:00"}