Software Modeling and Verification
Software Modeling and Verification
RWTH Aachen University · Computer Science
About
아헨 공과대학교 컴퓨터과학과 소속 Joost-Pieter Katoen 교수의 등록된 연구 분야는 formal verification, modeling입니다.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Helmut Seidl 교수 연구실
Technical University of Munich · Department of Computer Science
Proving Total Correctness of Top-Down Solvers with Widening and NarrowingJournal of Automated Reasoning · Aug 24Shared topic: Logic, programming, and type systems
Alexander Pretschner 교수 연구실
Technical University of Munich · Department of Computer Science
FuzzInsight: Navigating the Efficiency-Effectiveness Trade-off in Coverage-Guided DNN FuzzingNewPreprintarXiv (Cornell University) · Oct 16Shared topic: Software Testing and Debugging Techniques
Andrea Stocco 교수 연구실
Technical University of Munich · Department of Computer Science
LexcheckDROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · Aug 17Shared topic: Software Testing and Debugging Techniques
Other labs in this department
- Computation in Neural Circuits
Abigail Morrison
neural computation, computational neuroscience
- Computer Vision
Bastian Leibe
computer vision, object detection, visual recognition
- Software Engineering
Bernhard Rumpe
software engineering, modeling
- Combinatorial Optimization
Christina Büsing
optimization, combinatorial algorithms
- Logic and Theory of Discrete Systems
Christof Löding
logic, automata theory
- Machine Learning on Graphs
Christopher Morris
graph neural networks, machine learning