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 × Cyprus
1 × Denmark
1 × Finland
1 × India
1 × Portugal
2 × Canada
2 × New Zealand
2 × Norway
2 × The Netherlands
2 × United Kingdom
3 × Italy
3 × Switzerland
4 × Germany
4 × Spain
5 × Austria
7 × France
8 × USA
Collaborated with:
D.S.Kolovos L.M.Rose J.S.Ostroff F.Polack F.A.C.Polack J.R.Williams D.S.Kolovos P.J.Brooke A.Radjenovic N.D.Matragkas A.Zolotas H.Chivers R.Wei N.D.Matragkas A.García-Domínguez N.Drivalos K.Barmpis K.J.Fernandes N.D.Matragkas Z.E.Chan E.C.R.Hehner J.Woodcock E.Guerra J.d.Lara S.M.Poulding F.R.Burton S.Zschaler H.H.Rodriguez K.Engel A.S.Herrera E.D.Willink S.Madani M.Rossi A.Motta L.Baresi C.M.Poskitt M.Dodds A.Rensink R.Feldt M.Francis A.Etien V.Aranega X.Blanc E.G.Aydal M.Utting H.Treharne E.Turner M.S.Abdullah I.D.Benest C.Kimble J.A.McDermid Z.R.Stephenson L.Kaminskaya J.Lancaric S.Devlin S.King I.Medina-Bulo O.M.d.Santos A.Rashid S.Hutchesson M.Wimmer G.Kappel A.Kusel W.Retschitzegger J.Schönböck W.Schwinger M.Lauder A.Schürr D.Wagelaar S.M.Shah S.Smith S.b.Abid G.Botterweck J.Johannes M.A.Fernández A.Castillo S.Gerasimou M.Herrmannsdörfer K.Garcés S.Abrahão F.Bourdeleau B.H.C.Cheng S.Kokaly H.Störrle J.Whittle G.Blohm D.Clowes C.Holmes J.Johnson R.Dawson S.G.Probets J.Bézivin S.Bouzitouna M.D.D.Fabro M.Gervais F.Jouault I.Kurtev
Talks about:
model (47) languag (17) transform (13) engin (10) epsilon (9) driven (8) specif (7) formal (7) manag (7) metamodel (6)

♂ Person: Richard F. Paige

DBLP DBLP: Paige:Richard_F=

Facilitated 38 volumes:

GTTSE 2015SciCo
ICMT 2015SCo
MoDELS 2015PrBoard
SLE 2015Ed
SLE 2015GCh
SLE 2015SCo
ICMT 2014PrCo
ICMT 2014SCo
MoDELS 2014PrBoard
SLE 2014PrCo
SLE 2014SCo
ICMT 2013PrCo
ICMT 2013SCo
MoDELS 2013PrBoard
SLE 2013Ed
SLE 2013PrCh
ICMT 2012SCo
MoDELS 2012PrCo
MoDELS 2012SMCh
ECMFA 2011Ed
ICMT 2011SCo
MoDELS 2011PrCo
ICMT 2010SCo
SLE 2010PrCo
ECMDA-FA 2009Ed
GTTSE 2009SciCo
ICMT 2009Ed
ICMT 2009PrCh
SLE 2009PrCo
ICMT 2008PrCo
SLE 2008PrCo
TOOLS Europe 2008Ed
ECMDA-FA 2007Ed
MoDELS 2018Ed
MoDELS 2016PubCh
MoDELS 2016PrCo

Contributed to:

