No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

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

Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Engineering & Materials Science

Model checking
Testing
Fault tree analysis
Specifications
Semantics
Availability
Nutrition
Formal methods
Markov processes
Syntactics
Costs
Binary decision diagrams
Intelligent buildings
Specification languages
Probability distributions
Stochastic systems
Network protocols
Computer science
Software architecture
Stochastic models
Technical presentations
Reliability analysis
Repair
Chemical analysis
Acoustic waves
Decomposition
Bluetooth
Recovery
Importance sampling
Algebra
Aerospace applications
Statistical Models
Statistical methods
Directed graphs
Aircraft
Process engineering
Nuclear energy
Automata theory
Nuclear power plants
Explosions
Scalability
Water
Railroad cars
Flavors
Arches
Cost effectiveness
Engines
Risk management

Mathematics

Fault Tree
Fault Tree Analysis
Graph Rewriting
Model-based Testing
Confluence
Transition Systems
Branching
Automata
Bisimulation
Metric
Trace
Modeling
Nondeterminism
Correctness
Inclusion
State Space
Equivalence
Common Cause Failure
Divergence
Soundness