
Massimo Tisi
80
Documents
Publications
Publications
|
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⟩
Communication dans un congrès
hal-05068730
v1
|
|
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⟩
Communication dans un congrès
hal-05124577
v1
|
|
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⟩
Communication dans un congrès
hal-04346770
v1
|
|
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⟩
Communication dans un congrès
hal-05030591
v1
|
|
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⟩
Communication dans un congrès
hal-04957986
v1
|
|
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⟩
Communication dans un congrès
hal-04698209
v1
|
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
Communication dans un congrès
hal-04447882
v1
|
|
|
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⟩
Communication dans un congrès
hal-04627381
v1
|
|
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⟩
Communication dans un congrès
hal-04245594
v1
|
|
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⟩
Communication dans un congrès
hal-03288132
v1
|
|
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⟩
Communication dans un congrès
hal-03343942
v1
|
|
A DSL for Encoding Models for Graph-Learning Processes20th International Workshop on OCL and Textual Modeling, Jun 2021, Bergen, Norway
Communication dans un congrès
hal-03252919
v1
|
|
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⟩
Communication dans un congrès
hal-03001493
v1
|
|
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⟩
Communication dans un congrès
hal-02907622
v1
|
|
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⟩
Communication dans un congrès
hal-02943297
v1
|
|
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⟩
Communication dans un congrès
hal-02952952
v1
|
|
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⟩
Communication dans un congrès
hal-02169342
v1
|
|
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⟩
Communication dans un congrès
hal-02297501
v1
|
|
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⟩
Communication dans un congrès
hal-02333578
v2
|
|
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
Communication dans un congrès
hal-02363416
v1
|
|
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⟩
Communication dans un congrès
hal-01828305
v1
|
|
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
Communication dans un congrès
hal-01996093
v1
|
|
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⟩
Communication dans un congrès
hal-01984056
v1
|
|
Characterizing a Source Code Model with Energy MeasurementsWorkshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), Oct 2018, Oulu, Finland
Communication dans un congrès
hal-01952724
v1
|
|
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⟩
Communication dans un congrès
hal-01828344
v1
|
|
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⟩
Communication dans un congrès
hal-01689968
v1
|
|
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⟩
Communication dans un congrès
hal-01435977
v1
|
|
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⟩
Communication dans un congrès
hal-01435974
v1
|
|
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⟩
Communication dans un congrès
hal-01566259
v1
|
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⟩
Communication dans un congrès
hal-01340073
v1
|
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF Project Showcase 2016, 2016, Vienna, Austria
Communication dans un congrès
hal-01394407
v1
|
|
Towards Incremental Deductive Verification for ATLVerification of Model Transformation, Oct 2016, Saint-Malo, France. pp.38-47
Communication dans un congrès
hal-01383886
v1
|
|
EMF-REST: Generation of RESTful APIs from ModelsSymposium on Applied Computing 2016, 2016, Pisa, Italy
Communication dans un congrès
hal-01394402
v1
|
|
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
Communication dans un congrès
hal-01436047
v1
|
|
Efficient Model Partitioning for Distributed Model TransformationsSLE 2016 - International Conference of Software Language Engineering, Oct 2016, Amsterdam, Netherlands. ⟨10.1145/2997364.2997385⟩
Communication dans un congrès
hal-01367572
v2
|
Lazy Evaluation for OCLModels 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
Communication dans un congrès
hal-01221072
v1
|
|
|
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
Communication dans un congrès
hal-01215268
v1
|
|
Decentralized Model Persistence for Distributed Computing3rd BigMDE Workshop, Jul 2015, L'Aquila, Italy
Communication dans un congrès
hal-01215280
v1
|
|
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⟩
Communication dans un congrès
hal-01140776
v1
|
|
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
Communication dans un congrès
hal-01215228
v1
|
|
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
Communication dans un congrès
hal-01094214
v1
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF2015 Project Showcase, 2015, L'Aquila, Italy
Communication dans un congrès
hal-01394222
v1
|
|
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⟩
Communication dans un congrès
hal-00968516
v1
|
|
Improving memory efficiency for processing large-scale modelsBigMDE, University of York, Jul 2014, York, UK, United Kingdom
Communication dans un congrès
hal-01033188
v1
|
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⟩
Communication dans un congrès
hal-01096634
v1
|
|
|
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⟩
Communication dans un congrès
hal-00966441
v1
|
|
Towards an Open Set of Real-World Benchmarks for Model Queries and TransformationsBigMDE, University of York, Jul 2014, York, UK, United Kingdom
Communication dans un congrès
hal-01035450
v1
|
|
Analyzing Flowgraphs with ATLTransformation Tool Contest, Jun 2013, Budapest, Hungary
Communication dans un congrès
hal-00819075
v1
|
|
Parallel Execution of ATL Transformation RulesMoDELS, Sep 2013, Miami, United States. pp.656-672
Communication dans un congrès
hal-00869269
v1
|
|
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⟩
Communication dans un congrès
hal-00869267
v1
|
|
Using Models of Partial Knowledge to Test Model TransformationsInternational Conference on Model Transformation, May 2012, Prague, Czech Republic
Communication dans un congrès
hal-00692175
v1
|
|
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
Communication dans un congrès
hal-00711524
v1
|
|
Static Analysis of Model Transformations for Effective Test GenerationISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, United States
Communication dans un congrès
hal-00752412
v1
|
Towards a General Composition Semantics for Rule-Based Model TransformationMoDELS, 2011, Wellington, New Zealand. pp.623-637
Communication dans un congrès
hal-00642066
v1
|
|
Lazy Execution of Model-to-Model TransformationsModel Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand
Communication dans un congrès
inria-00609458
v1
|
|
Search Computing: A Model-Driven PerspectiveInternational Conference on Model Transformations 2010, Jun 2010, Spain. pp.1-15
Communication dans un congrès
hal-00531783
v1
|
|
|
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
Communication dans un congrès
hal-00539173
v1
|
Improving Higher-Order Transformations Support in ATLInternational Conference on Model Transformations 2010, Jun 2010, Spain. pp.215-229
Communication dans un congrès
hal-00531785
v1
|
|
Multi-level Tests for Model Driven Web ApplicationsInternational Conference on Web Engineering 2010, 2010, Austria. pp.158-172
Communication dans un congrès
hal-00531786
v1
|
|
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⟩
Communication dans un congrès
istex
inria-00539063
v1
|
|
On the Use of Higher-Order Model TransformationsFifth European Conference on Model-Driven Architecture, Foundations and Applications (ECMDA 2009), Jun 2009, Enschede, Netherlands
Communication dans un congrès
hal-00782464
v1
|
|
Automatically Summarizing all the Problems of a Rule-Based System[Research Report] IMT Atlantique. 2020
Rapport
(rapport de recherche)
hal-02432411
v1
|
|
Refining Models with Rule-based Model Transformations[Research Report] RR-7582, INRIA. 2011, pp.18
Rapport
(rapport de recherche)
inria-00580033
v2
|
Chargement...
Chargement...