Matthias Güdemann
Orcid: 0000-0002-1002-6023
According to our database1,
Matthias Güdemann
authored at least 33 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
2
1
1
1
1
2
1
1
1
1
1
4
3
5
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2024
2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
2022
Proceedings of the Sicherheit, 2022
Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022
2021
Softw. Qual. J., 2021
Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021
2020
Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020
2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version).
CoRR, 2017
2016
IEEE Trans. Serv. Comput., 2016
2015
Proceedings of the Formal Methods for Industrial Critical Systems, 2015
2013
Proceedings of the Fundamental Approaches to Software Engineering, 2013
2012
Proceedings of the ROBOTIK 2012, 2012
Unifying Probabilistic and Traditional Formal Model Based Analysis.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
2011
Qualitative and quantitative formal model-based safety analysis - push the safety button
PhD thesis, 2011
Proceedings of the Computer Safety, Reliability, and Security, 2011
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011
2010
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010
Proceedings of the Sicherheit 2010: Sicherheit, 2010
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010
Proceedings of the First International Workshop on Digital Engineering, 2010
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010
2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
2007
Proceedings of the Computer Safety, 2007
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006