Levi L�cio

Publications & Talks

Thesis

[3]	SATEL - A Test Intention Language for Object Oriented Specifications of Reactive Systems, Levi L�cio. PhD. Thesis, University of Geneva, Geneva, 2008. [presentation]
[2]	Studies on online book-keeping for the ATLAS experiment, Levi L�cio. Master Thesis, University of Sunderland, England, 2002.
[1]	METATutor: Mente Gen�rica para um Agente Pedag�gico, Levi L�cio. License Thesis, Instituto Superior T�cnico, Lisbon, 2000.

Books

[2]	Programa��o em Perl (Programming Perl), Levi L�cio, Vasco Amaral. FCA/Lidel, (Portugal). First edition in October 2001.
[1]	Programa��o em Visual Basic 6 (Programming VB6), Levi L�cio, Lu�s Campos, Sandro Vilar. FCA/Lidel, (Portugal). First edition in January 1999.

Book Chapters

[3]	Advances in Model-Driven Security (Invited Book Chapter), Levi L�cio, Qin Zhang, Phu Hong Nguyen, Moussa Amrani, Jacques Klein, Hans Vangheluwe and Yves Le Traon. Advances in Computers Book Series, Elsevier, Volume 93, pp.103-152, 2014.
[2]	Formal Test Generation from UML Models, Didier Buchs, Lu�s Pedro, Levi L�cio. Book produced as a result of the Hasler Foundation's project DICS (Dependable Information and Communication Systems). Lecture Notes in Computer Science (LNCS), Volume 4028, pp 145-171, 2006.
[1]	Model-Based Testing of Reactive Systems: Advanced Lectures - Chapter 12 - Technology of Test Case Generation, Levi L�cio and Marko Samer. Lecture Notes in Computer Science (LNCS), Volume 3472, pp. 323-354, 2005. [presentation]

Journal Articles

[9]	Full Contract Verification for ATL using Symbolic Execution, Bentley J. Oakes, Javier Troya, Levi L�cio, and Manuel Wimmer. Software and Systems Modeling Journal (SoSyM), pp.1-35, 2016.
[8]	Model Transformation Intents and Their Properties, Levi L�cio, Moussa Amrani, Jürgen Dingel, Leen Lambers, Rick Salay, Gehan Selim, Eugene Syriani and Manuel Wimmer. Software and Systems Modeling Journal (SoSyM), Volume 15, Number 3, pp.647-684, 2016.
[7]	A Survey of Formal Verification Techniques for Model Transformation: A Tridimensional Classification, Moussa Amrani, Levi L�cio, Gehan Selim, Benoit Combemale, J�rgen Dingel, Hans Vangheluwe, Yves Le Traon, and James R. Cordy. Journal of Object Technology (JOT), Volume 14, Number 3, 2015.
[6]	Verifying Access Control in Statecharts, Levi L�cio, Qin Zhang, Vasco Sousa and Yves Le Traon. Electronic Communications of the EASST, Volume 50 (Recent Advances in Multi-paradigm Modeling), 2011.
[5]	DSL Composition for model-based test generation, Bruno Barroca, Levi L�cio, Didier Buchs, Vasco Amaral. Electronic Communications of the EASST, Volume 21 (Multi-Paradigm Modeling), 2009. [presentation]
[4]	System Prototype and Verification Using Metamodel-Based Transformations, Luis Pedro, Levi L�cio, Didier Buchs. IEEE Distributed Systems Online, Volume 8, Issue 4, 2007.
[3]	Replica Management in the European Datagrid Project, David Cameron, Levi L�cio et al. Journal of Grid Computing, Volume 2, Number 4, pp. 341-351, 2004.
[2]	Online Software for the ATLAS Test Beam Data Acquisition System, J.Flammer, L.L�cio et al. IEEE Transaction on Nuclear Science, Volume 51, Number 3, pp.578-584, 2003.
[1]	Process Management inside ATLAS DAQ, M.Nassiakou, L.L�cio et al. IEEE Transactions on Nuclear Science, Volume 49, Issue 5, Part 2, pp. 2459-2462, 2002.

Conference & Workshop Papers

