EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Hermanns, H.
Home Policy Brochure Browse Search User Area Contact Help

2016

Hartmanns, A. and Hermanns, H. and Bungert, M. (2016) Flexible support for time and costs in scenario-aware dataflow. In: Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016), 01-07 Oct 2016, Pittsburgh, Pennsylvania, USA. 3. ACM. ISBN 978-1-4503-4485-2
Hartmanns, A. and Hermanns, H. and Krčál, J. (2016) Schedulers are no Prophets. In: Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, 8 Jan 2016, Kongens Lyngby, Denmark. pp. 214-235. Lecture Notes in Computer Science 9560. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-27809-4
Hermanns, H. and Krämer, J. and Krčál, J. and Stoelinga, M.I.A. (2016) The Value of Attack-Defence Diagrams. In: Proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, April 2-8, 2016, Eindhoven, Netherlands. pp. 163-185. Lecture Notes in Computer Science 9635. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-49634-3
Nies, G. and Stenger, M. and Krcal, J. and Hermanns, H. and Bisgaard, M. and Gerhardt, D. and Haverkort, B.R.H.M. and Jongerden, M.R. and Larsen, K.G. and Wognsen, E.R. (2016) Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. In: Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4, 26 -30 Sep 2016, Guadalajara, Mexico. pp. 1-15. International Astronautical Federation. ISBN not assigned

2014

Arnold, F. and Hermanns, H. and Pulungan, R. and Stoelinga, M.I.A. (2014) Time-dependent analysis of attacks. In: Proceedings of the Third International Conference on Principles and Security of Trust, POST 2014, April 5-13, 2014, Grenoble, France. pp. 285-305. Lecture Notes in Computer Science 8414. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-54791-1
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2014) Analysis of timed and long-run objectives for Markov automata. Logical Methods in Computer Science, 10 (3). 17. ISSN 1860-5974 *** ISI Impact 0,569 ***
Song, Lei and Zhang, Lijun and Hermanns, H. and Godskesen, J.C. (2014) Incremental Bisimulation Abstraction Refinement. ACM Transactions on Embedded Computing Systems (TECS), 13 (4s). Artcle No. 142. ISSN 1539-9087 *** ISI Impact 0,714 ***

2013

Baier, C. and Hahn, E.M. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2013) Model checking for performability. Mathematical Structures in Computer Science, 23 (Special Issue 04). pp. 751-795. ISSN 0960-1295 *** ISI Impact 0,758 ***
Eisentraut, C. and Hermanns, H. and Krämer, J.P. and Turini, A. and Zhang, Lijun (2013) Deciding Bisimilarities on Distributions. In: 10th International Conference on Quantitative Evaluation of Systems (QEST), 27-30 Aug 2013, Buenos Aires, Argentina. pp. 72-88. Lecture Notes in Computer Science 8054. Springer. ISBN 978-3-642-40195-4
Eisentraut, C.W. and Hermanns, H. and Schuster, J. and Turini, A. and Zhang, Lijun (2013) The Quest for Minimal Quotients for Probabilistic Automata. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, 2013, Rome, Italy. pp. 16-31. Lecture Notes in Computer Science 7795. Springer. ISBN 978-3-642-36741-0
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata (extended version). Technical Report arXiv:1305.7050, Cornell University, Ithaca, NY, USA. ISSN not assigned
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST), 27-30 Aug 2013, Buenos Aires, Argentina. pp. 55-71. Lecture Notes in Computer Science 8054. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40195-4

2011

Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance evaluation, 68 (2). pp. 90-104. ISSN 0166-5316 *** ISI Impact 0,944 ***

2010

Baier, C. and Cloth, L. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performability assessment by model checking of Markov reward models. Formal methods in system design, 36 (1). pp. 1-36. ISSN 0925-9856 *** ISI Impact 1,132 ***
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782 *** ISI Impact 3,301 ***
Hermanns, H. and Katoen, J.P. (2010) The How and Why of Interactive Markov Chains. (Invited) In: Symposium on Formal Methods for Components and Objects, FMCO 2009, 04 - 06 November 2009, Eindhoven, the Netherlands. pp. 311-337. Lecture Notes in Computer Science 6286. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-17070-6
Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2010) Synthesis and stochastic assessment of cost-optimal schedules. International journal on software tools for technology transfer, 12 (5). pp. 305-317. ISSN 1433-2779

2009

Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2009) The Ins and Outs of the Probabilistic Model Checker MRMC. In: Sixth International Conference on the Quantitative Evaluation of Systems, 13-16 Sept 2009, Budapest, Hungary. pp. 167-176. IEEE Computer Society. ISBN 978-1-42444-942-2

