Accéder directement au contenu

Massimo Tisi

74
Documents

Publications

Image document

Integrating the Support for Machine Learning of Inter-Model Relations in Model Views

James Pontes Miranda , Hugo Bruneliere , Massimo Tisi , Gerson Sunyé
The Journal of Object Technology, 2024, The 20th European Conference on Modelling Foundations and Applications (ECMFA 2024), pp.1-14
Article dans une revue hal-04557378v1
Image document

Protocol-Based Interactive Debugging for Domain-Specific Languages

Josselin Enet , Erwan Bousse , Massimo Tisi , Gerson Sunyé
The Journal of Object Technology, 2023, 22 (2), pp.2:1-14. ⟨10.5381/jot.2023.22.2.a6⟩
Article dans une revue hal-04124727v1
Image document

Facilitating the Migration to the Microservice Architecture via Model-Driven Reverse Engineering and Reinforcement Learning

Mohammadhadi Dehghani , Shekoufeh Kolahdouz-Rahimi , Massimo Tisi , Dalila Tamzalit
Software and Systems Modeling, 2022, 21 (3), pp.1115-1133. ⟨10.1007/s10270-022-00977-3⟩
Article dans une revue hal-03916547v1
Image document

Deep Specification and Proof Preservation for the CoqTL Transformation Language

Zheng Cheng , Massimo Tisi
Software & Systems Modeling, 2022, ⟨10.1007/s10270-022-01004-1⟩
Article dans une revue hal-03656144v1
Image document

A cross-technology benchmark for incremental graph queries

Georg Hinkel , Antonio Garcia-Dominguez , René Schöne , Artur Boronat , Massimo Tisi
Software and Systems Modeling, 2022, 21 (April), pp.755-804. ⟨10.1007/s10270-021-00927-5⟩
Article dans une revue hal-03594453v1
Image document

Low-code development and model-driven engineering: Two sides of the same coin?

Davide Di Ruscio , Dimitris Kolovos , Juan de Lara , Alfonso Pierantonio , Massimo Tisi
Software and Systems Modeling, 2022, 21 (2), pp.437-446. ⟨10.1007/s10270-021-00970-2⟩
Article dans une revue hal-03916536v1
Image document

A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things

Imad Berrouyne , Mehdi Adda , Jean-Marie Mottu , Massimo Tisi
IEEE Internet of Things Journal, 2022, 9 (20), pp.19757-19772. ⟨10.1109/JIOT.2022.3170500⟩
Article dans une revue hal-03916558v1
Image document

What is the Future of Modelling ?

Antonio Bucchiarone , Federico Ciccozzi , Leen Lambers , Alfonso Pierantonio , Matthias Tichy
IEEE Software, 2021, 38 (2), pp.119-127. ⟨10.1109/MS.2020.3041522⟩
Article dans une revue hal-03916530v1
Image document

CoqTL: A Coq DSL for Rule-Based Model Transformation

Zheng Cheng , Massimo Tisi , Rémi Douence
Software and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩
Article dans une revue hal-02333564v1
Image document

Source-Code Level Regression Test Selection: the Model-Driven Way

Thibault Béziers La Fosse , Jean-Marie Mottu , Massimo Tisi , Gerson Sunyé
The Journal of Object Technology, 2019, 18 (2), pp.13:1. ⟨10.5381/jot.2019.18.2.a13⟩
Article dans une revue hal-02333538v1
Image document

Distributing Relational Model Transformation on MapReduce

Amine Benelallam , Abel Gómez , Massimo Tisi , Jordi Cabot
Journal of Systems and Software, 2018, 142, pp.1-20. ⟨10.1016/j.jss.2018.04.014⟩
Article dans une revue hal-01863885v1
Image document

Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization

Zheng Cheng , Massimo Tisi
International Journal on Software Tools for Technology Transfer, 2018, 20 (6), pp.645-663. ⟨10.1007/s10009-018-0491-8⟩
Article dans une revue hal-01763410v1
Image document

Reactive Model Transformation with ATL

Salvador Martínez , Massimo Tisi , Rémi Douence
Science of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩
Article dans une revue hal-01627991v1
Image document

NeoEMF: A Multi-database Model Persistence Framework for Very Large Models

Gwendal Daniel , Gerson Sunyé , Amine Benelallam , Massimo Tisi , Yoann Vernageau
Science of Computer Programming, 2017, ⟨10.1016/j.scico.2017.08.002⟩
Article dans une revue hal-01589588v1
Image document

