Tim Bauer

According to our database, Tim Bauer authored at least 9 papers between 2009 and 2023.

Collaborative distances:

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

2023

IoT und Cybersicherheit als Erfolgsfaktoren für den B2B-Kundenservice.

Manuel Kern, Tim Bauer, Marco Schmäh, Oliver Götz

HMD Prax. Wirtsch., October, 2023

2012

Lightweight Automated Testing with Adaptation-Based Programming.

Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Learning-Based Test Programming for Programmers.

Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Faster program adaptation through reward attribution inference.

Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto

Proceedings of the Generative Programming and Component Engineering, 2012

2011

Improving Policy Gradient Estimates with Influence Information.

Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig

Proceedings of the 3rd Asian Conference on Machine Learning, 2011

Adaptation-Based Programming in Haskell

Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

Adaptation-based programming in java.

Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010

Robust Learning for Adaptive Programs by Leveraging Program Structure.

Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig

Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010

2009

Declarative Scripting in Haskell.

Tim Bauer, Martin Erwig

Proceedings of the Software Language Engineering, Second International Conference, 2009