Massimo Tisi
74
Documents
Publications
|
Towards the Integration Support for Machine Learning of Inter-Model Relations in Model ViewsThe 39th ACM/SIGAPP Symposium on Applied Computing (SAC ’24), Apr 2024, Avila, Spain. ⟨10.1145/3605098.363614⟩
Communication dans un congrès
hal-04346770v1
|
|
On the Suitability of LSP and DAP for Domain-Specific Languages2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Oct 2023, Västerås, Sweden. ⟨10.1109/MODELS-C59198.2023.00066⟩
Communication dans un congrès
hal-04245594v1
|
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 2022, La Rochelle, France
Communication dans un congrès
hal-04447882v1
|
|
|
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-03288132v1
|
|
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-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⟩
Communication dans un congrès
hal-03343942v1
|
|
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-03001493v1
|
|
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-02952952v1
|
|
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-02943297v1
|
|
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-02907622v1
|
|
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-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⟩
Communication dans un congrès
hal-02169342v1
|
|
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-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⟩
Communication dans un congrès
hal-02333578v2
|
|
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-01828344v1
|
|
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-01984056v1
|
|
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-01952724v1
|
|
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-01996093v1
|
|
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-01828305v1
|
|
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-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⟩
Communication dans un congrès
hal-01435974v1
|
|
Injecting Execution Traces into a Model-Driven Framework for Program AnalysisWorkshop on Scalability in Model Driven Engineering (BigMDE'17), Jul 2017, Marburg, France
Communication dans un congrès
hal-01689968v1
|
|
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-01435977v1
|
|
Towards Incremental Deductive Verification for ATLVerification of Model Transformation, Oct 2016, Saint-Malo, France. pp.38-47
Communication dans un congrès
hal-01383886v1
|
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-01340073v1
|
|
|
EMF-REST: Generation of RESTful APIs from ModelsSymposium on Applied Computing 2016, 2016, Pisa, Italy
Communication dans un congrès
hal-01394402v1
|
|
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-01436047v1
|
|
Efficient Model Partitioning for Distributed Model TransformationsProceedings of the 2016 International Conference of Software Language Engineering, Oct 2016, Amsterdam, Netherlands
Communication dans un congrès
hal-01367572v1
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF Project Showcase 2016, 2016, Vienna, Austria
Communication dans un congrès
hal-01394407v1
|
|
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-01215268v1
|
|
Decentralized Model Persistence for Distributed Computing3rd BigMDE Workshop, Jul 2015, L'Aquila, Italy
Communication dans un congrès
hal-01215280v1
|
Lazy Evaluation for OCLModels 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
Communication dans un congrès
hal-01221072v1
|
|
|
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-01094214v1
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF2015 Project Showcase, 2015, L'Aquila, Italy
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01140776v1
|
|
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-01215228v1
|
|
Improving memory efficiency for processing large-scale modelsBigMDE, University of York, Jul 2014, York, UK, United Kingdom
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00968516v1
|
|
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-01035450v1
|
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-01096634v1
|
|
|
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-00966441v1
|
|
Analyzing Flowgraphs with ATLTransformation Tool Contest, Jun 2013, Budapest, Hungary
Communication dans un congrès
hal-00819075v1
|
|
Parallel Execution of ATL Transformation RulesMoDELS, Sep 2013, Miami, United States. pp.656-672
Communication dans un congrès
hal-00869269v1
|
|
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-00869267v1
|
|
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-00752412v1
|
|
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-00711524v1
|
|
Using Models of Partial Knowledge to Test Model TransformationsInternational Conference on Model Transformation, May 2012, Prague, Czech Republic
Communication dans un congrès
hal-00692175v1
|
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-00609458v1
|
|
Towards a General Composition Semantics for Rule-Based Model TransformationMoDELS, 2011, Wellington, New Zealand. pp.623-637
Communication dans un congrès
hal-00642066v1
|
|
Improving Higher-Order Transformations Support in ATLInternational Conference on Model Transformations 2010, Jun 2010, Spain. pp.215-229
Communication dans un congrès
hal-00531785v1
|
|
Search Computing: A Model-Driven PerspectiveInternational Conference on Model Transformations 2010, Jun 2010, Spain. pp.1-15
Communication dans un congrès
hal-00531783v1
|
|
Multi-level Tests for Model Driven Web ApplicationsInternational Conference on Web Engineering 2010, 2010, Austria. pp.158-172
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00539173v1
|
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-00782464v1
|
|
Automatically Summarizing all the Problems of a Rule-Based System[Research Report] IMT Atlantique. 2020
Rapport
hal-02432411v1
|
|
Refining Models with Rule-based Model Transformations[Research Report] RR-7582, INRIA. 2011, pp.18
Rapport
inria-00580033v2
|