연구실 목록
Joost-Pieter Katoen 교수 연구실
Software Modeling and Verification
아헨 공과대학교 · 컴퓨터과학과
정보 출처2026. 7. 22. 확인
소개
아헨 공과대학교 컴퓨터과학과 소속 Joost-Pieter Katoen 교수의 등록된 연구 분야는 formal verification, modeling입니다.
연구 키워드
formal verificationmodeling
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Helmut Seidl 교수 연구실
뮌헨 공과대학교 · 컴퓨터과학과
Proving Total Correctness of Top-Down Solvers with Widening and NarrowingJournal of Automated Reasoning · 8월 24일겹치는 주제: Logic, programming, and type systems
Alexander Pretschner 교수 연구실
뮌헨 공과대학교 · 컴퓨터과학과
FuzzInsight: Navigating the Efficiency-Effectiveness Trade-off in Coverage-Guided DNN Fuzzing새 논문프리프린트arXiv (Cornell University) · 10월 16일겹치는 주제: Software Testing and Debugging Techniques
Andrea Stocco 교수 연구실
뮌헨 공과대학교 · 컴퓨터과학과
LexcheckDROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 8월 17일겹치는 주제: Software Testing and Debugging Techniques
같은 학과의 다른 연구실
- Abigail Morrison 교수 연구실
neural computation, computational neuroscience
- Bastian Leibe 교수 연구실
computer vision, object detection, visual recognition
- Bernhard Rumpe 교수 연구실
software engineering, modeling
- Christina Büsing 교수 연구실
optimization, combinatorial algorithms
- Christof Löding 교수 연구실
logic, automata theory
- Christopher Morris 교수 연구실
graph neural networks, machine learning