Judith Peters
According to our database1,
Judith Peters
authored at least 10 papers
between 2011 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Proceedings of the Interspeech 2017, 2017
2016
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
2015
Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015
Proceedings of the 12th Workshop on Model-Driven Engineering, 2015
Proceedings of the 52nd Annual Design Automation Conference, 2015
2014
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
2011
Proceedings of the Workshop-Proceedings der Tagung Mensch & Computer 2011. überMEDIEN|ÜBERmorgen, 2011