Levi Lucio, PhD   
phone:
e-mail:
www:
+49 (89) 360 35 22 26
levi.pslucio@gmail.com
www.cs.mcgill.ca/people/levi
PHOTO     
   

I was awarded a PhD from the University of Geneva, Switzerland, in 2008, for my work on Model-Based Testing. For the past years I have led research on the verification of model transformations based on the DSLTrans language, partly in collaboration with General Motors. This research has materialised in several publications, a best application paper award (at ICMT 2014), several completed and ongoing PhD thesis, and the SyVOLT tool.

My research is about bridging software engineering and formal techniques. Some of my current concrete areas of interest are the analysis of model transformations and software models in general, correctness-by-construction, domain specific languages, models of concurrency (in particular Petri nets and statecharts), model evolution, model based testing and tool construction.

In the past I has performed research and lectured at several top-ranked institutions, including CERN, the University of Geneva and McGill University.

I am currently working for fortiss, in Munich, Germany. Please send all professional mail to "lucio(at)fortiss.org".



Events I've participated or will be participating in
11th Model-Driven Engineering, Verification, and Validation (MoDeVVa 2015), associated with MoDELS - Steering and Program Committee member Saint Malo, France 2 October, 2016
2nd International Workshop the Verification of Model Transformations (VOLT 2013) - Program Committee Member Saint Malo, France 2 October, 2016
10th International Workshop on Variability Modelling of Software-intensive Systems (VAMOS 2016) - Author Salvador, Brazil January 27 - 29, 2016
18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) - Author and Workshop Organizer Ottawa, Canada September 27 - October 2, 2015
8th International Conference on Model Transformation (ICMT 2015) - Author  Best Application Paper Award! L'Aquila, Italy July 20 - 21, 2015
11th Workshop on Advances in Model Based Testing (A-MOST 2015), associated with ICST - Co-Organizer Graz, Austria April 17th, 2015
12th Bellairs CAMPaM workshop McGill University Bellairs Campus, Barbados January 31st - February 6, 2015
7th International Conference on Software Language Engineering - Author Västeras, Sweden September 15-16th, 2014
7th International Conference on Graph Transformation - Author York, UK July 22-24th, 2014
11th Model-Driven Engineering, Verification, and Validation (MoDeVVa 2014), associated with MoDELS - Steering and Program Committee member Valencia, Spain September 28-30th, 2014
8th Workshop on Multi-Paradigm Modelling (MPM 2014), associated with MoDELS - Program Committee member Valencia, Spain September 28-30th, 2014
5th Behaviour Modelling-Foundations and Applications (BM-FA) - Program Committee member York, United Kingdom July 21st, 2014
1st International Workshop “From Dependable to Resilient, from Resilient to Antifragile Ambients and Systems”, associated with ANT - Program Committee member Hasselt, Belgium June 2-5th, 2014
10th Workshop on Advances in Model Based Testing (A-MOST 2014), associated with ICST - Co-Organizer Cleveland, Ohio, USA March 31st - April 4th, 2014
11th Bellairs CAMPaM workshop McGill University Bellairs Campus, Barbados February 7th - 14th, 2014
6th International Conference on Software Language Engineering Indianapolis, USA October 27-28th, 2013
7th Workshop on Multi-Paradigm Modelling (MPM 2013), associated with MoDELS - Program Committee member Miami, Florida, USA September 30th, 2013
10th Model-Driven Engineering, Verification, and Validation (MoDeVVa 2013), associated with MoDELS - Steering and Program Committee member Miami, Florida, USA October 1st, 2013
2nd Workshop on the Analysis of Model Transformations (AMT 2013), associated with MoDELS - Co-Organizer Miami, Florida, USA September 29th, 2013
16th International System Design Languages Forum Model-driven dependability engineering Montreal, Quebec, Canada June 26th - June 28th, 2013
2nd International Workshop the Verification of Model Transformations (VOLT 2013), associated with STAF - Program Committee member Budapest, Hungary June 17th - June 20th, 2013
10th Bellairs (Aniversary!) CAMPaM workshop McGill University Bellairs Campus, Barbados May 10th - May 17th, 2013
6th International Conference on Software Testing, Verification and Validation (ICST 2013) - Workshop Chair Luxembourg city, Luxembourg March 18th - 22nd, 2013
22nd Annual International Conference hosted by the Centre for Advanced Studies Research, IBM Canada Software Laboratory Toronto, Canada November 5th - 7th, 2012
6th International Workshop on Multi-Paradigm Modeling (MPM 2012), associated with MoDELS - Program Committee member Innsbruck, Austria October 1st, 2012
1st Workshop on the Analysis of Model Transformations (AMT 2012), associated with MoDELS - Co-Organizer Innsbruck, Austria October 2nd, 2012
7th Workshop on Models and Evolution (ME 2012) Innsbruck, Austria October 2nd, 2012
9th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2012), associated with MoDELS - Co-Organizer Innsbruck, Austria September 30th, 2012
15th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2012) Innsbruck, Austria September 30th - October 5th, 2012
9th Bellairs CAMPaM workshop McGill University Bellairs Campus, Barbados April 28 - May 5th, 2012
1st Workshop on the Verification and Validation of Model Transformations (VOLT 2012), associated with ICST - Co-Organizer Montreal, Quebec, Canada April 21st, 2012
5th International Conference on Software Testing, Verification and Validation (ICST 2012) Montreal, Quebec, Canada April 17-21st, 2012
21st Annual International Conference hosted by the Centre for Advanced Studies Research, IBM Canada Software Laboratory Toronto, Ontario, Canada November 7-10th, 2011


Maintained by . Last Modified: 2016/10/24 10:50:40.