[43]	Formalizing EARS - First Impressions, Levi L�cio, Tahira Iqbal, Proceedings of the 1st International Workshop on Easy Approach to Requirements Syntax (EARS), Banff, Alberta, Canada, 2018. (to appear)
[42]	Process-Aware Model-Driven Development Environments, Levi L�cio, Saad Bin Abid, Salman Rahman, Vincent Aravantinos, Ralf Kuestner, and Eduard Harwardt, Proceedings of the 3rd Flexible MDE Workshop (FlexMDE), Austin, Texas, 2017.
[41]	EARS-CTRL: Generating Controllers for Dummies, Levi L�cio, Salman Rahman, Saad Bin-Abid, Alistair Mavin, Proceedings of the 20th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Demo and Poster track, Austin, Texas, 2017.
[40]	Just Formal Enough? Automated Analysis of EARS Requirements, Levi Lucio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin, Proceedings of the 9th NASA Formal Methods Symposium (NFM 2017). Lectures Notes in Computer Science (LNCS), Volume 10227, pp.427-434, 2017.
[39]	Factory Product Lines: Tackling the Compatibility Problem, Andreas Bayha, Levi L�cio, Vincent Aravantinos, Kenji Miyamoto, Georgeta Igna, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), Salvador, Brazil. ACM DL, pp.57-64, 2016.
[38]	SyVOLT: Full Model Transformation Verification Using Contracts, Levi L�cio, Bentley J. Oakes, Claudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy and Hans Vangheluwe, Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Demo and Poster track, Ottawa, Canada. CEUR Workshop Proceedings 1554, pp. 24-27, 2015.
[37]	Finding and Fixing Bugs in Model Transformations: An Experience Report, Gehan M. K. Selim, James R. Cordy, Juergen Dingel, Levi L�cio and Bentley J. Oakes, Proceedings of the 4th MODELS Workshop on the Analysis of Model Transformations (AMT 2015), Ottawa, Canada. CEUR Workshop Proceedings 1500, pp. 26-35, 2015.
[36]	Fully Verifying Transformation Contracts for Declarative ATL, Bentley J. Oakes, Javier Troya, Levi L�cio, and Manuel Wimmer. Proceedings of the 4th MODELS Workshop on the Analysis of Model Transformations (AMT 2015), Ottawa, Canada. CEUR Workshop Proceedings 1500, pp. 26-35, 2015.
[35]	Migrating Automotive Product Lines: a Case Study, Michalis Famelis, Levi Lucio, Gehan Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Juergen Dingel, Hans Vangheluwe and Ramesh S. Proceedings of the International Conference on Model Transformations (ICMT) 2015, L'Aquila, Italy.Lectures Notes in Computer Science (LNCS), Volume 9152, pp.82-97, 2015. Best Paper Award!
[34]	Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS), Valencia, Spain, September 29, 2014, J�rgen Dingel, Juan de Lara, Levi L�cio, Hans Vangheluwe. CEUR Workshop Proceedings 1277, 2014.
[33]	ProMoBox: A Framework for Generating Domain-Specific Property Languages, Bart Meyers, Romuald Deshayes, Levi L�cio, Eugene Syriani, Manuel Wimmer and Hans Vangheluwe. Proceedings of the Software Language Engineering Conference (SLE) 2014, Vasteras, Sweden. Lectures Notes in Computer Science (LNCS), Volume 8706, pp.1-20, 2014.
[32]	Specification and Verification of Graph-Based Model Transformation Properties, Gehan M. K. Selim, Levi Lúcio, James R. Cordy, Juergen Dingel and Bentley J. Oakes. Proceedings of the International Conference of Graph Transformations (ICGT) 2014, York, UK. Lectures Notes in Computer Science (LNCS), Volume 8571, pp.113-129, 2014.
[31]	Controlling Refinement of Statecharts, Conner Hansen, Eugene Syriani and Levi Lúcio. Proceedings of Software Language Engineering (SLE) - Poster Track - 2013, Indianapolis, USA.
[30]	Model Transformations to Verify Model Transformations, Levi Lúcio and Hans Vangheluwe. Online Proceedings of Verification of Model Transformations (VOLT) 2013, Budapest, Hungary, 2013. (one of the two best papers)
[29]	FTG+PM: An Integrated Framework for Investigating Model Transformation Chains, Levi Lúcio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss. Proceedings of the System Design Languages Forum (SDL) 2013, Montreal, Quebec. Lecture Notes in Computer Science (LNCS), Volume 7916, pp 182-202, 2013.
[28]	MoDeVVa Workshop Summary, Fr�d�ric Boulanger, Fr�d�ric Fondement, Mihalis Famelis, Levi L�cio, Stephan Wei�leder. Proceedings of Model-Driven Engineering, Verification and Validation (MoDeVVa) 2012, (co-located with MoDELS 2012), Innsbruck, Austria. ACM Digital Library, 2012.
[27]	Summary of the First Workshop on the Analysis of Model Transformations (AMT'12), Jürgen Dingel, Levi Lúcio, Hans Vangheluwe, Dániel Varró. Proceedings of Analysis of Model Transformations (AMT) 2012 (co-located with MoDELS 2012), Innsbruck, Austria. ACM Digital Library, 2012.
[26]	Towards a Model Transformation Intent Catalog, Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan Selim, Eugene Syriani and Manuel Wimmer. Proceedings of Analysis of Model Transformations (AMT) 2012 (co-located with MoDELS 2012), Innsbruck, Austria. ACM Digital Library, 2012.
[25]	The FTG+PM Framework for Multi-Paradigm Modelling: An Automotive Case Study, Sadaf Mustafiz, Joachim Denil, Levi L�cio and Hans Vangheluwe. Proceedings of Multi-Paradigm Modelling (MPM) 2012 (co-located with MoDELS 2012), Innsbruck, Austria. ACM Digital Library, 2012.
[24]	Invariant Preservation in Iterative Modeling, Levi L�cio, Eugene Syriani, Moussa Amrani, Qin Zhang and Hans Vangheluwe. Proceedings of Models and Evolution (ME) 2012 (co-located with MoDELS 2012), Innsbruck, Austria. ACM Digital Library, 2012. [poster]
[23]	A Tridimensional Approach for Studying the Formal Verification of Model Transformations, Moussa Amrani, Levi L�cio, Gehan Selim, Benoit Combemale, J�rgen Dingel, Hans Vangheluwe, Yves Le Traon, and James R. Cordy. Proceedings of the Verification Of Model Transformations (VOLT) 2012 (co-located with ICST 2012), Montreal, Canada. IEEE Computer Society, 2012.
[21]	MoDeVVa Workshop Summary, Levi L�cio, Elisangela Vieira, Stephan Wei�leder. Proceedings of Model-Driven Engineering, Verification and Validation (MoDeVVa)2010 (co-located with MoDELS 2010). Lecture Notes in Computer Science (LNCS), Volume 6627, pp 239-243, 2010.
[20]	A Technique for Automatic Validation of Model Transformations, Levi L�cio, Bruno Barroca, Vasco Amaral. Proceedings of Model Driven Engineering Languages and Systems (MoDELS) 2010, Oslo, Norway. Lecture Notes in Computer Science (LNCS), Volume 6394, pp 136-150, 2010. [presentation]
[19]	DSLTrans: A Turing Incomplete Transformation Language, Bruno Barroca, Levi L�cio, Vasco Amaral Roberto F�lix, Vasco Sousa. Proceedings of Software Language Engineering (SLE) 2010, Eindhoven, Netherlands. Lecture Notes in Computer Science (LNCS), Volume 6563, pp 296-305, 2010.
[18]	MoDeVVa Workshop Summary, Levi L�cio, Stephan Wei�leder. Proceedings of Model-Driven Engineering, Verification and Validation (MoDeVVa) 2009 (co-located with MoDELS 2009). Lecture Notes in Computer Science (LNCS), Volume 6002, pp 155-157, 2009.
[17]	Model Checking Techniques for Test Generation from Business Process Models, Didier Buchs Levi L�cio, Ang Chen. Proceedings of Reliable Software Technologies (RST) 2009, Brest, France. Lecture Notes in Computer Science (LNCS), Volume 5570, 2009.
[15]	Principles for System Prototype and Verification Using Metamodel Based Transformations, Lu�s Pedro, Levi L�cio, Didier Buchs. Proceedings of Rapid System Prototyping (RSP) 2006, Chania, Crete, Greece. IEEE Computer Society, pp 10-17, 2006.
[14]	Modeling Concurrent Systems using Concurrent Object Oriented Petri Nets, Ang Chen. Didier Buchs, Levi L�cio, Lu�s Pedro, Matteo Risoldi. Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA) 2006, Turku, Finland. University of Hamburg, Technical Report; FBI-HH-B-272, 2006.
[13]	Semi-Automatic Test Case Generation from CO-OPN Specifications, Levi L�cio, Didier Buchs, Luis Pedro. Proceedings of the Workshop on Model-Based Testing and Object-Oriented Systems (MBTOOS) (co-located with OOPSLA06), Portland, OR, USA. Microsoft Research Technical Report MSR-TR-2006-148, pp.19-26, 2006. [presentation]
[12]	Prototyping Domain Specific Languages With CO-OPN, Lu�s Pedro, Didier Buchs, Levi L�cio. Proceedings of Rapid Integration of Software Engineering Techniques (RISE) 2005, Heraklion, Crete, Greece. Lecture Notes in Computer Science (LNCS), Volume 3943, pp 174-189, 2006.
[11]	A Test Language for CO-OPN Specifications, Levi L�cio, Lu�s Pedro, Didier Buchs. Proceedings of Rapid System Prototyping (RSP) 2005, Montreal, Canada. IEEE Computer Society, pp.195-201, 2005. [presentation]
[10]	A Methodology and a Framework for Model-Based Testing, Levi L�cio, Lu�s Pedro, Didier Buchs. Proceedings of Rapid Integration of Software Engineering Techniques (RISE) 2004. Lecture Notes in Computer Science (LNCS), Volume 3475, pp 57-70, 2005. [presentation]
[8]	Verification and Diagnostic Framework in ATLAS trigger/DAQ, Igor Alexandrov, Levi L�cio et al. Proceedings of Computing in High-Energy Physics (CHEP) 2003, La Jolla, California, USA. Science Press New York Ltd, 2003.
[7]	Online Monitoring software framework in the ATLAS experiment, Igor Alexandrov, Levi L�cio et al. Proceedings of Computing in High-Energy Physics (CHEP) 2003, La Jolla, California, USA. Science Press New York Ltd, 2003.
[6]	Next-Generation EU DataGrid Data Management Services, James Casey, Levi L�cio et al. Proceedings of Computing in High-Energy Physics (CHEP) 2003, La Jolla, California, USA. Science Press New York Ltd, 2003.
[5]	OBK - An Online High Energy Physics Meta-Data Repository, Levi L�cio et al. Morgan Kaufmann Publishers. Proceedings of Very Large Databases (VLDB) 2002, Hong-Kong, China, pp.920-927. [presentation]
[4]	ATLAS TDAQ: Como Encontrar uma Agulha Not�vel no Palheiro das Colis�es. Jorge Lima, Levi L�cio et al. Paper presented at F�sica 2002, 13a Confer�ncia Nacional de F�sica 2002, �vora, Portugal, 2002.
[3]	Experience using different DBMSs in prototyping a Book-keeper for ATLAS DAQ software, Levi L�cio et al. Proceedings of Computing in High-Energy Physics (CHEP) Beijing, China. Science Press New York Ltd, pp.248-251, 2001.
[2]	ATLAS DAQ Configuration Databases, Igor Alexandrov, Levi L�cio et al. Proceedings of Computing in High-Energy Physics (CHEP) Beijing, China. Science Press New York Ltd, pp.608-613, 2001.
[1]	Large Scale and Performance Tests of the ATLAS Online Software, Igor Alexandrov, Levi L�cio et al. Proceedings of Computing in High-Energy Physics (CHEP) Beijing, China. Science Press New York Ltd, pp.570-571, 2001.

