Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verifying Component and Connector Models against Crosscutting Structural Views (extended abstract)

S. Maoz, J. Ringert, and B. Rumpe. Softwareengineering & Management 2015, volume P-239 of GI-Edition--Lecture Notes in Informatics (LNI), page 110--111. Bonner Köllen Verlag, (2015)

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

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.S. Maoz, J. Ringert, and B. Rumpe. CoRR, (2014)System Model-Based Definition of Modeling Language Semantics.H. Grönniger, J. Ringert, and B. Rumpe. CoRR, (2014)Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems.J. Ringert, A. Roth, B. Rumpe, and A. Wortmann. CoRR, (2015)Modal Object Diagrams.S. Maoz, J. Ringert, and B. Rumpe. CoRR, (2014)On well-separation of GR(1) specifications.S. Maoz, and J. Ringert. SIGSOFT FSE, page 362-372. ACM, (2016)International Workshop on Comparison and Versioning of Software Models (CVSM 2013).P. Pietsch, U. Kelter, and J. Ringert. Software Engineering, volume P-213 of LNI, page 377. GI, (2013)An Operational Semantics for Activity Diagrams using SMVS. Maoz, J. Ringert, and B. Rumpe. Technical Report, AIB-2011-07. RWTH Aachen University, Aachen, Germany, (July 2011)Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector SystemsJ. Ringert, A. Roth, B. Rumpe, and A. Wortmann. 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 MontiArcAutomatonR. Heim, O. Kautz, J. Ringert, B. Rumpe, and A. Wortmann. Software Architecture - 10th European Conference (ECSA'16), volume 9839 of LNCS, page 175--182. Springer, (December 2016)Why is My Component and Connector Views Specification Unsatisfiable?S. Maoz, N. Pomerantz, J. Ringert, and R. Shalom. MoDELS, page 134-144. IEEE Computer Society, (2017)