Massimo Tisi
Publications
Publications
|
|
Modeling OCL Collection Types and Type Casting using Constraint Programming2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2025, Athène, Greece. pp.1428-1435, ⟨10.1109/ICTAI66417.2025.00206⟩ |
|
|
Towards LLM Agents for Model-Based Engineering: A Case in Transformation SelectionSAM 2025 - 17th System Analysis and Modelling conference, Oct 2025, Grand Rapids, MI, United States. ⟨10.1109/MODELS-C68889.2025.00061⟩ |
|
|
Towards Enforcing Structural OCL Constraints using Constraint ProgrammingSAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. pp.1692-1701, ⟨10.1145/3672608.3707919⟩ |
|
|
Partial Bidirectionalization of Model Transformation LanguagesMODELS '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.1-12, ⟨10.1145/3640310.3674083⟩ |
|
|
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⟩ |
|
|
Automated Proof Tactics for Model TransformationECMFA 2024 - 20th European Conference on Modelling Foundations and Applications, Jul 2024, Enschede, Netherlands. pp.1-14, ⟨10.5381/jot.2024.23.3.a1⟩ |
|
|
dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language ProtocolsACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS'24), Sep 2024, Linz, Austria. pp.71 - 75, ⟨10.1145/3652620.3687794⟩ |
|
|
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⟩ |
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 |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Executing Certified Model Transformations on Apache SparkSLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, Illinois, United States. pp.36-48, ⟨10.1145/3486608.3486901⟩ |
|
|
A DSL for Encoding Models for Graph-Learning Processes20th International Workshop on OCL and Textual Modeling, Jun 2021, Bergen, Norway |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
Characterizing a Source Code Model with Energy MeasurementsWorkshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), Oct 2018, Oulu, Finland |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF Project Showcase 2016, 2016, Vienna, Austria |
|
|
Towards Incremental Deductive Verification for ATLVerification of Model Transformation, Oct 2016, Saint-Malo, France. pp.38-47 |
|
|
EMF-REST: Generation of RESTful APIs from ModelsSymposium on Applied Computing 2016, 2016, Pisa, Italy |
|
|
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 |
|
|
Efficient Model Partitioning for Distributed Model TransformationsSLE 2016 - International Conference of Software Language Engineering, Oct 2016, Amsterdam, Netherlands. ⟨10.1145/2997364.2997385⟩ |
|
|
Decentralized Model Persistence for Distributed Computing3rd BigMDE Workshop, Jul 2015, L'Aquila, Italy |
|
|
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 |
Lazy Evaluation for OCLModels 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada |
|
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF2015 Project Showcase, 2015, L'Aquila, Italy |
|
|
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⟩ |
|
|
Improving memory efficiency for processing large-scale modelsBigMDE, University of York, Jul 2014, York, UK, United Kingdom |
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⟩ |
|
|
|
Towards an Open Set of Real-World Benchmarks for Model Queries and TransformationsBigMDE, University of York, Jul 2014, York, UK, United Kingdom |
|
|
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⟩ |
|
|
Analyzing Flowgraphs with ATLTransformation Tool Contest, Jun 2013, Budapest, Hungary |
|
|
Parallel Execution of ATL Transformation RulesMoDELS, Sep 2013, Miami, United States. pp.656-672 |
|
|
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⟩ |
|
|
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 |
|
|
Using Models of Partial Knowledge to Test Model TransformationsInternational Conference on Model Transformation, May 2012, Prague, Czech Republic |
|
|
Static Analysis of Model Transformations for Effective Test GenerationISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, United States |
Lazy Execution of Model-to-Model TransformationsModel Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand |
|
Towards a General Composition Semantics for Rule-Based Model TransformationMoDELS, 2011, Wellington, New Zealand. pp.623-637 |
|
Search Computing: A Model-Driven PerspectiveInternational Conference on Model Transformations 2010, Jun 2010, Spain. pp.1-15 |
|
|
|
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 |
Improving Higher-Order Transformations Support in ATLInternational Conference on Model Transformations 2010, Jun 2010, Spain. pp.215-229 |
|
Multi-level Tests for Model Driven Web ApplicationsInternational Conference on Web Engineering 2010, 2010, Austria. pp.158-172 |
|
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⟩ |
|
On the Use of Higher-Order Model TransformationsFifth European Conference on Model-Driven Architecture, Foundations and Applications (ECMDA 2009), Jun 2009, Enschede, Netherlands |
|
|
Automatically Summarizing all the Problems of a Rule-Based System[Research Report] IMT Atlantique. 2020 |
|
|
Refining Models with Rule-based Model Transformations[Research Report] RR-7582, INRIA. 2011, pp.18 |