ECMFA 20152015
AMT 20142014
MSR 20142014
MoDELS 20142014
AMT 20132013
ICSM 20132013
MoDELS 20132013
AMT 20122012
ECMFA 20122012
ECMFA 20122015
MoDELS 20122012
SLE 20122012
SCP, 20142014
BX 20112011
ECMFA 20112011
GTTSE 20112011
ICMT 20112011
ICMT 20112012
MoDELS 20112011
ECMFA 20102010
ICMT 20102010
MoDELS (1) 20102010
ASE 20092009
ICST 20092009
MoDELS 20092009
SLE 20092009
TOOLS Europe 20092009
ECMDA-FA 20082008
ICMT 20082008
ICST 20082008
MoDELS 20082008
SLE 20082008
WICSA 20082008
TOOLS Europe 20072007
ECMDA-FA 20062006
ICEIS AIDSS 20062006
MoDELS 20062006
SAC 20062006
ECMDA-FA 20052005
IFM 20052005
SAC 20052005
IFM 20022002
TOOLS USA 20022002
FASE 20012001
RE 20012001
World Congress on Formal Methods 19991999
IFM 19991999
UML 19991999
ASE 19981998
FME 19971997
ECMFA 20162016
ICMT 20162016
MoDELS 20162016
MoDELS 20172017
ECMFA 20182018

Wrote 70 papers:

