Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kuppe, Markus
46  Ergebnisse:
Personensuche X
?
1

Teaching TLA+ to Engineers at Microsoft:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,
Kuppe, Markus A. - p. 66-81 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Confidential Consortium Framework: Secure Multiparty Applic..:

Howard, Heidi ; Alder, Fritz ; Ashton, Edward...
Proceedings of the VLDB Endowment.  17 (2023)  2 - p. 225-240 , 2023
Link: https://doi.org/10.14778..
 
?
3

The TLA$$^{+}$$ Debugger:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,
Kuppe, Markus A. - p. 174-180 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Specification and Verification with the TLA+ Trifecta: TLC,..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Konnov, Igor ; Kuppe, Markus ; Merz, Stephan - p. 88-105 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Workflow-Management mit SAP 

SAP Press
Anikeev, Konstantin ; Chaitanya, Manish ; Dart, Jocelyn... - 3., erweiterte Auflage . , 2015
Exemplare:  TB BHV: wir 384/91(3); TB Nautik 15/9.3.2 Wor. 1
 
?
6

Beschäftigungsschwellen, Wachstum und Wirtschaftspolitik:

, In: Ausweg Wachstum? / Deutscher Studienpreis (Hrsg.). [Red.: Julia André ... ]
Ebbers, Stefanie ; Heskamp, Johannes ; Kuppe, Markus.. (2007)  - p. 139-159
Exemplare:  Zentrale:E02 a vwl 453.3/130; BB WiWi: 11a vwl 453.3/130a
 
?
7

Global reparametrization for curve approximation:

Speer, Thomas ; Kuppe, Markus ; Hoschek, Josef
Computer Aided Geometric Design.  15 (1998)  9 - p. 869-877 , 1998
Link: https://doi.org/10.1016/..
 
?
8

Beschäftigungsschwellen, Wachstum und Wirtschaftspolitik:

, In: Ausweg Wachstum?,
Ebbers, Stefanie ; Heskamp, Johannes ; Kuppe, Markus. - p. 139-159 ,
Link: https://doi.org/10.1007/..
 
?
9

Does Every Computer Scientist Need to Know Formal Methods?:

Broy, Manfred ; Brucker, Achim ; Fantechi, Alessandro...
Formal Aspects of Computing.  , 2024
Link: https://doi.org/10.1145/..
 
?
10

Understanding Inconsistency in Azure Cosmos DB with TLA+:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),
Hackett, Finn ; Rowe, Joshua ; Kuppe, Markus Alexander - p. 1-12 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Confidential Consortium Framework: Secure Multiparty Applic..:

Howard, Heidi ; Alder, Fritz ; Ashton, Edward...
http://arxiv.org/abs/2310.11559.  , 2023
Link: http://arxiv.org/abs/231..
 
?
12

Specification and Verification with the TLA+ Trifecta: TLC,..:

Konnov, Igor ; Kuppe, Markus ; Merz, Stephan
http://arxiv.org/abs/2211.07216.  , 2022
Link: http://arxiv.org/abs/221..
 
?
13

Specification and Verification with the TLA+ Trifecta: TLC,..:

Konnov, Igor ; Kuppe, Markus ; Merz, Stephan
info:eu-repo/semantics/altIdentifier/arxiv/2211.07216.  , 2022
Link: https://inria.hal.scienc..
 
?
14

Specification and Verification with the TLA+ Trifecta: TLC,..:

Konnov, Igor ; Kuppe, Markus ; Merz, Stephan
info:eu-repo/semantics/altIdentifier/arxiv/2211.07216.  , 2022
Link: https://inria.hal.scienc..
 
?
15

Specification and Verification with the TLA+ Trifecta: TLC,..:

Konnov, Igor ; Kuppe, Markus ; Merz, Stephan
info:eu-repo/semantics/altIdentifier/arxiv/2211.07216.  , 2022
Link: https://inria.hal.scienc..
 
1-15