Levi Lucio

38 papers A* 1A 2B 3C 5Misc 1Journal 8Unranked 15
YearRankTypeTitle / Venue / Authors
2019 C conf
Machine Learning for Learnability of MDD tools.
SEKE
Saad bin Abid, Vishal Mahajan, Levi Lucio
2019 C conf
Roadmap to Skill Based Systems Engineering.
ETFA
Kathrin Evers, Jan R. Seyler, Vincent Aravantinos, Levi Lucio, Anees Mehdi
2018 C conf
A Bird's Eye View on Requirements Engineering and Machine Learning.
APSEC
Tahira Iqbal, Parisa Elahidoost, Levi Lucio
2018 — conf
Controlling a virtual rover using AutoFOCUS3.
MoDELS (Workshops)
Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder
2018 — conf
Debugging of Model Transformations and Contracts in SyVOLT.
MoDELS (Workshops)
Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe
2018 — conf
Formalizing EARS - First Impressions.
EARS@RE
Levi Lucio, Tahira Iqbal
2015 — conf
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report.
AMT@MoDELS
Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes
2015 J jnl
Formal Verification Techniques for Model Transformations: A Tridimensional Classification.
J. Object Technol.
Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
2015 A conf
Fully verifying transformation contracts for declarative ATL.
MoDELS
Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer
2015 — conf
Migrating Automotive Product Lines: A Case Study.
ICMT
Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, S. Ramesh
2015 — ed.
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015.
AMT@MoDELS
Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe
2015 J jnl
Towards Controlling Refinements of Statecharts.
CoRR
Conner Hansen, Eugene Syriani, Levi Lucio
2014 J jnl
Advances in Model-Driven Security.
Adv. Comput.
Levi Lucio, Qin Zhang, Phu Hong Nguyen, Moussa Amrani, Jacques Klein, Hans Vangheluwe, Yves Le Traon
2014 B conf
ProMoBox: A Framework for Generating Domain-Specific Property Languages.
SLE
Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer
2014 — ed.
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014.
AMT@MoDELS
Jürgen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe
2014 B conf
Specification and Verification of Graph-Based Model Transformation Properties.
ICGT
Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes
2013 — conf
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains.
SDL Forum
Levi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss
2013 — ed.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013
AMT@MoDELS
Benoit Baudry, Jürgen Dingel, Levi Lucio, Hans Vangheluwe
2012 A conf
A Tridimensional Approach for Studying the Formal Verification of Model Transformations.
ICST
Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy
2012 — conf
The FTG+PM framework for multi-paradigm modelling: an automotive case study.
MPM@MoDELS
Sadaf Mustafiz, Joachim Denil, Levi Lucio, Hans Vangheluwe
2011 — conf
MoDeVVa 2011 Workshop Summary.
MoDELS (Workshops)
Levi Lucio, Stephan Weißleder, Frédéric Fondement, Harald Cichos
2011 J jnl
Verifying Access Control in Statecharts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Levi Lucio, Qin Zhang, Vasco Sousa, Yves Le Traon
2010 — conf
A Technique for Automatic Validation of Model Transformations.
MoDELS (1)
Levi Lucio, Bruno Barroca, Vasco Amaral
2010 B conf
DSLTrans: A Turing Incomplete Transformation Language.
SLE
Bruno Barroca, Levi Lucio, Vasco Amaral, Roberto Félix, Vasco Sousa
2010 — conf
MoDeVVa 2010 Workshop Summary.
MoDELS (Workshops)
Levi Lucio, Elisangela Vieira, Stephan Weißleder
2009 J jnl
DSL Composition for model-based test generation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro
2009 — conf
MoDeVVa Workshop Summary.
MoDELS (Workshops)
Levi Lucio, Stephan Weißleder
2009 Misc conf
Model Checking Techniques for Test Generation from Business Process Models.
Ada-Europe
Didier Buchs, Levi Lucio, Ang Chen
2007 J jnl
System Prototype and Verification Using Metamodel-Based Transformations.
IEEE Distributed Syst. Online
Luis Pedro, Levi Lucio, Didier Buchs
2006 — conf
Formal Test Generation from UML Models.
Research Results of the DICS Program
Didier Buchs, Luis Pedro, Levi Lucio
2006 C conf
Principles for System Prototype and Verification Using Metamodel Based Transformations.
IEEE International Workshop on Rapid System Prototyping
Luis Pedro, Levi Lucio, Didier Buchs
2005 C conf
A Test Language for CO-OPN Specifications.
IEEE International Workshop on Rapid System Prototyping
Levi Lucio, Luis Pedro, Didier Buchs
2005 — conf
Prototyping Domain Specific Languages with COOPN.
RISE
Luis Pedro, Levi Lucio, Didier Buchs
2004 — conf
A Methodology and a Framework for Model-Based Testing.
RISE
Levi Lucio, Luis Pedro, Didier Buchs
2004 J jnl
Replica Management in the European DataGrid Project.
J. Grid Comput.
David G. Cameron, James Casey, Leanne Guy, Peter Z. Kunszt, Sophie Lemaitre, Gavin McCance, Heinz Stockinger, Kurt Stockinger, Giuseppe Andronico, William H. Bell, Itzhak Ben-Akiva, Diana Bosio, Radovan Chytracek, Andrea Domenici, Flavia Donno, Wolfgang Hoschek, Erwin Laure, Levi Lucio, A. Paul Millar, Livio Salconi, Ben Segal, Mika Silander
2004 — conf
Technology of Test-Case Generation.
Model-Based Testing of Reactive Systems
Levi Lucio, Marko Samer
2003 J jnl
An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS
CoRR
M. Barczyk, D. Burckhart-Chromek, Mihai Caprini, J. Da Silva Conceicao, M. Dobson, J. Flammer, R. Jones, Andrei Kazarov, S. Kolos, Dietrich Liko, L. Mapelli, Igor Soloviev, R. Hart, António Amorim, D. Klose, J. Lima, Levi Lucio, Luis Pedro, H. Wolters, E. Badescu, Igor Alexandrov, V. Kotov, Mikhail Mineev, Yu. Ryabov
2002 A* conf
OBK - An Online High Energy Physics' Meta-Data Repository.
VLDB
Igor Alexandrov, António Amorim, E. Badescu, M. Barczyk, D. Burckhart-Chromek, Mihai Caprini, M. Dobson, J. Flammer, R. Hart, R. Jones, Andrei Kazarov, S. Kolos, V. Kotov, Dietrich Liko, Levi Lucio, L. Mapelli, Mikhail Mineev, L. Moneta, I. Papadopoulos, M. Nassiakou, N. Parrington, Luis Pedro, A. Ribeiro, Yu. Ryabov, D. Schweiger, Igor Soloviev, H. Wolters