A research paper written by Jonathan Corley, Benoît Combemale, Jeff Gray, Benoît Baudry and myself titled “A Generative Approach for Rich Omniscient Model Debugging ” has been accepted for SLE 2015.
A research paper written by Tanja Mayerhofer, Benoît Combemale, Benoît Baudry and myself titled “A Generative Approach to Define Rich Domain-Specific Trace Metamodels” has been accepted for ECMFA 2015. The pre-print of the paper is available here.
A short paper written by Benoît Combemale, Benoît Baudry and myself titled “Towards Scalable Multidimensional Execution Traces for xDSMLs” has been accepted for the MoDeVVa 2014 workshop, a satellite event of MODELS 2014 . I will thus have the pleasure to give a second talk in Valencia next month.
A research paper written by Benoît Combemale, Benoît Baudry and myself titled “Scalable Armies of Model Clones through Data Sharing” has been accepted for the Foundation Track of MODELS 2014. I will thus have the pleasure to give a talk in Valencia next september. EDIT: The paper can be downloaded here.
I had previoulsy shared a little GUI for tuned-adm using zenity, to be able to save some battery without using the terminal. But recently, I’ve discovered another command called cpupower (from the package cpupowerutils) that allows one to switch between different CPU “governors”, which are similar to power profiles. Recent Intel CPUs have at least …read more
I will have the pleasure to present a paper at the ECMFA/ECOOP/ECSA 2013 Doctoral Symposium, in the PhD Students Workshop track. The paper is titled “Combining Verification and Validation techniques”. It presents the problems I will study in my thesis along with the envisioned solutions. The paper can be downloaded here (link taken from the …read more
Recently I discovered tools such as Zenity that are very handy when you need a basic GUI for a script. At the same time, I wanted to find a nice way to call the tuned-adm command, which commands the tuned daemon to use a specific power management profile. Since there is no GUI for tuned-adm, …read more
I use the Dia diagram editor a lot to schematize ideas or models for LaTeX documents. Since I compile them using pdflatex, I need my vector drawings to be pdf files. I wrote the following bash script to convert a dia file into a pdf file. It relies on Inkscape in console mode in order …read more
First post of this personal homepage ! I’ve started my Phd this month, and should work within the Triskell team for three years from now. Hopefully I will keep this website up to date during my research work !