Verification of Model Transformations Using Isabelle/HOL and Scala

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

Topology and Orchestration Specification for Cloud Applications Version 1.0

Paul Lipton, Simon Moser, Thomas Spatzier · 2013 · 121 citations

Computing, Cloud Computing, Computer Systems +14

Model transformation intents and their properties

Lucio Levi, Moussa Amrani, Juergen Dingel et al. · Software & Systems Modeling · 2014 · 102 citations · Full text

Engineering, Information Systems, Model-based Systems Engineering +10

Towards Automated, Formal Verification of Model Transformations

Márk Asztalos, László Lengyel, Tihamér Levendovszky · 2010 · 79 citations

Computing, Computer Science, Formal Methods +16

Static Analysis of Model Transformations

Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara · IEEE Transactions on Software Engineering · 2016 · 67 citations

Computing, Computer Science, Formal Methods +16