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: Paige:Richard_F=
Facilitated 38 volumes:
SciCo
SCo
PrBoard
EdGChSCoPrCoSCoPrBoardPrCoSCoPrCoSCoPrBoardEdPrChSCoPrCoSMCh
EdSCoPrCoSCoPrCoEdSciCoEdPrChPrCoPrCoPrCo
EdEdEdPubChPrCoContributed to:
2015
2014
201420142013
20132013201220122015201220122014
201120112011201120122011201020102010
2009
200920092009200920082008200820082008
200820072006
20062006
20062005
2005200520022002
2001
2001
19991999
19991998199720162016201620172018Wrote 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.