Adrian Rutle

Publications

• Addressing the trade off between smells and quality when refactoring class diagrams

  Barriga Rodriguez, Angela, Bettini, Lorenzo, Iovino, Ludovico, Rutle, Adrian, Heldal, Rogardt (2021)
  Journal of Object Technology 2021

• Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms

  Rodriguez Tena, Alejandro, Kristensen, Lars Michael, Rutle, Adrian (2021)
  Lecture Notes in Computer Science (LNCS) 2021

• Suggesting model transformation repairs for rule-based languages using a contract-based testing approach

  Rodriguez-Echeverria, Roberto, Macías, Fernando, Rutle, Adrian, Conejero, José M. (2021)
  Software and Systems Modeling (SoSyM) 2021

• Comprehensive Systems: A formal foundation for Multi-Model Consistency Management

  Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2021)
  Formal Aspects of Computing 2021 Volum 33 ;(6)s. 1067-1114

• Multi-Model Evolution through Model Repair

  Stünkel, Patrick, König, Harald, Rutle, Adrian, Lamo, Yngve (2021)
  Journal of Object Technology 2021 Volum 20 ;(1)s. 1-25
Show all