2008

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany. pp. 53-71. Texts in Logic and Games 2. Amsterdam University Press. ISBN 978-90-5356-576-6

2007

Bohnenkamp, H.C. and Hermanns, H. and Katoen, J.P. (2007) Motor: The MoDeST Tool Environment. In: Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Braga, Protugal. pp. 500-504. Lecture Notes in Computer Science 4424. Springer Verlag. ISSN 0302-9743
Zhang, Lijun and Hermanns, H. and Eisenbrand, F. and Jansen, D.N. (2007) Flow faster: efficient decision algorithms for probabilistic simulations. In: Tools and algorithms for the construction and analysis of systems, 24 Mar-1 Apr 2007, Braga, Portugal. pp. 155-169. Lecture notes in computer science 4424. Springer. ISBN 978-3-540-71208-4

2006

Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2006) Bisimulation and Simulation Relations for Markov Chains. In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy. pp. 73-78. Electronic Notes in Theoretical Computer Science 162. Elsevier. ISSN 1571-0661
Böde, E. and Herbstritt, M. and Hermanns, H. and Johr, S. and Peikenkamp, T. and Pulungan, R. and Wimmer, R. and Becker, B. (2006) Compositional Performability Evaluation for STATEMATE. In: 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006, 11-14 Sep 2006, Riverside, USA. pp. 167-176. IEEE Computer Society. ISBN 0-7695-2665-9
Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2006) MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Transactions on Software Engineering, 32 (10). pp. 812-830. ISSN 0098-5589 *** ISI Impact 1,516 ***
Bravetti, M. and Hermanns, H. and Katoen, J.P. (2006) YMCA: Why Markov Chain Algebra? In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy. pp. 107-112. Electronic Notes in Theoretical Computer Science 162. Elsevier. ISSN 1571-0661
Bujorianu, L.M. and Blom, H.A.P. and Hermanns, H. (2006) Functional Abstraction of Stochastic Hybrid Systems. In: 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2006, 7-9 June 2006, Alghero, Italy. pp. 160-165. Elsevier. ISBN 978-0-08-044613-4
Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2006) Synthesis and Stochastic Assessment of Cost-Optimal Schedules. Technical Report TR-CTIT-06-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wimmer, R. and Herbstritt, M. and Hermanns, H. and Strampp, K. and Becker, B. (2006) Sigref - A Symbolic Bisimulation Tool Box. In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, 23-26 October 2006, Beijing, China. pp. 477-492. Lecture notes in Computer Science 4218. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-47237-7

2005

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2005) Model checking meets performance evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-16. ISSN 0163-5999
Baier, C. and Hermanns, H. and Katoen, J.P. and Haverkort, B.R.H.M. (2005) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical computer science, 345 (1). pp. 2-26. ISSN 0304-3975 *** ISI Impact 0,643 ***
Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2005) Comparative branching-time semantics for Markov chains. Information and Computation, 200 (2). pp. 149-214. ISSN 0890-5401 *** ISI Impact 0,873 ***
Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In: Proceedings of the 5th international workshop on Software and performance. pp. 13-23. ACM Press. ISBN 1-59593-087-6
Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) A comparative reliability analysis of ETCS train radio communications. Technical Report 2 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Jansen, D.N. and Hermanns, H. (2005) QoS modelling and analysis with UML-statecharts: the StoCharts approach. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 28-33. ISSN 0163-5999
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2005) Axiomatising Divergence. Information and computation, 203 (2). pp. 115-144. ISSN 0890-5401 *** ISI Impact 0,873 ***
Zhang, Lijun and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. Technical Report 6 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Zhang, Lijun and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. In: Formal techniques for networked and distributed systems, FORTE, Taipei, Taiwan. pp. 98-112. Lecture notes in computer science 3731. Springer-Verlag. ISBN 3-540-29189-X

2004

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pp. 61-76. Lecture Notes in Computer Science 2988. Springer. ISBN 3-540-21299-X
Baier, C. and Hermanns, H. and Katoen, J.P. (2004) Probabilistic weak simulation is polynomially decidable. Information Processing Letters, 89 (3). pp. 123-252. ISSN 0020-0190 *** ISI Impact 0,605 ***
Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2004) Comparative Branching-Time Semantics for Markov Chains. Technical Report TR-CTIT-04-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2004) MoDeST: A compositional modeling formalism for real-time and stochastic systems. Technical Report TR-CTIT-04-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A.H. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. Technical Report TR-CTIT-04-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A.H. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. In: First International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands. pp. 28-37. IEEE Computer Society. ISBN 0-7695-2185-1
Jansen, D.N. and Hermanns, H. (2004) Dependability checking with StoCharts: Is train radio reliable enough for trains? In: QEST 2004: first international conference on the quantitative evaluation of systems, Enschede, Netherlands. pp. 250-259. IEEE Computer Society. ISBN 0-7695-2185-1
Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. (2004) Embedded software analysis with MOTOR. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Lecture Notes in Computer Science 3185. Springer Verlag, Bertinoro, Italy, pp. 268-293. ISBN 3-540-23068-8

