BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Denmark
1 × Estonia
1 × Israel
1 × Norway
1 × Poland
1 × Portugal
1 × Uruguay
2 × India
2 × Spain
2 × Switzerland
2 × United Kingdom
3 × France
3 × Italy
4 × USA
5 × Germany
Collaborated with:
L.Zhang J.Katoen C.Baier E.M.Hahn B.Wachter ∅ L.M.F.Fioriti D.N.Jansen M.Siegle B.R.Haverkort C.Eisentraut H.Garavel V.Mertsiotakis A.Hartmanns H.C.Bohnenkamp P.R.D'Argenio C.Joubert J.Meyer-Kayser N.Coste B.Braitling H.Hatefi R.Wimmer B.Becker M.Lohrey M.Rettelbach P.Buchholz F.Nielson E.Lantreibecq W.Serwe F.Eisenbrand R.Klaren J.C.Godskesen L.Song J.Schuster A.Turrini Z.She S.Ratschan G.Barthe S.Biewer B.Finkbeiner R.Hersemeule Y.Thonnart M.Zidouni M.Bozga A.David K.G.Larsen A.Legay J.Tretmans
Talks about:
model (14) probabilist (9) analysi (7) markov (7) automata (5) perform (5) abstract (4) quantit (4) process (4) check (4)

Person: Holger Hermanns

DBLP DBLP: Hermanns:Holger

Facilitated 2 volumes:

CAV 2007Ed
TACAS 2006Ed

Contributed to:

FM 20152015
POPL 20152015
VMCAI 20152015
QAPL 20142014
TACAS 20142014
TACAS 20132013
DATE 20122012
TACAS 20122012
CAV 20112011
ICALP (2) 20112011
SEFM 20112011
CAV 20102010
LICS 20102010
TACAS 20102010
CAV 20092009
CAV 20082008
DATE 20082008
TACAS 20072007
SFM-RT 20042004
TACAS 20042004
TACAS 20032003
UML 20032003
FME 20022002
ICALP 20022002
CAV 20002000
ICALP 20002000
IFM 20002000
TACAS 20002000
CAV 19991999
CAV 19971997
TACAS 19961996
ESOP 20172017

Wrote 35 papers:

FM-2015-EisentrautGHS0 #bisimulation #probability
Probabilistic Bisimulation for Realistic Schedulers (CE, JCG, HH, LS, LZ), pp. 248–264.
POPL-2015-FioritiH #composition #probability #termination
Probabilistic Termination: Soundness, Completeness, and Compositionality (LMFF, HH), pp. 489–501.
VMCAI-2015-BraitlingFHWBH #automaton #markov #metric
Abstraction-Based Computation of Reward Measures for Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 172–189.
QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
TACAS-2014-HartmannsH #ide #modelling #tool support #verification
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.
TACAS-2013-EisentrautHST0 #automaton #probability
The Quest for Minimal Quotients for Probabilistic Automata (CE, HH, JS, AT, LZ), pp. 16–31.
DATE-2012-BozgaDHHLLT #analysis #embedded #modelling #state of the art #tool support
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (MB, AD, AH, HH, KGL, AL, JT), pp. 370–375.
TACAS-2012-Hermanns #grid #modelling
Quantitative Models for a Not So Dumb Grid (HH), p. 1.
CAV-2011-BuchholzHHZ #algorithm #model checking
Model Checking Algorithms for CTMDPs (PB, EMH, HH, LZ), pp. 225–242.
ICALP-v2-2011-ZhangJNH #model checking
Automata-Based CSL Model Checking (LZ, DNJ, FN, HH), pp. 271–282.
SEFM-2011-Hermanns #energy #formal method
Formal Methods in Energy Informatics (HH), pp. 1–2.
CAV-2010-HahnHWZ #markov #model checking #modelling #named #parametricity
PARAM: A Model Checker for Parametric Markov Models (EMH, HH, BW, LZ), pp. 660–664.
CAV-2010-ZhangSRHH #hybrid #probability #safety #verification
Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
LICS-2010-EisentrautHZ #automaton #on the #probability
On Probabilistic Automata in Continuous Time (CE, HH, LZ), pp. 342–351.
TACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability #refinement
PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.
CAV-2009-CosteHLS #composition #design #industrial #modelling #performance #predict #towards
Towards Performance Prediction of Compositional Models in Industrial GALS Designs (NC, HH, EL, WS), pp. 204–218.
CAV-2009-HahnHWZ #infinity #markov #model checking #named
INFAMY: An Infinite-State Markov Model Checker (EMH, HH, BW, LZ), pp. 641–647.
CAV-2008-HermannsWZ #probability
Probabilistic CEGAR (HH, BW, LZ), pp. 162–175.
DATE-2008-CosteGHHTZ #architecture #design #embedded #evaluation #parallel #thread #validation
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures (NC, HG, HH, RH, YT, MZ), pp. 88–89.
TACAS-2007-BohnenkampHK #named
motor: The modestTool Environment (HCB, HH, JPK), pp. 500–504.
TACAS-2007-ZhangHEJ #algorithm #performance #probability #simulation
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (LZ, HH, FE, DNJ), pp. 155–169.
SFM-2004-KatoenBKH #analysis #embedded
Embedded Software Analysis with MOTOR (JPK, HCB, RK, HH), pp. 268–294.
TACAS-2004-BaierHHK #bound #markov #performance #process #reachability
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (CB, BRH, HH, JPK), pp. 61–76.
TACAS-2003-HermannsJ #analysis #component #dependence #performance #set
A Set of Performance and Dependability Analysis Components for CADP (HH, CJ), pp. 425–430.
UML-2003-JansenHK #uml
A QoS-Oriented Extension of UML Statecharts (DNJ, HH, JPK), pp. 76–91.
FME-2002-GaravelH #evaluation #functional #on the #performance #using #verification
On Combining Functional Verification and Performance Evaluation Using CADP (HG, HH), pp. 410–429.
ICALP-2002-LohreyDH #axiom
Axiomatising Divergence (ML, PRD, HH), pp. 585–596.
CAV-2000-BaierHHK #analysis #markov #model checking
Model Checking Continuous-Time Markov Chains by Transient Analysis (CB, BRH, HH, JPK), pp. 358–372.
ICALP-2000-BaierHHK #logic #on the
On the Logical Characterisation of Performability Properties (CB, BRH, HH, JPK), pp. 780–792.
IFM-2000-HermannsKMS #algebra #model checking #probability #process #towards
Towards Model Checking Stochastic Process Algebra (HH, JPK, JMK, MS), pp. 420–439.
TACAS-2000-HermannsKMS #markov #model checking
A Markov Chain Model Checker (HH, JPK, JMK, MS), pp. 347–362.
CAV-1999-HermannsMS #analysis #composition #markov #modelling #named #performance #specification
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models (HH, VM, MS), pp. 487–490.
CAV-1997-BaierH #bisimulation #probability #process
Weak Bisimulation for Fully Probabilistic Processes (CB, HH), pp. 119–130.
TACAS-1996-HermannsMR #algebra #analysis #probability #process
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP (HH, VM, MR), pp. 427–430.
ESOP-2017-DArgenioBBFH #analysis #formal method #source code
Is Your Software on Dope? - Formal Analysis of Surreptitiously “enhanced” Programs (PRD, GB, SB, BF, HH), pp. 83–110.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.