Stéphanie Challita

model-driven engineering cloud computing google cloud platform natural language processing models@run.time formal model reverse-engineering multi-clouds formal language formal verification software development model verification knowledge extraction occi pechakucha gcp text mining mde google interoperability multi-objective optimization data center traffic-aware energy-aware vm placement