Massimo Tisi
76
Documents
Publications
|
|
Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views17th ACM SIGPLAN International Conference on Software Language Engineering (SLE’24), Oct 2024, Pasadena, CA, United States. pp.29 - 42, ⟨10.1145/3687997.3695650⟩
Conference papers
hal-04698209v1
|
|
|
Towards the Integration Support for Machine Learning of Inter-Model Relations in Model ViewsSAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, Apr 2024, Avila, Spain. pp.1304-1306, ⟨10.1145/3605098.3636143⟩
Conference papers
hal-04346770v1
|
Faciliter la migration vers une architecture microservices : Approche basée sur la rétroingénierie dirigée par les modèles et l'apprentissage par renforcement.INFORSID, May 2023, La Rochelle, France
Conference papers
hal-04447882v1
|
|
|
|
On the Suitability of LSP and DAP for Domain-Specific LanguagesMODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Västerås, Sweden. ⟨10.1109/MODELS-C59198.2023.00066⟩
Conference papers
hal-04245594v1
|
|
|
Towards Generating Structurally Realistic Models by Generative Adversarial NetworksMODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Västerås, France. pp.597-604, ⟨10.1109/MODELS-C59198.2023.00098⟩
Conference papers
hal-04627381v1
|
|
|
A DSL for Encoding Models for Graph-Learning Processes20th International Workshop on OCL and Textual Modeling, Jun 2021, Bergen, Norway
Conference papers
hal-03252919v1
|
|
|
Executing Certified Model Transformations on Apache SparkSLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago IL, United States. pp.36-48, ⟨10.1145/3486608.3486901⟩
Conference papers
hal-03343942v1
|
|
|
Towards Twin-Driven Engineering: Overview of the State-of-the-Art and Research DirectionsIFIP Conference on Advances in Production Management Systems (APMS 2021), Sep 2021, Nantes, France. pp.1-9, ⟨10.1007/978-3-030-85874-2_37⟩
Conference papers
hal-03288132v1
|
|
|
Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Oct 2020, Montreal (Virtually), Canada. ⟨10.1145/3417990.3420206⟩
Conference papers
hal-02952952v1
|
|
|
Certifying a Rule-Based Model Transformation Engine for Proof PreservationACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Montreal, Canada. ⟨10.1145/3365438.3410949⟩
Conference papers
hal-02907622v1
|
|
|
A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of ThingsAdvanced Information Networking and Applications, Apr 2020, Nantes, France. pp.1162-1175, ⟨10.1007/978-3-030-44041-1_100⟩
Conference papers
hal-02943297v1
|
|
|
Annotating Executable DSLs with Energy Estimation FormulasSLE 2020 - Software Language Engineering, Nov 2020, Chicago, Illinois / Virtual, United States. pp.22-38, ⟨10.1145/3426425.3426930⟩
Conference papers
hal-03001493v1
|
|
|
Towards platform specific energy estimation for executable domain-specific modeling languagesMODELS-C 2019: ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, Sep 2019, Munich, Germany. ⟨10.1109/MODELS-C.2019.00048⟩
Conference papers
hal-02297501v1
|
|
|
CyprIoT: framework for modelling and controlling network-based IoT applicationsSAC 2019: 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297362⟩
Conference papers
hal-02333578v2
|
|
|
Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering PlatformsSTAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Jul 2019, Eindhoven, Netherlands
Conference papers
hal-02363416v1
|
|
|
Removing Problems in Rule-Based PoliciesSEC 2019 : ICT Systems Security and Privacy Protection, Jun 2019, Lisbon, Portugal. pp.120-133, ⟨10.1007/978-3-030-22312-0_9⟩
Conference papers
hal-02169342v1
|
|
|
Towards Model-Based Communication Control for the Internet of ThingsSTAF Workshops, Jun 2018, Toulouse, France. pp.644-655, ⟨10.1007/978-3-030-04771-9_49⟩
Conference papers
hal-01984056v1
|
|
|
CoqTL: an Internal DSL for Model Transformation in CoqICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.142-156, ⟨10.1007/978-3-319-93317-7_7⟩
Conference papers
hal-01828344v1
|
|
|
Characterizing a Source Code Model with Energy MeasurementsWorkshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), Oct 2018, Oulu, Finland
Conference papers
hal-01952724v1
|
|
|
Efficiently Characterizing the Undefined Requests of a Rule-Based SystemIFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.69-88, ⟨10.1007/978-3-319-98938-9_5⟩
Conference papers
hal-01828305v1
|
|
|
The TTC 2018 Social Media Case, by ATL and AOF11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations (STAF 2018), Jun 2018, Toulouse, France
Conference papers
hal-01996093v1
|
|
|
On Additivity in Transformation LanguagesMODELS 2017 - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, Texas, United States. pp.23-33, ⟨10.1109/MODELS.2017.21⟩
Conference papers
hal-01566259v1
|
|
|
Incremental Deductive Verification for Relational Model TransformationsICST 2017 : 10th IEEE International Conference on Software Testing, Verification and Validation, Mar 2017, Tokyo, Japan. ⟨10.1109/ICST.2017.41⟩
Conference papers
hal-01435974v1
|
|
|
A Deductive Approach for Fault Localization in ATL Model TransformationsFASE 2017 : 20th International Conference on Fundamental Approaches to Software Engineering, Apr 2017, Uppsala, Sweden. pp.300-317, ⟨10.1007/978-3-662-54494-5_17⟩
Conference papers
hal-01435977v1
|
|
|
Injecting Execution Traces into a Model-Driven Framework for Program AnalysisWorkshop on Scalability in Model Driven Engineering (BigMDE'17), Jul 2017, Marburg, France. ⟨10.1007/978-3-319-74730-9_1⟩
Conference papers
hal-01689968v1
|
|
|
NeoEMF: a Multi-database Model Persistence Framework for Very Large ModelsProceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint-Malo, France
Conference papers
hal-01436047v1
|
|
|
EMF-REST: Generation of RESTful APIs from ModelsSymposium on Applied Computing 2016, 2016, Pisa, Italy
Conference papers
hal-01394402v1
|
|
|
Towards Incremental Deductive Verification for ATLVerification of Model Transformation, Oct 2016, Saint-Malo, France. pp.38-47
Conference papers
hal-01383886v1
|
|
|
Efficient Model Partitioning for Distributed Model TransformationsSLE 2016 - International Conference of Software Language Engineering, Oct 2016, Amsterdam, Netherlands. ⟨10.1145/2997364.2997385⟩
Conference papers
hal-01367572v2
|
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF Project Showcase 2016, 2016, Vienna, Austria
Conference papers
hal-01394407v1
|
Enabling OCL and fUML Integration by Transformation12th European Conference, ECMFA 2016, Jul 2016, Vienna, Austria. pp.156-172, ⟨10.1007/978-3-319-42061-5_10⟩
Conference papers
hal-01340073v1
|
|
|
|
Distributed Model-to-Model Transformation with ATL on MapReduceProceedings of 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), Oct 2015, Pittsburgh, United States
Conference papers
hal-01215228v1
|
|
|
A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs41st International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2015, Pec pod Sněžkou, Czech Republic. pp.423-435
Conference papers
hal-01094214v1
|
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF2015 Project Showcase, 2015, L'Aquila, Italy
Conference papers
hal-01394222v1
|
|
|
Map-Based Transparent Persistence for Very Large ModelsFundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, Apr 2015, London, United Kingdom. pp.19-34, ⟨10.1007/978-3-662-46675-9_2⟩
Conference papers
hal-01140776v1
|
Lazy Evaluation for OCLModels 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
Conference papers
hal-01221072v1
|
|
|
|
Decentralized Model Persistence for Distributed Computing3rd BigMDE Workshop, Jul 2015, L'Aquila, Italy
Conference papers
hal-01215280v1
|
|
|
ATL-MR: Model Transformation on MapReduceProceedings of the Second Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH 2015, Oct 2015, Pittsburgh, United States
Conference papers
hal-01215268v1
|
|
|
fUML as an Assembly Language for MDAProceedings of the 6th International Workshop on Modeling in Software Engineering, Jun 2014, Hyderabad, India. pp.61-64, ⟨10.1145/2593770.2593778⟩
Conference papers
hal-00966441v1
|
fUML as an Assembly Language for Model Transformation7th International Conference, SLE 2014, Sep 2014, Västerås, Sweden. pp.171-190, ⟨10.1007/978-3-319-11245-9_10⟩
Conference papers
hal-01096634v1
|
|
|
|
Towards an Open Set of Real-World Benchmarks for Model Queries and TransformationsBigMDE, University of York, Jul 2014, York, UK, United Kingdom
Conference papers
hal-01035450v1
|
|
|
Improving memory efficiency for processing large-scale modelsBigMDE, University of York, Jul 2014, York, UK, United Kingdom
Conference papers
hal-01033188v1
|
|
|
Neo4EMF, a Scalable Persistence Layer for EMF ModelsECMFA- European conference on Modeling Foundations and applications, University of York, Apr 2014, York, UK, United Kingdom. pp.230-241, ⟨10.1007/978-3-319-09195-2_15⟩
Conference papers
hal-00968516v1
|
|
|
A research roadmap towards achieving scalability in model driven engineeringProceedings of the Workshop on Scalability in Model Driven Engineering, Jun 2013, Budapest, Hungary. pp.1 - 10, ⟨10.1145/2487766.2487768⟩
Conference papers
hal-00869267v1
|
|
|
Parallel Execution of ATL Transformation RulesMoDELS, Sep 2013, Miami, United States. pp.656-672
Conference papers
hal-00869269v1
|
|
|
Analyzing Flowgraphs with ATLTransformation Tool Contest, Jun 2013, Budapest, Hungary
Conference papers
hal-00819075v1
|
|
|
Static Analysis of Model Transformations for Effective Test GenerationISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, United States
Conference papers
hal-00752412v1
|
|
|
Using Models of Partial Knowledge to Test Model TransformationsInternational Conference on Model Transformation, May 2012, Prague, Czech Republic
Conference papers
hal-00692175v1
|
|
|
Transforming Very Large Models in the Cloud: a Research RoadmapCloudMDE 2012 - First International Workshop on Model-Driven Engineering on and for the Cloud, Jul 2012, Copenhagen, Denmark
Conference papers
hal-00711524v1
|
Towards a General Composition Semantics for Rule-Based Model TransformationMoDELS, 2011, Wellington, New Zealand. pp.623-637
Conference papers
hal-00642066v1
|
|
Lazy Execution of Model-to-Model TransformationsModel Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand
Conference papers
inria-00609458v1
|
|
Improving Higher-Order Transformations Support in ATLInternational Conference on Model Transformations 2010, Jun 2010, Spain. pp.215-229
Conference papers
hal-00531785v1
|
|
Multi-level Tests for Model Driven Web ApplicationsInternational Conference on Web Engineering 2010, 2010, Austria. pp.158-172
Conference papers
hal-00531786v1
|
|
Towards Incremental Execution of ATL TransformationsICMT2010 - Intl. Conference on Model Transformation, Jun 2010, Malaga, Spain. pp.123-137, ⟨10.1007/978-3-642-13688-7_9⟩
Conference papers
inria-00539063v1
|
|
|
|
Industrialization of Research Tools: the ATL CaseThird International Workshop on Academic Software Development Tools and Techniques - WASDeTT-3 (co-located with the 25th IEEE/ACM International Conference on Automated Software Engineering - ASE'2010), Sep 2010, Antwerp, Belgium
Conference papers
hal-00539173v1
|
Search Computing: A Model-Driven PerspectiveInternational Conference on Model Transformations 2010, Jun 2010, Spain. pp.1-15
Conference papers
hal-00531783v1
|
|
On the Use of Higher-Order Model TransformationsFifth European Conference on Model-Driven Architecture, Foundations and Applications (ECMDA 2009), Jun 2009, Enschede, Netherlands
Conference papers
hal-00782464v1
|
|
|
Automatically Summarizing all the Problems of a Rule-Based System[Research Report] IMT Atlantique. 2020
Reports
hal-02432411v1
|
|
|
Refining Models with Rule-based Model Transformations[Research Report] RR-7582, INRIA. 2011, pp.18
Reports
inria-00580033v2
|