Technical Reports

[13]	A Technique for Symbolically Verifying Properties of Graph-Based Model Transformations, Levi L�cio, Bentley Oakes and Hans Vangheluwe. Technical Report SOCS-TR-2014.1, McGill University, 2014.
[12]	Symbolic Model Transformation Property Prover for DSLTrans, Gehan Selim, Levi L�cio, James R. Cordy, J�rgen Dingel. Technical Report 2013-616, Queen�s University, 2013.
[11]	Symbolic Execution for the Verification of Model Transformations, Levi L�cio and Hans Vangheluwe. Technical report, SOCS-TR-2013.2, McGill University, 2013.
[10]	The Formalism Transformation Graph as a Guide to Model Driven Engineering, Levi L�cio, Joachim Denil Sadaf Mustafiz and Hans Vangheluwe. Technical report, SOCS-TR-2012.1, McGill University, 2013.
[9]	An Overview of Model Transformations for a Simple Automotive Power Window, Levi L�cio, Joachim Denil and Hans Vangheluwe. Technical report, SOCS-TR-2012.2, McGill University, 2012.
[8]	A Precise Definition of Operational Resilience, Levi L�cio, Nicolas Guelfi. Technical report, TR-LASSY-11-02, University of Luxembourg, 2012.
[7]	A Visual Language for Model Transformations, Bruno Barroca, Levi L�cio, Vasco Amaral, Roberto Felix, and Vasco Sousa. Technical report, UNL-DI-2-2010, Universidade Nova de Lisboa, 2010.
[6]	Multi-Set Decision Diagrams, Levi L�cio, Steve Hostettler. Technical report, TR205, University of Geneva, 2009.
[5]	Syntax and Semantics of SATEL (Semi Automatic TEsting Language), Levi L�cio. Internal Note from the SMV/CUI, University of Geneva, 2007.
[4]	Installation Guide for EDG Replica Manager 1.4.8, Levi L�cio et al (6 authors). CERN, document ID: DataGrid-02-ERM-INSTALL- V1.0, 2002.
[3]	Test Report of the Online Book-keeper for ATLAS DAQ Online Software, Levi L�cio et al (4 authors). CERN ATLAS DAQ Internal Note 177, 2001.
[2]	User's guide of the OBK, Levi L�cio et al (4 authors). CERN ATLAS DAQ Internal Note 176, 2001.
[1]	OBK/OKS API user's Manual, Levi L�cio et al (4 authors). CERN ATLAS DAQ Internal Note 172, 2001.

