ARND HARTMANNS
Arnd Hartmanns

I am a Ph.D. student at the chair of Prof. Dr.-Ing. Holger Hermanns since summer 2009. My primary research interests are modelling tools and formalisms for stochastic timed and hybrid systems (in particular Modest) and their applications in various fields.

Contact

Room: Building E1 3, Room 511.2
E-Mail:
Phone: +49 681 302 5621

Publications

[DBLP] [GS]

  • On-the-fly Confluence Detection for Statistical Model Checking
    with Mark Timmer,
    NFM 2013, Moffett Field, CA, USA (May 2013) [DOI]
  • An Internet Inspired Approach to Power Grid Stability
    with Holger Hermanns,
    it – Information Technology (2013) [DOI]
  • A Comparative Analysis of Decentralized Power Grid Stabilization Strategies
    with Pascal Berrang and Holger Hermanns,
    WSC 2012, Berlin, Germany (December 2012) [ACM] [PDF]
  • Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids
    with Holger Hermanns,
    ISoLA 2012, Heraclion, Greece (October 2012) [DOI]
  • Modest – A Unified Language for Quantitative Models
    FDL 2012, Vienna, Austria (September 2012) [IEEE]
  • A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems
    with Ernst Moritz Hahn, Holger Hermanns and Joost-Pieter Katoen,
    Formal Methods in System Design (2012) [DOI]
  • mctau: Bridging the Gap between Modest and UPPAAL
    with Jonathan Bogdoll, Alexandre David and Holger Hermanns,
    SPIN 2012, Oxford, United Kingdom (July 2012) [DOI]
  • Modeling of Networked Automation Systems for Simulation and Model Checking of Time Behavior
    with Jens Folmer, Georg Frey, Holger Hermanns, Liu Liu and Birgit Vogel-Heuser,
    SSD/SAC 2012, Chemnitz, Germany (March 2012) [DOI]
  • Simulation and Statistical Model Checking for Modestly Nondeterministic Models
    with Jonathan Bogdoll and Holger Hermanns,
    MMB/DFT 2012, Kaiserslautern, Germany (March 2012) [DOI]
  • State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems
    with Marius Bozga, Alexandre David, Holger Hermanns, Kim G. Larsen, Axel Legay and Jan Tretmans,
    DATE 2012, Dresden, Germany (March 2012) [IEEE]
  • Partial Order Methods for Statistical Model Checking and Simulation
    with Jonathan Bogdoll, Luis María Ferrer Fioriti and Holger Hermanns,
    FMOODS/FORTE 2011, Reykjavík, Iceland (June 2011) [DOI]
  • Model-Checking and Simulation for Stochastic Timed Systems
    FMCO 2010, Graz, Austria (December 2010) [DOI]
  • A Modest Approach to Checking Probabilistic Timed Automata
    with Holger Hermanns,
    QEST 2009, Budapest, Hungary (September 2009) [DOI]

Talks

  • NFM 2013, Moffett Field, CA, USA (May 2013): On-the-fly Confluence Detection for Statistical Model Checking (with Mark Timmer)
  • CPSWeek 2013, Philadelphia, PA, USA (April 2013): Modelling and Analysis of Stochastic, Hybrid and Real-Time Systems with the Modest Toolset (demo/poster)
  • CPSWeek 2013, Philadelphia, PA, USA (April 2013): Model Checking for Probabilistic Hybrid Systems (tutorial, with Moritz Hahn and Marta Kwiatkowska)
  • QAPL 2013, Rome, Italy (March 2013): On-the-fly Confluence Detection for Statistical Model Checking (with Mark Timmer) [PDF]
  • 0.5th MEALS Project Workshop, Buenos Aires, Argentina (January 2013): A Comparative Analysis of Decentralised Power Grid Stabilisation Strategies
  • WSC 2012, Berlin, Germany (December 2012): A Comparative Analysis of Decentralized Power Grid Stabilization Strategies
  • MEMICS 2012, Znojmo, Czech Republic (October 2012): Compositional Modelling and Safety Verification for Stochastic Hybrid Systems
  • FDL 2012, Vienna, Austria (September 2012): Modest – A Unified Language for Quantitative Models
  • SPIN 2012, Oxford, United Kingdom (July 2012): mctau: Bridging the Gap between Modest and UPPAAL
  • Workshop Energieinformatik 2012, Oldenburg, Germany (July 2012): Performability Estimates for Power Grids with Decentralised Stabilisation Strategies
  • MMB/DFT 2012, Kaiserslautern, Germany (March 2012): Simulation and Statistical Model Checking for Modestly Nondeterministic Systems
  • DATE 2012, Dresden, Germany (March 2012): The Modest Toolset for Stochastic Timed Systems
  • 5th ROCKS Project Meeting, Herrsching, Germany (October 2011): Partial Order Methods for Statistical Model Checking and Simulation
  • FMOODS/FORTE 2011, Reykjavík, Iceland (June 2011): Partial Order Methods for Statistical Model Checking and Simulation
  • FMCO 2010, Graz, Austria (December 2010): Model-Checking and Simulation for Stochastic Timed Systems [PDF]
  • Séminaire VASY 2010, Grenoble, France (June 2010): Modelling and Model-Checking with Modest
  • 6th Quasimodo Project Meeting, Saarbrücken, Germany (June 2010): Modest Progress [PDF]
  • QEST 2009, Budapest, Hungary (September 2009): A Modest Approach to Checking Probabilistic Timed Automata
  • 3rd Quasimodo Project Meeting, Brussels, Belgium (February 2009): A Modest Checker for Probabilistic Timed Automata [PDF]
  • AVACS Project Meeting, Saarbrücken, Germany (September 2008): Towards a Modest Checker for Probabilistic Timed Automata

Technical Reports

  • Dependability Results for Power Grids with Decentralized Stabilization Strategies
    with Pascal Berrang, Jonathan Bogdoll, Ernst Moritz Hahn and Holger Hermanns,
    AVACS Technical Report No. 83 (April 2012) [PDF] [BIB]
  • A Modest Checker for Probabilistic Timed Automata
    AVACS Technical Report No. 49 (April 2009) [PDF] [BIB]

Teaching

Theses

  • A Modest Checker for Probabilistic Timed Automata, Master's Thesis, Universität des Saarlandes, March 2009
  • Value Passing in Modest, Bachelor's Thesis, Universität des Saarlandes, May 2007 [PDF]

Other work

Reviews: I reviewed papers for CONCUR 2009, AVoCS 2009, MMB/DFT 2010, DSN 2010, CAV 2010, FORMATS 2010, FMCO 2010, HSCC 2011, CAV 2011, FMICS 2011, ATVA 2011, FORMATS 2011, HSCC 2012, TACAS 2012, FMICS 2012, AVoCS 2012, VMCAI 2013, ESOP 2013 and HSCC 2013.