中國科學院軟體研究所研究員
人物簡介職稱： 研究員
性別： 男
主要研究方向及簡介
軟體工程和網路分散式計算，重點是面向中間件的分散式軟體工程。
研究興趣包括：高可信、可重配和可管理軟體中間件技術，面向服務計算，分散式軟體開發方法和工具，以及形式化建模與分析技術。
學習經歷
88年～92年 武漢大學計算機科學系 計算機科學與技術 獲學士學位
92年～97年 武漢大學計算機科學系 計算機軟體 獲博士學位
工作經歷
97年8月～99年9月 中國科學院軟體研究所 博士後
2000年9月～2001年11月 香港科技大學計算機科學系 博士後
99年12月～ 2005年6月 中國科學院軟體研究所 副研究員
2005年7月～至今 中國科學院軟體研究所 研究員
社會兼職
IFIP TC2 軟體理論和實踐技術委員會中國代表《計算機科學與探索》執行編委
《網路軟體基礎架構平台關鍵技術和系統》通過中國科學院組織的成果鑑定。
網馳系列中間件平台，包括OncePI, OnceBPEL, OnceSCB, OnceSoapExpress
喬曉強,魏峻,黃濤. 基於分散式協調模型的服務協作方法研究. 《軟體學報》（錄用）
喬曉強，魏峻，黃濤. 基於適配的服務協作流程動態管理.《計算機學報》，2008年第8期
葉世陽, 魏峻, 李磊, 黃濤. 支持服務質量關聯的組合服務選擇方法. 《計算機學報》2008年第8期
吳國全,魏峻,黃濤. 基於非確定性推理的網構軟體服務質量動態評估方法研究.《軟體學報》，2008,19(5): 1173-1185
左林, 劉紹華, 魏峻, 馮玉琳. 自適應組件副本選擇模型及算法研究. 《軟體學報》，2008,19(5):1212-1223
左林, 劉紹華, 馮玉琳, 魏峻. 支持複雜事務模式的Web套用伺服器複製機制.《軟體學報》，2008,19(2):432-445
李磊, 牛春雷, 陳寧江, 魏峻. 一種高效的Web服務性能最佳化策略. 《計算機研究與發展》2007年第7期
宋靖宇、魏峻、萬淑超. 門戶環境中基於語義數據協作的企業套用集成方法. 《軟體學報》2007年18卷7期
李洋, 張文博, 魏峻, 鍾華, 黃濤. 基於序列模式的Servlet容器快取替換. 《軟體學報》 2007年18卷7期
胡劍軍, 官荷卿, 魏峻,黃濤. 一種基於性能模型的中間件自配置框架. 《軟體學報》2007年18卷9期
黃濤, 丁曉寧, 魏峻. 基於套用語義的網構軟體鬆弛事務模型研究. 中國科學（E輯信息科學），2006， Vol.36，No.10，P1170-1188.
張文博, 陳寧江,魏峻,黃濤. QoS獲益驅動的中間件調度框架研究. 《軟體學報》, 2006,17(6):1381-1390.
張勇,黃濤, 魏峻，陳寧江. 基於容器中間件的組件系統體系結構性能評價. 《軟體學報》, 2006,17(6):1328-1337.
花磊, 魏峻, 牛春雷, 鄭浩然. 動態模板驅動的高性能SOAP處理. 《計算機學報》,2006,29(7):1145~1156.
官荷卿，張文博，魏峻，黃濤. 一種套用敏感的Web服務請求調度策略. 《計算機學報》,2006,29(7):1189~1198
張文博, 陳寧江, 魏峻, 黃濤. R2M3:一種基於域的中間件資源管理機制.《電子學報》, 2005, Vol. 33, No.12
陳寧江, 魏峻, 楊波, 黃濤. Web套用伺服器的適應性失效檢測.《軟體學報》, 2005, 16(11):1929-1938.
汪洋, 魏峻, 王振宇. 可擴展和可配置事件通知服務體系結構.《軟體學報》, 2006, 17(3):638-648.
徐偉, 魏峻, 李京. 面向服務的工作流訪問控制模型研究. 《計算機研究與發展》2005, 42(8):1369-1375.
李磊、胡坤、陳寧江、魏峻，一種面向Web服務的Qos提供器模型.《電子學報》, 2005, Vol.33, No.12a
黃 濤,陳寧江,魏峻, 張文博,張勇. OnceAS/Q:一個面向QoS 的Web 套用伺服器. 《軟體學報》，2004, 15(12): 1787-1799.
劉紹華, 魏峻, 黃濤. 基於服務協作中間件的動態流程模型. 《軟體學報》，2004, 15 (10):1431-1440.
汪 洋, 魏 峻, 王振宇. 基於體系結構模型檢查分散式控制系統. 《軟體學報》，2004, 15 (6):823-833.
范國闖, 魏 峻, 鍾 華, 馮玉琳. 支持EJB動態分布的組件遷移模型與算法. 《軟體學報》, 2004, 15 (3):404-413.
丁柯，魏峻，馮玉琳. 基於混合粒度衝突檢測的事務工作流調度. 《軟體學報》, 2003, 14 (3):369-375.
魏峻，王栩，李京. 一種基於對象序列圖的組件互動協定設計方法. 《軟體學報》, 2001, 12 (7):996-1006.
魏峻，周桓. 移動組件系統模型的分析與描述.《軟體學報》, 2001, 12 (1):56-64.
魏峻，馮玉琳. 移動計算形式理論分析與研究.《計算機研究與發展》，2000, 37(2):129~139.
