Eduardo Pessoa and José Pereira have successfully defended their MSc theses on trustworthy software design.
Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE)
Paper accepted at SLE'2016: http://www.sleconf.org/2016/
The TRUST project has just kicked off with a joint workshop with the DALI project.
Our paper on the quality assessment of ROS repositories has been accepted at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Our paper on a formalization of ETL patterns has been accepted at the International Conference on Model and Data Engineering (MEDI).
Our paper on a temporal extension to the Alloy language has been accepted at the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE).
I joined the NanoSTIMA project on high-assurance medical cyber-physical systems as a post-doctoral researcher.
Journal of Systems and Software: http://dx.doi.org/10.1016/j.jss.2016.04.043
Journal of Science of Computer Programming: http://dx.doi.org/10.1016/j.scico.2016.03.005
5th International Workshop on Green and Sustainable Software, Workshop in conjunction with ICSE 2016 (http://greens.cs.vu.nl/)
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.