Travelled to:1 × Hungary
1 × India
1 × Italy
1 × New Zealand
1 × Russia
1 × United Kingdom
3 × USA
Collaborated with:S.Maoz B.Rumpe A.Wortmann M.v.Wenckstern A.Kuvent N.Pomerantz R.Shalom S.Almagor O.Kupferman Y.Velner C.Schulze P.Manhart V.Bertram R.Heim O.Kautz
Talks about:diagram (5) specif (5) connector (4) semant (4) compon (4) model (4) view (4) synthesi (3) class (3) differenc (2)
Person: Jan Oliver Ringert
DBLP: Ringert:Jan_Oliver
Contributed to:
2015
2015
2015
2015
20142013
2011201120112017
20162017
2017
2016Wrote 17 papers:
- ESEC-FSE-2015-MaozR #ltl #specification #synthesis
- GR(1) synthesis for LTL specification patterns (SM, JOR), pp. 96–106.
- GPCE-2015-RingertRW #behaviour #code generation
- Composing code generators for C&C ADLs with Application-specific behavior languages (JOR, BR, AW), pp. 113–116.
- MoDELS-2015-MaozR #difference #framework #semantics
- A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
- SPLC-2015-RumpeSWRM #behaviour #evolution #maintenance #modelling #product line
- Behavioral compatibility of simulink models for product line maintenance and evolution (BR, CS, MvW, JOR, PM), pp. 141–150.
- ICSE-2014-MaozRR #component #modelling #verification
- Verifying component and connector models against crosscutting structural views (SM, JOR, BR), pp. 95–105.
- ESEC-FSE-2013-MaozRR #component #modelling #synthesis
- Synthesis of component and connector models from crosscutting structural views (SM, JOR, BR), pp. 444–454.
- ECOOP-2011-MaozRR #diagrams #difference #named #semantics
- CDDiff: Semantic Differencing for Class Diagrams (SM, JOR, BR), pp. 230–254.
- ECOOP-2011-MaozRR11a #diagrams
- Modal Object Diagrams (SM, JOR, BR), pp. 281–305.
- ESEC-FSE-2011-MaozRR #diagrams #difference #named #process #semantics
- ADDiff: semantic differencing for activity diagrams (SM, JOR, BR), pp. 179–189.
- MoDELS-2011-MaozRR #analysis #configuration management #consistency #diagrams #semantics
- Semantically Configurable Consistency Analysis for Class and Object Diagrams (SM, JOR, BR), pp. 153–167.
- MoDELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using
- CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.
- MoDELS-2017-BertramMRRW #case study #component #experience
- Component and Connector Views in Practice: An Experience Report (VB, SM, JOR, BR, MvW), pp. 167–177.
- MoDELS-2017-MaozPRS #component #question #satisfiability #specification #why
- Why is My Component and Connector Views Specification Unsatisfiable? (SM, NP, JOR, RS), pp. 134–144.
- FSE-2016-MaozR #on the #specification
- On well-separation of GR(1) specifications (SM, JOR), pp. 362–372.
- ESEC-FSE-2017-KuventMR #specification
- A symbolic justice violations transition system for unrealizable GR(1) specifications (AK, SM, JOR), pp. 362–372.
- CAV-2017-AlmagorKRV #synthesis
- Quantitative Assume Guarantee Synthesis (SA, OK, JOR, YV), pp. 353–374.
- ECSA-2016-HeimKRRW #architecture #configuration management
- Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton (RH, OK, JOR, BR, AW), pp. 175–182.