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

Zolotas, Athanasios, Barmpis, Konstantinos, Medhat, Fady orcid.org/0000-0003-2827-4487 et al. (3 more authors) (2021) An Architecture for the Development of Distributed Analytics Based on Polystore Events. In: Gadepally, Vijay, Mattson, Timothy, Stonebraker, Michael, Kraska, Tim, Wang, Fusheng, Luo, Gang, Kong, Jun and Dubovitskaya, Alevtina, (eds.) Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2020 and DMAH 2020, Revised Selected Papers. VLDB workshops: International Workshop on Polystore Systems for Heterogeneous Data in Multiple Databases with Privacy and Security Assurances, Poly 2020, and 6th International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 202, 31 Aug - 04 Sep 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , Virtual, Online , pp. 54-65.

Hoyos Rodriguez, Horacio, Zolotas, Athanasios, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 et al. (1 more author) (2019) On the challenges of model decorations for capturing complex metadata. In: Burgueno, Loli, Burgueno, Loli, Pretschner, Alexander, Voss, Sebastian, Chaudron, Michel, Kienzle, Jorg, Volter, Markus, Gerard, Sebastien, Zahedi, Mansooreh, Bousse, Erwan, Rensink, Arend, Polack, Fiona, Engels, Gregor and Kappel, Gerti, (eds.) Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019, 15-20 Sep 2019. Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019 . IEEE , DEU , pp. 347-353.

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.

Paige, Richard F. orcid.org/0000-0002-1978-9852, Zolotas, Athanasios, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (4 more authors) (2018) SECT-AIR:Software Engineering Costs and Timescales – Aerospace Initiative for Reduction. In: Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. International conference on Software Technologies: Applications and Foundations, STAF 2017, 17-21 Jul 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , DEU , pp. 403-408.

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.

Zolotas, Athanasios, Matragkas, Nicholas, Devlin, Sam orcid.org/0000-0002-7769-3090 et al. (2 more authors) (2015) Type inference in flexible model-driven engineering. In: Modelling Foundations and Applications:11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. 11th European Conference on Modelling Foundations and Applications, ECMFA 2015 Held as Part of International Conference on Software Technologies: Applications and Foundations, STAF 2015, 20-24 Jul 2015. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , ITA , pp. 75-91.

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.

Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563, Matragkas, Nicholas Drivalos, Williams, James R. et al. (1 more author) (2014) Model Driven Grant Proposal Engineering. In: Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. UNSPECIFIED. , pp. 420-432.

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 .