| 2017 | Interspeech | The Effect of Gesture on Persuasive Speech. | Judith Peters, Marieke Hoetjes |
| 2017 | MEMOCODE | More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. | Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler |
| 2016 | MEMOCODE | Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. | Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2016 | MODELS | Integrating an SMT-Based ModelFinder into USE. | Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler |
| 2015 | DAC | A generic representation of CCSL time constraints for UML/MARTE models. | Judith Peters, Robert Wille, Nils Przigoda, Ulrich Khne, Rolf Drechsler |
| 2015 | MODELS | Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. | Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2014 | ICECCS | Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. | Judith Peters, Robert Wille, Rolf Drechsler |