publication venue for
- From legacy to microservices: A type‐based approach for microservices identification using machine learning and semantic analysis. 35. 2023
- A formal approach to rigorous development of critical systems. 33. 2021
- A delta‐oriented approach to support the safe reuse of black‐box code rewriters. 31. 2019
- Model checking timed properties of healthcare processes. 23:245-260. 2011
- A user‐assisted approach to component clustering. 15:265-295. 2003