Publications   
   
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, Jü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

[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. (to appear)
[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. (to appear)
[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 Lú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 Lúcio. Proceedings of Software Language Engineering (SLE) - Poster Track - 2013, Indianapolis, USA.
[30] Model Transformations to Verify Model Transformations, Levi Lú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 Lú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), Jürgen Dingel, Levi Lú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, Jürgen Dingel, Leen Lambers, Levi Lú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.

Maintained by . Last Modified: 2017/08/28 08:43:01.