2003

Andova, S. and Hermanns, H. and Katoen, J.P. (2003) Discrete-time rewards model-checked. In: Formal Modelling and Analysis of Timed Systems (FORMATS 2003). pp. 88-104. Lecture Notes in Computer Science 2791. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-21671-1
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. Technical Report TR-CTIT-03-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589 *** ISI Impact 1,516 ***
Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2003) Comparative branching-time semantics for Markov chains. In: Concurrency Theory (CONCUR). pp. 492-507. Lecture Notes in Computer Science 2761. Springer-Verlag. ISBN 978-3-540-40753-9
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2003) A tool for model-checking Markov chains. Int. Journal on Software Tools for Technology Transfer, 4 (2). pp. 153-172. ISSN 1433-2779
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2003) A QoS-oriented extension of UML statecharts. In: «UML» 2003: the unified modeling language, 20-24 Oct 2003, San Francisco, Calif., USA. pp. 76-91. Lecture Notes in Computer Science 2863. Springer-Verlag. ISBN 3-540-20243-9

2002

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. Technical Report TR-CTIT-02-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Automated performance and dependability evaluation using model checking. In: Computer Performance Evaluation. Lecture Notes in Computer Science 2459. Springer Verlag, Berlin, pp. 261-289. ISBN 3-540-44252-9
Baier, C. and Katoen, J.P. and Hermanns, H. and Haverkort, B.R.H.M. (2002) Simulation for continuous-time Markov chains. In: CONCUR 2002 - Concurrency Theory, 13th International Conference, August 20-23, 2002, Brno, Czech Republic. pp. 473-489. Lecture Notes in Computer Science 2421. Springer. ISBN 3-540-44043-7
Haverkort, B.R.H.M. and Cloth, L. and Hermanns, H. and Katoen, J.P. and Baier, C. (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks (DSN), 23-26 June 2002, Bethesda, MD, USA. pp. 103-112. IEEE Computer Society. ISBN 0-7695-1597-5
Hermanns, H. (2002) Interactive Markov Chains and the Quest for Quantified Quality. Lecture Notes in Computer Science 2428. Springer-Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-44261-8
Hermanns, H. (2002) On Combining Functional Verification and Performance Evaluation Using CADP. In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, July 22-24, 2002, Copenhagen, Denmark. pp. 410-429. Lecture Notes in Computer Science 2391. Springer-Verlag. ISBN 3-540-43928-5
Hermanns, H. and Herzog, U. and Katoen, J.P. (2002) Process algebra for performance evaluation. Theoretical Computer Science, 274 (1-2). pp. 43-87. ISSN 0304-3975 *** ISI Impact 0,643 ***
Hermanns, H. and Katoen, J.P. (2002) Guest editors' introduction: Model checking in a nutshell. Journal of Logic and Algebraic Programming, 52-53. pp. 1-5. ISSN 1567-8326 *** ISI Impact 0,579 ***
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. Technical Report TR-CTIT-02-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. In: Formal techniques in real-time and fault-tolerant systems: ... FTRTFT, September 9-12, 2002, Oldenburg, Germany. pp. 355-374. Lecture Notes in Computer Science 2469. Springer-Verlag. ISBN 3-540-44165-4
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2002) Axiomatising Divergence. In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002. pp. 585-596. Lecture Notes In Computer Science 2380. Springer Verlag. ISSN 0302-9743 ISBN 3-540-43864-5

2001

