Zhen Zhang

Zhen Zhang

Assistant Professor, Utah State University
Email verificata su usu.edu
Citato da 35449
Formal Verification Stochastic Model Checking Model Checking Cyber-Physical Systems Synthetic Biology
Marielle Stoelinga

Marielle Stoelinga

Professor of Risk Management for high tex systems, Radboud University & University of …
Email verificata su utwente.nl
Citato da 6562
Risk Analysis Formal Methods Fault Tree Analysis Stochastic Model Checking Predictive Mainatenance
Ernst Moritz Hahn

Ernst Moritz Hahn

University of Twente
Email verificata su utwente.nl
Citato da 3023
formal methods stochastic model checking
Luke Herbert-Andersen

Luke Herbert-Andersen

[Working in Private Industry]
Email verificata su dtu.dk
Citato da 144
Computer Security Formal Methods Stochastic Model Checking Model Synthesis
Susmoy Das

Susmoy Das

PhD, Senior Research Associate, Department of EECS, IISER Bhopal
Email verificata su iiserb.ac.in
Citato da 14
Formal Methods Temporal Logics Stochastic Model Checking