Thomas Fuchß

According to our database, Thomas Fuchß authored at least 7 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Towards Automatic Support of Software Model Evolution with Large Language~Models.

Christof Tinnes, Thomas Fuchß, Uwe Hohenstein, Sven Apel

CoRR, 2023

2020

Large-Scale Assessment of Binding Free Energy Calculations in Active Drug Discovery Projects.

Christina E. M. Schindler, Hannah Baumann, Andreas Blum, Dietrich Böse, Hans-Peter Buchstaller, Lars Burgdorf, Daniel Cappel, Eugene Chekler, Paul Czodrowski, Dieter Dorsch, Merveille K. I. Eguida, Bruce Follows, Thomas Fuchß, Ulrich Grädler, Jakub Gunera, Theresa Johnson, Catherine Jorand Lebrun, Srinivasa Karra, Markus Klein, Tim Knehans, Lisa Koetzner, Mireille Krier, Matthias Leiendecker, Birgitta Leuthner, Liwei Li, Igor Mochalkin, Djordje Musil, Constantin Neagu, Friedrich Rippmann, Kai Schiemann, Robert Schulz, Thomas Steinbrecher, Eva-Maria Tanzer, Andrea Unzue Lopez, Ariele Viacava Follis, Ansgar Wegener, Daniel Kuhn

J. Chem. Inf. Model., 2020

Anomaly Detection for Automotive Diagnostic Applications Based on N-Grams.

Marcel Rumez, Jinghua Lin, Thomas Fuchß, Reiner Kriesten, Eric Sax

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2000

Erfahrungen mit der ITSEC E4/hoch-Zertifizierung - Ist bewiesene Sicherheit bezahlbar? Erfahrungsbericht eines Softwarehauses.

Thomas Fuchß, Lothar Fritsch

Datenschutz und Datensicherheit, 2000

Security Certificates as a Tool for Measuring Efficiency and Creating Transparency - A Software Vendors View.

Thomas Fuchß, Lothar Fritsch

Datenschutz und Datensicherheit, 2000

1998

Eine temporale Logik der Prozesse.

Thomas Fuchß

PhD thesis, 1998

1995

Three Selected Case Studies in Verification.

Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel

Proceedings of the KORSO, 1995