Search results for: Marco Autili
Journal of Software: Evolution and Process > 34 > 10 > n/a - n/a
Concurrency and Computation: Practice and Experience > 33 > 6 > n/a - n/a
Journal of Internet Services and Applications > 2018 > 9 > 1 > 1-3
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Synthesis and Adaptation > 124-139
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 278-292
Journal of Internet Services and Applications > 2016 > 7 > 1 > 1-4
IEEE Transactions on Software Engineering > 2016 > 42 > 1 > 2 - 25
IEEE Transactions on Software Engineering > 2015 > 41 > 7 > 620 - 638
IEEE Software > 2015 > 32 > 1 > 50 - 57
Software & Systems Modeling > 2014 > 13 > 2 > 481-511
Science of Computer Programming > 2013 > 78 > 8 > 987-1009
Journal of Internet Services and Applications > 2012 > 3 > 1 > 15-22
Journal of Internet Services and Applications > 2011 > 2 > 3 > 271-271