Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Towards an Isabelle Theory for distributed, interactive systems - the untimed case

J. Bürger, H. Kausch, D. Raco, J. Ringert, B. Rumpe, S. Stüber, und M. Wiartalla. AIB-2020-02. RWTH Aachen University, (März 2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

Weitere Publikationen von Autoren mit dem selben Namen

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