Feature-Based Classification of Bidirectional Transformation Approaches

Soichiro Hidaka , Massimo Tisi , Jordi Cabot , Zhenjiang Hu
Software and Systems Modeling, 2016, 15, pp.907-928. ⟨10.1007/s10270-014-0450-0⟩
Article dans une revue hal-01257169v1

The MDE Diploma: First International Postgraduate Specialization in Model-Driven Engineering

Jordi Cabot , Massimo Tisi
Computer Science Education, 2011, Software Modeling in Education, 21 (4), pp.389-402. ⟨10.1080/08993408.2011.630131⟩
Article dans une revue hal-00646898v1

Using Traceability Links and Higher Order Transformations for Easing Regression Testing of Web Applications

Piero Fraternali , Massimo Tisi
Journal of Web Engineering, 2011, 10 (1), pp.1-20
Article dans une revue inria-00602420v1
Image document

Towards the Integration Support for Machine Learning of Inter-Model Relations in Model Views

James Pontes Miranda , Hugo Bruneliere , Massimo Tisi , Gerson Sunyé
The 39th ACM/SIGAPP Symposium on Applied Computing (SAC ’24), Apr 2024, Avila, Spain. ⟨10.1145/3605098.363614⟩
Communication dans un congrès hal-04346770v1
Image document

On the Suitability of LSP and DAP for Domain-Specific Languages

Josselin Enet , Erwan Bousse , Massimo Tisi , Gerson Sunyé
2023 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.

Mohammad Hadi Dehghani , Shekoufeh Kolahdouz-Rahimi , Massimo Tisi , Dalila Tamzalit
INFORSID, May 2022, La Rochelle, France
Communication dans un congrès hal-04447882v1
Image document

Towards Twin-Driven Engineering: Overview of the State-of-the-Art and Research Directions

Massimo Tisi , Hugo Bruneliere , Juan de Lara , Davide Di Ruscio , Dimitris Kolovos
IFIP 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
Image document

A DSL for Encoding Models for Graph-Learning Processes

Zahra Rajaei , Shekoufeh Kolahdouz-Rahimi , Massimo Tisi , Frédéric Jouault
20th International Workshop on OCL and Textual Modeling, Jun 2021, Bergen, Norway
Communication dans un congrès hal-03252919v1
Image document

Executing Certified Model Transformations on Apache Spark

Jolan Philippe , Massimo Tisi , Hélène Coullon , Gerson Sunyé
SLE 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
Image document

Annotating Executable DSLs with Energy Estimation Formulas

Thibault Béziers La Fosse , Massimo Tisi , Jean-Marie Mottu , Gerson Sunyé
SLE 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
Image document

Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms

Jolan Philippe , Hélène Coullon , Massimo Tisi , Gerson Sunyé
23rd 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
Image document

A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things

Imad Berrouyne , Mehdi Adda , Jean-Marie Mottu , Jean-Claude Royer , Massimo Tisi
Advanced 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
Image document

Certifying a Rule-Based Model Transformation Engine for Proof Preservation

Zheng Cheng , Massimo Tisi , Joachim Hotonnier
ACM/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
Image document

Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms

Massimo Tisi , Jean-Marie Mottu , Dimitrios S. Kolovos , Juan de Lara , Esther M Guerra
STAF 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
Image document

Removing Problems in Rule-Based Policies

Zheng Cheng , Jean-Claude Royer , Massimo Tisi
SEC 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
Image document

Towards platform specific energy estimation for executable domain-specific modeling languages

Thibault Béziers La Fosse , Massimo Tisi , Erwan Bousse , Jean-Marie Mottu , Gerson Sunyé
MODELS-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
Image document

CyprIoT: framework for modelling and controlling network-based IoT applications

Imad Berrouyne , Mehdi Adda , Jean-Marie Mottu , Jean-Claude Royer , Massimo Tisi
SAC 2019: 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297362⟩
Communication dans un congrès hal-02333578v2
Image document

CoqTL: an Internal DSL for Model Transformation in Coq

Massimo Tisi , Zheng Cheng
ICMT 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
Image document

Towards Model-Based Communication Control for the Internet of Things

