| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Holger Hermanns |
Quantitative Models for a Not So Dumb Grid.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans |
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Luis María Ferrer Fioriti, Holger Hermanns |
Heuristics for Probabilistic Timed Automata with Abstraction Refinement. |
MMB/DFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns |
Simulation and Statistical Model Checking for Modestly Nondeterministic Models. |
MMB/DFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang |
Probabilistic Logical Characterization. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen |
The ins and outs of the probabilistic model checker MRMC. |
Perform. Eval. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
Automata-Based CSL Model Checking |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell |
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
Probabilistic reachability for parametric Markov models. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Lijun Zhang |
From Concurrency Models to Numbers - Performance and Dependability. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns |
Partial Order Methods for Statistical Model Checking and Simulation. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns |
Formal Methods in Energy Informatics. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker |
Reachability analysis for incomplete networks of Markov decision processes. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker |
Bounded Fairness for Probabilistic Distributed Algorithms. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
Automata-Based CSL Model Checking. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
Model Checking Algorithms for CTMDPs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang |
Measurability and safety verification for stochastic hybrid systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernan Baro Graf, Holger Hermanns, Juhi Kulshrestha, Jens Peter, Anjo Vahldiek, Aravind Vasudevan |
A verifiedwireless safety critical hard real-time design. |
WOWMOM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Salem Derisavi, Holger Hermanns |
Symbolic partition refinement with automatic balancing of time and space. |
Perform. Eval. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Performance evaluation and model checking join forces. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns |
Synthesis and stochastic assessment of cost-optimal schedules. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Performability assessment by model checking of Markov reward models. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
Concurrency and Composition in a Stochastic World. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans |
Quantitative system validation in model driven design. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
PASS: Abstraction Refinement for Infinite Probabilistic Models. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepijn Crouzen, Holger Hermanns |
Aggregation Ordering for Massively Compositional Models. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach |
Superposition-Based Analysis of First-Order Probabilistic Timed Automata. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn |
Safety Verification for Probabilistic Hybrid Systems. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
PARAM: A Model Checker for Parametric Markov Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel |
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe |
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
On Probabilistic Automata in Continuous Time. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
weak bisimulation semantics, Markov processes, process algebra, nondeterminism, discrete time, continuous time |
| 1 | Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker |
Compositional Dependability Evaluation for STATEMATE. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Joost-Pieter Katoen |
The How and Why of Interactive Markov Chains. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
Probabilistic Reachability for Parametric Markov Models. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe |
Towards Performance Prediction of Compositional Models in Industrial GALS Designs. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
INFAMY: An Infinite-State Markov Model Checker. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Bogdoll, Holger Hermanns, Lijun Zhang |
FlowSim Simulation Benchmarking Platform. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
probabilistic simulation, Markov chain, decision algorithm |
| 1 | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen |
The Ins and Outs of the Probabilistic Model Checker MRMC. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
none |
| 1 | Reza Pulungan, Holger Hermanns |
Acyclic Minimality by Construction---Almost. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Acyclic phase-type distributions, minimality, minimal representation |
| 1 | Arnd Hartmanns, Holger Hermanns |
A Modest Approach to Checking Probabilistic Timed Automata. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic timed automata, model checking, compositional modelling, digital clocks |
| 1 | Holger Hermanns, Holger Wiechmann |
Future Design Challenges for Electric Energy Supply. |
ETFA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker |
Dependability Engineering of Silent Self-stabilizing Systems. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns |
Special issue: CONCUR 2006. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eisentraut, Holger Hermanns |
Teaching Concurrency Concepts to Freshmen. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Holger Hermanns, Jens Palsberg |
Improving the effectiveness of system verification. |
STTT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepijn Crouzen, Holger Hermanns, Lijun Zhang |
On the Minimisation of Acyclic Models. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Bogdoll, Holger Hermanns, Lijun Zhang |
An Experimental Evaluation of Probabilistic Simulation. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter |
Time-bounded model checking of infinite-state continuous-time Markov chains. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Pulungan, Holger Hermanns |
Effective Minimization of Acyclic Phase-Type Representations. |
ASMTA |
2008 |
DBLP DOI BibTeX RDF |
Markov Models, Stochastic Models |
| 1 | Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni |
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Reachability in continuous-time Markov reward decision processes. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Holger Hermanns, Björn Wachter, Lijun Zhang |
Probabilistic CEGAR. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Salem Derisavi, Holger Hermanns |
Symbolic Partition Refinement with Dynamic Balancing of Time and Space. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fränzle, Holger Hermanns, Tino Teige |
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Sven Johr |
May we reach it? Or must we? In what time? With what probability? |
MMB |
2008 |
DBLP BibTeX RDF |
|
| 1 | Reza Pulungan, Holger Hermanns |
The Minimal Representation of the Maximum of Erlang Distributions. |
MMB |
2008 |
DBLP BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen |
motor: The modestTool Environment. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Sven Johr |
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns |
Deciding Simulations on Probabilistic Automata. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Groß, Holger Hermanns, Reza Pulungan |
Does Clock Precision Influence ZigBee's Energy Consumptions?. |
OPODIS |
2007 |
DBLP DOI BibTeX RDF |
Sensor networks, formal modelling, clock drift, distributed coordination, power-aware design |
| 1 | Werner Damm, Holger Hermanns (eds.) |
Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings |
CAV |
2007 |
DBLP BibTeX RDF |
|
| 1 | Björn Wachter, Lijun Zhang, Holger Hermanns |
Probabilistic Model Checking Modulo Theories. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen |
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
timed automata, stochastic processes, formal semantics, compositionality, Modeling formalism |
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
Bisimulation and Simulation Relations for Markov Chains. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen |
YMCA: - Why Markov Chain Algebra? - . |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns (eds.) |
CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings |
CONCUR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Holger Hermanns, Jens Palsberg (eds.) |
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 |
TACAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher |
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker |
Sigref- A Symbolic Bisimulation Tool Box. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker |
Compositional Performability Evaluation for STATEMATE. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort |
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf |
Comparative branching-time semantics for Markov chains. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns |
Axiomatising divergence. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model checking meets performance evaluation. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David N. Jansen, Holger Hermanns |
QoS modelling and analysis with UML-statecharts: the StoCharts approach. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
UML |
| 1 | Lijun Zhang, Holger Hermanns, David N. Jansen |
Logic and Model Checking for Hidden Markov Models. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Holger Hermanns, Stefan Leue |
Counterexamples for Timed Probabilistic Reachability. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, David N. Jansen, Yaroslav S. Usenko |
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. |
WOSP |
2005 |
DBLP DOI BibTeX RDF |
European Train Control System (ETCS), UML, reliability, concurrency, wireless communication, tool support, stochastic systems |
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen |
Probabilistic weak simulation is decidable in polynomial time. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.) |
Validation of Stochastic Systems - A Guide to Current Research |
Validation of Stochastic Systems |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns |
Embedded Software Analysis with MOTOR. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David N. Jansen, Holger Hermanns |
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko |
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko |
An industrial-strength formal method -- A Modest survey. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model-Checking Algorithms for Continuous-Time Markov Chains. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping |
| 1 | Salem Derisavi, Holger Hermanns, William H. Sanders |
Optimal state-space lumping in Markov chains. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle |
On the use of MTBDDs for performability analysis and verification of stochastic systems. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
A tool for model-checking Markov chains. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Numerical mathematics, Performance evaluation, Model checking, Temporal logic, Markov chain, Probabilistic systems |
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
Comparative Branching-Time Semantics. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren |
The Modest Modeling Tool and Its Implementation. |
Computer Performance Evaluation / TOOLS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Christophe Joubert |
A Set of Performance and Dependability Analysis Components for CADP. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David N. Jansen, Holger Hermanns, Joost-Pieter Katoen |
A QoS-Oriented Extension of UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
ETMCC: Model Checking Performability Properties of Markov Chains. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager |
Cost-Optimization of the IPv4 Zeroconf Protocol. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")