Jan Oliver Ringert
Orcid: 0000-0002-3610-3920Affiliations:
- Bauhaus University, Weimar, Germany
According to our database1,
Jan Oliver Ringert
authored at least 69 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
5
10
15
1
2
1
1
1
3
8
1
1
1
3
2
2
1
1
2
8
5
6
5
3
5
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2023
J. Object Technol., 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Aachener Informatik-Berichte, Software Engineering 45, Shaker, ISBN: 978-3-8440-7265-5, 2020
CoRR, 2020
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
2019
Proceedings of the 41st International Conference on Software Engineering, 2019
2018
Softw. Syst. Model., 2018
Proceedings of the Software Engineering und Software Management 2018, 2018
Proceedings of the 1st International Workshop on Robotics Software Engineering, 2018
2017
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
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
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training Track, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the Software Engineering 2016, 2016
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
Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development.
CoRR, 2015
CoRR, 2015
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
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
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
PhD thesis, 2014
Report on the International Workshop on Comparison and Versioning of Software Models (CVSM 2014).
Softwaretechnik-Trends, 2014
Multi-Platform Generative Development of Component & Connector Systems using Model and Code Libraries.
CoRR, 2014
A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems.
CoRR, 2014
Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems.
CoRR, 2014
MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems.
CoRR, 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
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
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
Analysis and Synthesis of Interactive Component and Connector Systems.
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 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 <i> Comparison and Versioning of Software Models (CVSM 2013)</i> vom 27. Februar 2013 (anläßlich der Multikonferenz Software Engineering (SE 2013), 26. Februar - 1. März 2013 in Aachen).
Softwaretechnik-Trends, 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
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
2011
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing.
Int. J. Softw. Informatics, 2011
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
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011
2010
Proceedings of the Models in Software Engineering, 2010
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010
2009
Proceedings of the Formal Techniques for Distributed Systems, 2009