The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Holger Hermanns" ( http://dblp.L3S.de/Authors/Holger_Hermanns )

URL (Homepage):  http://depend.cs.uni-sb.de/hermanns/  Author page on DBLP  Author page in RDF  Community of Holger Hermanns in ASPL-2

Publication years (Num. hits)
1994-1999 (16) 2000-2002 (23) 2003-2004 (19) 2005-2006 (17) 2007-2008 (23) 2009-2010 (28) 2011 (15) 2012-2013 (29) 2014-2015 (31) 2016 (16) 2017 (17) 2018-2019 (22)
Publication types (Num. hits)
article(77) book(1) incollection(2) inproceedings(167) phdthesis(1) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 42 keywords

Results
Found 257 publication records. Showing 256 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sebastian Biewer, Pedro D'Argenio, Holger Hermanns Doping Tests for Cyber-Physical Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger Battery-aware scheduling in low orbit: the GomX-3 case. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christel Baier, Holger Hermanns, Joost-Pieter Katoen The 10, 000 Facets of MDP Model Checking. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Felix Freiberger, Holger Hermanns Concurrent Programming from pseuCo to Petri. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sebastian Biewer, Pedro D'Argenio, Holger Hermanns Doping Tests for Cyber-Physical Systems. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuliya Butkova, Arnd Hartmanns, Holger Hermanns A Modest Approach to Modelling and Checking Markov Automata. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Graf-Brill, Holger Hermanns Component-aware Input-Output Conformance. Search on Bibsonomy FORTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gereon Fox, Daniel Stan, Holger Hermanns Syntactic Partial Order Compression for Probabilistic Reachability. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arnd Hartmanns, Holger Hermanns A Modest Markov Automata Tutorial. Search on Bibsonomy Reasoning Web The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lijun Zhang 0001, Pengfei Yang, Lei Song 0001, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen Probabilistic bisimulation for realistic schedulers. Search on Bibsonomy Acta Inf. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kevin Baum, Holger Hermanns, Timo Speith Towards a Framework Combining Machine Ethics and Machine Explainability. Search on Bibsonomy CREST@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský Continuous-Time Markov Decisions based on Partial Exploration. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns Facets of Software Doping. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang 0001 The quest for minimal quotients for probabilistic and Markov automata. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yuliya Butkova, Ralf Wimmer, Holger Hermanns Markov Automata on Discount! Search on Bibsonomy MMB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský Continuous-Time Markov Decisions Based on Partial Exploration. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. Search on Bibsonomy GLOBECOM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer Efficient Monitoring of Real Driving Emissions. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns Cyber-Physical Doping Tests. Search on Bibsonomy MT@CPSWeek The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann 0001, Holger Hermanns Compiling Probabilistic Model Checking into Probabilistic Planning. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Kevin Baum, Holger Hermanns, Timo Speith From Machine Ethics To Machine Explainability and Back. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Holger Hermanns, Jan Krcál, Gilles Nies How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty. Search on Bibsonomy LITES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dimitri Scheftelowitsch, Peter Buchholz 0001, Vahid Hashemi, Holger Hermanns Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Holger Hermanns, Peter Höfner (eds.) Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker 0001, Holger Hermanns Cost vs. time in stochastic games and Markov automata. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Holger Hermanns From Lotosphere to Thermosphere. Search on Bibsonomy ModelEd, TestEd, TrustEd The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns Teaching Academic Concurrency to Amazing Students. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kangli He, Holger Hermanns, Yixiang Chen Models of Connected Things: On Priced Probabilistic Timed Reo. Search on Bibsonomy COMPSAC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dimitri Scheftelowitsch, Peter Buchholz 0001, Vahid Hashemi, Holger Hermanns Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. Search on Bibsonomy VALUETOOLS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Graf-Brill, Holger Hermanns Model-Based Testing for Asynchronous Systems. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuliya Butkova, Ralf Wimmer, Holger Hermanns Long-Run Rewards for Markov Automata. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose Modelling and certification for electric mobility. Search on Bibsonomy INDIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vahid Hashemi, Holger Hermanns, Andrea Turrini Compositional Reasoning for Interval Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Holger Hermanns, Jan Krcál, Steen Vester Distributed Synthesis in Continuous Time. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini PTRebeca: Modeling and analysis of distributed and asynchronous systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini Deciding probabilistic automata weak bisimulation: theory and practice. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga The Value of Attack-Defence Diagrams. Search on Bibsonomy POST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini Exploiting Robust Optimization for Interval Probabilistic Bisimulation. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál Effective Static and Dynamic Fault Tree Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns Facets of Software Doping. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arnd Hartmanns, Holger Hermanns, Jan Krcál Schedulers are no Prophets. Search on Bibsonomy Semantics, Logics, and Calculi The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Jan Krcál, Steen Vester Distributed Synthesis in Continuous Time. Search on Bibsonomy FoSSaCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vahid Hashemi, Holger Hermanns, Lei Song 0001, K. Subramani, Andrea Turrini, Piotr J. Wojciechowski Compositional Bisimulation Minimization for Interval Markov Decision Processes. Search on Bibsonomy LATA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arnd Hartmanns, Holger Hermanns, Michael Bungert Flexible support for time and costs in scenario-aware dataflow. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar Probabilistic CTL*: The Deductive Way. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vahid Hashemi, Holger Hermanns, Lei Song 0001 Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Holger Hermanns My O Is Bigger Than Yours (Invited Talk). Search on Bibsonomy FSTTCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker 0001 Transient Reward Approximation for Continuous-Time Markov Chains. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Pulungan, Holger Hermanns A construction and minimization service for continuous probability distributions. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál Optimal Continuous Time Markov Decisions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Arnd Hartmanns, Holger Hermanns Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Holger Hermanns, Jan Krcál, Gilles Nies Recharging Probably Keeps Batteries Alive. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Felix Freiberger, Holger Hermanns On the Control of Self-Balancing Unicycles. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Holger Hermanns Improving time bounded reachability computations in interactive Markov chains. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arnd Hartmanns, Holger Hermanns In the quantitative automata zoo. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrea Turrini, Holger Hermanns Polynomial time decision algorithms for probabilistic automata. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns Rare Event Simulation with Fully Automated Importance Splitting. Search on Bibsonomy EPEW The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Bungert, Holger Hermanns, Reza Pulungan A Compression App for Continuous Probability Distributions. Search on Bibsonomy QEST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song 0001, Lijun Zhang 0001 Probabilistic Bisimulation for Realistic Schedulers. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luis María Ferrer Fioriti, Holger Hermanns Probabilistic Termination: Soundness, Completeness, and Compositionality. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál Optimal Continuous Time Markov Decisions. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arnd Hartmanns, Holger Hermanns Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Jan Krcál, Gilles Nies Recharging Probably Keeps Batteries Alive. Search on Bibsonomy CyPhy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Holger Hermanns Energieinformatik im erdnahen Orbit. Search on Bibsonomy GI-Jahrestagung The full citation details ... 2015 DBLP  BibTeX  RDF
1Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker 0001 Cost vs. Time in Stochastic Games and Markov Automata. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns Abstraction-Based Computation of Reward Measures for Markov Automata. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. Search on Bibsonomy ECEASST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns Reachability and Reward Checking for Stochastic Timed Automata. Search on Bibsonomy ECEASST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lei Song 0001, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen Incremental Bisimulation Abstraction Refinement. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer Analysis of Timed and Long-Run Objectives for Markov Automata. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Jan Krcál, Jan Kretínský Probabilistic Bisimulation: Naturally on Distributions. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Andrea Turrini, Holger Hermanns Cost Preserving Bisimulations for Probabilistic Automata. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giuliano Casale, Ludmila Cherkasova, Holger Hermanns Special Issue on "Quantitative Evaluation of SysTems" (QEST 2012). Search on Bibsonomy Perform. Eval. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Florian Arnold, Holger Hermanns, Reza Pulungan, Mariëlle Stoelinga Time-Dependent Analysis of Attacks. Search on Bibsonomy POST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arnd Hartmanns, Holger Hermanns The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Jan Krcál, Jan Kretínský Probabilistic Bisimulation: Naturally on Distributions. Search on Bibsonomy CONCUR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Graf-Brill, Holger Hermanns, Hubert Garavel A Model-Based Certification Framework for the EnergyBus Standard. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen Model checking for performability. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen A compositional modelling and analysis framework for stochastic hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vahid Hashemi, Holger Hermanns, Andrea Turrini On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. Search on Bibsonomy ECEASST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Jan Krcál, Jan Kretínský Compositional Verification and Optimization of Interactive Markov Chains. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer Modelling, Reduction and Analysis of Markov Automata (extended version) Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Holger Hermanns, Arnd Hartmanns An Internet Inspired Approach to Power Grid Stability. Search on Bibsonomy it - Information Technology The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang 0001 A Semantics for Every GSPN. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer Modelling, Reduction and Analysis of Markov Automata. Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang 0001 Deciding Bisimilarities on Distributions. Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns Rewarding probabilistic hybrid automata. Search on Bibsonomy HSCC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lei Song 0001, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen Incremental Bisimulation Abstraction Refinement. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Holger Hermanns Improving Time Bounded Reachability Computations in Interactive Markov Chains. Search on Bibsonomy FSEN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang 0001 The Quest for Minimal Quotients for Probabilistic Automata. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Andrea Turrini Cost Preserving Bisimulations for Probabilistic Automata. Search on Bibsonomy CONCUR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 256 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license