{"id":"https://openalex.org/W2098024884","doi":"https://doi.org/10.1007/11759744_1","title":"Simulated Time for Testing Railway Interlockings with TTCN-3","display_name":"Simulated Time for Testing Railway Interlockings with TTCN-3","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2098024884","doi":"https://doi.org/10.1007/11759744_1","mag":"2098024884"},"language":"en","primary_location":{"id":"doi:10.1007/11759744_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11759744_1","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/A5083632513","display_name":"Stefan Blom","orcid":null},"institutions":[{"id":"https://openalex.org/I190249584","display_name":"Universit\u00e4t Innsbruck","ror":"https://ror.org/054pv6659","country_code":"AT","type":"education","lineage":["https://openalex.org/I190249584"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Stefan Blom","raw_affiliation_strings":["Institute of Computer Science, University of Innsbruck, 6020, Innsbruck, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Innsbruck, 6020, Innsbruck, Austria","institution_ids":["https://openalex.org/I190249584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086365218","display_name":"Natalia Ioustinova","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Natalia Ioustinova","raw_affiliation_strings":["Centrum voor Wiskunde en Informatica, SEN2, P.O. Box 94079, 1090 GB, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum voor Wiskunde en Informatica, SEN2, P.O. Box 94079, 1090 GB, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"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"]},{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Centrum voor Wiskunde en Informatica, SEN2, P.O. Box 94079, 1090 GB, Amsterdam, The Netherlands","Dept. of Math. and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5612 MB, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum voor Wiskunde en Informatica, SEN2, P.O. Box 94079, 1090 GB, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Dept. of Math. and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5612 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027330367","display_name":"Axel Rennoch","orcid":"https://orcid.org/0000-0003-3419-298X"},"institutions":[{"id":"https://openalex.org/I2800804238","display_name":"Fraunhofer Institute for Open Communication Systems","ror":"https://ror.org/00px80p03","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2800804238","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Axel Rennoch","raw_affiliation_strings":["Fraunhofer FOKUS, Kaiserin-Augusta-Alee 31, D-10589, Berlin, Germany"],"affiliations":[{"raw_affiliation_string":"Fraunhofer FOKUS, Kaiserin-Augusta-Alee 31, D-10589, Berlin, Germany","institution_ids":["https://openalex.org/I2800804238"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053568949","display_name":"Natalia Sidorova","orcid":"https://orcid.org/0000-0002-9223-938X"},"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":false,"raw_author_name":"Natalia Sidorova","raw_affiliation_strings":["Dept. of Math. and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5612 MB, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Dept. of Math. and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5612 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5083632513"],"corresponding_institution_ids":["https://openalex.org/I190249584"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5123,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.6928934,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"15"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983000159263611,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983000159263611,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9979000091552734,"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.9973000288009644,"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/computer-science","display_name":"Computer science","score":0.8178353309631348},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.41401082277297974},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35594916343688965},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.33579039573669434},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.3245445489883423},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.06225964426994324}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8178353309631348},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.41401082277297974},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35594916343688965},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33579039573669434},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.3245445489883423},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.06225964426994324}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/11759744_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11759744_1","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:pure.tue.nl:openaire_cris_publications/cc2f85f4-5ae5-4bc5-b948-d43384831f68","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/cc2f85f4-5ae5-4bc5-b948-d43384831f68","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Blom, S C C, Ioustinova, N, Pol, van de, J C, Rennoch, A & Sidorova, N 2006, Simulated time for testing railway interlockings with TTCN-3. in W Grieskamp & C Weise (eds), Formal Approaches to Testing of Software (5th International Workshop, FATES 2005, Edinburgh, UK, August 11, 2005, Revised selected papers). Lecture Notes in Computer Science, vol. 3997, Springer, Berlin, pp. 1-15. https://doi.org/10.1007/11759744_1","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:fraunhofer.de:N-59814","is_oa":false,"landing_page_url":"http://publica.fraunhofer.de/documents/N-59814.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 FOKUS","raw_type":"Conference Paper"},{"id":"pmh:oai:publica.fraunhofer.de:publica/352865","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/352865","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"},{"id":"pmh:tue:oai:pure.tue.nl:publications/cc2f85f4-5ae5-4bc5-b948-d43384831f68","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/cc2f85f4-5ae5-4bc5-b948-d43384831f68","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":"Formal Approaches to Testing of Software (5th International Workshop, FATES 2005, Edinburgh, UK, August 11, 2005, Revised selected papers), 1 - 15","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W127675234","https://openalex.org/W1560122525","https://openalex.org/W1572777470","https://openalex.org/W1587275578","https://openalex.org/W2005774723","https://openalex.org/W2084541517","https://openalex.org/W2101582978","https://openalex.org/W2614922711"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}