Skip to main navigation
Skip to search
Skip to main content
the Research Portal - University of Namur Home
English
Français
Home
Profiles
Research units
Projects
Research output
Student theses
Equipment
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Theory and Practice of Automata and Logics
Schobbens, Pierre Yves
(PI)
CORDY, MAXIME
(Researcher)
KANG, Eun-Young
(Researcher)
Ortiz Vega, James Jerson
(Researcher)
Research Group on the Foundations of Computer Science
Research Center on Information Systems Engineering
University of Namur
Project
:
Research
Overview
Fingerprint
Research output
(2)
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
INIS
computer codes
100%
environment
50%
adaptive systems
50%
modeling
30%
design
25%
algorithms
25%
failures
25%
constraints
25%
cost
25%
dynamics
25%
verification
11%
mathematical models
5%
solutions
5%
range
5%
tools
5%
Keyphrases
Environment-Adaptive Software
50%
Verifier
50%
Adaptive Systems
25%
Dynamic Features
12%
Failure Mode
12%
Highly Dynamic
12%
Exponential Blow up
7%
Model Checking Techniques
7%
Efficient Software
7%
Computer Science
Software Product Line
50%
Reconfiguration
50%
Common Behavior
7%
Model Checking Problem
7%
Software Product
7%
Model Checking
7%
Checking Technique
7%
Transition System
7%
Formal Verification
7%