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
Specifications
Testing
Real time systems
Requirements engineering
Specification languages
Reliability analysis
Software engineering
Adaptive systems
Telecommunication systems
Quality assurance
Embedded systems
Data storage equipment
Automation
Markov processes
Formal methods
Engineers
Computer hardware description languages
Acoustic waves
Sampling
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