Items where Author is "Hermanns, Holger"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 6.

Article

D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017) Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.
CoRR, abs/17.

Berrang, Pascal and Bogdoll, Jonathan and Hahn, Ernst Moritz and Hartmanns, Arnd and Hermanns, Holger
(2012) Dependability Results for Power Grids with Decentralized Stabilization Strategies.
AVACS Technical Report (83). ISSN 1860-9821

Conference or Workshop Item

D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017) Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
Conference: ESOP - European Symposium on Programming

Dimitrova, Rayna and Fioriti, Luis MarĂ­a Ferrer and Hermanns, Holger and Majumdar, Rupak
(2016) Probabilistic CTL*: The Deductive Way.
In: Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16).
Conference: TACAS - Tools and Algorithms for Construction and Analysis of Systems

Barthe, Gilles and D'Argenio, Pedro R. and Finkbeiner, Bernd and Hermanns, Holger
(2016) Facets of Software Doping.
In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II.
Conference: None | Not Set

Hartmanns, Arnd and Hermanns, Holger and Berrang, Pascal
(2012) A comparative analysis of decentralized power grid stabilization strategies.
In: Proceedings of the Winter Simulation Conference.

This list was generated on Fri Dec 6 00:03:28 2019 CET.