Publications

Showing results in 'Announcements'. Show all posts

Paper accepted at IROS

July 1, 2017

Our paper on mining the usage patterns of ROS primitives in robotic software has been accepted at the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Paper accepted at ATVA

July 1, 2017

Our paper on exploiting partial knowledge for efficient model finding has just been accepted at the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA).

Paper accepted at FormaliSE

March 1, 2017

Our paper on the verification of a ROS-based robotic system using timed automata has been accepted at the FME Workshop on Formal Methods in Software Engineering (FormaliSE).

Paper accepted at TSE

September 30, 2016

Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE).

Paper accepted at IROS

July 3, 2016

Our paper on the quality assessment of ROS repositories has been accepted at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Paper accepted at MEDI

June 30, 2016

Our paper on a formalization of ETL patterns has been accepted at the International Conference on Model and Data Engineering (MEDI).

Paper at F1000Research

August 12, 2015

Our paper on an ORCID-based synchronization framework has been accepted at F1000Research in the ORCID-Casrai joint conference channel.

Paper accepted at FASE

December 22, 2014

Our paper on scenario exploration has been accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE).

Paper accepted at SoSyM

October 16, 2014

Our paper on least-change bidirectional model transformations has been accepted at the Springer's International Journal on Software and Systems Modeling (SoSyM).

Paper accepted at VL/HCC

April 20, 2014

Our paper on bidirectional spreadsheet formulas has been accepted at IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).