Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Adrian Rutle
@article{DBLP:journals/corr/abs-2403-03683, author = {Tim Kr{\"{a}}uter and Patrick St{\"{u}}nkel and Adrian Rutle and Yngve Lamo}, title = {The Visual Debugger: Past, Present, and Future}, journal = {CoRR}, volume = {abs/2403.03683}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.03683}, doi = {10.48550/ARXIV.2403.03683}, eprinttype = {arXiv}, eprint = {2403.03683}, timestamp = {Wed, 03 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-03683.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csi/Rosa-BilbaoBR23, author = {Jes{\'{u}}s Rosa{-}Bilbao and Juan Boubeta{-}Puig and Adrian Rutle}, title = {EDALoCo: Enhancing the accessibility of blockchains through a low-code approach to the development of event-driven applications for smart contract management}, journal = {Comput. Stand. Interfaces}, volume = {84}, pages = {103676}, year = {2023}, url = {https://doi.org/10.1016/j.csi.2022.103676}, doi = {10.1016/J.CSI.2022.103676}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csi/Rosa-BilbaoBR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iot/RosaBilbaoBR23, author = {Jes{\'{u}}s Rosa{-}Bilbao and Juan Boubeta{-}Puig and Adrian Rutle}, title = {CEPEDALoCo: An event-driven architecture for integrating complex event processing and blockchain through low-code}, journal = {Internet Things}, volume = {22}, pages = {100802}, year = {2023}, url = {https://doi.org/10.1016/j.iot.2023.100802}, doi = {10.1016/J.IOT.2023.100802}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iot/RosaBilbaoBR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/RodriguezMDRW23, author = {Alejandro Rodr{\'{\i}}guez and Fernando Mac{\'{\i}}as and Francisco Dur{\'{a}}n and Adrian Rutle and Uwe Wolter}, title = {Composition of multilevel domain-specific modelling languages}, journal = {J. Log. Algebraic Methods Program.}, volume = {130}, pages = {100831}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2022.100831}, doi = {10.1016/J.JLAMP.2022.100831}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/RodriguezMDRW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/KrauterKRLS23, author = {Tim Kr{\"{a}}uter and Harald K{\"{o}}nig and Adrian Rutle and Yngve Lamo and Patrick St{\"{u}}nkel}, title = {Behavioral consistency in multi-modeling}, journal = {J. Object Technol.}, volume = {22}, number = {2}, pages = {1--15}, year = {2023}, url = {https://doi.org/10.5381/jot.2023.22.2.a9}, doi = {10.5381/JOT.2023.22.2.A9}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jot/KrauterKRLS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/KrauterRKL23, author = {Tim Kr{\"{a}}uter and Adrian Rutle and Harald K{\"{o}}nig and Yngve Lamo}, editor = {Maribel Fern{\'{a}}ndez and Christopher M. Poskitt}, title = {Formalization and Analysis of {BPMN} Using Graph Transformation Systems}, booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023, Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13961}, pages = {204--222}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-36709-0\_11}, doi = {10.1007/978-3-031-36709-0\_11}, timestamp = {Sat, 05 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/KrauterRKL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-05243, author = {Tim Kr{\"{a}}uter and Adrian Rutle and Harald K{\"{o}}nig and Yngve Lamo}, title = {A higher-order transformation approach to the formalization and analysis of {BPMN} using graph transformation systems}, journal = {CoRR}, volume = {abs/2311.05243}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.05243}, doi = {10.48550/ARXIV.2311.05243}, eprinttype = {arXiv}, eprint = {2311.05243}, timestamp = {Tue, 14 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-05243.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/Rodriguez-Echeverria22, author = {Roberto Rodr{\'{\i}}guez{-}Echeverr{\'{\i}}a and Fernando Mac{\'{\i}}as and Adrian Rutle and Jos{\'{e}} Mar{\'{\i}}a Conejero}, title = {Suggesting model transformation repairs for rule-based languages using a contract-based testing approach}, journal = {Softw. Syst. Model.}, volume = {21}, number = {1}, pages = {81--112}, year = {2022}, url = {https://doi.org/10.1007/s10270-021-00891-0}, doi = {10.1007/S10270-021-00891-0}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/Rodriguez-Echeverria22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/RutleW22, author = {Adrian Rutle and Manuel Wimmer}, title = {Guest editorial to the theme section on multi-level modeling}, journal = {Softw. Syst. Model.}, volume = {21}, number = {2}, pages = {447--449}, year = {2022}, url = {https://doi.org/10.1007/s10270-022-00987-1}, doi = {10.1007/S10270-022-00987-1}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/RutleW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/BarrigaRH22, author = {Angela Barriga and Adrian Rutle and Rogardt Heldal}, title = {AI-powered model repair: an experience report - lessons learned, challenges, and opportunities}, journal = {Softw. Syst. Model.}, volume = {21}, number = {3}, pages = {1135--1157}, year = {2022}, url = {https://doi.org/10.1007/s10270-022-00983-5}, doi = {10.1007/S10270-022-00983-5}, timestamp = {Fri, 13 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/BarrigaRH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/BarrigaHRI22, author = {Angela Barriga and Rogardt Heldal and Adrian Rutle and Ludovico Iovino}, title = {{PARMOREL:} a framework for customizable model repair}, journal = {Softw. Syst. Model.}, volume = {21}, number = {5}, pages = {1739--1762}, year = {2022}, url = {https://doi.org/10.1007/s10270-022-01005-0}, doi = {10.1007/S10270-022-01005-0}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sosym/BarrigaHRI22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/FossdalHDR22, author = {Frikk H. Fossdal and Rogardt Heldal and Jens Dyvik and Adrian Rutle}, title = {Fabricatable axis: an approach for modelling customized fabrication machines}, journal = {Softw. Syst. Model.}, volume = {21}, number = {5}, pages = {1907--1929}, year = {2022}, url = {https://doi.org/10.1007/s10270-022-01007-y}, doi = {10.1007/S10270-022-01007-Y}, timestamp = {Mon, 24 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/FossdalHDR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/KrauterKRL22, author = {Tim Kr{\"{a}}uter and Harald K{\"{o}}nig and Adrian Rutle and Yngve Lamo}, title = {The Visual Debugger Tool}, booktitle = {{IEEE} International Conference on Software Maintenance and Evolution, {ICSME} 2022, Limassol, Cyprus, October 3-7, 2022}, pages = {494--498}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICSME55016.2022.00066}, doi = {10.1109/ICSME55016.2022.00066}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsm/KrauterKRL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apn/2022heda, editor = {Yngve Lamo and Adrian Rutle}, title = {Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), Bergen, Norway, June 26th-27th, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3264}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3264}, urn = {urn:nbn:de:0074-3264-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/2022heda.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/StunkelKLR21, author = {Patrick St{\"{u}}nkel and Harald K{\"{o}}nig and Yngve Lamo and Adrian Rutle}, title = {Comprehensive Systems: {A} formal foundation for Multi-Model Consistency Management}, journal = {Formal Aspects Comput.}, volume = {33}, number = {6}, pages = {1067--1114}, year = {2021}, url = {https://doi.org/10.1007/s00165-021-00555-2}, doi = {10.1007/S00165-021-00555-2}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/StunkelKLR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/StunkelKRL21, author = {Patrick St{\"{u}}nkel and Harald K{\"{o}}nig and Adrian Rutle and Yngve Lamo}, title = {Multi-Model Evolution through Model Repair}, journal = {J. Object Technol.}, volume = {20}, number = {1}, pages = {1:1--25}, year = {2021}, url = {https://doi.org/10.5381/jot.2021.20.1.a2}, doi = {10.5381/JOT.2021.20.1.A2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/StunkelKRL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/BarrigaBIRH21, author = {Angela Barriga and Lorenzo Bettini and Ludovico Iovino and Adrian Rutle and Rogardt Heldal}, title = {Addressing the trade off between smells and quality when refactoring class diagrams}, journal = {J. Object Technol.}, volume = {20}, number = {3}, pages = {1:1--15}, year = {2021}, url = {https://doi.org/10.5381/jot.2021.20.3.a1}, doi = {10.5381/JOT.2021.20.3.A1}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jot/BarrigaBIRH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/0006KR21, author = {Alejandro Rodr{\'{\i}}guez and Lars Michael Kristensen and Adrian Rutle}, title = {Verification of the {MQTT} IoT Protocol Using Property-Specific {CTL} Sweep-Line Algorithms}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {15}, pages = {165--183}, year = {2021}, url = {https://doi.org/10.1007/978-3-662-63079-2\_8}, doi = {10.1007/978-3-662-63079-2\_8}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/0006KR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/BarrigaRH20, author = {Angela Barriga and Adrian Rutle and Rogardt Heldal}, title = {Improving Model Repair through Experience Sharing}, journal = {J. Object Technol.}, volume = {19}, number = {2}, pages = {13:1--21}, year = {2020}, url = {https://doi.org/10.5381/jot.2020.19.2.a13}, doi = {10.5381/JOT.2020.19.2.A13}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/BarrigaRH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/IovinoBRH20, author = {Ludovico Iovino and Angela Barriga and Adrian Rutle and Rogardt Heldal}, title = {Model Repair with Quality-Based Reinforcement Learning}, journal = {J. Object Technol.}, volume = {19}, number = {2}, pages = {17:1--21}, year = {2020}, url = {https://doi.org/10.5381/jot.2020.19.2.a17}, doi = {10.5381/JOT.2020.19.2.A17}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jot/IovinoBRH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/StunkelBRL20, author = {Patrick St{\"{u}}nkel and Ole von Bargen and Adrian Rutle and Yngve Lamo}, title = {GraphQL Federation: {A} Model-Based Approach}, journal = {J. Object Technol.}, volume = {19}, number = {2}, pages = {18:1--21}, year = {2020}, url = {https://doi.org/10.5381/jot.2020.19.2.a18}, doi = {10.5381/JOT.2020.19.2.A18}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/StunkelBRL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/RutleIKD20, author = {Adrian Rutle and Ludovico Iovino and Harald K{\"{o}}nig and Zinovy Diskin}, title = {A query-retyping approach to model transformation co-evolution}, journal = {Softw. Syst. Model.}, volume = {19}, number = {5}, pages = {1107--1138}, year = {2020}, url = {https://doi.org/10.1007/s10270-020-00805-6}, doi = {10.1007/S10270-020-00805-6}, timestamp = {Tue, 15 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/RutleIKD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/StunkelKLR20, author = {Patrick St{\"{u}}nkel and Harald K{\"{o}}nig and Yngve Lamo and Adrian Rutle}, editor = {Heike Wehrheim and Jordi Cabot}, title = {Towards Multiple Model Synchronization with Comprehensive Systems}, booktitle = {Fundamental Approaches to Software Engineering - 23rd International Conference, {FASE} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12076}, pages = {335--356}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-45234-6\_17}, doi = {10.1007/978-3-030-45234-6\_17}, timestamp = {Fri, 14 May 2021 08:34:14 +0200}, biburl = {https://dblp.org/rec/conf/fase/StunkelKLR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/WolterMR20, author = {Uwe Wolter and Fernando Mac{\'{\i}}as and Adrian Rutle}, editor = {Fabio Gadducci and Timo Kehrer}, title = {Multilevel Typed Graph Transformations}, booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020, Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12150}, pages = {163--182}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51372-6\_10}, doi = {10.1007/978-3-030-51372-6\_10}, timestamp = {Tue, 30 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/WolterMR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BarrigaHIMR20, author = {Angela Barriga and Rogardt Heldal and Ludovico Iovino and Magnus Marthinsen and Adrian Rutle}, editor = {Eugene Syriani and Houari A. Sahraoui and Juan de Lara and Silvia Abrah{\~{a}}o}, title = {An extensible framework for customizable model repair}, booktitle = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020}, pages = {24--34}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3365438.3410957}, doi = {10.1145/3365438.3410957}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/models/BarrigaHIMR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BarrigaMPRHI20, author = {Angela Barriga and Lawrence Mandow and Jos{\'{e}}{-}Luis P{\'{e}}rez{-}de{-}la{-}Cruz and Adrian Rutle and Rogardt Heldal and Ludovico Iovino}, editor = {Esther Guerra and Ludovico Iovino}, title = {A comparative study of reinforcement learning techniques to repair models}, booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings}, pages = {47:1--47:9}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3417990.3421395}, doi = {10.1145/3417990.3421395}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/models/BarrigaMPRHI20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/FossdalHDR20, author = {Frikk H. Fossdal and Rogardt Heldal and Jens Dyvik and Adrian Rutle}, editor = {Eugene Syriani and Houari A. Sahraoui and Juan de Lara and Silvia Abrah{\~{a}}o}, title = {A parametric model for creating customized fabrication machines}, booktitle = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020}, pages = {143--153}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3365438.3410960}, doi = {10.1145/3365438.3410960}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/models/FossdalHDR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-11366, author = {Fernando Mac{\'{\i}}as and Adrian Rutle and Volker Stolz and Torben Scheffel and Malte Schmitz}, title = {Empowering Multilevel DSMLs with Integrated Runtime Verification}, journal = {CoRR}, volume = {abs/2005.11366}, year = {2020}, url = {https://arxiv.org/abs/2005.11366}, eprinttype = {arXiv}, eprint = {2005.11366}, timestamp = {Thu, 28 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-11366.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-14612, author = {Uwe Wolter and Fernando Mac{\'{\i}}as and Adrian Rutle}, title = {Multilevel Typed Graph Transformations}, journal = {CoRR}, volume = {abs/2006.14612}, year = {2020}, url = {https://arxiv.org/abs/2006.14612}, eprinttype = {arXiv}, eprint = {2006.14612}, timestamp = {Wed, 01 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-14612.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/MaciasWRDR19, author = {Fernando Mac{\'{\i}}as and Uwe Wolter and Adrian Rutle and Francisco Dur{\'{a}}n and Roberto Rodr{\'{\i}}guez{-}Echeverr{\'{\i}}a}, title = {Multilevel coupled model transformations for precise and reusable definition of model behaviour}, journal = {J. Log. Algebraic Methods Program.}, volume = {106}, pages = {167--195}, year = {2019}, url = {https://doi.org/10.1016/j.jlamp.2018.12.005}, doi = {10.1016/J.JLAMP.2018.12.005}, timestamp = {Mon, 28 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/MaciasWRDR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/RodriguezDRK19, author = {Alejandro Rodr{\'{\i}}guez and Francisco Dur{\'{a}}n and Adrian Rutle and Lars Michael Kristensen}, title = {Executing Multilevel Domain-Specific Models in Maude}, journal = {J. Object Technol.}, volume = {18}, number = {2}, pages = {4:1--21}, year = {2019}, url = {https://doi.org/10.5381/jot.2019.18.2.a4}, doi = {10.5381/JOT.2019.18.2.A4}, timestamp = {Mon, 28 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jot/RodriguezDRK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/0006KR19, author = {Alejandro Rodr{\'{\i}}guez and Lars Michael Kristensen and Adrian Rutle}, title = {Formal Modelling and Incremental Verification of the {MQTT} IoT Protocol}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {14}, pages = {126--145}, year = {2019}, url = {https://doi.org/10.1007/978-3-662-60651-3\_5}, doi = {10.1007/978-3-662-60651-3\_5}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/0006KR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/0006KR19, author = {Alejandro Rodr{\'{\i}}guez and Lars Michael Kristensen and Adrian Rutle}, editor = {Daniel Moldt and Ekkart Kindler and Manuel Wimmer}, title = {On {CTL} Model Checking of the {MQTT} IoT Protocol using the Sweep-Line Method}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering {(PNSE} 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design {ACSD} 2019 and the 1st {IEEE} International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2424}, pages = {57--72}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2424/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/0006KR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euromicro/IovinoRPR19, author = {Ludovico Iovino and Adrian Rutle and Alfonso Pierantonio and Juri Di Rocco}, editor = {Miroslaw Staron and Rafael Capilla and Amund Skavhaug}, title = {Query-Based Impact Analysis of Metamodel Evolutions}, booktitle = {45th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2019, Kallithea-Chalkidiki, Greece, August 28-30, 2019}, pages = {458--465}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/SEAA.2019.00074}, doi = {10.1109/SEAA.2019.00074}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/euromicro/IovinoRPR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euspn/MukhiyaRPRL19, author = {Suresh Kumar Mukhiya and Fazle Rabbi and Violet Ka I Pun and Adrian Rutle and Yngve Lamo}, editor = {Elhadi M. Shakshuki and Ansar{-}Ul{-}Haque Yasar and Haroon Malik}, title = {A GraphQL approach to Healthcare Information Exchange with {HL7} {FHIR}}, booktitle = {The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks {(EUSPN} 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare {(ICTH-2019)} / Affiliated Workshops, Coimbra, Portugal, November 4-7, 2019}, series = {Procedia Computer Science}, volume = {160}, pages = {338--345}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.procs.2019.11.082}, doi = {10.1016/J.PROCS.2019.11.082}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/euspn/MukhiyaRPRL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/AlemeidaRW19, author = {Jo{\~{a}}o Paulo A. Almeida and Adrian Rutle and Manuel Wimmer}, editor = {Loli Burgue{\~{n}}o and Alexander Pretschner and Sebastian Voss and Michel Chaudron and J{\"{o}}rg Kienzle and Markus V{\"{o}}lter and S{\'{e}}bastien G{\'{e}}rard and Mansooreh Zahedi and Erwan Bousse and Arend Rensink and Fiona Polack and Gregor Engels and Gerti Kappel}, title = {Preface to the 6th International Workshop on Multi-Level Modelling {(MULTI} 2019)}, booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion, {MODELS} Companion 2019, Munich, Germany, September 15-20, 2019}, pages = {64--65}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MODELS-C.2019.00015}, doi = {10.1109/MODELS-C.2019.00015}, timestamp = {Sun, 25 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/AlemeidaRW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/0006RKD19, author = {Alejandro Rodr{\'{\i}}guez and Adrian Rutle and Lars Michael Kristensen and Francisco Dur{\'{a}}n}, editor = {Loli Burgue{\~{n}}o and Alexander Pretschner and Sebastian Voss and Michel Chaudron and J{\"{o}}rg Kienzle and Markus V{\"{o}}lter and S{\'{e}}bastien G{\'{e}}rard and Mansooreh Zahedi and Erwan Bousse and Arend Rensink and Fiona Polack and Gregor Engels and Gerti Kappel}, title = {A Foundation for the Composition of Multilevel Domain-Specific Languages}, booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion, {MODELS} Companion 2019, Munich, Germany, September 15-20, 2019}, pages = {88--97}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MODELS-C.2019.00018}, doi = {10.1109/MODELS-C.2019.00018}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/0006RKD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/RossiSIR19, author = {Maria Teresa Rossi and Martina {De Sanctis} and Ludovico Iovino and Adrian Rutle}, editor = {Loli Burgue{\~{n}}o and Alexander Pretschner and Sebastian Voss and Michel Chaudron and J{\"{o}}rg Kienzle and Markus V{\"{o}}lter and S{\'{e}}bastien G{\'{e}}rard and Mansooreh Zahedi and Erwan Bousse and Arend Rensink and Fiona Polack and Gregor Engels and Gerti Kappel}, title = {A Multilevel Modelling Approach for Tourism Flows Detection}, booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion, {MODELS} Companion 2019, Munich, Germany, September 15-20, 2019}, pages = {103--112}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MODELS-C.2019.00020}, doi = {10.1109/MODELS-C.2019.00020}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/RossiSIR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/AlmeidaRWK19, author = {Jo{\~{a}}o Paulo A. Almeida and Adrian Rutle and Manuel Wimmer and Thomas K{\"{u}}hne}, editor = {Loli Burgue{\~{n}}o and Alexander Pretschner and Sebastian Voss and Michel Chaudron and J{\"{o}}rg Kienzle and Markus V{\"{o}}lter and S{\'{e}}bastien G{\'{e}}rard and Mansooreh Zahedi and Erwan Bousse and Arend Rensink and Fiona Polack and Gregor Engels and Gerti Kappel}, title = {The {MULTI} Process Challenge}, booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion, {MODELS} Companion 2019, Munich, Germany, September 15-20, 2019}, pages = {164--167}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MODELS-C.2019.00027}, doi = {10.1109/MODELS-C.2019.00027}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/models/AlmeidaRWK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BarrigaRH19, author = {Angela Barriga and Adrian Rutle and Rogardt Heldal}, editor = {Loli Burgue{\~{n}}o and Alexander Pretschner and Sebastian Voss and Michel Chaudron and J{\"{o}}rg Kienzle and Markus V{\"{o}}lter and S{\'{e}}bastien G{\'{e}}rard and Mansooreh Zahedi and Erwan Bousse and Arend Rensink and Fiona Polack and Gregor Engels and Gerti Kappel}, title = {Personalized and Automatic Model Repairing using Reinforcement Learning}, booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion, {MODELS} Companion 2019, Munich, Germany, September 15-20, 2019}, pages = {175--181}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MODELS-C.2019.00030}, doi = {10.1109/MODELS-C.2019.00030}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/BarrigaRH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/LosvikR19, author = {Daneil Steen Losvik and Adrian Rutle}, editor = {Loli Burgue{\~{n}}o and Alexander Pretschner and Sebastian Voss and Michel Chaudron and J{\"{o}}rg Kienzle and Markus V{\"{o}}lter and S{\'{e}}bastien G{\'{e}}rard and Mansooreh Zahedi and Erwan Bousse and Arend Rensink and Fiona Polack and Gregor Engels and Gerti Kappel}, title = {A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems}, booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion, {MODELS} Companion 2019, Munich, Germany, September 15-20, 2019}, pages = {549--558}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MODELS-C.2019.00085}, doi = {10.1109/MODELS-C.2019.00085}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/LosvikR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-05754, author = {Fernando Mac{\'{\i}}as and Uwe Wolter and Adrian Rutle and Francisco Dur{\'{a}}n and Roberto Rodr{\'{\i}}guez{-}Echeverr{\'{\i}}a}, title = {Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour}, journal = {CoRR}, volume = {abs/1901.05754}, year = {2019}, url = {http://arxiv.org/abs/1901.05754}, eprinttype = {arXiv}, eprint = {1901.05754}, timestamp = {Mon, 28 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-05754.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/emisaij/MaciasRSRW18, author = {Fernando Mac{\'{\i}}as and Adrian Rutle and Volker Stolz and Roberto Rodr{\'{\i}}guez{-}Echeverr{\'{\i}}a and Uwe Wolter}, title = {An Approach to Flexible Multilevel Modelling}, journal = {Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.}, volume = {13}, pages = {10:1--10:35}, year = {2018}, url = {https://doi.org/10.18417/emisa.13.10}, doi = {10.18417/EMISA.13.10}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/emisaij/MaciasRSRW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/RodriguezKR18, author = {Alejandro Rodr{\'{\i}}guez and Lars Michael Kristensen and Adrian Rutle}, editor = {Daniel Moldt and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {On Modelling and Validation of the {MQTT} IoT Protocol for {M2M} Communication}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design {ACSD} 2018, Bratislava, Slovakia, June 24-29, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2138}, pages = {99--118}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2138/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/RodriguezKR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecmdafa/RutleIKD18, author = {Adrian Rutle and Ludovico Iovino and Harald K{\"{o}}nig and Zinovy Diskin}, editor = {Alfonso Pierantonio and Salvador Trujillo}, title = {Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation}, booktitle = {Modelling Foundations and Applications - 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10890}, pages = {80--96}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92997-2\_6}, doi = {10.1007/978-3-319-92997-2\_6}, timestamp = {Fri, 20 Nov 2020 13:15:21 +0100}, biburl = {https://dblp.org/rec/conf/ecmdafa/RutleIKD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/RossiniRLW18, author = {Alessandro Rossini and Adrian Rutle and Yngve Lamo and Uwe Wolter}, editor = {Regina Hebig and Thorsten Berger}, title = {Handling constraints in model versioning}, booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2245}, pages = {284--292}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2245/commitmde\_paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/RossiniRLW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/RutleBFB18, author = {Adrian Rutle and Jonas Backer and Kolbein Fold{\o}y and Robin T. Bye}, editor = {Regina Hebig and Thorsten Berger}, title = {CommonLang: {A} {DSL} for Defining Robot Tasks}, booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2245}, pages = {433--442}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2245/morse\_paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/RutleBFB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/MaciasRS18, author = {Fernando Mac{\'{\i}}as and Adrian Rutle and Volker Stolz}, editor = {Regina Hebig and Thorsten Berger}, title = {A tool for the convergence of multilevel modelling approaches}, booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2245}, pages = {633--642}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2245/multi\_paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/MaciasRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/RodriguezRDKM18, author = {Alejandro Rodr{\'{\i}}guez and Adrian Rutle and Francisco Dur{\'{a}}n and Lars Michael Kristensen and Fernando Mac{\'{\i}}as}, editor = {Regina Hebig and Thorsten Berger}, title = {Multilevel modelling of coloured petri nets}, booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2245}, pages = {663--672}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2245/multi\_paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/RodriguezRDKM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BarrigaRH18, author = {Angela Barriga and Adrian Rutle and Rogardt Heldal}, editor = {Regina Hebig and Thorsten Berger}, title = {Automatic model repair using reinforcement learning}, booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2245}, pages = {781--786}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2245/ammore\_paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/BarrigaRH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nik/SchaathunR18, author = {Hans Georg Schaathun and Adrian Rutle}, title = {Model-driven engineering in {RDF} - a way to version control}, booktitle = {31st Norsk Informatikkonferanse, {NIK} 2018, Universitetet i Oslo, Oslo, Norway, September 18-20, 2018}, publisher = {Bibsys Open Journal Systems, Norway}, year = {2018}, url = {https://ojs.bibsys.no/index.php/NIK/article/view/494}, timestamp = {Fri, 05 Feb 2021 11:08:06 +0100}, biburl = {https://dblp.org/rec/conf/nik/SchaathunR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/StunkelKLR18, author = {Patrick St{\"{u}}nkel and Harald K{\"{o}}nig and Yngve Lamo and Adrian Rutle}, editor = {Stefan Marr and Jennifer B. Sartor}, title = {Multimodel correspondence through inter-model constraints}, booktitle = {Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018}, pages = {9--17}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3191697.3191715}, doi = {10.1145/3191697.3191715}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/programming/StunkelKLR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/staf/BruneliereEGBBG18, author = {Hugo Bruneliere and Romina Eramo and Abel G{\'{o}}mez and Valentin Besnard and Jean{-}Michel Bruel and Martin Gogolla and Andreas K{\"{a}}stner and Adrian Rutle}, editor = {Manuel Mazzara and Iulian Ober and Gwen Sala{\"{u}}n}, title = {Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop}, booktitle = {Software Technologies: Applications and Foundations - {STAF} 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11176}, pages = {536--543}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-04771-9\_40}, doi = {10.1007/978-3-030-04771-9\_40}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/staf/BruneliereEGBBG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/TaentzerOLR17, author = {Gabriele Taentzer and Manuel Ohrndorf and Yngve Lamo and Adrian Rutle}, editor = {Marieke Huisman and Julia Rubin}, title = {Change-Preserving Model Repair}, booktitle = {Fundamental Approaches to Software Engineering - 20th International Conference, {FASE} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10202}, pages = {283--299}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54494-5\_16}, doi = {10.1007/978-3-662-54494-5\_16}, timestamp = {Fri, 09 Apr 2021 18:43:03 +0200}, biburl = {https://dblp.org/rec/conf/fase/TaentzerOLR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/MaciasRS17, author = {Fernando Mac{\'{\i}}as and Adrian Rutle and Volker Stolz}, editor = {Loli Burgue{\~{n}}o and Jonathan Corley and Nelly Bencomo and Peter J. Clarke and Philippe Collet and Michalis Famelis and Sudipto Ghosh and Martin Gogolla and Joel Greenyer and Esther Guerra and Sahar Kokaly and Alfonso Pierantonio and Julia Rubin and Davide Di Ruscio}, title = {Multilevel Modelling with MultEcore: {A} Contribution to the {MULTI} 2017 Challenge}, booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student Research Competition, and Tools and Demonstrations co-located with {ACM/IEEE} 20th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2017), Austin, TX, USA, September, 17, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {2019}, pages = {269--273}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-2019/multi\_9.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/MaciasRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecms/VerplaetseSROB16, author = {Tom Verplaetse and Filippo Sanfilippo and Adrian Rutle and Ottar L. Osen and Robin T. Bye}, editor = {Thorsten Claus and Frank Herrmann and Michael Manitz and Oliver Rose}, title = {On Usage Of {EEG} Brain Control For Rehabilitation Of Stroke Patients}, booktitle = {30th European Conference on Modelling and Simulation, {ECMS} 2016, Regensburg, Germany, May 31 - June 3, 2016, Proceedings}, pages = {544--553}, publisher = {European Council for Modeling and Simulation}, year = {2016}, url = {https://doi.org/10.7148/2016-0544}, doi = {10.7148/2016-0544}, timestamp = {Tue, 09 Feb 2021 08:33:22 +0100}, biburl = {https://dblp.org/rec/conf/ecms/VerplaetseSROB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecms/HjorungdalSORB16, author = {Rolf{-}Magnus Hjorungdal and Filippo Sanfilippo and Ottar L. Osen and Adrian Rutle and Robin T. Bye}, editor = {Thorsten Claus and Frank Herrmann and Michael Manitz and Oliver Rose}, title = {A Game-Based Learning Framework For Controlling Brain-Actuated Wheelchairs}, booktitle = {30th European Conference on Modelling and Simulation, {ECMS} 2016, Regensburg, Germany, May 31 - June 3, 2016, Proceedings}, pages = {554--563}, publisher = {European Council for Modeling and Simulation}, year = {2016}, url = {https://doi.org/10.7148/2016-0554}, doi = {10.7148/2016-0554}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecms/HjorungdalSORB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/Rodriguez-Echeverria16, author = {Roberto Rodr{\'{\i}}guez{-}Echeverr{\'{\i}}a and Fernando Mac{\'{\i}}as and Adrian Rutle}, editor = {H{\"{u}}seyin Ergin and Richard F. Paige and Eugene Syriani and Steffen Zschaler and Moussa Amrani}, title = {On reducing model transformation testing overhead}, booktitle = {Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, {PAME/VOLT} 2016, co-located with {ACM/IEEE} 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1693}, pages = {58--67}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1693/VoltPaper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/Rodriguez-Echeverria16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/MaciasRS16, author = {Fernando Mac{\'{\i}}as and Adrian Rutle and Volker Stolz}, editor = {Colin Atkinson and Georg Grossmann and Tony Clark}, title = {MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling}, booktitle = {Proceedings of the 3rd International Workshop on Multi-Level Modelling co-located with {ACM/IEEE} 19th International Conference on Model Driven Engineering Languages {\&} Systems (MoDELS 2016), Saint-Malo, France, October 4, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1722}, pages = {66--75}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1722/p6.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/MaciasRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecms/RutleWBO15, author = {Adrian Rutle and Hao Wang and Robin T. Bye and Ottar L. Osen}, editor = {Valeri M. Mladenov and Grisha Spasov and Petia Georgieva and Galidia Petrova}, title = {Scalable And User-Friendly Simulation}, booktitle = {29th European Conference on Modelling and Simulation, {ECMS} 2015, Albena (Varna), Bulgaria, May 26-29, 2015. Proceedings}, pages = {164--170}, publisher = {European Council for Modeling and Simulation}, year = {2015}, url = {https://doi.org/10.7148/2015-0164}, doi = {10.7148/2015-0164}, timestamp = {Tue, 09 Feb 2021 08:33:04 +0100}, biburl = {https://dblp.org/rec/conf/ecms/RutleWBO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euspn/RutleSSK15, author = {Adrian Rutle and Kent Inge Fagerland Simonsen and Hans Georg Schaathun and Ralf Kirchhoff}, title = {Model-driven Software Engineering in Practice: {A} Content Analysis Software for Health Reform Agreements}, booktitle = {The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks {(EUSPN} 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare {(ICTH-2015)/} Affiliated Workshops, September 27-30, 2015, Berlin, Germany}, series = {Procedia Computer Science}, volume = {63}, pages = {545--552}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.procs.2015.08.383}, doi = {10.1016/J.PROCS.2015.08.383}, timestamp = {Thu, 08 Jul 2021 16:04:01 +0200}, biburl = {https://dblp.org/rec/conf/euspn/RutleSSK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/WangRL15, author = {Xiaoliang Wang and Adrian Rutle and Yngve Lamo}, editor = {Michalis Famelis and Daniel Ratiu and Martina Seidl and Gehan M. K. Selim}, title = {Towards User-Friendly and Efficient Analysis with Alloy}, booktitle = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with {ACM/IEEE} 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1514}, pages = {28--37}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1514/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/WangRL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/RossiniLGRW14, author = {Alessandro Rossini and Juan de Lara and Esther Guerra and Adrian Rutle and Uwe Wolter}, title = {A formalisation of deep metamodelling}, journal = {Formal Aspects Comput.}, volume = {26}, number = {6}, pages = {1115--1152}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0307-x}, doi = {10.1007/S00165-014-0307-X}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/RossiniLGRW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euspn/WangR14, author = {Xiaoliang Wang and Adrian Rutle}, title = {Model Checking Healthcare Workflows Using Alloy}, booktitle = {The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks {(EUSPN-2014)/} The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare {(ICTH} 2014)/ Affiliated Workshops, September 22-25, 2014, Halifax, Nova Scotia, Canada}, series = {Procedia Computer Science}, volume = {37}, pages = {481--488}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.procs.2014.08.072}, doi = {10.1016/J.PROCS.2014.08.072}, timestamp = {Thu, 08 Jul 2021 16:04:01 +0200}, biburl = {https://dblp.org/rec/conf/euspn/WangR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/WangRL14, author = {Xiaoliang Wang and Adrian Rutle and Yngve Lamo}, editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and Michalis Famelis and Daniel Ratiu}, title = {Scalable Verification of Model Transformations}, booktitle = {Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1235}, pages = {29--38}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1235/paper-05.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/WangRL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euspn/RutleRML13, author = {Adrian Rutle and Fazle Rabbi and Wendy MacCaull and Yngve Lamo}, editor = {Elhadi M. Shakshuki}, title = {A User-friendly Tool for Model Checking Healthcare Workflows}, booktitle = {The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks {(EUSPN-2013)} and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), Niagara Falls, Ontario, Canada, October 21-24, 2013}, series = {Procedia Computer Science}, volume = {21}, pages = {317--326}, publisher = {Elsevier}, year = {2013}, url = {https://doi.org/10.1016/j.procs.2013.09.042}, doi = {10.1016/J.PROCS.2013.09.042}, timestamp = {Thu, 08 Jul 2021 16:04:01 +0200}, biburl = {https://dblp.org/rec/conf/euspn/RutleRML13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/LamoMRL13, author = {Yngve Lamo and Florian Mantz and Adrian Rutle and Juan de Lara}, editor = {Ricardo Pe{\~{n}}a and Tom Schrijvers}, title = {A declarative and bidirectional model transformation approach based on graph co-spans}, booktitle = {15th International Symposium on Principles and Practice of Declarative Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013}, pages = {1--12}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2505879.2505900}, doi = {10.1145/2505879.2505900}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/LamoMRL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/RutleRLW12, author = {Adrian Rutle and Alessandro Rossini and Yngve Lamo and Uwe Wolter}, title = {A formal approach to the specification and transformation of constraints in {MDE}}, journal = {J. Log. Algebraic Methods Program.}, volume = {81}, number = {4}, pages = {422--457}, year = {2012}, url = {https://doi.org/10.1016/j.jlap.2012.03.006}, doi = {10.1016/J.JLAP.2012.03.006}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/RutleRLW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bmfa/RutleMWL12, author = {Adrian Rutle and Wendy MacCaull and Hao Wang and Yngve Lamo}, editor = {Ella E. Roubtsova and Ekkart Kindler and Ashley T. McNeile and Mehmet Aksit}, title = {A metamodelling approach to behavioural modelling}, booktitle = {Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012}, pages = {5}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2325276.2325281}, doi = {10.1145/2325276.2325281}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bmfa/RutleMWL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fhies/RutleWM12, author = {Adrian Rutle and Hao Wang and Wendy MacCaull}, editor = {Jens H. Weber and Isabelle Perseil}, title = {A Formal Diagrammatic Approach to Compensable Workflow Modelling}, booktitle = {Foundations of Health Information Engineering and Systems - Second International Symposium, {FHIES} 2012, Paris, France, August 27-28, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7789}, pages = {194--212}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-39088-3\_13}, doi = {10.1007/978-3-642-39088-3\_13}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fhies/RutleWM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/WangRM12, author = {Hao Wang and Adrian Rutle and Wendy MacCaull}, editor = {Tiziana Margaria and Zongyan Qiu and Hongli Yang}, title = {A Formal Diagrammatic Approach to Timed Workflow Modelling}, booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2012, 4-6 July 2012, Beijing, China}, pages = {167--174}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/TASE.2012.14}, doi = {10.1109/TASE.2012.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/WangRM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RabbiWMR13, author = {Fazle Rabbi and Hao Wang and Wendy MacCaull and Adrian Rutle}, editor = {Barbora Buhnova and Lucia Kapov{\'{a}} Happe and Jan Kofron}, title = {A Model Slicing Method for Workflow Verification}, booktitle = {Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, {FESCA} 2012, Tallinn, Estonia, March 31, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {295}, pages = {79--93}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2013.04.007}, doi = {10.1016/J.ENTCS.2013.04.007}, timestamp = {Tue, 22 Nov 2022 13:57:41 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RabbiWMR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agtive/RossiniLGRL11, author = {Alessandro Rossini and Juan de Lara and Esther Guerra and Adrian Rutle and Yngve Lamo}, editor = {Andy Sch{\"{u}}rr and D{\'{a}}niel Varr{\'{o}} and Gergely Varr{\'{o}}}, title = {A Graph Transformation-Based Semantics for Deep Metamodelling}, booktitle = {Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, {AGTIVE} 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {7233}, pages = {19--34}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-34176-2\_4}, doi = {10.1007/978-3-642-34176-2\_4}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/agtive/RossiniLGRL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/LamoRM10, author = {Yngve Lamo and Adrian Rutle and Florian Mantz}, title = {Enforcement of Patterns by Constraint-Aware Model Transformations}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {31}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.31.576}, doi = {10.14279/TUJ.ECEASST.31.576}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/LamoRM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/RossiniRLW10, author = {Alessandro Rossini and Adrian Rutle and Yngve Lamo and Uwe Wolter}, title = {A formalisation of the copy-modify-merge approach to version control in {MDE}}, journal = {J. Log. Algebraic Methods Program.}, volume = {79}, number = {7}, pages = {636--658}, year = {2010}, url = {https://doi.org/10.1016/j.jlap.2009.10.003}, doi = {10.1016/J.JLAP.2009.10.003}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/RossiniRLW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/RutleRLW10, author = {Adrian Rutle and Alessandro Rossini and Yngve Lamo and Uwe Wolter}, editor = {David S. Rosenblum and Gabriele Taentzer}, title = {A Formalisation of Constraint-Aware Model Transformations}, booktitle = {Fundamental Approaches to Software Engineering, 13th International Conference, {FASE} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6013}, pages = {13--28}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12029-9\_2}, doi = {10.1007/978-3-642-12029-9\_2}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/RutleRLW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/RutleRLW09, author = {Adrian Rutle and Alessandro Rossini and Yngve Lamo and Uwe Wolter}, editor = {Marsha Chechik and Martin Wirsing}, title = {A Category-Theoretical Approach to the Formalisation of Version Control in {MDE}}, booktitle = {Fundamental Approaches to Software Engineering, 12th International Conference, {FASE} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5503}, pages = {64--78}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00593-0\_5}, doi = {10.1007/978-3-642-00593-0\_5}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/RutleRLW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/RutleRLW09, author = {Adrian Rutle and Alessandro Rossini and Yngve Lamo and Uwe Wolter}, editor = {Manuel Oriol and Bertrand Meyer}, title = {A Diagrammatic Formalisation of MOF-Based Modelling Languages}, booktitle = {Objects, Components, Models and Patterns, 47th International Conference, {TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {33}, pages = {37--56}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02571-6\_4}, doi = {10.1007/978-3-642-02571-6\_4}, timestamp = {Mon, 30 Oct 2017 11:35:08 +0100}, biburl = {https://dblp.org/rec/conf/tools/RutleRLW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eatis/RutleWL08, author = {Adrian Rutle and Uwe Wolter and Yngve Lamo}, editor = {Hendrik T. Macedo and Leila M. A. Silva and Eduardo Carrillo Zambrano and Rog{\'{e}}rio Patr{\'{\i}}cio Chagas do Nascimento}, title = {A diagrammatic approach to model transformations}, booktitle = {Proceedings of the 2008 Euro American conference on Telematics and Information Systems, {EATIS} 2008, Aracaju, Brazil, September 10-12, 2008}, year = {2008}, url = {https://doi.org/10.1145/1621087.1621105}, doi = {10.1145/1621087.1621105}, timestamp = {Fri, 16 Feb 2024 08:13:15 +0100}, biburl = {https://dblp.org/rec/conf/eatis/RutleWL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.