Massimo Tisi

Orcid: 0000-0001-7891-9138

According to our database1, Massimo Tisi authored at least 86 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Integrating the Support for Machine Learning of Inter-Model Relations in Model Views.
J. Object Technol., 2024

Automated Proof Tactics for Model Transformation.
J. Object Technol., 2024

Towards the Integration Support for Machine Learning of Inter-Model Relations in Model Views.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Partial Bidirectionalization of Model Transformation Languages.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language Protocols.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
Protocol-Based Interactive Debugging for Domain-Specific Languages.
J. Object Technol., 2023

Towards Generating Structurally Realistic Models by Generative Adversarial Networks.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

4th International Workshop on Modeling in Low-Code Development Platforms (LowCode 2023).
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

On the Suitability of LSP and DAP for Domain-Specific Languages.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

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.
Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023

2022
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?
Softw. Syst. Model., 2022

Low-code development and model-driven engineering: Two sides of the same coin?
Softw. Syst. Model., 2022

Editorial to theme section on modeling in low-code development platforms.
Softw. Syst. Model., 2022

A cross-technology benchmark for incremental graph queries.
Softw. Syst. Model., 2022

Facilitating the migration to the microservice architecture via model-driven reverse engineering and reinforcement learning.
Softw. Syst. Model., 2022

Deep specification and proof preservation for the CoqTL transformation language.
Softw. Syst. Model., 2022

A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things.
IEEE Internet Things J., 2022

2021
What Is the Future of Modeling?
IEEE Softw., 2021

A DSL for Encoding Models for Graph-Learning Processes.
Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

Executing certified model transformations on Apache Spark.
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

LowCode 2021: 2<sup>nd</sup> Workshop on Modeling in Low-Code Development Platforms.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Towards Twin-Driven Engineering: Overview of the State-of-The-Art and Research Directions.
Proceedings of the Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems, 2021

2020
CoqTL: a Coq DSL for rule-based model transformation.
Softw. Syst. Model., 2020

Annotating executable DSLs with energy estimation formulas.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

Towards transparent combination of model management execution strategies for low-code development platforms.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Certifying a rule-based model transformation engine for proof preservation.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things.
Proceedings of the Advanced Information Networking and Applications, 2020

2019
Source-Code Level Regression Test Selection: the Model-Driven Way.
J. Object Technol., 2019

Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms.
Proceedings of the 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), Eindhoven, The Netherlands, July 15, 2019

Removing Problems in Rule-Based Policies.
Proceedings of the ICT Systems Security and Privacy Protection, 2019

CyprIoT: framework for modelling and controlling network-based IoT applications.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018
Slicing ATL model transformations for scalable deductive verification and fault localization.
Int. J. Softw. Tools Technol. Transf., 2018

Distributing relational model transformation on MapReduce.
J. Syst. Softw., 2018

The TTC 2018 Social Media Case, by ATL and AOF.
Proceedings of the 11th Transformation Tool Contest, 2018

Towards Model-Based Communication Control for the Internet of Things.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Efficiently Characterizing the Undefined Requests of a Rule-Based System.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

CoqTL: An Internal DSL for Model Transformation in Coq.
Proceedings of the Theory and Practice of Model Transformation, 2018

Characterizing a source code model with energy measurements.
Proceedings of the 4th International Workshop on Measurement and Metrics for Green and Sustainable Software Systems co-located with Empirical Software Engineering International Week (ESEIW 2018), Oulu, Finland,, 2018

2017
Reactive model transformation with ATL.
Sci. Comput. Program., 2017

NeoEMF: A multi-database model persistence framework for very large models.
Sci. Comput. Program., 2017

Injecting Execution Traces into a Model-Driven Framework for Program Analysis.
Proceedings of the Software Technologies: Applications and Foundations, 2017

On Additivity in Transformation Languages.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Incremental Deductive Verification for Relational Model Transformations.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A Deductive Approach for Fault Localization in ATL Model Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016
Feature-based classification of bidirectional transformation approaches.
Softw. Syst. Model., 2016

MONDO: Scalable Modelling and Model Management on the Cloud.
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Efficient model partitioning for distributed model transformations.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

EMF-REST: generation of RESTful APIs from models.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Towards incremental deductive verification for ATL.
Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

Enabling OCL and fUML Integration by Transformation.
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015
MONDO: Scalable Modelling and Model Management on the Cloud.
Proceedings of the Projects Showcase, 2015

Decentralized Model Persistence for Distributed Computing.
Proceedings of the 3rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs.
Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015

Distributed model-to-model transformation with ATL on MapReduce.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

ATL-MR: model transformation on MapReduce.
Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, 2015

Lazy Evaluation for OCL.
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Map-Based Transparent Persistence for Very Large Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
Improving Memory Efficiency for Processing Large-Scale Models.
Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, 2014

Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations.
Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, 2014

fUML as an Assembly Language for Model Transformation.
Proceedings of the Software Language Engineering - 7th International Conference, 2014

fUML as an assembly language for MDA.
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

Neo4EMF, A Scalable Persistence Layer for EMF Models.
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

2013
Analyzing Flowgraphs with ATL.
Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

A research roadmap towards achieving scalability in model driven engineering.
Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Parallel Execution of ATL Transformation Rules.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012
Static Analysis of Model Transformations for Effective Test Generation.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Using Models of Partial Knowledge to Test Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2012

2011
Using Traceability Links and Higher Order Transformations for Easing Regression Testing of Web Applications.
J. Web Eng., 2011

The MDE Diploma: first international postgraduate specialization in model-driven engineering.
Comput. Sci. Educ., 2011

Towards a General Composition Semantics for Rule-Based Model Transformation.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Lazy Execution of Model-to-Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010
Multi-level Tests for Model Driven Web Applications.
Proceedings of the Web Engineering, 10th International Conference, 2010

Improving Higher-Order Transformations Support in ATL.
Proceedings of the Theory and Practice of Model Transformations, 2010

Towards Incremental Execution of ATL Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2010

Search Computing: A Model-Driven Perspective.
Proceedings of the Theory and Practice of Model Transformations, 2010

2009
A Higher Order Generative Framework for Weaving Traceability Links into a Code Generator for Web Application Testing.
Proceedings of the Web Engineering, 9th International Conference, 2009

On the Use of Higher-Order Model Transformations.
Proceedings of the Model Driven Architecture, 2009

2008
A survey on web modeling approaches for ubiquitous web applications.
Int. J. Web Inf. Syst., 2008

A Transformation Framework to Bridge Domain Specific Languages to MDA.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

A Metamodel Transformation Framework for the Migration of WebML Models to MDA.
Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 2008

Identifying Cultural Markers for Web Application Design Targeted to a Multi-cultural Audience.
Proceedings of the Eighth International Conference on Web Engineering, 2008

Current Research on the Design of Web 2.0 Applications Based on Model-Driven Approaches.
Proceedings of the 7th International Workshop on Web-Oriented Software Technologies ( IWWOST'2008 ) in conjunction with the 8th International Conference on Web Engineering ( ICWE'2008 ) Yorktown Heights, 2008

2007
Developing eBusiness Solutions with a Model Driven Approach: The Case of Acer EMEA.
Proceedings of the Web Engineering, 7th International Conference, 2007

2006
Automating function point analysis with model driven development.
Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

2005
Towards Model-Driven Testing of a Web Application Generator.
Proceedings of the Web Engineering, 5th International Conference, 2005


  Loading...