Posters

[2]	Model Transformations for the Verification of Model Transformations, Levi L�cio and Hans Vangheluwe. Presented at SDL 2013, Montreal, Quebec, Canada, 2013.
[1]	How to Verify a Model Transformation does its Job?, Levi L�cio, Hans Vangheluwe, Eugeme Syriani and Maris Jukss. Presented at CASCON 2011, Markham, Ontario, Canada, 2011.

Talks

[10]	DSM-TP School, Geneva, August 2016. Title of the presentation: Verification of Model Transformations and DSLs in Industry.
[9]	Webinar for the NECSIS Project, May 2015. Title of the presentation: Verifying Model Transformations for Real.
[8]	Colloquium talk at Luxembourg University, Luxembourg, September 2012. Title of the presentation: Studying Model Transformation Chains for Model Driven Engineering.
[7]	Colloquium talk at McGill University, Montr�al, Canada, January 2012. Title of the presentation: An example-based study of the verification of model transformations.
[6]	Invited talk at the University of Queens, Kingston, Canada, November 2011. Title of the presentation: Model Transformation Verification: some theory and some practice.
[5]	Invited talk at the University of Antwerp, Belgium, June 2010. Title of the presentation: Operational Resilience - Theory and Experimentation.
[4]	Invited talk at the UNL (Universidade Nova de Lisboa), Portugal, October 2008. Title of the presentation: SATEL - A Test Intention Language for Object Oriented Specifications of Reactive Systems.
[3]	Invited talk at the ETH Zurich, Switzerland, January 2007. Title of the presentation: From the Test Theory to the Test Engineering.
[2]	Keynote invited talk at the RISE workshop, Geneva, Switzerland, September 2006. Title of the presentation: On the Integration of Semi-Formal and Formal Tools.
[1]	Invited talk at the University Cisco User Group meeting in Amsterdam, Netherlands, 2006. Title of the presentation: Wireless Innovation at University of Geneva.

Tutorials

[1]	UML and Petri Nets for Test Case Generation. Colored Petri Nets (CPN) 2004, Aahrus University, Denmark.