Jan Oliver Ringert

According to our database1, Jan Oliver Ringert authored at least 48 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Symbolic repairs for GR(1) specifications.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
Component and Connector Views in Practice.
Proceedings of the Software Engineering und Software Management 2018, 2018

On the software engineering challenges of applying reactive synthesis to robotics.
Proceedings of the 1st International Workshop on Robotics Software Engineering, 2018

2017
Performance Heuristics for GR(1) Synthesis and Related Algorithms.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

A symbolic justice violations transition system for unrealizable GR(1) specifications.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Why is My Component and Connector Views Specification Unsatisfiable?
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Component and Connector Views in Practice: An Experience Report.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Teaching Agile Model-Driven Engineering for Cyber-Physical Systems.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training Track, 2017

Quantitative Assume Guarantee Synthesis.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Symbolic BDD and ADD Algorithms for Energy Games.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

On well-separation of GR(1) specifications.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

GR(1) synthesis for LTL specification patterns.
Proceedings of the Software Engineering 2016, 2016

Consistent Extra-Functional Properties Tagging for Component and Connector Models.
Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton.
Proceedings of the Software Architecture - 10th European Conference, 2016

2015
Editorial for the Software Engineering 2013 Conference.
Computer Science - R&D, 2015

Synthesizing a Lego Forklift Controller in GR(1): A Case Study.
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Behavioral compatibility of simulink models for product line maintenance and evolution.
Proceedings of the 19th International Conference on Software Product Line, 2015

GR(1) synthesis for LTL specification patterns.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Verifying Component and Connector Models against Crosscutting Structural Views.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models.
Proceedings of the 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

A framework for relating syntactic and semantic model differences.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Modeling robot and world interfaces for reusable tasks.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration).
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2014
Analysis and synthesis of interactive component and connector systems.
PhD thesis, 2014

Report on the International Workshop on Comparison and Versioning of Software Models (CVSM 2014).
Softwaretechnik-Trends, 2014

Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems.
Proceedings of the 1st International Workshop on Model-Driven Robot Software Engineering co-located with International Conference on Software Technologies: Applications and Foundations, 2014

International Workshop on Comparision and Versioning of Software Models (CVSM 2014).
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Synthesis of Component and Connector Models from Crosscutting Structural Views.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Multi-Platform Generative Development ofComponent & Connector Systems using Model and Code Libraries.
Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Verifying component and connector models against crosscutting structural views.
Proceedings of the 36th International Conference on Software Engineering, 2014

MontiArcAutomaton: Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton.
Aachener Informatik-Berichte, Software Engineering 20, Shaker, ISBN: 978-3-8440-3299-4, 2014

2013
Bericht und Beiträge vom internationalen Workshop Comparison and Versioning of Software Models (CVSM 2013) vom 27. Februar 2013 (anläßlich der Multikonferenz Software Engineering (SE 2013), 26. Februar - 1. März 2013 in Aachen).
Softwaretechnik-Trends, 2013

Synthesis of component and connector models from crosscutting structural views.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

International Workshop on Comparison and Versioning of Software Models (CVSM 2013).
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

2012
An Interim Summary on Semantic Model Differencing.
Softwaretechnik-Trends, 2012

2011
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing.
Int. J. Software and Informatics, 2011

ADDiff: semantic differencing for activity diagrams.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Semantically Configurable Consistency Analysis for Class and Object Diagrams.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Modal Object Diagrams.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

CDDiff: Semantic Differencing for Class Diagrams.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010
A Manifesto for Semantic Model Differencing.
Proceedings of the Models in Software Engineering, 2010

Towards Architectural Programming of Embedded Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

2009
System Model-Based Definition of Modeling Language Semantics.
Proceedings of the Formal Techniques for Distributed Systems, 2009


  Loading...