Hermanns, Holger, 1967-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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, H. ‡q (Holger), ‡d 1967-
-
100 1 _ ‡a Hermanns, Holger
-
100 1 _
‡a
Hermanns, Holger
-
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 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 |
|
