Arnd Hartmanns

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Carina da Silva

> Home > Persons > Arnd Hartmanns

Publications

2025
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/NiehageSRH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NiehageSRH25
Mathis Niehage, Carina da Silva, Anne Remke, Arnd Hartmanns:
Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions. NFM 2025: 254-274
2020
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/AbateBCDHKLPRSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/AbateBCDHKLPRSS20
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani:
ARCH-COMP20 Category Report: Stochastic Models. ARCH 2020: 76-106
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/PilchHR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/PilchHR20
Carina Pilch, Arnd Hartmanns, Anne Remke:
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. HSCC 2020: 10:1-10:11

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.