Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998
Number of items: 81.

2014

Arnold, Florian and Hermanns, Holger and Pulungan, Reza and Stoelinga, Mariëlle (2014) Time-dependent analysis of attacks. In: Third International Conference on Principles and Security of Trust, POST 2014, April 5-13, 2014, Grenoble, France (pp. pp. 285-305).

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

Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark (2013) Modelling, reduction and analysis of Markov automata (extended version). [Report]

Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark (2013) Modelling, reduction and analysis of Markov automata. In: 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 55-71).

2011

Katoen, Joost-Pieter and Zapreev, Ivan S. and Hahn, Ernst Moritz and Hermanns, Holger and Jansen, David N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance Evaluation, 68 (2). pp. 90-104. ISSN 0166-5316

2010

Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performability assessment by model checking of Markov reward models. Formal Methods in System Design, 36 (1). pp. 1-36. ISSN 0925-9856

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782

Hermanns, Holger and Katoen, Joost-Pieter (2010) The How and Why of Interactive Markov Chains. In: Symposium on Formal Methods for Components and Objects, FMCO 2009, 4 - 6 November 2009, Eindhoven, the Netherlands (pp. pp. 311-337).

2009

Katoen, Joost-Pieter and Zapreev, Ivan S. and Hahn, Ernst Moritz and Hermanns, Holger and Jansen, David N. (2009) The Ins and Outs of the Probabilistic Model Checker MRMC. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 167-176).

Mader, Angelika and Bohnenkamp, Henrik and Usenko, Yaroslav S. and Jansen, David N. and Hurink, Johann and Hermanns, Holger (2009) Synthesis and stochastic assessment of cost-optimal schedules. International Journal on Software Tools for Technology Transfer (STTT), 12 (5). pp. 305-317. ISSN 1433-2779

2008

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany (pp. pp. 53-71).

2007

Bohnenkamp, Henrik and Hermanns, Holger and Katoen, Joost-Pieter (2007) Motor: The MoDeST Tool Environment. In: 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007, 24 March - 1 April 2007, Braga, Portugal (pp. pp. 500-504).

Zhang, L. 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. pp. 155-169).

2006

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Wolf, Verena (2006) Bisimulation and Simulation Relations for Markov Chains. In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy (pp. pp. 73-78).

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

Bravetti, Mario and Hermanns, Holger and Katoen, Joost-Pieter (2006) YMCA: Why Markov Chain Algebra? Electronic Notes in Theoretical Computer Science (ENTCS), 162 . pp. 107-112. ISSN 1571-0661

Bujorianu, Manuela L. and Blom, Henk A.P. and Hermanns, Holger (2006) Functional Abstraction of Stochastic Hybrid Systems. In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, 7-9 June 2006, Alghero, Italy (pp. pp. 160-165).

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. [Report]

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. pp. 477-492).

2005

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2005) Model Checking meets Performance Evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-15. ISSN 0163-5999

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Haverkort, Boudewijn R. (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

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Wolf, Verena (2005) Comparative branching-time semantics for Markov chains. Information and Computation, 200 (2). pp. 149-214. ISSN 0890-5401

Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) A comparative reliability analysis of ETCS train radio communications. [Report]

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, WOSP '05, July, 12-14, Palma de Mallorca, Spain (pp. pp. 13-23).

Jansen, David N. and Hermanns, Holger (2005) QoS modelling and analysis with UML-statecharts: the StoCharts approach. ACM SIGMETRICS Performance Evaluation Review, 32 . 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

Zhang, L. 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 (pp. pp. 98-112).

Zhang, Lijun and Hermanns, Holger and Jansen, David N. (2005) Logic and model checking for hidden Markov models. [Report]

2004

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

Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2004) Comparative branching-time semantics for Markov chains. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: 10th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS, March 29 - April 2, 2004, Barcelona, Spain (pp. pp. 61-76).

Baier, Christel and Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Hermanns, Holger and Siegle, Markus , eds. (2004) Validation of Stochastic Systems : A Guide to Current Research. Lecture Notes in Computer Science, 2925 . Springer-Verlag, Berlin, Germany. ISBN 9783540222651

Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. In: First International Conference on the Quantitative Evaluation of Systems, QEST, 27-30 Sept. 2004, Enschede, The Netherlands (pp. pp. 28-37).

Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. [Report]

Bohnenkamp, Henrik and D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter (2004) MoDeST: a compositional modeling formalism for hard and softly timed systems. [Report]

Jansen, D.N. and Hermanns, H. (2004) Dependability checking with StoCharts: Is train radio reliable enough for trains? In: QEST 2004 proceedings (pp. pp. 250-259).

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 9783540230687

2003

Andova, Suzana and Hermanns, Holger and Katoen, Joost-Pieter (2003) Discrete-time rewards model-checked. In: First International Workshop on Formal Modelling and Analysis of Timed Systems, FORMATS 2003, September 6-7, 2003, Marseille, France (pp. pp. 88-104).

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589

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. [Report]

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Wolf, Verena (2003) Comparative branching-time semantics for Markov chains (extended abstract). In: 14th International Conference on Concurrency Theory, CONCUR 2003, September 3-5, 2003, Marseille, France (pp. pp. 492-507).

