Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Güdemann, Matthias
42  Ergebnisse:
Personensuche X
?
1

BlueCov: Integrating Test Coverage and Model Checking with ..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,
Güdemann, Matthias ; Schrammel, Peter - p. 1695-1697 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Level-Up - From Bits to Words:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
Güdemann, Matthias ; Riedl, Klaus - p. 124-142 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Preface to the special issue on improving software quality ..:

Güdemann, Matthias ; Mariani, Leonardo
Software Quality Journal.  29 (2021)  3 - p. 595-596 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Online Teaching of Verification of C Programs in Applied Co..:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,
Güdemann, Matthias - p. 18-34 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Flexible Formality Practical Experience with Agile Formal M..:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,
Kant, Philipp ; Hammond, Kevin ; Coutts, Duncan... - p. 94-120 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Session details: Theme: Software design and development: SV..:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,
Güdemann, Matthias ; Kosmatov, Nikolai , 2020
Link: https://dl.acm.org/doi/1..
 
?
7

Preface of the special issue on formal methods in industria..:

Güdemann, Matthias ; Núñez, Manuel
International Journal on Software Tools for Technology Transfer.  19 (2017)  4 - p. 391-393 , 2017
Link: https://doi.org/10.1007/..
 
?
8

VerChor: A Framework for the Design and Verification of Cho..:

Gudemann, Matthias ; Poizat, Pascal ; Salaun, Gwen.
IEEE Transactions on Services Computing.  9 (2016)  4 - p. 647-660 , 2016
Link: https://doi.org/10.1109/..
 
?
9

Formal Methods for Industrial Critical Systems 

20th International Workshop, FMICS 2015 Oslo, Norway, June ...  Lecture Notes in Computer Science ; 9128;SpringerLink, Bücher
Nuñez, Manuel ; Güdemann, Matthias , 2015
Link: https://doi.org/10.1007/..
 
?
10

Efficient optimization of large probabilistic models:

Struck, Simon ; Güdemann, Matthias ; Ortmeier, Frank
Journal of Systems and Software.  86 (2013)  10 - p. 2488-2501 , 2013
Link: https://doi.org/10.1016/..
 
?
11

Qualitative and quantitative formal model-based safety anal.. 

push the safety button 
Güdemann, Matthias , 2011
Link: http://nbn-resolving.de/..
 
?
12

SysML in digital engineering:

, In: Proceedings of the First International Workshop on Digital Engineering,
Güdemann, Matthias ; Kegel, Stefan ; Ortmeier, Frank.. - p. 1-8 , 2010
Link: https://dl.acm.org/doi/1..
 
?
13

Modeling of self-adaptive systems with SCADE:

, In: 2007 IEEE International Symposium on Circuits and Systems (ISCAS),
Gudemann, Matthias ; Angerer, Andreas ; Ortmeier, Frank. - p. None , 2007
Link: https://doi.org/10.1109/..
 
?
14

BlueCov: Integrating Test Coverage and Model Checking with ..:

Güdemann, Matthias ; Schrammel, Peter
http://arxiv.org/abs/2212.14779.  , 2022
Link: http://arxiv.org/abs/221..
 
?
15

Efficient Verification of Multi-Property Designs (The Benef..:

Goldberg, Eugene ; Gudemann, Matthias ; Kroening, Daniel.
http://arxiv.org/abs/1711.05698.  , 2017
Link: http://arxiv.org/abs/171..
 
1-15