情報・システム-ソフトウェアサイエンス(開催日:2016/01/25)

タイトル/著者/発表日/資料番号
線形ハイブリッドオートマトンのnon-Zeno公平性検証に対する遷移述語抽象化の適用

柳瀬 龍(金沢大),  山根 智(金沢大),  

[発表日]2016-01-25
[資料番号]MSS2015-40,SS2015-49
線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器

張江 洋次朗(信州大),  和崎 克己(信州大),  

[発表日]2016-01-25
[資料番号]MSS2015-46,SS2015-55
情報スーパーバイザ制御の意思決定論的特徴付け

佐々木 康朗(北陸先端大),  内平 直志(北陸先端大),  

[発表日]2016-01-25
[資料番号]MSS2015-47,SS2015-56
Javaプログラミングにおけるリーダブルコード学習ツールの提案

小川 卓也(岡山大),  舩曵 信生(岡山大),  栗林 稔(岡山大),  石原 信也(岡山大),  天野 憲樹(武庫川女子大),  

[発表日]2016-01-25
[資料番号]MSS2015-41,SS2015-50
条件付き判断を用いた分散スーパバイザの許容性の改善

吉田 翔(阪大),  高井 重昌(阪大),  

[発表日]2016-01-25
[資料番号]MSS2015-39,SS2015-48
SysMLステートマシン図のシーケンシャルなSPINモデルへの変換手法

宮本 裕也(九大),  安藤 崇央(九大),  久住 憲嗣(九大),  谷津 弘一(九大),  福田 晃(九大),  道浦 康貴(有人宇宙システム),  酒見 慶太(有人宇宙システム),  松本 充広(有人宇宙システム),  

[発表日]2016-01-25
[資料番号]MSS2015-50,SS2015-59
非決定離散事象システムの双模倣制御に関する一考察

串 直紀(阪大),  高井 重昌(阪大),  

[発表日]2016-01-25
[資料番号]MSS2015-38,SS2015-47
機能要求部品を用いた要求仕様作成支援ツールの開発

小島 賢也(立命館大),  大森 隆行(立命館大),  糸賀 裕弥(立命館大),  大西 淳(立命館大),  

[発表日]2016-01-25
[資料番号]MSS2015-42,SS2015-51
モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化

浅井 孝俊(名大),  橋本 健二(名大),  関 浩之(名大),  

[発表日]2016-01-25
[資料番号]MSS2015-43,SS2015-52
非合理取引行動と市場成長に関するシミュレーションによる考察

内平 直志(北陸先端大),  佐々木 康朗(北陸先端大),  

[発表日]2016-01-25
[資料番号]MSS2015-35,SS2015-44
突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果

崔 舜星(北陸先端大),  平石 邦彦(北陸先端大),  内平 直志(北陸先端大),  

[発表日]2016-01-25
[資料番号]MSS2015-36,SS2015-45
データフローを可視化する仕様抽出技術

阿部 由紀子(東芝),  玉木 裕二(東芝),  

[発表日]2016-01-25
[資料番号]MSS2015-44,SS2015-53
非循環関係の再合成可能な分割によるコレオグラフィ実現

宮本 俊幸(阪大),  

[発表日]2016-01-25
[資料番号]MSS2015-37,SS2015-46
ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携

松本 翔太(早大),  上田 和紀(早大),  

[発表日]2016-01-25
[資料番号]MSS2015-51,SS2015-60
モデル検査とテストを応用した制御システム検証手法の検討

松原 潤弥(デンソークリエイト),  髙木 理恵子(デンソークリエイト),  中澤 輝幸(デンソークリエイト),  東道 徹也(デンソー),  井原 博之(デンソー),  川合 幸典(デンソー),  

[発表日]2016-01-25
[資料番号]MSS2015-52,SS2015-61
[招待講演]区間解析による時相論理式の頑健性モニタリング

石井 大輔(福井大),  

[発表日]2016-01-25
[資料番号]MSS2015-45,SS2015-54
制約付き項書換え系における停止性と帰納的定理の同時証明

川本 佳史(名大),  西田 直樹(名大),  酒井 正彦(名大),  

[発表日]2016-01-25
[資料番号]MSS2015-48,SS2015-57
A method for making proof graph finite on disjunctive parameterised Boolean equation systems

長江 悠太郎(名大),  酒井 正彦(名大),  関 浩之(名大),  

[発表日]2016-01-25
[資料番号]MSS2015-49,SS2015-58
大規模グラフの逐次集約による並列分散クラスタリングアルゴリズムのApache Spark上への実装

浅山 陸(金沢大),  櫻井 孝平(金沢大),  山根 智(金沢大),  

[発表日]2016-01-26
[資料番号]MSS2015-60,SS2015-69
分散制御システムに対する最小次元オブザーバを用いた事象駆動出力フィードバック制御

藤田 浩平(阪大),  潮 俊光(阪大),  

[発表日]2016-01-26
[資料番号]MSS2015-53,SS2015-62
12>> 1-20hit(32hit)