Lab directory
Software Lifecycle Engineering Lab
Software Lifecycle Engineering Lab
Jeonbuk National University · Computer Science and Engineering
Information sourcenot verified yet
Professor
Prof. 이문근
Professor's page · publicationsAbout
소프트웨어 역공학과 행위공학을 연구하는 연구실이다. 소프트웨어 라이프사이클 공학을 주요 연구 주제로 다룬다.
Research keywords
소프트웨어역공학 / 행위공학
Selected publications
- 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
Other labs in this department
- Efficient Computing LabRecruiting
이제민
인공지능 시스템 / 효율적 인공지능
- Distributed Computing Lab
강동기
분산컴퓨팅/컴퓨터시스템
- Computer Vision Lab
곽영태
패턴인식/영상처리
- Vision and Learning Lab
김성찬
인공지능 / 컴퓨터비젼
- Cryptography Lab
김지승
암호론
- Computing and Communication Systems Lab
김찬기
컴퓨터시스템