CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

受賞情報

2008/07/17
大崎人士
小林直樹(東北大学)
RTA2008 Best Paper Award 
「Tree Automata for Non-Linear Arithmetic」
International Conference on Rewriting Techniques and Applications (RTA 2008)
2008/03/07
五十嵐大(東京大学)
田辺良則
西澤弘毅(東北大学)
萩谷昌己(東京大学)
PPL2008 論文奨励賞受賞
「Modal μ-calculus on min-plus algebra N∞」
第10回プログラミングおよびプログラミング言語ワークショップ (PPL 2008)
2007/08/31
和泉憲明
清野貴博(産総研)
高木理
高橋孝一
竹内泉
ICSEA 2007 Best Paper Award.
「Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams」
International Conference on Software Engineering Advances (ICSEA 2007)
2007/07/26
高井利憲
高橋孝一
田辺良則
日本ソフトウェア科学会2007年度 第1回解説論文賞
「抽象化を用いた検証ツール」
コンピュータソフトウェア,Vol.22, No.1 (2005)
2006/09/15
西澤弘毅 日本ソフトウェア科学会2006年度 高橋奨励賞
「Weighted Kripke Structures and Refinement of Models」
日本ソフトウェア科学会第23回大会 (2006)
2006/04/11
大崎人士 平成18年度科学技術分野の文部科学大臣表彰 若手科学者賞
「総合領域分野におけるシステム自動検証技術の研究 −等式つきツリーオートマトンとシステム自動検証技術の研究−」

トピックス

2010/03/06
日刊工業新聞 システム検証研究センター 最終報告会
産総研 組み込み技術移転強化 連携検証施設中心 開発人材を育成 NEW
2009/10/19
AIST Today
2009.10
組込みシステムアーキテクト育成の本格研究 -組込み適塾の運営とその波及効果-
2009/01/05
パワフルかんさい(No.472) 産業技術総合研究所関西センター便り53
- 年頭所感-
2009/01/05
経済産業公報 近畿版(No.16645) 組込みシステム産業の支援
2008/12/06
日本経済新聞 パネルベイ 第4部 地域力生かす(5)
産学官で技術者育成 ソフト開発力 成長後押し
2008/11/01
パワフルかんさい(No.470) 産業技術総合研究所関西センター便り52
- システムディペンダビリティ研究拠点-
2008/10/01
AIST Today
2008.10
システム検証技術における本格研究 -数理的検証技術の実用化を目指して-
2008/10/01
Synthesiology
Vol.1 No.3
シンセシオロジー発刊について −イリノイ大学日本人研究者らとの討論を通じて−
2008/09/23
日本経済新聞 組み込みソフト 仕様書を標準化 システム障害防止
2008/09/03
日刊工業新聞 組み込みソフト仕様統一 近畿経産局が推進会議
2008/09/01
パワフルかんさい(No.468) 近畿経済産業局の組込システム業界振興に向けた取り組み
-業界団体の取り組み紹介-
2008/07/23
産経新聞 「組込みソフト」人材育成 「適塾」入塾式
2008/07/23
日刊工業新聞 高度組込みソフトウェア技術者養成のための「組込み適塾」を開塾
2008/06/06
科学新聞 組込みシステムの信頼性確保へ 検証の中核施設整備
研究開発人材養成 産学官連携を強化
2008/05/29
日本経済新聞 組み込みソフト技術者の養成塾 産総研など7月開講
家電・車…ものづくり支援
2008/05/26
日刊工業新聞 組み込みソフトの信頼性検証 連携ファシリティ設置
2008/05/16
日刊工業新聞 組込みソフト産業推進会議
技術者養成塾を設置 7月22日、大阪・池田市で
2007/11/01
AIST Today
2007.11
総研人 -システム検証技術の現場導入への取り組み 高井利憲研究員
2007/10/01
パワフルかんさい(No.457) 産業技術総合研究所関西センター便り39
-CVSの技術移転活動-
2006/08/01
パワフルかんさい(No.443) 産業技術総合研究所関西センター便り26
-機能安全とソフトウェア認証-
2006/06/01
AIST Today
2006.06
文部科学大臣表彰受賞 《若手科学者賞》 大崎人士研究員
2006/05/25
日経産業新聞 システム検証研究センターが2005年度実施研究プロジェクト報告会を開催する
2005/11/10
商経機械新聞 28日からシステム障害除去の研修会
2005/04/01
パワフルかんさい(No.427) 産業技術総合研究所関西センター便り14
-ソフトウェア及びハードウェアを問わず情報システムの動作を検証する数理的技法の研究を進めている。数理的技法とは使用書やプログラム等のシステムの動作記述から要求される性質が論理的に推論できるかを判定することによってシステムを検証するもの-
2004/07/27
コンピュータソフトウェア(Vol. 21,No. 4) 産総研システム検証研究センター紹介
2004/07/01
パワフルかんさい(No.418) 産業技術総合研究所便り 5
-「ソフトウェア開発のフィールドワーク」 システム検証の数理的技法によるバグの早期発見、あるいはバグの出現しにくいソフトウェア開発技術の研究を、現場で検証-
2003/10/01
AIST Today
2003.10
形式的技法を用いた仕様検証 -情報処理システムの新しい検証方法-
2004/01/01
JST ニュース
2004. Vol.1 No.4
さきがけ研究者紹介 大崎人士研究員
2003/09/10
JITA NEWS
2003. No.9(407号)
ユニット紹介

産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.