Bohnenkamp, Henrik and Courtney, Tod and Daly, David and Derisavi, Salem and Hermanns, Holger and Katoen, Joost-Pieter and Klaren, Ric and Vi Lam, Vinh and Sanders, William H. (2003) On Integrating the Mobius and Modest Modeling Tools. In: International Conference on Dependable Systems and Networks, DSN 2003, 22-25 June, 2003, San Francisco, USA.

Bohnenkamp, Henrik and Stok, Peter van der and Hermanns, Holger and Vaandrager, Frits (2003) Cost-Optimisation of the IPv4 Zeroconf Protocol. In: International Conference on Dependable Systems and Networks, DSN 2003, 22-25 June, 2003, San Francisco, USA (pp. pp. 531-540).

Derisavi, Salem and Hermanns, Holger and Sanders, William H. (2003) Optimal state-space lumping in Markov chains. Information Processing Letters, 87 (6). pp. 309-315. ISSN 0020-0190

Eertink, Henk and Fokkink, Wan and Langevelde, Izak van and Hermanns, Holger (2003) The Systems Validation Centre in retrospect. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 33-37.

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

Hermanns, Holger and Kwiatkowska, Marta and Norman, Gethin and Parker, David and Siegle, Markus (2003) On the use of MTBDDs for performability analysis and verification of stochastic systems. Journal of Logic and Algebraic Programming, 56 (1-2). pp. 23-67. ISSN 1567-8326

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2003) A QoS-oriented extension of UML statecharts. In: 6th International Conference on the Unified Modeling Language, UML 2003, October 20-24, 2003, San Francisco, CA, USA (pp. pp. 76-91).

2002

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (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 9783540442523

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Haverkort, Boudewijn (2002) Simulation for continuous-time Markov chains. In: 13th International Conference on Concurrency Theory, CONCUR 2002, August 20-23, 2002, Brno, Czech Republic (pp. pp. 338-352).

Haverkort, Boudewijn and Cloth, Lucia and Hermanns, Holger and Katoen, Joost-Pieter and Baier, Christel (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks, DSN, 23-26 June 2002, Bethesda, MD, USA (pp. pp. 103-112).

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. pp. 410-429).

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

Hermanns, Holger and Herzog, Ulrich and Katoen, Joost-Pieter (2002) Process algebra for performance evaluation. Theoretical Computer Science, 274 (1-2). pp. 43-87. ISSN 0304-3975

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2002) A probabilistic extension of UML statecharts: Specification and Verification. In: 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, September 9-12, 2002, Oldenburg, Germany (pp. pp. 355-374).

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2002) A probabilistic extension of UML statecharts: specification and verification. [Report]

Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2002) Axiomatising Divergence. In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002 (pp. pp. 585-596).

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 9783540424796

Brinksma, H. and Hermanns, H. and Katoen, J.P. , eds. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science, 2090 . Springer Verlag, Berlin. ISBN 9783540424796

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. pp. 31-36).

D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter and Klaren, Ric (2001) MoDeST: A Modelling language for Stochastic Timed Systems. In: Joint International Workshop on Process Algebra and Probabilistic Methods. Performance Modelling and Verification, PAPM-PROBMIV, September 12–14, 2001, Aachen, Germany (pp. pp. 87-104).

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. In: 12th International Conference on Concurrency Theory, CONCUR 2001, 20-25 Aug 2001, Aalborg, Denmark (pp. pp. 59-81).

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. pp. 110-114).

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. pp. 83-88).

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. pp. 57-70).

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. pp. 358-372).

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Logical Characterisation of Performability Properties. In: 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, Geneva, Switzerland (pp. pp. 780-792).

Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 19th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany (pp. pp. 228-237).

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

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

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. pp. 420-439).

Hermanns, Holger and Katoen, Joost-Pieter and Meyer-Kayser, Joachim and Siegle, M. (2000) A Markov Chain Model Checker. In: 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, 27-31 March 2000, Berlin, Germany (pp. pp. 347-362).

1999

Baier, Christel and Hermanns, Holger (1999) Weak bisimulation for fully probabilistic processes. [Report]

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger (1999) Approximate symbolic model checking of continous-time Markov chains. In: 10th International Conference on Concurrency Theory, CONCUR '99, August 24-27, 1999, Eindhoven, The Netherlands (pp. pp. 146-162).

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: First International Workshop on Probabilistic Methods in Verification, PROBMIV '98, 19-20 June 1998, Indianapolis, Indiana (pp. pp. 30-54).

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. pp. 487-490).

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. pp. 144-264).

1998

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. pp. 237-252).

This list was generated on Tue Sep 16 05:22:55 2014 CEST.