


Остановите войну!
for scientists:
Holger Hermanns
Person information

- affiliation: Saarland University, Saarbrücken, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j71]Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi:
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. Log. Methods Comput. Sci. 18(1) (2022) - [c183]Sebastian Biewer
, Holger Hermanns
:
On the Detection of Doped Software by Falsification. FASE 2022: 71-91 - 2021
- [j70]Markus Langer
, Daniel Oster
, Timo Speith
, Holger Hermanns, Lena Kästner
, Eva Schmidt
, Andreas Sesing
, Kevin Baum:
What do we want from Explainable Artificial Intelligence (XAI)? - A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. Artif. Intell. 296: 103473 (2021) - [j69]Juan A. Fraire
, Carsten Gerstacker, Holger Hermanns, Gilles Nies, Morten Bisgaard, Kristian Bay:
On the scalability of battery-aware contact plan design for LEO satellite constellations. Int. J. Satell. Commun. Netw. 39(2): 193-204 (2021) - [j68]Yuliya Butkova
, Arnd Hartmanns
, Holger Hermanns
:
A Modest Approach to Markov Automata. ACM Trans. Model. Comput. Simul. 31(3): 14:1-14:34 (2021) - [j67]Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-physical Systems. ACM Trans. Model. Comput. Simul. 31(3): 16:1-16:27 (2021) - [c182]Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz:
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) 2021: 201-224 - [c181]Kai Vogelgesang, Juan A. Fraire, Holger Hermanns:
Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study. GLOBECOM 2021: 1-6 - [c180]Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer:
Admissibility in Probabilistic Argumentation. KR 2021: 87-98 - [c179]Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám:
Controller verification meets controller code: a case study. MEMOCODE 2021: 98-103 - [c178]Michaela Klauck
, Holger Hermanns
:
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. QEST 2021: 15-38 - [c177]Sarah Sterz, Kevin Baum, Anne Lauber-Rönsberg, Holger Hermanns:
Towards Perspicuity Requirements. RE Workshops 2021: 159-163 - [c176]Sebastian Biewer
, Bernd Finkbeiner
, Holger Hermanns
, Maximilian A. Köhl
, Yannik Schnitzer
, Maximilian Schwenger
:
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) 2021: 365-372 - [c175]Maximilian A. Köhl
, Michaela Klauck
, Holger Hermanns
:
Momba: JANI Meets Python. TACAS (2) 2021: 389-398 - [i23]Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum:
What Do We Want From Explainable Artificial Intelligence (XAI)? - A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research. CoRR abs/2102.07817 (2021) - [i22]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR abs/2111.05255 (2021) - 2020
- [j66]Christel Baier, Pedro R. D'Argenio, Holger Hermanns:
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57(3-5): 465-512 (2020) - [j65]Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen:
Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14(3): 143401 (2020) - [j64]Michaela Klauck
, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. J. Artif. Intell. Res. 68: 247-310 (2020) - [j63]Gregory Stock, Juan A. Fraire
, Tobias Mömke, Holger Hermanns, Fakhri Babayev, Eduardo Cruz:
Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3762-3773 (2020) - [j62]Juan A. Fraire
, Gilles Nies
, Carsten Gerstacker, Holger Hermanns, Kristian Bay, Morten Bisgaard:
Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. IEEE Trans. Green Commun. Netw. 4(1): 236-245 (2020) - [c174]Jörg Hoffmann, Holger Hermanns, Michaela Klauck
, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni:
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI 2020: 13569-13575 - [c173]Luca Aceto
, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva:
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR 2020: 5:1-5:3 - [c172]Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns:
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE 2020: 59-77 - [c171]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Deep Statistical Model Checking. FORTE 2020: 96-114 - [c170]Christel Baier, Holger Hermanns:
From Verification to Explanation (Track Introduction). ISoLA (4) 2020: 1-7 - [c169]Christel Baier
, Clemens Dubslaff
, Holger Hermanns
, Michaela Klauck
, Sascha Klüppelholz
, Maximilian A. Köhl
:
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) 2020: 240-261 - [c168]Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach:
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) 2020: 416-439 - [c167]Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang
, Bai Xue, Holger Hermanns:
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE 2020: 1630-1634 - [c166]Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck:
Lab Conditions for Research on Explainable Automated Decisions. TAILOR 2020: 83-90 - [e10]Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller:
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. ACM 2020, ISBN 978-1-4503-7104-9 [contents] - [e9]Holger Hermanns
:
Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings. Lecture Notes in Computer Science 12040, Springer 2020, ISBN 978-3-030-43023-8 [contents] - [i21]Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi:
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. CoRR abs/2012.03910 (2020)
2010 – 2019
- 2019
- [j61]Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies
, Marvin Stenger:
Battery-aware scheduling in low orbit: the GomX-3 case. Formal Aspects Comput. 31(2): 261-285 (2019) - [j60]Ernst Moritz Hahn
, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. ACM Trans. Model. Comput. Simul. 29(4): 27:1-27:31 (2019) - [c165]Felix Freiberger, Holger Hermanns:
Concurrent Programming from pseuCo to Petri. Petri Nets 2019: 279-297 - [c164]Alexander Graf-Brill, Holger Hermanns:
Component-aware Input-Output Conformance. FORTE 2019: 111-128 - [c163]Yuliya Butkova
, Arnd Hartmanns
, Holger Hermanns
:
A Modest Approach to Modelling and Checking Markov Automata. QEST 2019: 52-69 - [c162]Sebastian Biewer, Pedro R. D'Argenio
, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. QEST 2019: 313-331 - [c161]Arnd Hartmanns
, Holger Hermanns
:
A Modest Markov Automata Tutorial. Reasoning Web 2019: 250-276 - [c160]Gereon Fox, Daniel Stan
, Holger Hermanns:
Syntactic Partial Order Compression for Probabilistic Reachability. VMCAI 2019: 446-467 - [p2]Christel Baier, Holger Hermanns, Joost-Pieter Katoen:
The 10, 000 Facets of MDP Model Checking. Computing and Software Science 2019: 420-451 - [i20]Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. CoRR abs/1904.08641 (2019) - 2018
- [j59]Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen
, Jens Chr. Godskesen:
Probabilistic bisimulation for realistic schedulers. Acta Informatica 55(6): 461-488 (2018) - [j58]Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini
, Lijun Zhang:
The quest for minimal quotients for probabilistic and Markov automata. Inf. Comput. 262: 162-186 (2018) - [c159]Michaela Klauck
, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS 2018: 150-154 - [c158]Pranav Ashok
, Yuliya Butkova
, Holger Hermanns
, Jan Kretínský
:
Continuous-Time Markov Decisions Based on Partial Exploration. ATVA 2018: 317-334 - [c157]Sebastian Biewer, Pedro R. D'Argenio
, Holger Hermanns:
Cyber-Physical Doping Tests. MT@CPSWeek 2018: 18-19 - [c156]Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard:
Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. GLOBECOM 2018: 1-7 - [c155]Kevin Baum, Holger Hermanns, Timo Speith:
From Machine Ethics To Machine Explainability and Back. ISAIM 2018 - [c154]Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl:
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR 2018: 1-17 - [c153]Yuliya Butkova, Ralf Wimmer, Holger Hermanns:
Markov Automata on Discount! MMB 2018: 19-34 - [c152]Maximilian A. Köhl
, Holger Hermanns, Sebastian Biewer:
Efficient Monitoring of Real Driving Emissions. RV 2018: 299-315 - [c151]Kevin Baum, Holger Hermanns, Timo Speith
:
Towards a Framework Combining Machine Ethics and Machine Explainability. CREST@ETAPS 2018: 34-49 - [i19]Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. CoRR abs/1803.10154 (2018) - [i18]Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský:
Continuous-Time Markov Decisions based on Partial Exploration. CoRR abs/1807.09641 (2018) - 2017
- [j57]Hassan Hatefi, Ralf Wimmer
, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns:
Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. 29(4): 629-649 (2017) - [j56]Holger Hermanns
, Jan Krcál, Gilles Nies
:
How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty. Leibniz Trans. Embed. Syst. 4(1): 04:1-04:28 (2017) - [c150]Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students. Models, Algorithms, Logics and Tools 2017: 170-195 - [c149]Holger Hermanns:
From Lotosphere to Thermosphere. ModelEd, TestEd, TrustEd 2017: 357-367 - [c148]Kangli He, Holger Hermanns, Yixiang Chen:
Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) 2017: 234-243 - [c147]Pedro R. D'Argenio
, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. ESOP 2017: 83-110 - [c146]Alexander Graf-Brill, Holger Hermanns:
Model-Based Testing for Asynchronous Systems. FMICS-AVoCS 2017: 66-82 - [c145]Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies
, Marvin Stenger, Holger Hermanns:
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM 2017: 481-495 - [c144]Alexander Graf-Brill, Arnd Hartmanns
, Holger Hermanns, Steffen Rose:
Modelling and certification for electric mobility. INDIN 2017: 109-114 - [c143]Ernst Moritz Hahn, Vahid Hashemi
, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST 2017: 207-223 - [c142]Vahid Hashemi
, Andrea Turrini
, Ernst Moritz Hahn
, Holger Hermanns, Khaled M. Elbassioni
:
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA 2017: 25-41 - [c141]Yuliya Butkova, Ralf Wimmer
, Holger Hermanns:
Long-Run Rewards for Markov Automata. TACAS (2) 2017: 188-203 - [c140]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS 2017: 44-51 - [e8]Holger Hermanns, Peter Höfner:
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 244, 2017 [contents] - [i17]Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR abs/1702.04693 (2017) - [i16]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR abs/1706.06875 (2017) - [i15]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi
, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR abs/1710.08986 (2017) - 2016
- [j55]Luis María Ferrer Fioriti, Vahid Hashemi
, Holger Hermanns, Andrea Turrini:
Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. 28(1): 109-143 (2016) - [j54]Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini:
PTRebeca: Modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128: 22-50 (2016) - [c139]Arnd Hartmanns
, Holger Hermanns, Jan Krcál:
Schedulers are no Prophets. Semantics, Logics, and Calculi 2016: 214-235 - [c138]Arnd Hartmanns
, Holger Hermanns, Michael Bungert:
Flexible support for time and costs in scenario-aware dataflow. EMSOFT 2016: 3:1-3:10 - [c137]Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies
, Marvin Stenger:
Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. FM 2016: 559-576 - [c136]Holger Hermanns, Jan Krcál, Steen Vester:
Distributed Synthesis in Continuous Time. FoSSaCS 2016: 353-369 - [c135]Holger Hermanns:
My O Is Bigger Than Yours (Invited Talk). FSTTCS 2016: 3:1-3:2 - [c134]Gilles Barthe, Pedro R. D'Argenio
, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. ISoLA (2) 2016: 601-608 - [c133]Vahid Hashemi
, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr J. Wojciechowski:
Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA 2016: 114-126 - [c132]Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga
:
The Value of Attack-Defence Diagrams. POST 2016: 163-185 - [c131]Ernst Moritz Hahn, Vahid Hashemi
, Holger Hermanns, Andrea Turrini:
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST 2016: 55-71 - [c130]Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál:
Effective Static and Dynamic Fault Tree Analysis. SAFECOMP 2016: 266-280 - [c129]Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar:
Probabilistic CTL*: The Deductive Way. TACAS 2016: 280-296 - [c128]Vahid Hashemi
, Holger Hermanns, Lei Song:
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. VMCAI 2016: 351-371 - [i14]Holger Hermanns, Jan Krcál, Steen Vester:
Distributed Synthesis in Continuous Time. CoRR abs/1601.01587 (2016) - [i13]Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Compositional Reasoning for Interval Markov Decision Processes. CoRR abs/1607.08484 (2016) - 2015
- [j53]Andrea Turrini, Holger Hermanns:
Polynomial time decision algorithms for probabilistic automata. Inf. Comput. 244: 134-171 (2015) - [j52]Arnd Hartmanns
, Holger Hermanns:
In the quantitative automata zoo. Sci. Comput. Program. 112: 3-23 (2015) - [j51]Hassan Hatefi, Holger Hermanns:
Improving time bounded reachability computations in interactive Markov chains. Sci. Comput. Program. 112: 58-74 (2015) - [j50]Reza Pulungan
, Holger Hermanns:
A construction and minimization service for continuous probability distributions. Int. J. Softw. Tools Technol. Transf. 17(1): 77-90 (2015) - [j49]Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Transient Reward Approximation for Continuous-Time Markov Chains. IEEE Trans. Reliab. 64(4): 1254-1275 (2015) - [c127]Arnd Hartmanns
, Holger Hermanns:
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. ATVA 2015: 131-147 - [c126]Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions. ATVA 2015: 166-182 - [c125]Holger Hermanns, Jan Krcál, Gilles Nies
:
Recharging Probably Keeps Batteries Alive. CyPhy 2015: 83-98 - [c124]Carlos E. Budde
, Pedro R. D'Argenio
, Holger Hermanns:
Rare Event Simulation with Fully Automated Importance Splitting. EPEW 2015: 275-290 - [c123]Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang:
Probabilistic Bisimulation for Realistic Schedulers. FM 2015: 248-264 - [c122]Holger Hermanns:
Energieinformatik im erdnahen Orbit. GI-Jahrestagung 2015: 41 - [c121]Luis María Ferrer Fioriti, Holger Hermanns:
Probabilistic Termination: Soundness, Completeness, and Compositionality. POPL 2015: 489-501 - [c120]Michael Bungert, Holger Hermanns, Reza Pulungan
:
A Compression App for Continuous Probability Distributions. QEST 2015: 113-121 - [c119]Hassan Hatefi, Bettina Braitling, Ralf Wimmer
, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker:
Cost vs. Time in Stochastic Games and Markov Automata. SETTA 2015: 19-34 - [c118]Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer
, Bernd Becker, Holger Hermanns:
Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI 2015: 172-189 - [c117]Felix Freiberger, Holger Hermanns:
On the Control of Self-Balancing Unicycles. MARS 2015: 25-36 - [i12]Holger Hermanns, Jan Krcál, Gilles Nies:
Recharging Probably Keeps Batteries Alive. CoRR abs/1502.07120 (2015) - [i11]Arnd Hartmanns, Holger Hermanns:
Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage. CoRR abs/1504.02861 (2015) - [i10]Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions. CoRR abs/1507.02876 (2015) - 2014
- [j48]Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen
, Mark Timmer:
Analysis of Timed and Long-Run Objectives for Markov Automata. Log. Methods Comput. Sci. 10(3) (2014) - [j47]Andrea Turrini, Holger Hermanns:
Cost Preserving Bisimulations for Probabilistic Automata. Log. Methods Comput. Sci. 10(4) (2014) - [j46]Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns:
Reachability and Reward Checking for Stochastic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j45]Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns:
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j44]Giuliano Casale, Ludmila Cherkasova, Holger Hermanns:
Special Issue on "Quantitative Evaluation of SysTems" (QEST 2012). Perform. Evaluation 73: 1-2 (2014) - [j43]Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen:
Incremental Bisimulation Abstraction Refinement. ACM Trans. Embed. Comput. Syst. 13(4s): 142:1-142:23 (2014) - [c116]Holger Hermanns, Jan Krcál, Jan Kretínský:
Probabilistic Bisimulation: Naturally on Distributions. CONCUR 2014: 249-265 - [c115]Alexander Graf-Brill, Holger Hermanns, Hubert Garavel:
A Model-Based Certification Framework for the EnergyBus Standard. FORTE 2014: 84-99 - [c114]Florian Arnold, Holger Hermanns, Reza Pulungan
, Mariëlle Stoelinga
:
Time-Dependent Analysis of Attacks. POST 2014: 285-305 - [c113]Arnd Hartmanns
, Holger Hermanns:
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. TACAS 2014: 593-598 - [c112]