연구실 목록
이문근 교수 연구실
Software Lifecycle Engineering Lab
전북대학교 · 컴퓨터공학과
정보 출처아직 확인되지 않음
교수 소개
이문근 교수
교수 홈페이지·논문소개
소프트웨어 역공학과 행위공학을 연구하는 연구실이다. 소프트웨어 라이프사이클 공학을 주요 연구 주제로 다룬다.
연구 키워드
소프트웨어역공학 / 행위공학
대표 논문
- A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic EquivalenceSensors (MDPI), vol. 24, no. 12 · 2024
- Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital TwinSensors (MDPI), vol. 24, no. 3 · 2024
- Semantic Matching Through Knowledge Graphs: A Smart City CaseCAiSE Workshops · 2023
- Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPSSensors (MDPI), vol. 22, no. 13 · 2022
- Analysis Method for Probabilistic Verification for Smart IoT Systems with Process AlgebraSmartIoT 2021 (IEEE) · 2021
같은 학과의 다른 연구실
- 이제민 교수 연구실모집 중
인공지능 시스템 / 효율적 인공지능
- 강동기 교수 연구실
분산컴퓨팅/컴퓨터시스템
- 곽영태 교수 연구실
패턴인식/영상처리
- 김성찬 교수 연구실
인공지능 / 컴퓨터비젼
- 김지승 교수 연구실
암호론
- 김찬기 교수 연구실
컴퓨터시스템