Imad Berrouyne , Mehdi Adda , Jean-Marie Mottu , Jean-Claude Royer , Massimo Tisi
STAF Workshops, Jun 2018, Toulouse, France. pp.644-655, ⟨10.1007/978-3-030-04771-9_49⟩
Communication dans un congrès hal-01984056v1
Image document

Characterizing a Source Code Model with Energy Measurements

Thibault Béziers La Fosse , Jean-Marie Mottu , Massimo Tisi , Gerson Sunyé
Workshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), Oct 2018, Oulu, Finland
Communication dans un congrès hal-01952724v1
Image document

The TTC 2018 Social Media Case, by ATL and AOF

Valentin Besnard , Frédéric Jouault , Théo Le Calvar , Massimo Tisi
11th 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
Image document

Efficiently Characterizing the Undefined Requests of a Rule-Based System

Zheng Cheng , Jean-Claude Royer , Massimo Tisi
IFM 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
Image document

On Additivity in Transformation Languages

Soichiro Hidaka , Frédéric Jouault , Massimo Tisi
MODELS 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
Image document

Incremental Deductive Verification for Relational Model Transformations

Zheng Cheng , Massimo Tisi
ICST 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
Image document

Injecting Execution Traces into a Model-Driven Framework for Program Analysis

Thibault Béziers La Fosse , Massimo Tisi , Jean-Marie Mottu
Workshop on Scalability in Model Driven Engineering (BigMDE'17), Jul 2017, Marburg, France
Communication dans un congrès hal-01689968v1
Image document

A Deductive Approach for Fault Localization in ATL Model Transformations

Zheng Cheng , Massimo Tisi
FASE 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
Image document

Towards Incremental Deductive Verification for ATL

Zheng Cheng , Massimo Tisi
Verification of Model Transformation, Oct 2016, Saint-Malo, France. pp.38-47
Communication dans un congrès hal-01383886v1

Enabling OCL and fUML Integration by Transformation

Massimo Tisi , Frédéric Jouault , Saidi Zied , Jérôme Delatour
12th 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
Image document

EMF-REST: Generation of RESTful APIs from Models

Ed-Douibi Hamza , Javier Luis Cánovas Izquierdo , Abel Gómez , Massimo Tisi , Jordi Cabot
Symposium on Applied Computing 2016, 2016, Pisa, Italy
Communication dans un congrès hal-01394402v1
Image document

NeoEMF: a Multi-database Model Persistence Framework for Very Large Models

Gwendal Daniel , Gerson Gerson Sunyé , Amine Benelallam , Massimo Tisi , Yoann Vernageau
Proceedings 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
Image document

Efficient Model Partitioning for Distributed Model Transformations

Amine Benelallam , Massimo Tisi , Jesús Sánchez Cuadrado , Juan de Lara , Jordi Cabot
Proceedings of the 2016 International Conference of Software Language Engineering, Oct 2016, Amsterdam, Netherlands
Communication dans un congrès hal-01367572v1
Image document

MONDO: Scalable Modelling and Model Management on the Cloud

Dimitrios S Kolovos , Antonio Garcia-Dominguez , Richard F Paige , Esther S Guerra , Jesús Sánchez Cuadrado
STAF Project Showcase 2016, 2016, Vienna, Austria
Communication dans un congrès hal-01394407v1
Image document

ATL-MR: Model Transformation on MapReduce

Amine Benelallam , Abel Gómez , Massimo Tisi
Proceedings 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
Image document

Decentralized Model Persistence for Distributed Computing

Abel Gómez , Amine Benelallam , Massimo Tisi
3rd BigMDE Workshop, Jul 2015, L'Aquila, Italy
Communication dans un congrès hal-01215280v1

Lazy Evaluation for OCL

Massimo Tisi , Rémi Douence , Dennis Wagelaar
Models 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
Communication dans un congrès hal-01221072v1
Image document

A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs

Valerio Cosentino , Massimo Tisi , Javier Luis Cánovas Izquierdo
41st 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
Image document

MONDO: Scalable Modelling and Model Management on the Cloud

Dimitrios S Kolovos , Louis M Rose , Richard F Paige , Esther M Guerra , Jesús Sánchez Cuadrado
STAF2015 Project Showcase, 2015, L'Aquila, Italy
Communication dans un congrès hal-01394222v1
Image document

Map-Based Transparent Persistence for Very Large Models

Abel Gómez , Massimo Tisi , Gerson Sunyé , Jordi Cabot
Fundamental 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
Image document

Distributed Model-to-Model Transformation with ATL on MapReduce

Amine Benelallam , Abel Gómez , Massimo Tisi , Jordi Cabot
Proceedings of 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), Oct 2015, Pittsburgh, United States
Communication dans un congrès hal-01215228v1
Image document

