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
Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software
Schobbens, Pierre Yves
(PI)
BAINA, Salah
(Researcher)
Bontemps, Yves
(Researcher)
BROGNEAUX, ANNE-FRANCE
(Researcher)
Classen, Andreas
(Researcher)
Cleve, Anthony
(CoI)
DETIENNE, Virginie
(Researcher)
Englebert, Vincent
(CoI)
Faulkner, Stephane
(CoI)
GENON, NICOLAS
(Researcher)
Habra, Naji
(CoI)
Hainaut, Jean-Luc
(CoI)
Heymans, Patrick
(CoI)
HUBAUX, Arnaud
(Researcher)
Jureta, Ivan
(Researcher)
MATULEVICIUS, Raimundas
(Researcher)
Mayer, Nicolas
(Researcher)
OGER, Laura
(Secretaire)
Petit, Michael
(CoI)
RAMDOYAL, Ravi
(Researcher)
SANDRON, Stephane
(Researcher)
SAVAL, Germain
(Researcher)
Toussaint, Hubert
(Researcher)
Trigaux, Jean-Christophe
(Researcher)
Vanderose, Benoit
(Researcher)
Zeippen, Jean-Marc
(Researcher)
Research Center on Information Systems Engineering
University of Namur
Project
:
Research
Overview
Fingerprint
Research output
(1)
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
Computer Science
Analysis Method
20%
Application
80%
Artifacts
20%
aspect oriented software development
20%
Automaton
16%
Benchmark
16%
Contexts
20%
Desired Property
20%
Detection
16%
Domains
40%
Essential Property
20%
formal modeling
20%
Intensive System
100%
Linear Feature
16%
Links
20%
model checker
16%
Model Checking
80%
Model Checking Algorithm
32%
Model-Driven Engineering
20%
Models
36%
Parallel Composition
16%
Programs
20%
Quality Assurance Technique
32%
Research Quality
20%
Research Worker
20%
Software
80%
Software Engineering
80%
Software Evolution
20%
software product line engineering
16%
Teams
40%
Transition System
80%