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

Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

Engineering & Materials Science

Specifications
Testing
Model checking
Avionics
Specification languages
Software engineering
Formal methods
Computer systems
Control systems
Collision avoidance
Embedded systems
Automation
Fault detection
Communication
Semantics
Architectural design
Temporal logic
Inspection
Model structures
Costs
Time sharing programs
Process control
Engineers
Visualization
Finite automata
Observability
Static analysis
Security systems
Safety engineering
Health care
Experiments
Hardware
Computer programming languages
Aircraft
Systems analysis
Technology transfer
Binary decision diagrams
Computer software reusability
Thyristors
Industry
Computer software maintenance
Productivity
Formal languages
Boolean functions
Pumps
Intelligent agents
Engineering research
Reverse engineering
Large scale systems
Real time systems

Mathematics

Requirements
Coverage
Specification
Safety
Specification Languages
Formal Specification
Software
Confidence
Simulink
Model-based
Safety Analysis
Test Generation
Embedded Systems
Modeling Language
Notation
Prototyping
State Machine
Conformance Testing
Code Generation
Slicing
Model
Formal Verification
Certification
Data Flow
Traceability
Formal Languages