Improving memory efficiency for processing large-scale models

Gwendal Daniel , Gerson Sunyé , Amine Benelallam , Massimo Tisi
BigMDE, University of York, Jul 2014, York, UK, United Kingdom
Communication dans un congrès hal-01033188v1
Image document

Neo4EMF, a Scalable Persistence Layer for EMF Models

Amine Benelallam , Abel Gómez , Gerson Sunyé , Massimo Tisi , David Launay
ECMFA- 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
Image document

Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations

Amine Benelallam , Massimo Tisi , Istvan Rath , Benedeck Izso , Dimitrios S. Kolovos
BigMDE, University of York, Jul 2014, York, UK, United Kingdom
Communication dans un congrès hal-01035450v1

fUML as an Assembly Language for Model Transformation

Massimo Tisi , Frédéric Jouault , Jérôme Delatour , Saidi Zied , Hassene Choura
7th 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
Image document

fUML as an Assembly Language for MDA

Frédéric Jouault , Massimo Tisi , Jérôme Delatour
Proceedings 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
Image document

Analyzing Flowgraphs with ATL

Valerio Cosentino , Massimo Tisi , Fabian Büttner
Transformation Tool Contest, Jun 2013, Budapest, Hungary
Communication dans un congrès hal-00819075v1
Image document

Parallel Execution of ATL Transformation Rules

Massimo Tisi , Salvador Martínez , Hassene Choura
MoDELS, Sep 2013, Miami, United States. pp.656-672
Communication dans un congrès hal-00869269v1
Image document

A research roadmap towards achieving scalability in model driven engineering

Dimitrios S Kolovos , Louis M Rose , Nicholas M Matragkas , Richard F Paige , Esther M Guerra
Proceedings 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
Image document

Static Analysis of Model Transformations for Effective Test Generation

Jean-Marie Mottu , Sagar Sen , Massimo Tisi , Jordi Cabot
ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, United States
Communication dans un congrès hal-00752412v1
Image document

Transforming Very Large Models in the Cloud: a Research Roadmap

Cauê Clasen , Marcos Didonet del Fabro , Massimo Tisi
CloudMDE 2012 - First International Workshop on Model-Driven Engineering on and for the Cloud, Jul 2012, Copenhagen, Denmark
Communication dans un congrès hal-00711524v1
Image document

Using Models of Partial Knowledge to Test Model Transformations

Sagar Sen , Jean-Marie Mottu , Massimo Tisi , Jordi Cabot
International Conference on Model Transformation, May 2012, Prague, Czech Republic
Communication dans un congrès hal-00692175v1

Lazy Execution of Model-to-Model Transformations

Massimo Tisi , Salvador Martínez , Frédéric Jouault , Jordi Cabot
Model 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 Transformation

Dennis Wagelaar , Massimo Tisi , Jordi Cabot , Frédéric Jouault
MoDELS, 2011, Wellington, New Zealand. pp.623-637
Communication dans un congrès hal-00642066v1

Improving Higher-Order Transformations Support in ATL

Massimo Tisi , Jordi Cabot , Frédéric Jouault
International Conference on Model Transformations 2010, Jun 2010, Spain. pp.215-229
Communication dans un congrès hal-00531785v1

Search Computing: A Model-Driven Perspective

Brambilla Marco , Ceri Stefano , Massimo Tisi
International 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 Applications

Fraternali Piero , Massimo Tisi
International Conference on Web Engineering 2010, 2010, Austria. pp.158-172
Communication dans un congrès hal-00531786v1

Towards Incremental Execution of ATL Transformations

Frédéric Jouault , Massimo Tisi
ICMT2010 - 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
Image document

Industrialization of Research Tools: the ATL Case

Hugo Bruneliere , Jordi Cabot , Frédéric Jouault , Massimo Tisi , Jean Bézivin
Third 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 Transformations

Massimo Tisi , Frédéric Jouault , Piero Fraternali , Stefano Ceri , Jean Bézivin
Fifth European Conference on Model-Driven Architecture, Foundations and Applications (ECMDA 2009), Jun 2009, Enschede, Netherlands
Communication dans un congrès hal-00782464v1