Hermanns, Holger, 1967-....
Hermanns, Holger
Hermanns, H. (Holger), 1967-
Hermanns, H. 1967-
Holger Hermanns Enseignant de sexe masculin d'Allemagne
VIAF ID: 22999584 (Personal)
Permalink: http://viaf.org/viaf/22999584
Preferred Forms
- 100 1 _ ‡a Hermanns, H. ‡d 1967-
-
-
- 100 1 _ ‡a Hermanns, Holger
-
- 100 1 _ ‡a Hermanns, Holger ‡d 1967-
- 100 1 _ ‡a Hermanns, Holger ‡d 1967-
- 100 1 _ ‡a Hermanns, Holger, ‡d 1967-
-
-
-
- 100 1 _ ‡a Hermanns, Holger, ‡d 1967-....
- 100 0 _ ‡a Holger Hermanns ‡c Enseignant de sexe masculin d'Allemagne
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Analyzing neural network behavior through deep statistical model checking | |
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings | |
ETAPS 2006 | |
Etude de génération de tests à partir d'un modèle pour les systèmes GALS | |
FMPA 2000 | |
Interactive Markov chains and the quest for quantified quality | |
Interaktive Markovketten | |
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures | |
Mastering satellite operation on model-based and data-driven optimal battery-aware scheduling | |
Measurement, Modelling and Evaluation of Computing Systems 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020 : proceedings | |
On Model-based Testing of GALS Systems. | |
On the connection of probabilistic model checking, planning, and learning for system verification | |
On the road with RTLola Testing real driving emissions on your phone | |
PAPM 2002 | |
A probabilistic extension of UML statecharts : specification and verification | |
Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings | |
Software doping – Theory and detection | |
Symbolische Methoden zur formalen Verifikation von industrieller Steuerungssoftware | |
TACAS 2006 | |
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings | |
Validation of stochastic systems : a guide to current research | |
Vers la prédiction de performance de modèles compositionnels dans les architectures GALS | |
Weak bisimulation for fully probabilistic processes |