Judith Peters

According to our database, Judith Peters authored at least 10 papers between 2011 and 2017.

Collaborative distances:

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

2017

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

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

The Effect of Gesture on Persuasive Speech.

Judith Peters, Marieke Hoetjes

Proceedings of the 18th Annual Conference of the International Speech Communication Association, 2017

2016

Integrating an SMT-Based ModelFinder into USE.

Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models.

Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2015

Exploiting MARTE/CCSL in modern design flows.

Judith Peters

PhD thesis, 2015

Analyzing and Simulating Time Descriptions from UML/MARTE CCSL.

Judith Peters, Rolf Drechsler

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses.

Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

A generic representation of CCSL time constraints for UML/MARTE models.

Judith Peters, Robert Wille, Nils Przigoda, Ulrich Kühne, Rolf Drechsler

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL.

Judith Peters, Robert Wille, Rolf Drechsler

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

2011

Tangicons - Programmieren im Kindergarten.

Thomas Winkler, Florian Scharf, Judith Peters, Michael Herczeg

Proceedings of the Workshop-Proceedings der Tagung Mensch & Computer 2011. überMEDIEN|ÜBERmorgen, 2011