Thomas Gorges

Software Process Model using Dynamic Bayesian Networks

Wolfgang Rosenstiel, Thomas Schulz, Lukasz Radlinski, 2011 .

Next Generation Technologies for Underbalanced Coil Tubing Drilling

Thomas Gorges, Anton Kozlov, Serve Frantzen, 2010 .

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

Carsten Sinz, Thomas Gorges, Alexander Kaiser, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

Legal Interception of VoIP calls in IP-based networks.

Thomas Gorges, Yuzhong Shen, 2002 .

Abstract Testing: Connecting Source Code Verification with Requirements

Thomas Kropf, Carsten Sinz, Thomas Gorges, 2010, 2010 Seventh International Conference on the Quality of Information and Communications Technology.

Defect cost flow model: a Bayesian network for predicting defect correction effort

Wolfgang Rosenstiel, Thomas Schulz, Lukasz Radlinski, 2010, PROMISE '10.

Bridging the gap between test cases and requirements by abstract testing

Thomas Kropf, Carsten Sinz, Thomas Gorges, 2015, Innovations in Systems and Software Engineering.

Predicting the Flow of Defect Correction Effort using a Bayesian Network Model

Wolfgang Rosenstiel, Thomas Schulz, Lukasz Radlinski, 2011, Empirical Software Engineering.

Linking Functional Requirements and Software Verification

Thomas Kropf, Carsten Sinz, Thomas Gorges, 2009, 2009 17th IEEE International Requirements Engineering Conference.

Interception legale pour appels VOIP dans un réséau de telecommunications IP

Thomas Gorges, Yuzhong Shen, 2002 .