Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Massimo TISI

ENSEIGNANT-CHERCHEUR


Service : AFFAIRES DOCTORALES.Equipe : NAOMOD.

: Massimo.Tisiatls2n.fr

Adresse :

IMT Atlantique Bretagne-Pays de la Loire Ecole Mines-Telecom ( IMT ATLANTIQUE )
La Chantrerie
4, rue Alfred Kastler
B.P. 20722
44307 NANTES Cedex 3



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] Z. Cheng, M. Tisi. Deep Specification and Proof Preservation for the CoqTL Transformation Language. In Software & Systems Modeling. 2022
      https://hal.inria.fr/hal-03656144
    • [2] G. Hinkel, A. Garcia-Dominguez, R. Schöne, A. Boronat, M. Tisi, T. Le Calvar, F. Jouault, J. Marton, T. Nyíri, J. Antal, M. Elekes, G. Szárnyas. A cross-technology benchmark for incremental graph queries. In Software and Systems Modeling ; éd. Springer Verlag, 2021.
      https://hal.archives-ouvertes.fr/hal-03594453
    • [4] T. Béziers La Fosse, J. Mottu, M. Tisi, G. Sunyé. Source-Code Level Regression Test Selection: the Model-Driven Way. In The Journal of Object Technology ; éd. Chair of Software Engineering, 2019, vol. 18, num. 2.
      https://hal.archives-ouvertes.fr/hal-02333538
    • [5] Z. Cheng, M. Tisi. Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization. In International Journal on Software Tools for Technology Transfer ; éd. Springer Verlag, 2018, vol. 20, num. 6.
      https://hal.inria.fr/hal-01763410
    • [7] S. Martínez, M. Tisi, R. Douence. Reactive Model Transformation with ATL. In Science of Computer Programming ; éd. Elsevier, 2017, vol. 136.
      https://hal.inria.fr/hal-01627991
    • [8] G. Daniel, G. Sunyé, A. Benelallam, M. Tisi, Y. Vernageau, A. Gomez, J. Cabot. NeoEMF: A Multi-database Model Persistence Framework for Very Large Models. In Science of Computer Programming ; éd. Elsevier, 2017.
      https://hal.archives-ouvertes.fr/hal-01589588
    • [9] S. Hidaka, M. Tisi, J. Cabot, Z. Hu. Feature-Based Classification of Bidirectional Transformation Approaches. In Software and Systems Modeling ; éd. Springer Verlag, 2016.
      https://hal.inria.fr/hal-01257169
    • [10] P. Fraternali, M. Tisi. Using Traceability Links and Higher Order Transformations for Easing Regression Testing of Web Applications. In Journal of Web Engineering ; éd. Rinton Press, 2011, vol. 10, num. 1.
      https://hal.inria.fr/inria-00602420
    • [11] J. Cabot, M. Tisi. The MDE Diploma: First International Postgraduate Specialization in Model-Driven Engineering. In Computer Science Education ; éd. Taylor & Francis (Routledge), 2011, vol. 21, num. 4.
      https://hal.inria.fr/hal-00646898

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [12] Z. Rajaei, S. Kolahdouz-Rahimi, M. Tisi, F. Jouault. A DSL for Encoding Models for Graph-Learning Processes. In 20th International Workshop on OCL and Textual Modeling, juin 2021, Bergen, Norvège.
      https://hal.archives-ouvertes.fr/hal-03252919
    • [13] M. Tisi, H. Bruneliere, J. de Lara, D. Ruscio, D. Kolovos. Towards Twin-Driven Engineering: Overview of the State-of-the-Art and Research Directions. In IFIP Conference on Advances in Production Management Systems (APMS 2021), septembre 2021, Nantes (en ligne), France.
      https://hal.archives-ouvertes.fr/hal-03288132
    • [14] J. Philippe, M. Tisi, H. Coullon, G. Sunyé. Executing Certified Model Transformations on Apache Spark. In SLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering, octobre 2021, Chicago IL, états-Unis.
      https://hal.archives-ouvertes.fr/hal-03343942
    • [15] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things. In Advanced Information Networking and Applications, avril 2020, Nantes, France.
      https://hal.archives-ouvertes.fr/hal-02943297
    • [16] Z. Cheng, M. Tisi, J. Hotonnier. Certifying a Rule-Based Model Transformation Engine for Proof Preservation. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, octobre 2020, Montreal, Canada.
      https://hal.inria.fr/hal-02907622
    • [17] T. Béziers La Fosse, M. Tisi, J. Mottu, G. Sunyé. Annotating Executable DSLs with Energy Estimation Formulas. In SLE 2020 - Software Language Engineering, novembre 2020, Chicago, Illinois / Virtual, états-Unis.
      https://hal.inria.fr/hal-03001493
    • [18] J. Philippe, H. Coullon, M. Tisi, G. Sunyé. Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms. In 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, octobre 2020, Montreal (Virtually), Canada.In Proceedings of ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Sys-tems, Virtual Event, Canada. 19-10-2020
      https://hal.archives-ouvertes.fr/hal-02952952
    • [19] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. CyprIoT: framework for modelling and controlling network-based IoT applications. In SAC 2019: 34th ACM/SIGAPP Symposium on Applied Computing, avril 2019, Limassol, Chypre.
      https://hal.archives-ouvertes.fr/hal-02333578v2
    • [21] M. Tisi, J. Mottu, D. Kolovos, J. de Lara, E. Guerra, D. Di Ruscio, A. Pierantonio, M. Wimmer. Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms. In 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), juillet 2019, Eindhoven, Pays-Bas.
      https://hal.archives-ouvertes.fr/hal-02363416
    • [22] T. Béziers La Fosse, M. Tisi, E. Bousse, J. Mottu, G. Sunyé. Towards platform specific energy estimation for executable domain-specific modeling languages. In MODELS-C 2019: ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, septembre 2019, Munich, Allemagne.
      https://hal.archives-ouvertes.fr/hal-02297501
    • [23] M. Tisi, Z. Cheng. CoqTL: an Internal DSL for Model Transformation in Coq. In ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations, juin 2018, Toulouse, France.
      https://hal.inria.fr/hal-01828344
    • [24] V. Besnard, F. Jouault, T. Le Calvar, M. Tisi. The TTC 2018 Social Media Case, by ATL and AOF. In 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations (STAF 2018), juin 2018, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01996093
    • [25] Z. Cheng, J. Royer, M. Tisi. Efficiently Characterizing the Undefined Requests of a Rule-Based System. In IFM 2018 - 14th International Conference on integrated Formal Methods, septembre 2018, Maynooth, Irlande.
      https://hal.inria.fr/hal-01828305
    • [26] T. Béziers La Fosse, J. Mottu, M. Tisi, G. Sunyé. Characterizing a Source Code Model with Energy Measurements. In Workshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), octobre 2018, Oulu, Finlande.
      https://hal.inria.fr/hal-01952724
    • [27] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. Towards Model-Based Communication Control for the Internet of Things. In STAF Workshops, juin 2018, Toulouse, France.In Manuel Mazzara (éds.), . Springer Verlag, 2018.
      https://hal.archives-ouvertes.fr/hal-01984056
    • [28] Z. Cheng, M. Tisi. Incremental Deductive Verification for Relational Model Transformations. In ICST 2017 : 10th IEEE International Conference on Software Testing, Verification and Validation, mars 2017, Tokyo, Japon.
      https://hal.archives-ouvertes.fr/hal-01435974
    • [29] Z. Cheng, M. Tisi. A Deductive Approach for Fault Localization in ATL Model Transformations. In FASE 2017 : 20th International Conference on Fundamental Approaches to Software Engineering, avril 2017, Uppsala, Suède.
      https://hal.archives-ouvertes.fr/hal-01435977
    • [30] T. Béziers La Fosse, M. Tisi, J. Mottu. Injecting Execution Traces into a Model-Driven Framework for Program Analysis. In Workshop on Scalability in Model Driven Engineering (BigMDE'17), juillet 2017, Marburg, France.
      https://hal.archives-ouvertes.fr/hal-01689968
    • [31] S. Hidaka, F. Jouault, M. Tisi. On Additivity in Transformation Languages. In MODELS 2017 - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, septembre 2017, Austin, Texas, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01566259
    • [32] D. Kolovos, A. Garcia-Dominguez, R. Paige, E. Guerra, J. Cuadrado, J. de Lara, I. Ráth, D. Varró, G. Sunyé, M. Tisi. MONDO: Scalable Modelling and Model Management on the Cloud. In STAF Project Showcase 2016, 2016, Vienna, Autriche.
      https://hal.inria.fr/hal-01394407
    • [33] E. Hamza, J. Cánovas Izquierdo, A. Gómez, M. Tisi, J. Cabot. EMF-REST: Generation of RESTful APIs from Models. In Symposium on Applied Computing 2016, 2016, Pisa, Italie.
      https://hal.inria.fr/hal-01394402
    • [35] G. Daniel, G. Sunyé, A. Benelallam, M. Tisi, Y. Vernageau, A. Gómez, J. Cabot. NeoEMF: a Multi-database Model Persistence Framework for Very Large Models. In 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), octobre 2016, Saint-Malo, France.
      https://hal.archives-ouvertes.fr/hal-01436047
    • [36] Z. Cheng, M. Tisi. Towards Incremental Deductive Verification for ATL. In Verification of Model Transformation, octobre 2016, Saint-Malo, France.
      https://hal.inria.fr/hal-01383886
    • [37] A. Benelallam, M. Tisi, J. Sánchez Cuadrado, J. de Lara, J. Cabot. Efficient Model Partitioning for Distributed Model Transformations. In Proceedings of the 2016 International Conference of Software Language Engineering, octobre 2016, Amsterdam, Pays-Bas.
      https://hal.inria.fr/hal-01367572
    • [38] D. Kolovos, L. Rose, R. Paige, E. Guerra, J. Cuadrado, J. de Lara, I. Ráth, D. Varró, G. Sunyé, M. Tisi. MONDO: Scalable Modelling and Model Management on the Cloud. In STAF2015 Project Showcase, 2015, L'Aquila, Italie.
      https://hal.inria.fr/hal-01394222
    • [39] V. Cosentino, M. Tisi, J. Cánovas Izquierdo. A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs. In 41st International Conference on Current Trends in Theory and Practice of Computer Science, janvier 2015, Pec pod Sněžkou, République tchèque.
      https://hal.inria.fr/hal-01094214
    • [40] A. Gómez, M. Tisi, G. Sunyé, J. Cabot. Map-Based Transparent Persistence for Very Large Models. In 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, avril 2015, London, Royaume-Uni.
      https://hal.inria.fr/hal-01140776
    • [42] M. Tisi, R. Douence, D. Wagelaar. Lazy Evaluation for OCL. In Models 2015: 15th International Workshop on OCL and Textual Modeling, septembre 2015, Ottawa, Canada.
      https://hal.inria.fr/hal-01221072
    • [43] A. Benelallam, A. Gómez, M. Tisi, J. Cabot. Distributed Model-to-Model Transformation with ATL on MapReduce. In Proceedings of 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), octobre 2015, Pittsburgh, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01215228
    • [44] A. Benelallam, A. Gómez, M. Tisi. ATL-MR: Model Transformation on MapReduce. In Proceedings of the Second Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH 2015, octobre 2015, Pittsburgh, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01215268
    • [45] F. Jouault, M. Tisi, J. Delatour. fUML as an Assembly Language for MDA. In Proceedings of the 6th International Workshop on Modeling in Software Engineering, juin 2014, Hyderabad, Inde.
      https://hal.inria.fr/hal-00966441
    • [46] G. Daniel, G. Sunyé, A. Benelallam, M. Tisi. Improving memory efficiency for processing large-scale models. In BigMDE, juillet 2014, York, UK, Royaume-Uni.
      https://hal.inria.fr/hal-01033188
    • [47] A. Benelallam, A. Gómez, G. Sunyé, M. Tisi, D. Launay. Neo4EMF, a Scalable Persistence Layer for EMF Models. In ECMFA- European conference on Modeling Foundations and applications, avril 2014, York, UK, Royaume-Uni.In Cabot, Jordi and Rubin, Julia (éds.), . Springer International Publishing, 2014.
      https://hal.inria.fr/hal-00968516
    • [48] A. Benelallam, M. Tisi, I. Rath, B. Izso, D. Kolovos. Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations. In BigMDE, juillet 2014, York, UK, Royaume-Uni.In CEUR Workshop Proceedings (éds.), . , 2014.
      https://hal.inria.fr/hal-01035450
    • [49] M. Tisi, F. Jouault, J. Delatour, S. Zied, H. Choura. fUML as an Assembly Language for Model Transformation. In 7th International Conference, SLE 2014, septembre 2014, Västerås, Suède.In Benoît Combemale (éds.), . Springer International Publishing, 2014.
      https://hal.inria.fr/hal-01096634
    • [50] D. Kolovos, L. Rose, N. Matragkas, R. Paige, E. Guerra, J. Cuadrado, J. de Lara, I. Ráth, D. Varró, M. Tisi, J. Cabot. A research roadmap towards achieving scalability in model driven engineering. In Proceedings of the Workshop on Scalability in Model Driven Engineering, juin 2013, Budapest, Hongrie.
      https://hal.inria.fr/hal-00869267
    • [51] V. Cosentino, M. Tisi, F. Büttner. Analyzing Flowgraphs with ATL. In Transformation Tool Contest, juin 2013, Budapest, Hongrie.
      https://hal.inria.fr/hal-00819075
    • [52] M. Tisi, S. Martínez, H. Choura. Parallel Execution of ATL Transformation Rules. In MoDELS, septembre 2013, Miami, états-Unis.
      https://hal.inria.fr/hal-00869269
    • [53] J. Mottu, S. Sen, M. Tisi, J. Cabot. Static Analysis of Model Transformations for Effective Test Generation. In ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, états-Unis.
      https://hal.inria.fr/hal-00752412
    • [54] S. Sen, J. Mottu, M. Tisi, J. Cabot. Using Models of Partial Knowledge to Test Model Transformations. In International Conference on Model Transformation, mai 2012, Prague, République tchèque.
      https://hal.inria.fr/hal-00692175
    • [55] C. Clasen, M. Didonet del Fabro, M. Tisi. Transforming Very Large Models in the Cloud: a Research Roadmap. In CloudMDE 2012 - First International Workshop on Model-Driven Engineering on and for the Cloud, juillet 2012, Copenhagen, Danemark.
      https://hal.inria.fr/hal-00711524
    • [56] D. Wagelaar, M. Tisi, J. Cabot, F. Jouault. Towards a General Composition Semantics for Rule-Based Model Transformation. In MoDELS, 2011, Wellington, Nouvelle-Zélande.
      https://hal.inria.fr/hal-00642066
    • [57] M. Tisi, S. Martínez, F. Jouault, J. Cabot. Lazy Execution of Model-to-Model Transformations. In Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, octobre 2011, Wellington, Nouvelle-Zélande.
      https://hal.inria.fr/inria-00609458
    • [61] F. Jouault, M. Tisi. Towards Incremental Execution of ATL Transformations. In ICMT2010 - Intl. Conference on Model Transformation, juin 2010, Malaga, Espagne.In Laurence Tratt and Martin Gogolla (éds.), . Springer, 2010.
      https://hal.inria.fr/inria-00539063
    • [62] M. Tisi, F. Jouault, P. Fraternali, S. Ceri, J. Bézivin. On the Use of Higher-Order Model Transformations. In Fifth European Conference on Model-Driven Architecture, Foundations and Applications (ECMDA 2009), juin 2009, Enschede, Pays-Bas.
      https://hal.inria.fr/hal-00782464

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [63] H. Bruneliere, J. Cabot, F. Jouault, M. Tisi, J. Bézivin. Industrialization of Research Tools: the ATL Case. In 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), septembre 2010, Antwerp, Belgique.
      https://hal.archives-ouvertes.fr/hal-00539173

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -