E-LIB Suche - Ergebnisse für: Knapp, Alexander

1

Evolving distributed embedded applications during operation:

Telschig, Kilian , 2023

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

2

An Intermediate Language-Based Approach to Implementing and..:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Knapp, Alexander - p. 289-307 , 2023

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

3

Interpreting Knowledge-based Programs:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Knapp, Alexander ; Mühlberger, Heribert ; Reus, Bernhard - p. 253-280 , 2023

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

4

Automated QoS-Aware Service Selection Based on Soft Constra..:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Keis, Elias ; Pombo, Carlos Gustavo Lopez ; Suñé, Agustín Eloy Martinez. - p. 121-140 , 2023

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

5

Predicting the Effect of Localized ACL Damage on Neighbor L..:

Knapp, Alexander ; Williams, Lakiesha N.
Bioengineering. 9 (2022) 2 - p. 54 , 2022

Link: https://doi.org/10.3390/..

6

Specification of systems with parameterised events: An inst..:

Hennicker, Rolf ; Knapp, Alexander
Journal of Logical and Algebraic Methods in Programming. 128 (2022) - p. 100791 , 2022

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

7

An Institutional Approach to Communicating UML State Machin..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Rosenberger, Tobias ; Knapp, Alexander ; Roggenbach, Markus - p. 205-224 , 2022

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

8

Cube Bot — A Smart Factory Showcase for the Real-Time Conta..:

, In: 2022 IEEE 20th International Conference on Industrial Informatics (INDIN),

Hirsch, Joseph ; Lichtblau, Marius ; Rosenfeld, Marian Lingsch.. - p. 312-316 , 2022

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

9

Epistemic Ensembles:

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

Hennicker, Rolf ; Knapp, Alexander ; Wirsing, Martin - p. 110-126 , 2022

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

10

A Hoare Logic with Regular Behavioral Specifications:

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

Ernst, Gidon ; Knapp, Alexander ; Murray, Toby - p. 45-64 , 2022

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

11

A reduction-based cut-free Gentzen calculus for dynamic epi..:

Wirsing, Martin ; Knapp, Alexander
Logic Journal of the IGPL. 31 (2022) 6 - p. 1047-1068 , 2022

Link: https://doi.org/10.1093/..

12

Observational interpretations of hybrid dynamic logic with ..:

Hennicker, Rolf ; Knapp, Alexander ; Madeira, Alexandre
Journal of Logical and Algebraic Methods in Programming. 122 (2021) - p. 100698 , 2021

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

13

Hybrid dynamic logic institutions for event/data-based syst..:

Hennicker, Rolf ; Knapp, Alexander ; Madeira, Alexandre
Formal Aspects of Computing. 33 (2021) 6 - p. 1209-1248 , 2021

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

14

Institution-Based Encoding and Verification of Simple UML S..:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Rosenberger, Tobias ; Bensalem, Saddek ; Knapp, Alexander. - p. 120-141 , 2021

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

15

Machine Learning-based Test Strategies for Self-Adaptive Sy..:

Reichstaller, Andre , 2020

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