{"id":1078,"date":"2019-11-08T08:14:28","date_gmt":"2019-11-07T23:14:28","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=1078"},"modified":"2019-11-08T08:14:28","modified_gmt":"2019-11-07T23:14:28","slug":"two-papers-authored-by-erato-mmsd-researchers-accepted-for-iceccs-2019-2","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/ja\/two-papers-authored-by-erato-mmsd-researchers-accepted-for-iceccs-2019-2\/","title":{"rendered":"2\u5831\u306e\u8ad6\u6587\u304c ICECCS 2019 \u306b\u63a1\u629e"},"content":{"rendered":"\n<p>ERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u7814\u7a76\u8005\u304c\u5171\u8457\u8005\u3068\u306a\u308b2\u5831\u306e\u8ad6\u6587\u304c\uff0c<a href=\"https:\/\/www.formal-analysis.com\/iceccs\/2019\/\">ICECCS 2019<\/a> \u2013 the 24th International Conference on Engineering of Complex Computer Systems \u306b\u63a1\u629e\u3055\u308c\u307e\u3057\u305f\uff0e<\/p>\n\n\n\n<li class=\"paper\">\u00c9tienne Andr\u00e9, Didier Lime, Mathias Ramparison. <b>On the expressive power of invariants in parametric timed automata<\/b>. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.87-96, 2019<br>[<a href=\"https:\/\/doi.org\/10.1109\/ICECCS.2019.00017\">doi<\/a>]<\/li>\n<li class=\"paper\">Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa. <b>Assessing the Relation Between Hazards and Variability in Automotive Systems<\/b>. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.190-199, 2019<br>[<a href=\"https:\/\/doi.org\/10.1109\/ICECCS.2019.00028\">doi<\/a>]<\/li>\n\n\n\n<p>International Conference on Engineering of Complex Computer Systems (ICECCS) \u306f\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u30fb\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u5de5\u5b66\u5206\u91ce\u306e\u4e3b\u8981\u56fd\u969b\u4f1a\u8b70\u3067\u3059\uff0eICECCS 2019 \u306f2019\u5e7411\u6708\u306b\u4e2d\u56fd\u5357\u6c99\u5e02\u3067\u958b\u50ac\u3055\u308c\u307e\u3059\uff0e<\/p>\n","protected":false},"excerpt":{"rendered":"<p>ERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u7814\u7a76\u8005\u304c\u5171\u8457\u8005\u3068\u306a\u308b2\u5831\u306e\u8ad6\u6587\u304c\uff0cICECCS 2019 \u2013 the 24th International Conference on Engineering of Complex C &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/two-papers-authored-by-erato-mmsd-researchers-accepted-for-iceccs-2019-2\/\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">2\u5831\u306e\u8ad6\u6587\u304c ICECCS 2019 \u306b\u63a1\u629e<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"ja","_original_post":"1076","footnotes":""},"categories":[1],"tags":[],"class_list":["post-1078","post","type-post","status-publish","format-standard","hentry","category-1","ja"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/1078","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=1078"}],"version-history":[{"count":1,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/1078\/revisions"}],"predecessor-version":[{"id":1079,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/1078\/revisions\/1079"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=1078"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=1078"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=1078"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}