Christian Hensel

RWTH Aachen University — Germany

Computer Science · Physical Sciences

5h-index129citations22works7.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Reliability and Analysis Research(10), Formal Methods in Verification(9), Software Testing and Debugging Techniques(6), Advanced Software Engineering Methodologies(4), Model-Driven Software Engineering Techniques(3)

Publications22 total

Riding the Storm in a Probabilistic Model Checking Landscape
Lecture notes in computer science·2024Open Access
Parameter synthesis for Markov models: covering the parameter space
Formal Methods in System Design·2024· 14 citedOpen Access
Can Unpaired Textual Data Replace Synthetic Speech in ASR Model Adaptation?
2023· 1 cited
Parameter Synthesis for Markov Models: Prophesy and model files
2023Open Access
Parameter Synthesis for Markov Models: Prophesy and model files
Radboud Repository (Radboud University)·2023Open Access
Potensi Penggunaan Kinect sebagai Alat Motion Capture untuk Animasi Karakter Digital
Nirmana·2022Open Access
The probabilistic model checker Storm
International Journal on Software Tools for Technology Transfer·2021· 18 citedOpen Access
Counterexample-guided inductive synthesis for probabilistic systems
Formal Aspects of Computing·2021· 7 citedOpen Access
The Probabilistic Model Checker Storm: Evaluation Results and Replication Package
Zenodo (CERN European Organization for Nuclear Research)·2020Open Access
The Probabilistic Model Checker Storm: Evaluation Results and Replication Package
Zenodo (CERN European Organization for Nuclear Research)·2020· 1 citedOpen Access
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
Information and Computation·2019· 33 cited
The Probabilistic Model Checker Storm: Evaluation Results and Replication Package
Figshare·2019Open Access
Counterexample-Driven Synthesis for Probabilistic Program Sketches
arXiv (Cornell University)·2019Open Access
Parameter Synthesis for Markov Models: Covering the Parameter Space
arXiv (Cornell University)·2019· 1 citedOpen Access
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
Lecture notes in computer science·2019· 51 citedOpen Access
Counterexample-Driven Synthesis for Probabilistic Program Sketches
Lecture notes in computer science·2019· 1 citedOpen Access
Die Besteuerung von Managementbeteiligungen nach dem Urteil des BFH vom 4. Oktober 2016 (IX R 43/15)
2019
Ausgewählte rechtliche Probleme beim Kauf IP-intensiver Unternehmen
2017
Das novellierte Außenwirtschaftsrecht in internationalen Unternehmenstransaktionen
Die Aktiengesellschaft·2013· 1 cited
Selektivverträge im vertragsärztlichen Leistungserbringungsrecht
Nomos eBooks·2010
page 1 of 2Next →

Frequent Co-authors

Sebastian Junges(13), Joost-Pieter Katoen(12), Tim Quatmann(10), Matthias Volk(8), Erika Ábrahám(4), Nils Jansen(4), Milan Češka(3), Joachim Klein(2), Andreas Haratsch(2), Ernst Moritz Hahn(1), Arnd Hartmanns(1), Michaela Klauck(1), Jan Křetínský(1), David Parker(1), Enno Ruijters(1), Marcel Steinmetz(1), Christel Baier(1), Lisa Hutschenreiter(1), Pasquale D’Alterio(1), Bashar Hasan(1)