HTTP/2 200 date: Wed, 04 Feb 2026 07:24:17 GMT content-type: application/json cf-ray: 9c886d64bc1aad8b-BLR cf-cache-status: DYNAMIC access-control-allow-origin: * access-control-expose-headers: Cache-Control, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Credits-Used, X-RateLimit-Credits-Required, X-RateLimit-Reset, Retry-After server: cloudflare via: 1.1 heroku-router access-control-allow-headers: Accept, Accept-Language, Accept-Encoding, Authorization, Content-Type access-control-allow-methods: GET, HEAD, POST, OPTIONS nel: {"report_to":"heroku-nel","response_headers":["Via"],"max_age":3600,"success_fraction":0.01,"failure_fraction":0.1} report-to: {"group":"heroku-nel","endpoints":[{"url":"https://nel.heroku.com/reports?s=h1Ah4Y8cZoHkKDO9Wrgz8psk4IfdRivUG1JCrIERlVI%3D\u0026sid=c46efe9b-d3d2-4a0c-8c76-bfafa16c5add\u0026ts=1770189857"}],"max_age":3600} reporting-endpoints: heroku-nel="https://nel.heroku.com/reports?s=h1Ah4Y8cZoHkKDO9Wrgz8psk4IfdRivUG1JCrIERlVI%3D&sid=c46efe9b-d3d2-4a0c-8c76-bfafa16c5add&ts=1770189857" x-ratelimit-credits-used: 1 x-ratelimit-limit: 10000 x-ratelimit-remaining: 9999 x-ratelimit-reset: 59743 content-encoding: gzip {"id":"https://openalex.org/W2132892479","doi":"https://doi.org/10.4204/eptcs.196","title":"Preface: Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015","display_name":"Preface: Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015","publication_year":2015,"publication_date":"2015-11-08","ids":{"openalex":"https://openalex.org/W2132892479","doi":"https://doi.org/10.4204/eptcs.196","mag":"2132892479"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.196","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.196","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-issue"},"type":"paratext","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4204/eptcs.196","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"van Glabbeek, Rob","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"van Glabbeek, Rob","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Groote, Jan Friso","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Groote, Jan Friso","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"H\u00f6fner, Peter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"H\u00f6fner, Peter","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"196","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976999759674072,"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.9976999759674072,"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.9958000183105469,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9830999970436096,"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"}}],"keywords":[],"concepts":[],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.4204/eptcs.196","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.196","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-issue"},{"id":"pmh:oai:arXiv.org:1511.02528","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1511.02528","pdf_url":"https://arxiv.org/pdf/1511.02528","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:pure.tue.nl:openaire/a0f1efd4-c5a3-4376-b930-f770b51e0a98","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/a0f1efd4-c5a3-4376-b930-f770b51e0a98","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Van Glabbeek, R, Groote, J F & H\u00f6fner, P 2015, Preface : Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. in Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.. Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 196. https://doi.org/10.4204/EPTCS.196","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/640d91d5-bdc0-4c12-bd98-956aba1513e0","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/640d91d5-bdc0-4c12-bd98-956aba1513e0","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Glabbeek, R J, Groote, J F & H\u00f6fner, P (eds) 2015, Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. https://doi.org/10.4204/EPTCS.196","raw_type":"book"},{"id":"pmh:tue:oai:pure.tue.nl:publications/a0f1efd4-c5a3-4376-b930-f770b51e0a98","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/a0f1efd4-c5a3-4376-b930-f770b51e0a98","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.","raw_type":"info:eu-repo/semantics/bookpart"}],"best_oa_location":{"id":"doi:10.4204/eptcs.196","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.196","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-issue"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"volume":[1],"contains":[2],"the":[3,8,32,60,90,100,109,112,136,155,165],"proceedings":[4],"of":[5,15,29,63,89,111,121,135,150,154,167],"MARS":[6],"2015,":[7,31],"first":[9],"workshop":[10,28,44,137,160],"on\\nModels":[11],"for":[12,37,59,128,148],"Formal":[13],"Analysis":[14],"Real":[16],"Systems,":[17],"held":[18],"on":[19],"November":[20],"23,":[21],"2015":[22],"in":[23],"Suva,\\nFiji,":[24],"as":[25],"an":[26],"affiliated":[27],"LPAR":[30],"20th":[33],"International":[34],"Conference\\non":[35],"Logic":[36],"Programming,":[38],"Artificial":[39],"Intelligence":[40],"and":[41,73,82,131,143,146],"Reasoning.\\n":[42],"The":[43],"emphasises":[45],"modelling":[46,99,141],"over":[47],"verification.":[48],"It":[49],"aims":[50],"at":[51,158],"discussing\\nthe":[52],"lessons":[53],"learned":[54],"from":[55],"making":[56],"formal":[57,152],"methods":[58],"verification":[61],"and\\nanalysis":[62],"realistic":[64],"systems.":[65],"Examples":[66],"are:\\n":[67],"(1)":[68],"Which":[69,76,103],"formalism":[70],"is":[71,138],"chosen,":[72],"why?\\n":[74,83],"(2)":[75],"abstractions":[77],"have":[78],"to":[79,107,139],"be":[80],"made":[81],"(3)":[84],"How":[85],"are":[86],"important":[87],"characteristics":[88],"system":[91],"modelled?\\n":[92],"(4)":[93],"Were":[94],"there":[95],"any":[96],"complications":[97],"while":[98],"system?\\n":[101],"(5)":[102],"measures":[104],"were":[105],"taken":[106],"guarantee":[108],"accuracy":[110],"model?\\n":[113],"We":[114],"invited":[115],"papers":[116],"that":[117],"present":[118],"full":[119],"models":[120],"real":[122],"systems,":[123],"which":[124,162],"may":[125],"lay":[126],"the\\nbasis":[127],"future":[129],"comparison":[130],"analysis.":[132],"An":[133],"aim":[134],"present\\ndifferent":[140],"approaches":[142],"discuss":[144],"pros":[145],"cons":[147],"each":[149],"them.\\nAlternative":[151],"descriptions":[153],"systems":[156],"presented":[157],"this":[159],"are\\nencouraged,":[161],"should":[163],"foster":[164],"development":[166],"improved":[168],"specification\\nformalisms.\\n":[169]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}