Nikolaus Huber

34 papers A* 1A 1B 2C 3Journal 8Unranked 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
Compiling the Mimosa programming language to RTOS tasks.
CoRR
Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025 — conf
Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM.
TACAS (3)
Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard
2025 C conf
Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software.
COORDINATION
Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025 J jnl
Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software.
CoRR
Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025 — conf
Timing is All You Need.
The Combined Power of Research, Education, and Dissemination
Susanne Graf, Bengt Jonsson, Behnam Khodabandeloo, Chengzi Huang, Nikolaus Huber, Philipp Rümmer, Wang Yi
2024 — conf
An Encoding of Interaction Nets in OCaml.
GCM
Nikolaus Huber, Wang Yi
2017 C conf
Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language.
Software Engineering
Samuel Kounev, Nikolaus Huber, Fabian Brosig, Simon Spinner, Manuel Bähr
2017 J jnl
Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language.
IEEE Trans. Software Eng.
Nikolaus Huber, Fabian Brosig, Simon Spinner, Samuel Kounev, Manuel Bähr
2016 J jnl
A Model-Based Approach to Designing Self-Aware IT Systems and Infrastructures.
Computer
Samuel Kounev, Nikolaus Huber, Fabian Brosig, Xiaoyun Zhu
2015 — conf
Model-Based Autonomic and Performance-Aware System Adaptation in Heterogeneous Resource Environments: A Case Study.
ICCAC
Nikolaus Huber, Jürgen Walter, Manuel Bahr, Samuel Kounev
2015 — conf
The Descartes Modeling Language for Self-Aware Performance and Resource Management.
Software Engineering & Management
Samuel Kounev, Fabian Brosig, Nikolaus Huber
2014 J jnl
Architecture-level software performance abstractions for online performance prediction.
Sci. Comput. Program.
Fabian Brosig, Nikolaus Huber, Samuel Kounev
2014 — —
Autonomic Performance-Aware Resource Management in Dynamic IT Service Infrastructures.
Nikolaus Huber
2014 J jnl
Deriving performance-relevant infrastructure properties through model-based experiments with Ginpex.
Softw. Syst. Model.
Michael Hauck, Michael Kuperberg, Nikolaus Huber, Ralf H. Reussner
2014 J jnl
Modeling run-time adaptation at the system architecture level in dynamic service-oriented environments.
Serv. Oriented Comput. Appl.
Nikolaus Huber, André van Hoorn, Anne Koziolek, Fabian Brosig, Samuel Kounev
2014 J jnl
Self-adaptive workload classification and forecasting for proactive resource provisioning.
Concurr. Comput. Pract. Exp.
Nikolas Roman Herbst, Nikolaus Huber, Samuel Kounev, Erich Amrehn
2013 B conf
Evaluating Approaches for Performance Prediction in Virtualized Environments.
MASCOTS
Fabian Brosig, Fabian Gorsler, Nikolaus Huber, Samuel Kounev
2013 B conf
Self-adaptive workload classification and forecasting for proactive resource provisioning.
ICPE
Nikolas Roman Herbst, Nikolaus Huber, Samuel Kounev, Erich Amrehn
2012 — conf
Modeling dynamic virtualized resource landscapes.
QoSA
Nikolaus Huber, Fabian Brosig, Samuel Kounev
2012 — conf
Modeling parameter and context dependencies in online architecture-level performance models.
CBSE
Fabian Brosig, Nikolaus Huber, Samuel Kounev
2012 — ch.
Providing Dependability and Performance in the Cloud: Case Studies.
Resilience Assessment and Evaluation of Computing Systems
Nikolaus Huber, Fabian Brosig, Nicholas J. Dingle, Kaustubh Joshi, Samuel Kounev
2012 — conf
S/T/A: Meta-Modeling Run-Time Adaptation in Component-Based System Architectures.
ICEBE
Nikolaus Huber, André van Hoorn, Anne Koziolek, Fabian Brosig, Samuel Kounev
2011 A* conf
Automated extraction of architecture-level performance models of distributed component-based systems.
ASE
Fabian Brosig, Nikolaus Huber, Samuel Kounev
2011 — conf
Automated simulation-based capacity planning for enterprise data fabrics.
SimuTools
Samuel Kounev, Konstantin Bender, Fabian Brosig, Nikolaus Huber, Russell Okamoto
2011 C conf
Evaluating and Modeling Virtualization Performance Overhead for Cloud Environments.
CLOSER
Nikolaus Huber, Marcel von Quast, Michael Hauck, Samuel Kounev
2011 — ed.
Fifth International Workshop on the Practical Application of Stochastic Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011
PASM@ICPE
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig
2011 — conf
Ginpex: deriving performance-relevant infrastructure properties through goal-oriented experiments.
QoSA/ISARCS
Michael Hauck, Michael Kuperberg, Nikolaus Huber, Ralf H. Reussner
2011 — conf
Model-Based Techniques for Performance Engineering of Business Information Systems.
BMSD
Samuel Kounev, Nikolaus Huber, Simon Spinner, Fabian Brosig
2011 A conf
Model-based self-adaptive resource allocation in virtualized environments.
SEAMS
Nikolaus Huber, Fabian Brosig, Samuel Kounev
2011 — conf
Preface.
PASM@ICPE
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig
2011 — conf
Self-aware QoS management in virtualized infrastructures.
ICAC
Samuel Kounev, Fabian Brosig, Nikolaus Huber
2010 — conf
Analysis of the Performance-Influencing Factors of Virtualization Platforms.
OTM Conferences (2)
Nikolaus Huber, Marcel von Quast, Fabian Brosig, Samuel Kounev
2010 — conf
Performance modeling in industry: a case study on storage virtualization.
ICSE (2)
Nikolaus Huber, Steffen Becker, Christoph Rathfelder, Jochen Schweflinghaus, Ralf H. Reussner
2010 — conf
Towards Self-Aware Performance and Resource Management in Modern Service-Oriented Systems.
IEEE SCC
Samuel Kounev, Fabian Brosig, Nikolaus Huber, Ralf H. Reussner