E-LIB Suche - Ergebnisse für: Klüppelholz, Sascha

1

Interaction detection in configurable systems – A formal ap..:

Chrszon, Philipp ; Baier, Christel ; Dubslaff, Clemens.
Journal of Systems and Software. 196 (2023) - p. 111556 , 2023

Link: https://doi.org/10.1016/..

2

PMC-VIS: An Interactive Visualization Tool for Probabilisti..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Korn, Max ; Méndez, Julián ; Klüppelholz, Sascha... - p. 361-375 , 2023

Link: https://doi.org/10.1007/..

3

Effectiveness of Pre-computed Knowledge in Self-adaptation ..:

, In: Computer Performance Engineering; Lecture Notes in Computer Science,

Korn, Max ; Chrszon, Philipp ; Klüppelholz, Sascha.. - p. 19-34 , 2023

Link: https://doi.org/10.1007/..

4

Correction to: From Emerson-Lei automata to deterministic, ..:

John, Tobias ; Jantsch, Simon ; Baier, Christel.
Innovations in Systems and Software Engineering. 19 (2023) 2 - p. 227-229 , 2023

Link: https://doi.org/10.1007/..

5

From Emerson-Lei automata to deterministic, limit-determini..:

John, Tobias ; Jantsch, Simon ; Baier, Christel.
Innovations in Systems and Software Engineering. 18 (2022) 3 - p. 385-403 , 2022

Link: https://doi.org/10.1007/..

6

Determinization and Limit-Determinization of Emerson-Lei Au..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

John, Tobias ; Jantsch, Simon ; Baier, Christel. - p. 15-31 , 2021

Link: https://doi.org/10.1007/..

7

Quantitative Characterization of Reconfigurable Transistor ..:

Raitza, Michael ; Marcker, Steffen ; Trommer, Jens...
IEEE Access. 8 (2020) - p. 112598-112614 , 2020

Link: https://doi.org/10.1109/..

8

From features to roles:

, In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A,

Chrszon, Philipp ; Baier, Christel ; Dubslaff, Clemens. - p. 1-11 , 2020

Link: https://dl.acm.org/doi/1..

9

Performance Evaluation of Thermal-Constrained Scheduling St..:

, In: Computer Performance Engineering; Lecture Notes in Computer Science,

Sardar, Muhammad Usama ; Dubslaff, Clemens ; Klüppelholz, Sascha.. - p. 133-147 , 2020

Link: https://doi.org/10.1007/..

10

Components in Probabilistic Systems: Suitable by Constructi..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,

Baier, Christel ; Dubslaff, Clemens ; Hermanns, Holger... - p. 240-261 , 2020

Link: https://doi.org/10.1007/..

11

Configuration of inter-process communication with probabili..:

Herrmann, Linda ; Küttler, Martin ; Stumpf, Tobias...
International Journal on Software Tools for Technology Transfer. 21 (2019) 6 - p. 651-666 , 2019

Link: https://doi.org/10.1007/..

12

Formal Parameter Synthesis for Energy-Utility-Optimal Fault..:

, In: Computer Performance Engineering; Lecture Notes in Computer Science,

Herrmann, Linda ; Baier, Christel ; Fetzer, Christof.. - p. 78-93 , 2018

Link: https://doi.org/10.1007/..

13

ProFeat: feature-oriented engineering for family-based prob..:

Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha.
Formal Aspects of Computing. 30 (2018) 1 - p. 45-75 , 2018

Link: https://doi.org/10.1007/..

14

A Hardware/Software Stack for Heterogeneous Systems:

Castrillon, Jeronimo ; Frohlich, Jochen ; Goens, Andres...
IEEE Transactions on Multi-Scale Computing Systems. 4 (2018) 3 - p. 243-259 , 2018

Link: https://doi.org/10.1109/..

15

Advances in probabilistic model checking with PRISM: variab..:

Klein, Joachim ; Baier, Christel ; Chrszon, Philipp...
International Journal on Software Tools for Technology Transfer. 20 (2017) 2 - p. 179-194 , 2017

Link: https://doi.org/10.1007/..