A refinement checking based strategy for component-based systems evolution J Dihego, A Sampaio, M Oliveira Journal of Systems and Software 167, 110598, 2020 | 7 | 2020 |
Algebraic laws for process subtyping J Dihego, P Antonino, A Sampaio Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 6* | 2013 |
Constructive extensibility of trustworthy component-based systems J Dihego, A Sampaio, M Oliveira Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1808-1814, 2015 | 4 | 2015 |
Aspect-oriented development of trustworthy component-based systems J Dihego, A Sampaio 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015 | 2 | 2015 |
Aspect-oriented development of trustworthy component-based systems-Extended version J Dihego, A Sampaio Technical report, 2015 | 1 | 2015 |
Inheritance and refinement of trustworthy component-based systems J Dihego Proceedings of the Doctoral Symposium of Formal Methods 2015, 2015 | | 2015 |