{"id":"https://openalex.org/W2114556411","doi":"https://doi.org/10.1016/s1474-6670(17)36431-5","title":"A Hybrid Language for Modeling, Simulation and Verification","display_name":"A Hybrid Language for Modeling, Simulation and Verification","publication_year":2003,"publication_date":"2003-06-01","ids":{"openalex":"https://openalex.org/W2114556411","doi":"https://doi.org/10.1016/s1474-6670(17)36431-5","mag":"2114556411"},"language":"en","primary_location":{"id":"doi:10.1016/s1474-6670(17)36431-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s1474-6670(17)36431-5","pdf_url":null,"source":{"id":"https://openalex.org/S2898246533","display_name":"IFAC Proceedings Volumes","issn_l":"1474-6670","issn":["1474-6670","2589-3653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFAC Proceedings Volumes","raw_type":"journal-article"},"type":"article","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/A5108655540","display_name":"R.R.H. Schiffelers","orcid":"https://orcid.org/0000-0002-3297-2969"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"R.R.H. Schiffelers","raw_affiliation_strings":["Department of Mechanical Engineering Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017870274","display_name":"D.A. van Beek","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"D.A. van Beek","raw_affiliation_strings":["Department of Mechanical Engineering Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075116069","display_name":"Ka Lok Man","orcid":"https://orcid.org/0000-0002-5787-4716"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"K.L. Man","raw_affiliation_strings":["Department of Mathematics and Computer Science Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mathematics and Computer science, Eindhoven University of Technology, P.O. Box 513, 5600, MB, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computer science, Eindhoven University of Technology, P.O. Box 513, 5600, MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040487816","display_name":"Michel Reniers","orcid":"https://orcid.org/0000-0002-9283-4074"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"M.A. Reniers","raw_affiliation_strings":["Department of Mathematics and Computer Science Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mathematics and Computer science, Eindhoven University of Technology, P.O. Box 513, 5600, MB, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computer science, Eindhoven University of Technology, P.O. Box 513, 5600, MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110217683","display_name":"J.E. Rooda","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"J.E. Rooda","raw_affiliation_strings":["Department of Mechanical Engineering Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5017870274","https://openalex.org/A5040487816","https://openalex.org/A5075116069","https://openalex.org/A5108655540","https://openalex.org/A5110217683"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":2.5441,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.89865586,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"36","issue":"6","first_page":"199","last_page":"204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.9998000264167786,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.9998000264167786,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7363556027412415},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6189790368080139},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5700363516807556},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5391967296600342},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.47529137134552},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4456862211227417},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4409436285495758},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4339503049850464},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4301162660121918},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.403862327337265},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.07089459896087646}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7363556027412415},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6189790368080139},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5700363516807556},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5391967296600342},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.47529137134552},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4456862211227417},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4409436285495758},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4339503049850464},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4301162660121918},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.403862327337265},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.07089459896087646},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1016/s1474-6670(17)36431-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s1474-6670(17)36431-5","pdf_url":null,"source":{"id":"https://openalex.org/S2898246533","display_name":"IFAC Proceedings Volumes","issn_l":"1474-6670","issn":["1474-6670","2589-3653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFAC Proceedings Volumes","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.7.6497","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.6497","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://se.wtb.tue.nl/~vanbeek/pub/adhs03.ps","raw_type":"text"},{"id":"pmh:oai:library.tue.nl:603040","is_oa":false,"landing_page_url":"http://repository.tue.nl/603040","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:tue:oai:pure.tue.nl:publications/bffcf48a-4e3d-4dd4-b3d8-d0d0387e9bb7","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/bffcf48a-4e3d-4dd4-b3d8-d0d0387e9bb7","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003), 235 - 240","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.550000011920929,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W63140700","https://openalex.org/W72372685","https://openalex.org/W1518813203","https://openalex.org/W1573444781","https://openalex.org/W1595871524","https://openalex.org/W1596885258","https://openalex.org/W1996703648","https://openalex.org/W2004463571","https://openalex.org/W2112506985","https://openalex.org/W2118564542","https://openalex.org/W2148727823","https://openalex.org/W2167795378","https://openalex.org/W6602519306","https://openalex.org/W6651418267"],"related_works":["https://openalex.org/W2341613074","https://openalex.org/W1990409638","https://openalex.org/W2365200093","https://openalex.org/W4205700219","https://openalex.org/W805617865","https://openalex.org/W2786418612","https://openalex.org/W1547524815","https://openalex.org/W2488774889","https://openalex.org/W2130585794","https://openalex.org/W1608485412"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}