If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Pierre-Yves Schobbens is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Temporal logic
Semantics
Clocks
Testing
Specifications
Real time systems
Requirements engineering
Specification languages
Software engineering
Adaptive systems
Telecommunication systems
Quality assurance
Embedded systems
Reliability analysis
Data storage equipment
Markov processes
Sampling
Automation
Formal methods
Engineers
Computer hardware description languages
Acoustic waves
Visualization
Industry
Launching
Taxonomies
Syntactics

Mathematics

Logic
Temporal Logic
Axiomatization
Real-time
Software Product Lines
Model Checking
Proof System
Formal Analysis
Second-order Systems
Specification
Specification Languages
Algebraic Specification
Axioms
Model
Requirements Engineering
Transition Systems
Chart
Co-design
Self-adaptation
Testing
Configuration
Reactive Systems
Prioritization
Programming
Coevolution
Linear Temporal Logic
Completeness
Timed Automata
Algebraic Approach
Formal Verification
Open Systems
Systems Engineering
Modal Logic