( en | de | ru )

 

Disambiguation of "Hartmanns, Arnd"

Author of the publication

copydeleteadd this publication to your clipboard
Flexible support for time and costs in scenario-aware dataflow.

, , and . EMSOFT, page 3:1-3:10. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Arnd Hartmanns

Willi Hartmanns

Jörg Hartmanns

Marianne Hartmanns

Yvonne Arndt

Die Rolle von Verbänden bei der Förderung nachhaltigen Konsums und Konsequenzen für die Verbraucherpolitik. TU München, (2009)
 

Other publications of authors with the same name

The Modest State of Learning, Sampling, and Verifying Strategies., and . ISoLA (3), volume 13703 of Lecture Notes in Computer Science, page 406-432. Springer, (2022)Learning optimal decisions for stochastic hybrid systems., , and . MEMOCODE, page 44-55. ACM, (2021)Symblicit exploration and elimination for probabilistic model checking., and . SAC, page 1798-1806. ACM, (2021)Flexible support for time and costs in scenario-aware dataflow., , and . EMSOFT, page 3:1-3:10. ACM, (2016)Replicating sc Restart with Prolonged Retrials: An Experimental Report., and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 373-380. Springer, (2021)The Quantitative Verification Benchmark Set., , , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 344-350. Springer, (2019)Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System., , , , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 232-248. Springer, (2021)The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)., , , , , , , , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 69-92. Springer, (2019)Correct Probabilistic Model Checking with Floating-Point Arithmetic.. TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 41-59. Springer, (2022)Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 1-18. Springer, (2021)