BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wimmer:Manuel

Facilitated 13 volumes:

ICMT 2015PrCh
MoDELS 2015PubCh
MoDELS 2015SaEventsCh
MoDELS 2015TuCh
SLE 2015PrCo
ICMT 2014PrCo
MoDELS 2014PosterCh
ICMT 2013PblCh
MoDELS 2013PblCh
MoDELS 2016SaEventsCh
MoDELS 2016PrCo

Contributed to:

MoDELS 20152015
SLE 20152015
AMT 20142014
ASE 20142014
MoDELS 20142014
SLE 20142014
AMT 20132013
CSMR 20132013
MoDELS 20132013
SLE 20132013
AMT 20122012
ICMT 20122012
ICMT 20122015
ICSM 20122012
SFM 20122012
TAP 20122012
TOOLS Europe 20122012
CSMR 20112011
FASE 20112011
ICMT 20112011
ICMT 20112012
TOOLS Europe 20112011
TOOLS Europe 20112012
ICGT 20102010
ICMT 20102010
ASE 20092009
MoDELS 20092009
TOOLS Europe 20092009
TOOLS Europe 20082008
MoDELS 20062006
ECMFA 20162016
ICMT 20162016
MoDELS 20162016
ECMFA 20182018
MoDELS 20182018
SLE 20162016
SLE 20172017
CASE 20162016
CASE 20172017
CASE 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.