Primary tabs

Most recent publications

ACM Transactions on Software Engineering and Methodology (2020).
Journal Article
2020
ACM Transactions on Cyber-Physical Systems (2020).
Journal Article
2020
ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
Journal Article
2020

News

Students under supervision

Find publication

Export 56 results:
2019

Talks, invited

In Nanjing University of Aeronautics and Astronautics, Nanjing, China, 2019.
Status: Published
In National Institute of Informatics, Tokyo, Japan, 2019.
Status: Published
2018

Journal articles

Journal of Systems and Software 144 (2018): 573-603.
Status: Published

Talks, invited

In The 7th Workshop of Advanced Software Engineering, Gold Coast, Australia, 2018.
Status: Published
2017

Journal articles

Software and Systems Modeling (2017).
Status: Published
IEEE Transactions on Software Engineering (TSE) (2017).
Status: Published
Science of Computer Programming (SCP) 149 (2017): 3-8.
Status: Published