{"id":333,"date":"2018-11-06T00:57:01","date_gmt":"2018-11-06T00:57:01","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=333"},"modified":"2018-11-07T08:58:42","modified_gmt":"2018-11-07T08:58:42","slug":"studies","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/studies\/","title":{"rendered":"Studies"},"content":{"rendered":"<p><img loading=\"lazy\" class=\"alignleft size-full wp-image-519\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/10.jpg\" alt=\"\" width=\"2400\" height=\"1350\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/10.jpg 2400w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/10-300x169.jpg 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/10-768x432.jpg 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/10-1024x576.jpg 1024w\" sizes=\"(max-width: 2400px) 100vw, 2400px\" \/><\/p>\n<p>&nbsp;<\/p>\n<ul>\n<li>See <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/\">&lt;Overview of SESoS Research&gt;<\/a><\/li>\n<li>See <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/studies\/study-1-sos-and-environment-modeling\/\">&lt;[Study 1] SoS and Environment Modeling&gt;<\/a><\/li>\n<li>See <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/studies\/study-2-statistical-verification-of-sos\/\">&lt;[Study 2] Statistical Verification of SoS&gt;<\/a><\/li>\n<li>See <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/studies\/study-3-property-based-model-slicing-for-sos-verification\/\">&lt;[Study 3] Property-based Model Slicing for SoS Verification&gt;<\/a><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>Overall structure for SESoS research is described as following figure:<\/p>\n<p><img loading=\"lazy\" class=\"alignleft size-full wp-image-535\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc2.png\" alt=\"\" width=\"809\" height=\"447\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc2.png 809w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc2-300x166.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc2-768x424.png 768w\" sizes=\"(max-width: 809px) 100vw, 809px\" \/><\/p>\n<p>&nbsp;<\/p>\n<p>Development of tools and other software artifacts are introduced in <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/tools-and-artifacts\/\">&lt;Tools and Artifacts&gt;<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp; See &lt;Overview of SESoS Research&gt; See &lt;[Study 1] SoS and Environment Modeling&gt; See &lt;[Study 2] Statistical Verification of SoS&gt; See &lt;[Study 3] Property-based Model Slicing for SoS Verification&gt; &nbsp; Overall structure for SESoS research is described as following figure: &nbsp; Development of tools and other software artifacts are introduced in &lt;Tools and Artifacts&gt;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/333"}],"collection":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/comments?post=333"}],"version-history":[{"count":4,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/333\/revisions"}],"predecessor-version":[{"id":536,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/333\/revisions\/536"}],"wp:attachment":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/media?parent=333"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}