Homepage Sitemap Contact




Home « Team « Publications
» Publications of Judith Peters



BOOKS


BOOK CONTRIBUTIONS


JOURNALS


CONFERENCES



» More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models




Author:

Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler
Conference:
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Reference:

Vienna, Austria, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Clocks vs. Instants Relations: Verifying CCSL Time Constraints in UML/MARTE Models




Author:

Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler
Conference:
14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Reference:

Indian Institute of Technology, Kanpur, India, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» A Generic Representation of CCSL Time Constraints for UML/MARTE Models




Author:

Judith Peters, Robert Wille, Nils Przigoda, Ulrich Kühne, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Generating SystemC Implementations for Clock Constraints specified in UML/MARTE CCSL




Author:

Judith Peters, Robert Wille, Rolf Drechsler
Conference:
International Conference on Engineering of Complex Computer Systems (ICECCS)
Reference:

pp. 116-125, Tianjin, China, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Integrating an SMT-based Model Finder into USE




Author:

Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler
Workshop:
Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa)
Reference:

Saint-Malo, France, 2016
Hyperlink:

[Link to the Workshop]



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




Author:

Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler
Workshop:
Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa)
Reference:

Ottawa, Canada, 2015
Hyperlink:

[Link to the Workshop]



» Tangicons - Programmieren im Kindergarten




Author:

Thomas Winkler, Florian Scharf, Judith Peters, Michael Herczeg
Workshop:
Tagung Mensch & Computer
Reference:

pp. 23-24, Chemnitz, 2011
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE