Travelled to:1 × Canada
1 × Hungary
1 × Russia
2 × Germany
2 × Italy
2 × United Kingdom
5 × USA
Collaborated with:J.Rieke C.Brenner E.Kindler V.P.L.Manna M.Cordy P.Heymans W.Schäfer ∅ T.Gutjahr E.Gressi I.Segall S.Pook D.Gritzner A.Anjorin A.Schürr S.Hildebrandt M.Haase J.Marhenke R.Bellmer A.M.Sharifloo C.Lohmann J.Jiang T.Systä H.Giese J.Davril J.Holtmann G.Liebel G.Stieglbauer M.Tichy E.Leblebici F.König J.Dahlke J.Shi E.Wete Elias Knöchelmann Kai Eggers Svenja Tappe T.Ortmaier L.Lambers M.Lauder S.Henkler M.Hirsch K.Alhawash T.Eckardt C.Heinzemann R.Löffler A.Seibel D.Varró M.Asztalos D.Bisztray A.Boronat D.Dang R.Geiß P.V.Gorp O.Kniemeyer A.Narayanan E.Rencis E.Weinell
Talks about:scenario (13) specif (9) base (8) tool (6) transform (5) control (5) synthesi (4) product (4) model (4) graph (4)
Person: Joel Greenyer
DBLP: Greenyer:Joel
Facilitated 1 volumes:
PrCoContributed to:
2015
20152015
2015
2014
2013201320132013
2012
20112011
2011
200920072007
200720172017
2018Wrote 21 papers:
- ESEC-FSE-2015-GreenyerHMB #analysis #re-engineering #requirements
- Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering (JG, MH, JM, RB), pp. 1002–1005.
- FASE-2015-BrennerGS #distributed #on the fly #specification #synthesis
- On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications (CB, JG, WS), pp. 51–65.
- MoDELS-2015-MannaSG #combinator #specification #testing
- Synthesizing tests for combinatorial coverage of modal scenario specifications (VPLM, IS, JG), pp. 126–135.
- SPLC-2015-CordyDGGH #product line #specification
- All-at-once-synthesis of controllers from scenario-based product line specifications (MC, JMD, JG, EG, PH), pp. 26–35.
- GT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing #validation
- ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).
- GT-VMT-2014-LeblebiciASHRG #comparison #graph grammar #incremental #tool support
- A Comparison of Incremental Triple Graph Grammar Tools (EL, AA, AS, SH, JR, JG).
- BX-2013-HildebrandtLGRGSLAS #graph grammar #overview #tool support
- A Survey of Triple Graph Grammar Tools (SH, LL, HG, JR, JG, WS, ML, AA, AS), pp. 1–17.
- ESEC-FSE-2013-GreenyerBCHG #incremental #product line #specification
- Incrementally synthesizing controllers from scenario-based product line specifications (JG, CB, MC, PH, EG), pp. 433–443.
- GT-VMT-2013-GreenyerBM #diagrams #sequence chart #specification
- The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).
- MoDELS-2013-GreenyerK #composition #specification #synthesis
- Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.
- RE-2012-GreenyerSCH #consistency #performance #product line #specification
- Efficient consistency checking of scenario-based product-line specifications (JG, AMS, MC, PH), pp. 161–170.
- AGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #sequence chart #specification
- Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.
- BX-2011-Greenyer #bidirectional #model transformation #transformation language
- Unified (Bidirectional) Transformation Language (JG), p. 58.
- ECMFA-2011-GreenyerPR #incremental #reuse
- Preventing Information Loss in Incremental Model Synchronization by Reusing Elements (JG, SP, JR), pp. 144–159.
- ICSE-2009-HenklerGHSAEHLSG #behaviour #realtime #synthesis
- Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite (SH, JG, MH, WS, KA, TE, CH, RL, AS, HG), pp. 615–618.
- AGTIVE-2007-VarroABBDGGGKNRW #case study #csp #graph transformation #modelling #tool support #uml
- Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.
- MoDELS-2007-GreenyerK #graph grammar #qvt
- Reconciling TGGs with QVT (JG, EK), pp. 16–30.
- TOOLS-EUROPE-2007-LohmannGJS #graph grammar #model transformation #workflow
- Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations (CL, JG, JJ, TS), pp. 253–273.
- MoDELS-2017-GreenyerG #execution #specification #symbolic computation
- Symbolic Execution for Realizability-Checking of Scenario-Based Specifications (JG, TG), pp. 312–322.
- ESEC-FSE-2017-GreenyerGKDSW #modelling #programming
- From scenario modeling to scenario programming for reactive systems with dynamic topology (JG, DG, FK, JD, JS, EW), pp. 974–978.
- CASE-2018-GritznerKGETO #energy #specification
- Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation (DG, EK, JG, KE, ST, TO), pp. 408–413.