Items where authors include "Paige, Richard F."

Article

Sanchez, Beatriz A., Zolotas, Athanasios, Hoyos Rodriguez, Horacio et al. (4 more authors) (2021) Runtime translation of OCL-like statements on Simulink models : Expanding domains and optimising queries. Software and Systems Modeling. pp. 1889-1918. ISSN 1619-1366

Madani, Sina, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2021) Distributed model validation with Epsilon. Software and Systems Modeling. pp. 1689-1712. ISSN 1619-1366

Wei, Ran, Zolotas, Athanasios, Hoyos Rodriguez, Horacio et al. (3 more authors) (2020) Automatic generation of UML profile graphical editors for Papyrus. Software and Systems Modeling. ISSN 1619-1366

Bucchiarone, Antonio, Cabot, Jordi, Paige, Richard F. orcid.org/0000-0002-1978-9852 et al. (1 more author) (2020) Grand challenges in model-driven engineering : an analysis of the state of the research. Software and Systems Modeling. pp. 5-13. ISSN 1619-1366

Zolotas, Athanasios, Matragkas, Nicholas orcid.org/0000-0002-8594-1912, Devlin, Sam orcid.org/0000-0002-7769-3090 et al. (2 more authors) (2019) Type inference in flexible model-driven engineering using classification algorithms. International Journal on Software & Systems Modelling. pp. 345-366. ISSN 1619-1366

Ellison, Martyn, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Evaluating cloud database migration options using workload models. Journal of Cloud Computing: Advances, Systems and Applications (JoCCASA). 6. ISSN 2192-113X

Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563, Garcia-Dominguez, Antonio orcid.org/0000-0002-4744-9150, Paige, Richard F. orcid.org/0000-0002-1978-9852 et al. (7 more authors) (2016) MONDO : Scalable modelling and model management on the Cloud. CEUR Workshop Proceedings 1403. pp. 55-64. ISSN 1613-0073

Paige, Richard F. orcid.org/0000-0002-1978-9852, Syriani, Eugene, Ergin, Huseyin et al. (1 more author) (2016) Patterns in model engineering 2015 - A workshop summary. CEUR Workshop Proceedings 1403. pp. 44-50. ISSN 1613-0073

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2009) XRound : A reversible template language and its application in model-based security analysis. Information and Software Technology. pp. 876-893.

Paige, Richard F. orcid.org/0000-0002-1978-9852, Brooke, Phillip J. and Ostroff, Jonathan S. (2007) Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology. 11. B1-B49. ISSN 1049-331X

Proceedings Paper

Srivisut, Komsan, Clark, John A. orcid.org/0000-0002-9230-9739 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Dependent input sampling strategies : using metaheuristics for generating parameterised random sampling regimes. In: GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference. 2018 Genetic and Evolutionary Computation Conference, GECCO 2018, 15-19 Jul 2018. ACM , JPN , pp. 1451-1458.

Madani, Sina, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Parallel model validation with epsilon. In: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018, 26-28 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , FRA , pp. 115-131.

Zolotas, Athanasios, Wei, Ran, Gerasimou, Simos et al. (3 more authors) (2018) Towards automatic generation of UML profile graphical editors for papyrus. In: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018, 26-28 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , FRA , pp. 12-27.

Sanchez, Beatriz A., Barmpis, Konstantinos, Neubauer, Patrick orcid.org/0000-0002-9811-4772 et al. (2 more authors) (2018) Restmule : Enabling resilient clients for remote APIs. In: Proceedings - 2018 ACM/IEEE 15th International Conference on Mining Software Repositories, MSR 2018. 15th ACM/IEEE International Conference on Mining Software Repositories, MSR 2018, co-located with the 40th International Conference on Software Engineering, ICSE 2018, 28-29 May 2018. IEEE Computer Society , SWE , pp. 537-541.

Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Engineering bidirectional transformations. In: Gibbons, Jeremy and Stevens, Perdita, (eds.) Bidirectional Transformations:International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. International Summer School on Bidirectional Transformations, 2016, 25-29 Jul 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , GBR , pp. 151-187.

Zolotas, Athanasios, Rodriguez, Horacio Hoyos, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2017) Bridging Proprietary Modelling and Open-Source Model Management Tools : The Case of PTC Integrity Modeller and Epsilon. In: Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, 17-22 Sep 2017. IEEE , USA , pp. 237-247.

Herrera, Adolfo Sánchez-Barbudo, Willink, Edward D. and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2017) A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax. In: Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 3-18.

Kolovos, DImitris S. orcid.org/0000-0002-1724-6563 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2017) The Epsilon Pattern Language. In: Proceedings - 2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering, MiSE 2017. 9th IEEE/ACM International Workshop on Modelling in Software Engineering, MiSE 2017, 21-22 May 2017. IEEE , ARG , pp. 54-60.

Paige, Richard F. orcid.org/0000-0002-1978-9852 (2016) Language engineering : Challenges, opportunities and potential disasters for interactive systems. In: EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016, 21-24 Jun 2016. ACM , BEL , p. 3.

García-Domínguez, Antonio orcid.org/0000-0002-4744-9150, Barmpis, Konstantinos, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2016) Stress-Testing Centralised Model Stores. In: Wąsowski, Andrzej and Lönn, Henrik, (eds.) Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 48-63.

Hawkins, Richard orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2015) Weaving an Assurance Case from Design: A Model-Based Approach. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. UNSPECIFIED. IEEE , pp. 110-117.

Santos, Osmar Marchi dos, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2011) Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In: Perseil, Isabelle, Breitman, Karin and Sterritt, Roy, (eds.) 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. UNSPECIFIED. IEEE Computer Society , pp. 117-126.

Bézivin, Jean, Paige, Richard F. orcid.org/0000-0002-1978-9852, Aßmann, Uwe et al. (2 more authors) (2008) Manifesto - Model Engineering for Complex Systems. In: Perspectives Workshop: Model Engineering of Complex Systems (MECS). Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10-13 Aug 2008. Dagstuhl Seminar Proceedings . , GBR .