Brinksma, H. and Hermanns, H. (2001) Process Algebra and Markov Chains. In: Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin, pp. 183-231. ISBN 3-540-42479-2
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) MODEST: A modelling language for stochastic timed systems. In: Joint Int. Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV), Aachen, Germany. pp. 87-104. Springer-Verlag. ISBN 3-540-42556-X
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) Modelling stochastic timed systems. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 31-36. Technology Foundation STW. ISBN 90-73461-26-X
Hermanns, H. (2001) Construction and Verification of Performance and Reliability Models. Bulletin of the European Association for Theoretical Computer Science, 74. pp. 135-153. ISSN 0252-9742
Hermanns, H. and Katoen, J.P. (2001) Performance evaluation:= (process algebra + model checking) x Markov chains. (Invited) In: CONCUR 2001 - Concurrency Theory: 12th International Conference, 20-25 Aug 2001, Aalborg, Denmark. pp. 59-81. Lecture Notes in Computer Science 2154. Springer. ISBN 3-540-42497-0
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany. pp. 110-114. Arbeitsberichte des IMMD 34 (13). University of Erlangen. ISSN 0344-3515
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 83-88. Technology Foundation STW. ISBN 90-73461-26-X
Infante-Lopez, G.G. and Hermanns, H. and Katoen, J.P. (2001) Beyond memoryless distributions: model checking semi-Markov chains. In: Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, 12-14 Sep 2001, Aachen, Germany. pp. 57-70. Lecture Notes in Computer Science 2165. Springer Verlag. ISBN 3-540-42556-X

2000

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) Model checking continuous-time Markov chains by transient analysis. In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA. pp. 358-372. Lecture Notes in Computer Science 1855. Springer Verlag. ISBN 3-540-67770-4
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Logical Characterisation of Performability Properties. In: International Conference on Automata, Languages and Programming (ICALP), 10-14 July 2000, Geneva, Switserland. pp. 780-792. Lecture Notes in Computer Science 1853. Springer. ISBN 9783540677154
Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany. pp. 228-237. IEEE Computer Society. ISBN 0769505430
Hermanns, H. (2000) Performance and reliability model checking and model construction. (Invited) In: Formal Methods for Industrial Critical Systems, 5th International Workshop, FMICS 2000, 3-4 April 2000, Berlin, Germany. pp. 11-27. report 91. GMD. ISSN 1435-2702
Hermanns, H. and Herzog, U. and Klehmet, U. and Mertsiotakis, V. and Siegle, M. (2000) Compositional Performance Modelling with the TIPPtool. Performance Evaluation, 39 (1-4). pp. 5-35. ISSN 0166-5316 *** ISI Impact 0,944 ***
Hermanns, H. and Katoen, J.P. (2000) Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming, 36 (1). pp. 97-127. ISSN 0167-6423 *** ISI Impact 0,828 ***
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) A Markov Chain Model Checker. In: Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, 27-31 March 2000, Berlin, Germany. pp. 347-362. Lecture Notes in Computer Science 1785. Springer Verlag. ISBN 3-540-67282-6
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) Towards Model Checking Stochastic Process Algebra. In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany. pp. 420-439. Lecture Notes in Computer Science 1945. Springer Verlag. ISBN 3-540-41196-8

1999

Baier, C. and Hermanns, H. (1999) Weak Bisimulation for Fully Probabilistic Processes. Technical Report TR-CTIT-99-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Katoen, J.P. and Hermanns, H. (1999) Approximate symbolic model checking of continous-time Markov chains. In: CONCUR '99: Concurrency Theory, 10th International Conference, August 24-27, 1999, Eindhoven, The Netherlands. pp. 146-162. Lecture Notes in Computer Science 1664. Springer-Verlag. ISBN 3-540-66425-4
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification, 19 - 20 June 1998, Indianapolis, Indiana. pp. 30-54. Electronic Notes in Theoretical Computer Science 22. Elsevier. ISSN 1571-0661
Hermanns, H. and Mertsiotakis, V. and Siegle, M. (1999) TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. In: Computer Aided Verification: 11th International Conference, CAV'99, July 6-10, 1999, Trento, Italy. pp. 487-490. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Hermanns, H. and Meyer-Kayser, J. and Siegle, M. (1999) Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In: 3rd Int. Workshop on the Numerical Solution of Markov Chains, 2000, Zaragossa, Spain. pp. 188-207. Prensas Universitarias de Zaragoza. ISBN not assigned
Hermanns, H. and Siegle, M. (1999) Bisimulation Algorithms for StochasticProcess Algebras and their BDD-based Implementation. In: Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, May 1999, Bamberg, Germany. pp. 144-264. Lecture Notes in Computer Science 1601. Springer Verlag. ISBN 3-540-66010-0

1998

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1998) On Generative Parallel Composition. In: Proc. of Workshop on Probabilistic Methods in Verification, (PROBMIV'98). pp. 105-121. School of Computer Science, University of Birmingham. ISBN not assigned
Hermanns, H. and Lohrey, M. (1998) Priority and Maximal Progress are completely axiomatisable. In: CONCUR'98 Concurrency Theory, September 8-11, 1998, Nice, France. pp. 237-252. Lecture Notes in Computer Science 1446. Springer Verlag. ISBN 3-540-64896-8