PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ringert, Jan Oliver"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic repairs for GR(1) specifications.

, , and . ICSE, page 1016-1026. IEEE / ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

Benedikt Janny

Isabel Janowsky University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

 

Other publications of authors with the same name

Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems., , , and . CoRR, (2015)CD2Alloy: Class Diagrams Analysis Using Alloy Revisited., , and . CoRR, (2014)System Model-Based Definition of Modeling Language Semantics., , and . CoRR, (2014)Modal Object Diagrams., , and . CoRR, (2014)International Workshop on Comparison and Versioning of Software Models (CVSM 2013)., , and . Software Engineering, volume P-213 of LNI, page 377. GI, (2013)On well-separation of GR(1) specifications., and . SIGSOFT FSE, page 362-372. ACM, (2016)Why is My Component and Connector Views Specification Unsatisfiable?, , , and . MoDELS, page 134-144. IEEE Computer Society, (2017)An Operational Semantics for Activity Diagrams using SMV, , and . Technical Report, AIB-2011-07. RWTH Aachen University, Aachen, Germany, (July 2011)Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems, , , and . Model-Driven Robot Software Engineering Workshop (MORSE'14), volume 1319 of CEUR Workshop Proceedings, page 66 -- 77. (2014)Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton, , , , and . Software Architecture - 10th European Conference (ECSA'16), volume 9839 of LNCS, page 175--182. Springer, (December 2016)