E-LIB Suche - Ergebnisse für: Luthmann, Lars

1

Compositional testing of management conformance for multi-c..:

Soldani, Jacopo ; Luthmann, Lars ; Gottwald, Nicolas..
Service Oriented Computing and Applications. 16 (2022) 3 - p. 209-225 , 2022

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

2

Specification and Analysis of Software Systems with Configu..:

Luthmann, Lars , 2020

Link: https://nbn-resolving.de..

3

Real-time-aware reconfiguration decisions for dynamic softw..:

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

Göttmann, Hendrik ; Luthmann, Lars ; Lochau, Malte. - p. 1-11 , 2020

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

4

Testing Conformance in Multi-component Enterprise Applicati..:

, In: Service-Oriented and Cloud Computing; Lecture Notes in Computer Science,

Soldani, Jacopo ; Luthmann, Lars ; Lochau, Malte. - p. 3-18 , 2020

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

5

Parametric Timed Bisimulation:

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

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik. - p. 55-71 , 2020

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

6

Compositional Liveness-Preserving Conformance Testing of Ti..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte - p. 147-169 , 2020

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

7

Measuring effectiveness of sample-based product-line testin:

Ruland, Sebastian ; Luthmann, Lars ; Bürdek, Johannes...
ACM SIGPLAN Notices. 53 (2020) 9 - p. 119-133 , 2020

Link: https://doi.org/10.1145/..

8

Sampling strategies for product lines with unbounded parame..:

Luthmann, Lars ; Gerecht, Timo ; Lochau, Malte
International Journal on Software Tools for Technology Transfer. 21 (2019) 6 - p. 613-633 , 2019

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

9

Minimum/maximum delay testing of product lines with unbound..:

Luthmann, Lars ; Gerecht, Timo ; Stephan, Andreas..
Journal of Systems and Software. 149 (2019) - p. 535-553 , 2019

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

10

Modal transition system encoding of featured transition sys..:

Varshosaz, Mahsa ; Luthmann, Lars ; Mohr, Paul..
Journal of Logical and Algebraic Methods in Programming. 106 (2019) - p. 1-28 , 2019

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

11

Unifying modal interface theories and compositional input/o..:

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Science of Computer Programming. 172 (2019) - p. 27-47 , 2019

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

12

Measuring effectiveness of sample-based product-line testin:

, In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Ruland, Sebastian ; Luthmann, Lars ; Bürdek, Johannes... - p. 119-133 , 2018

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

13

Modeling and Testing Product Lines with Unbounded Parametri..:

, In: Proceedings of the 21st International Systems and Software Product Line Conference - Volume A,

Luthmann, Lars ; Stephan, Andreas ; Bürdek, Johannes. - p. 104-113 , 2017

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

14

Real-Time-Aware Reconfiguration Decisions for Dynamic Softw..:

Göttmann Hendrik ; Luthmann Lars ; Lochau Malte.
doi:10.5281/zenodo.4038316. , 2020

Link: https://zenodo.org/recor..

15

Testing Conformance in Multi-component Enterprise Applicati..:

Soldani, Jacopo ; Luthmann, Lars ; Lochau, Malte.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-44769-4_1. , 2020

Link: https://hal.inria.fr/hal..