David Henriques ∙ [dɐ'vid e͂ˈʁi.kɯ̽ʃ]
A gentleman of taste and sophistication
Research Interests
- Formal Verification
- Model Checking
- Probabilistic Logics
- Hybrid Systems
Member of
SQIG and
Logical Systems Lab.
Advisors
Publications
-
On the Precision of Numerical Approximations of Killed-difusions in Orthotopes.
D. Henriques; V. Vieira; P. Mateus; A. Platzer.
In preparation.
-
Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains.
M. Biscaia; D. Henriques; P. Mateus.
In preparation.
-
Statistical Model Checking for Markov Decision Processes.
D. Henriques; J. G. Martins; P. Zuliani; A. Platzer; E. M. Clarke.
Submitted for publication in Performance Evaluation Journal.
-
Statistical Model Checking for Markov Decision Processes.
D. Henriques; J. G. Martins; P. Zuliani; A. Platzer; E. M. Clarke.
9th International Conference on Quantitative Evaluation of Systems, QEST 2012, September 17-20, London, UK. IEEE Computer Society, 2012.
[Tech Report]
-
Decidability and complexity for {omega}-regular properties of stochastic systems
D. Henriques; M. Biscaia; P. Baltazar; P. Mateus.
Logic Journal of IGPL 2012
- Model Checking Probabilistic Systems, D. Henriques; MSc. Dissertation, 2009. [Tool]
Teaching
Work Experience
Civics
- Organizer, Seminário Diagonal (series of student seminars), IST/UTL, 2006-2008.
- Student Representative, BSc/MSc in Mathematics, IST/UTL, 2005-2008.
- Team Guide, Iberoamerican Mathematics Olympiads, Coimbra, 2007.
- Founding Memeber, SETA (portuguese society for the development of environmental education and tourism), 2005-.
Stuff I like to do
- Taking baths
- Sleeping
- Swimming
- D&D
- Travelling. Help me fill this, invite me to non-red countries :)
- Boardgames! Join the CMU grad student boardgames mailing list (link)!
