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
Hierarchical systems
Inspection
Model structures
Costs
Time sharing programs
Process control
Engineers
Visualization
Finite automata
Observability
Static analysis
Security systems
Machine oriented languages
Safety engineering
Health care
Experiments
Computational linguistics
Hardware
Computer programming languages
Aircraft
Systems analysis
Computer aided analysis
Technology transfer
Binary decision diagrams
Computer software reusability
Thyristors
Industry
Computer software maintenance
Computer hardware description languages
Computer systems programming
Productivity
Formal languages
Boolean functions

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