Travelled to:1 × Canada
1 × Denmark
1 × New Zealand
2 × France
2 × Germany
2 × Sweden
2 × The Netherlands
3 × Austria
3 × Czech Republic
3 × Spain
4 × Italy
4 × Switzerland
5 × USA
Collaborated with:G.Kappel P.Langer A.Vallecillo W.Retschitzegger W.Schwinger J.Troya A.Kusel J.Schönböck H.A.Sahraoui A.Mazak L.Burgueño J.Cabot M.Kessentini A.Bergmayr K.Wieland T.Mayerhofer W.Kessentini P.Brosch M.Seidl L.Lúcio P.Neubauer M.Boukadoum C.Pichler M.Strommer H.Brunelière J.L.C.Izquierdo N.Moreno M.Fleck R.Bill Polina Patsuk-Boesch Arndt Lüder Johanna-Lisa Pauly H.Kargl E.Syriani B.J.Oakes L.Burgeño M.Grossniklaus A.b.Fadhel G.Täntzer C.Ermel E.Burger R.Rodríguez-Echeverría S.Feldmann K.Kernschmidt B.Vogel-Heuser Bernhard Wally C.Huemer M.Gogolla L.Hamann B.Alkhazi T.Ruas W.I.Grosky D.Leroy E.Bousse A.Megna B.Combemale D.S.Kolovos R.F.Paige M.Lauder A.Schürr D.Wagelaar B.Meyers R.Deshayes H.Vangheluwe M.Amrani J.Dingel L.Lambers R.Salay G.Selim U.Egly S.Gabmeyer H.Tompits M.Widl E.Kapsammer G.Kramler T.Reiter J.Gorroñogoitia G.Kousiouris D.Kyriazis A.Menychtas L.O.Arrieta C.Pezuela
Talks about:model (35) transform (18) base (12) languag (8) autom (6) rule (6) approach (5) toward (5) search (5) exampl (5)
♂ Person: Manuel Wimmer
DBLP: Wimmer:Manuel
Facilitated 13 volumes:
PrCh
PubChSaEventsChTuCh
PrCoPrCoPosterChPblChPblChSaEventsChPrCoContributed to:
20152015
2014
2014201420142013
201320132013201220122015
2012
2012
2012
20122011
20112011201220112012
2010201020092009200920082006
2016201620162018201820162017
201620172018Wrote 49 papers:
- MoDELS-2015-OakesTLW #atl #contract #declarative #verification
- Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
- SLE-2015-NeubauerBMTW #named #xml #xtext
- XMLText: from XML schema to xtext (PN, AB, TM, JT, MW), pp. 71–76.
- AMT-2014-TroyaWBV #approximate #model transformation #towards
- Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.
- ASE-2014-BergmayrTW #evolution
- From out-place transformation evolution to in-place model patching (AB, JT, MW), pp. 647–652.
- MoDELS-2014-BergmayrGWK #java #named #uml
- JUMP — From Java Annotations to UML Profiles (AB, MG, MW, GK), pp. 552–568.
- SLE-2014-MeyersDLSVW #framework #generative #named
- ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
- AMT-2013-KuselSWRSK #atl #case study #model transformation #reuse
- Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study (AK, JS, MW, WR, WS, GK), pp. 42–51.
- CSMR-2013-BergmayrBIGKKLMAPW #legacy #migration
- Migrating Legacy Software to the Cloud with ARTIST (AB, HB, JLCI, JG, GK, DK, PL, AM, LOEA, CP, MW), pp. 465–468.
- MoDELS-2013-WimmerB #testing
- Testing M2T/T2M Transformations (MW, LB), pp. 203–219.
- SLE-2013-MayerhoferLWK #domain-specific language #execution #named
- xMOF: Executable DSMLs Based on fUML (TM, PL, MW, GK), pp. 56–75.
- AMT-2012-AmraniDLLSSSW #model transformation #towards
- Towards a model transformation intent catalog (MA, JD, LL, LL, RS, GS, ES, MW), pp. 3–8.
- AMT-2012-BurguenoWV #perspective #requirements #towards
- Towards tracking “guilty” transformation rules: a requirements perspective (LB, MW, AV), pp. 27–32.
- ICMT-2012-WimmerKKRSS #model transformation #reuse #rule-based #transformation language
- Fact or Fiction — Reuse in Rule-Based Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS), pp. 280–295.
- ICMT-J-2012-KuselSWKRS15 #model transformation #question #reuse #transformation language
- Reuse in model-to-model transformation languages: are we there yet? (AK, JS, MW, GK, WR, WS), pp. 537–572.
- ICSM-2012-FadhelKLW #detection #search-based
- Search-based detection of high-level model changes (AbF, MK, PL, MW), pp. 212–221.
- SFM-2012-BroschKLSWW #version control
- An Introduction to Model Versioning (PB, GK, PL, MS, KW, MW), pp. 336–398.
- SFM-2012-VallecilloGBWH #model transformation #specification #testing
- Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
- TAP-2012-BroschEGKSTWW #diagrams #testing #towards #uml
- Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.
- TOOLS-EUROPE-2012-WimmerMV #co-evolution
- Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations (MW, NM, AV), pp. 336–352.
- CSMR-2011-KessentiniSBW #design #detection #fault #generative #music
- Design Defect Detection Rules Generation: A Music Metaphor (MK, HAS, MB, MW), pp. 241–248.
- CSMR-2011-PichlerW #documentation #evolution #modelling
- Model-Driven Business Document Evolution (CP, MW), pp. 325–328.
- FASE-2011-KessentiniSBW #design #detection #fault #search-based
- Search-Based Design Defects Detection by Example (MK, HAS, MB, MW), pp. 401–415.
- ICMT-2011-WimmerKKRSSKPLSW #comparison #inheritance #model transformation #transformation language
- A Comparison of Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 31–46.
- ICMT-J-2011-WimmerKKRSSKPLSW12 #inheritance #model transformation #transformation language
- Surveying Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 1–46.
- TOOLS-EUROPE-2011-LangerWWC #emf #uml
- From UML Profiles to EMF Profiles and Beyond (PL, KW, MW, JC), pp. 52–67.
- TOOLS-EUROPE-J-2011-LangerWWC12 #approach #emf #lightweight #modelling
- EMF Profiles: A Lightweight Extension Approach for EMF Models (PL, KW, MW, JC), pp. 1–29.
- ICGT-2010-TaentzerELW #detection #graph #version control
- Conflict Detection for Model Versioning Based on Graph Modifications (GT, CE, PL, MW), pp. 171–186.
- ICMT-2010-LangerWK #model transformation
- Model-to-Model Transformations By Demonstration (PL, MW, GK), pp. 153–167.
- ICMT-2010-WimmerKKRSS
- Surviving the Heterogeneity Jungle with Composite Mapping Operators (MW, GK, AK, WR, JS, WS), pp. 260–275.
- ASE-2009-WimmerKSKRS #debugging #petri net #qvt
- A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.
- MoDELS-2009-BroschLSWWKRS #modelling #word
- An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example (PB, PL, MS, KW, MW, GK, WR, WS), pp. 271–285.
- MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using
- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
- TOOLS-EUROPE-2009-WimmerSBKK #framework #on the #self
- On Realizing a Framework for Self-tuning Mappings (MW, MS, PB, HK, GK), pp. 1–16.
- TOOLS-EUROPE-2008-StrommerW #concept #framework #model transformation #tool support
- A Framework for Model Transformation By-Example: Concepts and Tool Support (MS, MW), pp. 372–391.
- MoDELS-2006-KappelKKKRRSW #integration #metamodelling #modelling #ontology #semantics
- Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages (GK, EK, HK, GK, TR, WR, WS, MW), pp. 528–542.
- ECMFA-2016-KessentiniSW #approach #automation #co-evolution #metamodelling #multi #optimisation #using
- Automated Metamodel/Model Co-evolution Using a Multi-objective Optimization Approach (WK, HAS, MW), pp. 138–155.
- ICMT-2016-FleckTW #model transformation #search-based
- Search-Based Model Transformations with MOMoT (MF, JT, MW), pp. 79–87.
- MoDELS-2016-AlkhaziRKWG #approach #atl #automation #model transformation #refactoring #search-based
- Automated refactoring of ATL model transformations: a search-based approach (BA, TR, MK, MW, WIG), pp. 295–304.
- ECMFA-2018-LeroyBMCW #comprehension #domain-specific language #execution
- Trace Comprehension Operators for Executable DSLs (DL, EB, AM, BC, MW), pp. 293–310.
- MoDELS-2018-BruneliereBCW #overview
- A Feature-based Survey of Model View Approaches (HB, EB, JC, MW), p. 211.
- MoDELS-2018-KessentiniWS #co-evolution #design #interactive #metamodelling
- Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search (WK, MW, HAS), pp. 101–111.
- MoDELS-2018-Rodriguez-Echeverria #framework #modelling #protocol #towards #visual notation
- Towards a Language Server Protocol Infrastructure for Graphical Modeling (RRE, JLCI, MW, JC), pp. 370–380.
- SLE-2016-MayerhoferWV #modelling #nondeterminism
- Adding uncertainty and units to quantity types in software models (TM, MW, AV), pp. 118–131.
- SLE-2017-BillNW #composition #version control
- Virtual textual model composition for supporting versioning and aspect-orientation (RB, PN, MW), pp. 67–78.
- CASE-2016-FeldmannWKV #approach #automation #consistency #nondeterminism
- A comprehensive approach for managing inter-model inconsistencies in automated production systems engineering (SF, MW, KK, BVH), pp. 1120–1127.
- CASE-2017-MazakWP #markov #process #reverse engineering
- Reverse engineering of production processes based on Markov chains (AM, MW, PPB), pp. 680–686.
- CASE-2018-LuderPW #consistency #modelling
- Modelling consistency rules within production system engeering (AL, JLP, MW), pp. 664–667.
- CASE-2018-WallyHMW
- AutomationML, ISA-95 and Others: Rendezvous in the OPC UA Universe (BW, CH, AM, MW), pp. 1381–1387.
- CASE-2018-WimmerM #modelling #query
- From AutomationML to AutomationQL: A By-Example Query Language for CPPS Engineering Models (MW, AM), pp. 1394–1399.