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]

  • Reachability and Reward Checking for Stochastic Timed Automata
    with Ernst Moritz Hahn and Holger Hermanns: AVoCS 2014, Enschede, The Netherlands (September 2014), to appear.
  • Sound Statistical Model Checking for MDP using Partial Order and Confluence Reduction
    with Mark Timmer: Software Tools for Technology Transfer (2014) [DOI]
  • The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
    with Holger Hermanns: TACAS 2014, Grenoble, France (April 2014) [DOI]
  • 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 (October 2013) [DOI]
  • 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 (April 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]
  • 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

  • AVoCS 2014, Enschede, The Netherlands (September 2014): Reachability and Reward Checking for Stochastic Timed Automata
  • TACAS 2014, Grenoble, France (April 2014): The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
  • 2nd MEALS Workshop, Grenoble, France (April 2014): The Modest Toolset
  • IST RiSE Seminar, Klosterneuburg, Austria (March 2014): Models, Tools and Techniques for Stochastic Timed Systems
  • 8th ROCKS Project Meeting, Slenaken, The Netherlands (November 2013): On-the-fly Confluence Detection for Statistical Model Checking (with Mark Timmer)
  • 3rd SENSATION Project Meeting, Enschede, The Netherlands (October 2013): Modest Tutorial
  • 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]

Reviews

Conferences: 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, HSCC 2013 and HSCC 2014.

Journals: Theoretical Computer Science (2013), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2013)