dslab.konkuk.ac.kr
2012 Lab Activity
http://dslab.konkuk.ac.kr/Lab_Activity/2012.htm
DSLab Activities in 2012. 201202.07 02.08 : 국방SW연구회 2012년 동계워크샵 ( 프로그램. 강원도 평창 휘닉스 한화리조트. 유준범 교수 (연구회 총무), 랩 전원 현장등록 지원. 201202.08 02.10 : 소프트웨어공학 사이어티 동계 학술대회 (KCSE 2012). 강원도 평창 휘닉스 한화리조트. 이종훈 (석2) 논문 발표 ( paper. 201202.08 02.10 : ISMS 2012. 유준범 교수, 3rd International Conference on Intelligent Systems, Modeling and Simulation ( ISMS 2012. Kota Kinabalu, Malaysia. 201202.13 02.14 : 2012년 DSLab. 제1차 워크샵. 201204.09 04.10:. 덕산 리솜 스파 캐슬. 유준범 교수, 조재연, 윤상현 참가. 건국대 소과제명: ETRI 하이브리드 시스템 모델을 위한 정형검증 기법. 201212...
s-lagoon.co.jp
Events and Seminars : S-Lagoon Co., Ltd.
http://s-lagoon.co.jp/event.html
December 2-5, 2013. IPSJ/SIGSE Software Engineering Symposium. September 9-11, 2013. 東洋大学 白山キャンパス, Japan. July 29-31, 2013. Interfaces and Human Computer Interaction 2013. July 22-24, 2013. Prague, Czech Republic. July 15-19, 2013. Rio de Janeiro, Brasil. July 7-10, 2013. May 18-26, 2013. San Francisco, CA, USA. March 13-15, 2013. December 4-7, 2012. Hong Kong, China. Chicago, Illinois, USA. 29 August - 2 September 2011. 30 November - 3 December 2010. Hilton Hotel, Sydney, Australia. 9 - 11 June 2010.
apsec2013.eng.chula.ac.th
Past APSECs | The 20th Asia-Pacific Software Engineering Conference
http://apsec2013.eng.chula.ac.th/past-apsecs
The 20th Asia-Pacific Software Engineering Conference. APSEC 2011, Ho Chi Minh City, Vietnam. APSEC 2010, Sydney, Australia. APSEC 2008, Beijing, China. APSEC 2006, Bangalore, India. APSEC 2004, Busan, Korea. APSEC 2003, Chiang Mai, Thailand. APSEC 2002, Gold Coast, Australia. APSEC 2001, Macao. APSEC 1998, Taipei, Taiwan. APSEC 1997, Hong Kong. APSEC 1996, Seoul, Korea. APSEC 1995, Brisbane, Australia. APSEC 1994 (First APSEC), Tokyo, Japan. Contact Us : apsec2013@eng.chula.ac.th.
artemis-ifest.eu
Publications | industrial Framework for Embedded Systems Tools
http://www.artemis-ifest.eu/Publications
Industrial Framework for Embedded Systems Tools. IFEST Proposal towards OSLC adoption. Tool Integration Industrial Cases. IFEST at a Glance. Nº Exp: ART-010000-2010-4. Establishing Tool Chains above the Service Cloud with Integration Models. Weiqing Zhang, Birger Møller-Pedersen (Univ of Oslo). An automated parallel simulation flow for heterogeneous embedded systems. Seyed Hosein Attarzade, Ingo Sander (KTH Royal Institute of Technology). LTL Model Checking of Parallel Programs with Relaxed Memory Model.