Adrian Rutle
Orcid: 0000-0002-4158-1644Affiliations:
- Western Norway University of Applied Sciences, Bergen, Norway
According to our database1,
Adrian Rutle
authored at least 78 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems.
Log. Methods Comput. Sci., 2024
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models.
CoRR, 2024
Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments, 2024
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models.
Proceedings of the Best Dissertation Award, 2024
2023
CEPEDALoCo: An event-driven architecture for integrating complex event processing and blockchain through low-code.
Internet Things, July, 2023
J. Log. Algebraic Methods Program., 2023
EDALoCo: Enhancing the accessibility of blockchains through a low-code approach to the development of event-driven applications for smart contract management.
Comput. Stand. Interfaces, 2023
Proceedings of the Graph Transformation - 16th International Conference, 2023
2022
Softw. Syst. Model., 2022
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach.
Softw. Syst. Model., 2022
Softw. Syst. Model., 2022
AI-powered model repair: an experience report - lessons learned, challenges, and opportunities.
Softw. Syst. Model., 2022
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022
2021
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.
Trans. Petri Nets Other Model. Concurr., 2021
J. Object Technol., 2021
Formal Aspects Comput., 2021
2020
Softw. Syst. Model., 2020
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the Graph Transformation - 13th International Conference, 2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020
2019
Trans. Petri Nets Other Model. Concurr., 2019
Multilevel coupled model transformations for precise and reusable definition of model behaviour.
J. Log. Algebraic Methods Program., 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of 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, 2019
Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019
2018
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop.
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018
Proceedings of the 31st Norsk Informatikkonferanse, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018
2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the Fundamental Approaches to Software Engineering, 2017
2016
Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016
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), 2016
Proceedings of the 30th European Conference on Modelling and Simulation, 2016
Proceedings of the 30th European Conference on Modelling and Simulation, 2016
2015
Proceedings of the 12th Workshop on Model-Driven Engineering, 2015
Model-driven Software Engineering in Practice: A Content Analysis Software for Health Reform Agreements.
Proceedings of 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, 2015
Proceedings of the 29th European Conference on Modelling and Simulation, 2015
2014
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014
Proceedings of 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, 2014
2013
A declarative and bidirectional model transformation approach based on graph co-spans.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Proceedings of 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), 2013
2012
J. Log. Algebraic Methods Program., 2012
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the Foundations of Health Information Engineering and Systems, 2012
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03, 2012
2011
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011
2010
J. Log. Algebraic Methods Program., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
2009
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
2008
Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008