default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLevi Lucio
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c39]Eugene Syriani, Vasco Sousa, Levi Lúcio:
Refining Statecharts while preserving the structure and behavior. SEAA 2020: 183
2010 – 2019
- 2019
- [j9]Eugene Syriani
, Vasco Sousa, Levi Lúcio:
Structure and behavior preserving statecharts refinements. Sci. Comput. Program. 170: 45-79 (2019) - [c38]Kathrin Evers, Jan R. Seyler, Vincent Aravantinos, Levi Lucio, Anees Mehdi:
Roadmap to Skill Based Systems Engineering. ETFA 2019: 1093-1100 - [c37]Cláudio Gomes, Levi Lúcio, Hans Vangheluwe:
Semantics of Co-simulation Algorithms with Simulator Contracts. MoDELS (Companion) 2019: 784-789 - [c36]Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz:
Design and Runtime Verification Side-by-Side in eTrice. NFM 2019: 255-262 - [c35]Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen:
Generation of Co-simulation Algorithms Subject to Simulator Contracts. SEFM Workshops 2019: 34-49 - [c34]Saad bin Abid, Vishal Mahajan, Levi Lucio:
Machine Learning for Learnability of MDD tools. SEKE 2019: 355-468 - 2018
- [j8]Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer:
Full contract verification for ATL using symbolic execution. Softw. Syst. Model. 17(3): 815-849 (2018) - [c33]Tahira Iqbal, Parisa Elahidoost, Levi Lucio:
A Bird's Eye View on Requirements Engineering and Machine Learning. APSEC 2018: 11-20 - [c32]Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder:
Controlling a virtual rover using AutoFOCUS3. MoDELS (Workshops) 2018: 356-365 - [c31]Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe:
Debugging of Model Transformations and Contracts in SyVOLT. MoDELS (Workshops) 2018: 532-537 - [c30]Levi Lucio, Tahira Iqbal:
Formalizing EARS - First Impressions. EARS@RE 2018: 11-13 - [i3]Moussa Amrani, Levi Lúcio, Adrien Bibal:
ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification. CoRR abs/1806.03600 (2018) - 2017
- [c29]Levi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Ralf Kuestner, Eduard Harwardt:
Process-Aware Model-driven Development Environments. MoDELS (Satellite Events) 2017: 405-411 - [c28]Levi Lúcio, Salman Rahman, Saad bin Abid, Alistair Mavin:
EARS-CTRL: Generating Controllers for Dummies. MoDELS (Satellite Events) 2017: 566-570 - [c27]Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin:
Just Formal Enough? Automated Analysis of EARS Requirements. NFM 2017: 427-434 - 2016
- [j7]Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer:
Model transformation intents and their properties. Softw. Syst. Model. 15(3): 647-684 (2016) - [c26]Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto, Georgeta Igna:
Factory Product Lines: Tackling the Compatibility Problem. VaMoS 2016: 57-64 - 2015
- [j6]Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy:
Formal Verification Techniques for Model Transformations: A Tridimensional Classification. J. Object Technol. 14(3): 1:1-43 (2015) - [c25]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:
Migrating Automotive Product Lines: A Case Study. ICMT 2015: 82-97 - [c24]Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe:
SyVOLT: Full Model Transformation Verification Using Contracts. P&D@MoDELS 2015: 24-27 - [c23]Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes:
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. AMT@MoDELS 2015: 26-35 - [c22]Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer:
Fully verifying transformation contracts for declarative ATL. MoDELS 2015: 256-265 - [e5]Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe:
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. CEUR Workshop Proceedings 1500, CEUR-WS.org 2015 [contents] - [i2]Conner Hansen, Eugene Syriani, Levi Lucio:
Towards Controlling Refinements of Statecharts. CoRR abs/1503.07266 (2015) - 2014
- [j5]Levi Lucio, Qin Zhang, Phu Hong Nguyen, Moussa Amrani, Jacques Klein, Hans Vangheluwe, Yves Le Traon:
Advances in Model-Driven Security. Adv. Comput. 93: 103-152 (2014) - [c21]Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes:
Specification and Verification of Graph-Based Model Transformation Properties. ICGT 2014: 113-129 - [c20]Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer:
ProMoBox: A Framework for Generating Domain-Specific Property Languages. SLE 2014: 1-20 - [e4]Jürgen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe:
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. CEUR Workshop Proceedings 1277, CEUR-WS.org 2014 [contents] - 2013
- [c19]Levi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss:
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. SDL Forum 2013: 182-202 - [e3]Benoit Baudry, Jürgen Dingel, Levi Lucio, Hans Vangheluwe:
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013. CEUR Workshop Proceedings 1077, CEUR-WS.org 2013 [contents] - 2012
- [c18]Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy:
A Tridimensional Approach for Studying the Formal Verification of Model Transformations. ICST 2012: 921-928 - [c17]Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Dániel Varró:
Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). AMT@MoDELS 2012: 1-2 - [c16]Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer:
Towards a model transformation intent catalog. AMT@MoDELS 2012: 3-8 - [c15]Sadaf Mustafiz, Joachim Denil, Levi Lucio, Hans Vangheluwe:
The FTG+PM framework for multi-paradigm modelling: an automotive case study. MPM@MoDELS 2012: 13-18 - [c14]Levi Lúcio, Eugene Syriani, Moussa Amrani, Qin Zhang, Hans Vangheluwe:
Invariant preservation in iterative modeling. ME@MoDELS 2012: 57-62 - 2011
- [j4]Levi Lucio, Qin Zhang, Vasco Sousa, Yves Le Traon:
Verifying Access Control in Statecharts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 50 (2011) - [c13]Levi Lucio, Stephan Weißleder, Frédéric Fondement, Harald Cichos:
MoDeVVa 2011 Workshop Summary. MoDELS (Workshops) 2011: 183-186 - [e2]Stephan Weißleder, Levi Lúcio, Harald Cichos, Frédéric Fondement:
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011. ACM 2011, ISBN 978-1-4503-0914-1 [contents] - 2010
- [c12]Levi Lucio, Bruno Barroca, Vasco Amaral:
A Technique for Automatic Validation of Model Transformations. MoDELS (1) 2010: 136-150 - [c11]Levi Lucio, Elisangela Vieira, Stephan Weißleder:
MoDeVVa 2010 Workshop Summary. MoDELS (Workshops) 2010: 239-243 - [c10]Bruno Barroca, Levi Lucio, Vasco Amaral, Roberto Félix, Vasco Sousa:
DSLTrans: A Turing Incomplete Transformation Language. SLE 2010: 296-305
2000 – 2009
- 2009
- [j3]Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro:
DSL Composition for model-based test generation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009) - [c9]Didier Buchs, Levi Lucio, Ang Chen:
Model Checking Techniques for Test Generation from Business Process Models. Ada-Europe 2009: 59-74 - [c8]Levi Lucio, Stephan Weißleder:
MoDeVVa Workshop Summary. MoDELS (Workshops) 2009: 155-157 - [e1]Levi Lúcio, Stephan Weißleder:
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009. ACM 2009, ISBN 978-1-60558-876-6 [contents] - 2007
- [j2]Luis Pedro, Levi Lucio, Didier Buchs:
System Prototype and Verification Using Metamodel-Based Transformations. IEEE Distributed Syst. Online 8(4) (2007) - 2006
- [c7]Didier Buchs, Luis Pedro, Levi Lucio:
Formal Test Generation from UML Models. Research Results of the DICS Program 2006: 145-171 - [c6]Luis Pedro, Levi Lucio, Didier Buchs:
Principles for System Prototype and Verification Using Metamodel Based Transformations. IEEE International Workshop on Rapid System Prototyping 2006: 10-17 - 2005
- [c5]Luis Pedro, Levi Lucio, Didier Buchs:
Prototyping Domain Specific Languages with COOPN. RISE 2005: 174-189 - [c4]Levi Lucio, Luis Pedro, Didier Buchs:
A Test Language for CO-OPN Specifications. IEEE International Workshop on Rapid System Prototyping 2005: 195-201 - 2004
- [j1]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:
Replica Management in the European DataGrid Project. J. Grid Comput. 2(4): 341-351 (2004) - [c3]Levi Lucio, Marko Samer:
Technology of Test-Case Generation. Model-Based Testing of Reactive Systems 2004: 323-354 - [c2]Levi Lucio, Luis Pedro, Didier Buchs:
A Methodology and a Framework for Model-Based Testing. RISE 2004: 57-70 - 2003
- [i1]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:
An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS. CoRR cs.DB/0306081 (2003) - 2002
- [c1]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:
OBK - An Online High Energy Physics' Meta-Data Repository. VLDB 2002: 920-927
Coauthor Index
aka: Juergen Dingel
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
