7
Publications
594
Citations
7
H-Index
2009
Active since
Carlos Müller is an author at Universidad de Sevilla specializing in system software, software maintenance, and formal verification.
Top concepts
EngineeringSoftware DesignSystem SoftwareSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware MaintenanceLawManagement
Publications per year
2009–2018
7
7
Comprehensive Explanation of SLA Violations at Runtime
Carlos Müller, Marc Oriol, Xavier Franch et al. · IEEE Transactions on Services Computing · 2013 · 65 citations · Full text
Rows per page
1–5 of 7