ECMFA-2015-ZolotasMDKP #flexibility #modelling #type inference
Type Inference in Flexible Model-Driven Engineering (AZ, NDM, SD, DSK, RFP), pp. 75–91.
AMT-2014-PoskittDPR #bidirectional #model transformation #towards
Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.
MSR-2014-MatragkasWKP #ecosystem #git #open source
Analysing the “biodiversity” of open source ecosystems: the GitHub case (NDM, JRW, DSK, RFP), pp. 356–359.
MoDELS-2014-KolovosMWP #modelling
Model Driven Grant Proposal Engineering (DSK, NDM, JRW, RFP), pp. 420–432.
MoDELS-2014-ShahWKRPB #benchmark #framework #metric #persistent #scalability
A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence (SMS, RW, DSK, LMR, RFP, KB), pp. 586–601.
AMT-2013-MatragkasKPZ #approach #model transformation #testing
A Traceability-Driven Approach to Model Transformation Testing (NDM, DSK, RFP, AZ), pp. 2–11.
ICSM-2013-RosePFP #framework #platform #probability #scalability #search-based #testing #towards
Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing (LMR, SMP, RF, RFP), pp. 480–483.
MoDELS-2013-FrancisKMP #spreadsheet #tool support
Adding Spreadsheets to the MDE Toolkit (MF, DSK, NDM, RFP), pp. 35–51.
AMT-2012-EtienABP #model transformation
Chaining model transformations (AE, VA, XB, RFP), pp. 9–14.
ECMFA-2012-BurtonPRKPS #modelling #problem #using
Solving Acquisition Problems Using Model-Driven Engineering (FRB, RFP, LMR, DSK, SMP, SS), pp. 428–443.
ECMFA-2012-KolovosRWMP #approach #documentation #lightweight #xml
A Lightweight Approach for Managing XML Documents with MDE Languages (DSK, LMR, JRW, NDM, RFP), pp. 118–132.
ECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #uml #verification
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.
ECMFA-2012-RadjenovicPRWK #approach #plugin #simulation #uml
A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification
Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
MoDELS-2012-WilliamsBPP #analysis #modelling
Sensitivity Analysis in Model-Driven Engineering (JRW, FRB, RFP, FACP), pp. 743–758.
SLE-2012-PaigeKP #grammarware #metamodelling #research
Metamodelling for Grammarware Researchers (RFP, DSK, FACP), pp. 64–82.
SLE-J-2012-PaigeKP #grammarware #metamodelling #research #tutorial
A tutorial on metamodelling for grammar researchers (RFP, DSK, FACP), pp. 396–416.
BX-2011-Paige #bidirectional
Bidirectional transformations and inter-modelling (RFP), p. 62.
ECMFA-2011-KolovosPRW #model management
Integrated Model Management with Epsilon (DSK, RFP, LMR, JRW), pp. 391–392.
GTTSE-2011-PaigeKRMW #model management
Model Management in the Wild (RFP, DSK, LMR, NDM, JRW), pp. 197–218.
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.
MoDELS-2011-Garcia-DominguezKRPM #framework #model management #named #testing
EUnit: A Unit Testing Framework for Model Management Tasks (AGD, DSK, LMR, RFP, IMB), pp. 395–409.
ECMFA-2010-ClowesKHRPJDP #approach #modelling #web
A Reflective Approach to Model-Driven Web Engineering (DC, DSK, CH, LMR, RFP, JJ, RD, SGP), pp. 62–73.
ECMFA-2010-RoseKDWPPF #framework #named
Concordance: A Framework for Managing Model Integrity (LMR, DSK, ND, JRW, RFP, FACP, KJF), pp. 245–260.
ICMT-2010-KolovosRMPPF #navigation
Constructing and Navigating Non-invasive Model Decorations (DSK, LMR, NDM, RFP, FACP, KJF), pp. 138–152.
ICMT-2010-RoseKPP #migration
Model Migration with Epsilon Flock (LMR, DSK, RFP, FACP), pp. 184–198.
MoDELS-v1-2010-GuerraLKP #named #theory and practice
Inter-modelling: From Theory to Practice (EG, JdL, DSK, RFP), pp. 376–391.
MoDELS-v1-2010-GuerraLKPS #model transformation #named #product line
transML: A Family of Languages to Model Model Transformations (EG, JdL, DSK, RFP, OMdS), pp. 106–120.
MoDELS-v1-2010-KolovosRAPPB #emf #model transformation #using
Taming EMF and GMF Using Model Transformation (DSK, LMR, SbA, RFP, FACP, GB), pp. 211–225.
MoDELS-v1-2010-RoseHWKGPP #comparison #migration #tool support
A Comparison of Model Migration Tools (LMR, MH, JRW, DSK, KG, RFP, FACP), pp. 61–75.
ASE-2009-RoseKPP #automation #consistency #metamodelling #nondeterminism
Enhanced Automation for Managing Model and Metamodel Inconsistency (LMR, DSK, RFP, FACP), pp. 545–549.
ICST-2009-AydalPUW #modelling #specification #testing #validation
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation (EGA, RFP, MU, JW), pp. 131–140.
MoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
SLE-2009-ZschalerKDPR #metamodelling
Domain-Specific Metamodelling Languages for Software Language Engineering (SZ, DSK, ND, RFP, AR), pp. 334–353.
TOOLS-EUROPE-2009-TreharneTPK #automation #formal method #generative #modelling #uml
Automatic Generation of Integrated Formal Models Corresponding to UML System Models (HT, ET, RFP, DSK), pp. 357–367.
ECMDA-FA-2008-RosePKP #generative
The Epsilon Generation Language (LMR, RFP, DSK, FP), pp. 1–16.
ICMT-2008-KolovosPP #model transformation #transformation language
The Epsilon Transformation Language (DSK, RFP, FP), pp. 46–60.
ICST-2008-KolovosPP #consistency #detection #modelling #nondeterminism
Detecting and Repairing Inconsistencies across Heterogeneous Models (DSK, RFP, FP), pp. 356–364.
MoDELS-2008-RosePKP #modelling
Constructing Models with the Human-Usable Textual Notation (LMR, RFP, DSK, FP), pp. 249–263.
SLE-2008-DrivalosKPF #domain-specific language #traceability
Engineering a DSL for Software Traceability (ND, DSK, RFP, KJF), pp. 151–167.
WICSA-2008-RadjenovicP #architecture #consistency #dependence
The Role of Dependency Links in Ensuring Architectural View Consistency (AR, RFP), pp. 199–208.
TOOLS-EUROPE-2007-KolovosPPR #in the small
Update Transformations in the Small with the Epsilon Wizard Language (DSK, RFP, FP, LMR), pp. 53–69.
ECMDA-FA-2006-BezivinBFGJKKP #canonical #composition
A Canonical Scheme for Model Composition (JB, SB, MDDF, MPG, FJ, DSK, IK, RFP), pp. 346–360.
ECMDA-FA-2006-EngelPK #model merging #using
Using a Model Merging Language for Reconciling Model Versions (KDE, RFP, DSK), pp. 143–157.
ECMDA-FA-2006-KolovosPP
The Epsilon Object Language (EOL) (DSK, RFP, FP), pp. 128–142.
ICEIS-AIDSS-2006-AbdullahPBK #architecture #development #information management #knowledge-based #modelling #uml #using
Knowledge Engineering Using the UML Profile — Adopting the Model-Driven Architecture for Knowledge-Based System Development (MSA, RFP, IDB, CK), pp. 74–81.
MoDELS-2006-KolovosPP #modelling
Merging Models with the Epsilon Merging Language (EML) (DSK, RFP, FP), pp. 215–229.
SAC-2006-PaigeKP #action semantics #semantics
An action semantics for MOF 2.0 (RFP, DSK, FP), pp. 1304–1305.
ECMDA-FA-2005-ChanP #approach #contract #design #metamodelling
Designing a Domain-Specific Contract Language: A Metamodelling Approach (ZEC, RFP), pp. 175–189.
ECMDA-FA-2005-ChiversP #bidirectional #named
XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language (HC, RFP), pp. 205–219.
IFM-2005-PaigeB #agile #formal method
Agile Formal Method Engineering (RFP, PJB), pp. 109–128.
SAC-2005-PaigeCMS #programming
High-integrity extreme programming (RFP, HC, JAM, ZRS), pp. 1518–1523.
IFM-2002-BrookeP #csp #design #visual notation
The Design of a Tool-Supported Graphical Notation for Timed CSP (PJB, RFP), pp. 299–318.
TOOLS-USA-2002-PaigeKOL #automation #named #reasoning #specification
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning (RFP, LK, JSO, JL), pp. 77–96.
FASE-2001-PaigeO #consistency #metamodelling
Metamodelling and Conformance Checking with PVS (RFP, JSO), pp. 2–16.
RE-2001-PaigeO #principle
The Single Model Principle (RFP, JSO), pp. 292–293.
FM-v1-1999-PaigeH #concurrent #object-oriented #realtime #specification
Bunches for Object-Oriented, Concurrent, and Real-Time Specification (RFP, ECRH), pp. 530–550.
FM-v1-1999-PaigeO #formal method
Developing BON as an Industrial-Strength Formal Method (RFP, JSO), pp. 834–853.
IFM-1999-Paige #communication #concurrent #refinement #specification #using
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication (RFP), pp. 353–372.
UML-1999-PaigeO #comparison #modelling
A Comparison of the Business Object Notation and the Unified Modelling Language (RFP, JSO), pp. 67–82.
ASE-1998-PaigeO #eiffel
From Z to BON/Eiffel (RFP, JSO), pp. 209–212.
FME-1997-Paige #formal method #integration
A Meta-Method for Formal Method Integration (RFP), pp. 473–494.
ECMFA-2016-Garcia-Dominguez
Stress-Testing Centralised Model Stores (AGD, KB, DSK, RW, RFP), pp. 48–63.
ICMT-2016-HerreraWP #model transformation #syntax #transformation language
A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax (ASBH, EDW, RFP), pp. 3–18.
MoDELS-2016-WeiKGBP #modelling #xmi
Partial loading of XMI models (RW, DSK, AGD, KB, RFP), pp. 329–339.
MoDELS-2017-AbrahaoBCKPSW #challenge #experience #modelling #user interface
User Experience for Model-Driven Engineering: Challenges and Future Directions (SA, FB, BHCC, SK, RFP, HS, JW), pp. 229–236.
MoDELS-2017-ZolotasRKPH #model management #modelling #open source #tool support
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon (AZ, HHR, DSK, RFP, SH), pp. 237–247.
ECMFA-2018-MadaniKP #parallel #validation
Parallel Model Validation with Epsilon (SM, DSK, RFP), pp. 115–131.
ECMFA-2018-ZolotasWGRKP #automation #editing #generative #papyrus #towards #uml #visual notation
Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (AZ, RW, SG, HHR, DSK, RFP), pp. 12–27.

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.