Nikolaus Huber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | Coordination | Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. | Nikolaus Huber, Susanne Graf, Philipp Rmmer, Wang Yi |
| 2025 | TACAS | Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM. | Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard |
| 2013 | MASCOTS | Evaluating Approaches for Performance Prediction in Virtualized Environments. | Fabian Brosig, Fabian Gorsler, Nikolaus Huber, Samuel Kounev |
| 2011 | CLOSER | Evaluating and Modeling Virtualization Performance Overhead for Cloud Environments. | Nikolaus Huber, Marcel von Quast, Michael Hauck, Samuel Kounev |
| 2011 | ICSE | Model-based self-adaptive resource allocation in virtualized environments. | Nikolaus Huber, Fabian Brosig, Samuel Kounev |
| 2010 | ICSE | Performance modeling in industry: a case study on storage virtualization. | Nikolaus Huber, Steffen Becker, Christoph Rathfelder, Jochen Schweflinghaus, Ralf H. Reussner |