| 2020 | ICSA | On the Deployment of IoT Systems: An Industrial Survey. | Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli, Maurizio Leotta, Gianna Reggio |
| 2019 | RCIS | An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation. | Gianna Reggio, Maurizio Leotta |
| 2018 | ICSE | A UML-based proposal for IoT system requirements specification. | Gianna Reggio |
| 2018 | SAC | A method for developing model to text transformations. | Alessandro Tiso, Gianna Reggio, Maurizio Leotta, Filippo Ricca |
| 2017 | RE | Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications. | Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca |
| 2017 | SAC | Service-oriented domain and business process modelling. | Gianna Reggio, Maurizio Leotta, Diego Clerissi, Filippo Ricca |
| 2016 | ICWE | A Lightweight Semi-automated Acceptance Test-Driven Development Approach for Web Applications. | Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca |
| 2016 | QUATIC | Test Driven Development of Web Applications: A Lightweight Approach. | Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca |
| 2015 | PROFES | A Method for Requirements Capture and Specification Based on Disciplined Use Cases and Screen Mockups. | Gianna Reggio, Maurizio Leotta, Filippo Ricca |
| 2014 | MODELS | Who Knows/Uses What of the UML: A Personal Opinion Survey. | Gianna Reggio, Maurizio Leotta, Filippo Ricca |
| 2014 | MODELS | Unit Testing of Model to Text Transformations. | Alessandro Tiso, Gianna Reggio, Maurizio Leotta |
| 2014 | MODELSWARD | What are the used Activity Diagram Constructs? - A Survey. | Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi |
| 2014 | MODELSWARD | What Are the Used UML Diagram Constructs? A Document and Tool Analysis Study Covering Activity and Use Case Diagrams. | Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi |
| 2013 | MODELS | What are the used UML diagrams? A Preliminary Survey. | Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi |
| 2013 | MODELS | A Method for Testing Model to Text Transformations. | Alessandro Tiso, Gianna Reggio, Maurizio Leotta |
| 2013 | RCIS | Empirical evaluation of uml-based model-driven techniques: Poster paper. | Maurizio Leotta, Filippo Ricca, Marco Torchiano, Gianna Reggio |
| 2013 | SERA | Activity Diagrams Patterns for Modeling Business Processes. | tienne Andr, Christine Choppy, Gianna Reggio |
| 2012 | EASE | Maturity of software modelling and model driven engineering: A survey in the Italian industry. | Federico Tomassetti, Marco Torchiano, Alessandro Tiso, Filippo Ricca, Gianna Reggio |
| 2012 | ICSE | SOA adoption in the Italian industry. | Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza |
| 2012 | ICSE | Using UniMod for maintenance tasks: an experimental assessment in the context of model driven development. | Filippo Ricca, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini, Marco Torchiano |
| 2012 | MODELS | Business process modelling: five styles and a method to choose the most suitable one. | Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano |
| 2012 | MODELS | Early experiences on model transformation testing. | Alessandro Tiso, Gianna Reggio, Maurizio Leotta |
| 2012 | MODELS | Benefits from modelling and MDD adoption: expectations and achievements. | Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio |
| 2011 | ESEM | Preliminary Findings from a Survey on the MD State of the Practice. | Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio |
| 2011 | MODELS | Building VECM-based Systems with a Model Driven Approach: an Experience Report. | Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano |
| 2011 | MODELS | A Precise Style for Business Process Modelling: Results from Two Controlled Experiments. | Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero |
| 2011 | PROFES | Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling. | Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello |
| 2011 | RE | "Precise is better than light" a document analysis study about quality of business process models. | Gianna Reggio, Maurizio Leotta, Filippo Ricca |
| 2010 | ESEM | On the effectiveness of screen mockups in requirements engineering: results from an internal replication. | Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano |
| 2010 | ESEM | On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study. | Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano |
| 2010 | SAC | A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). | Christine Choppy, Gianna Reggio |
| 2009 | SAC | A method for developing UML state machines. | Christine Choppy, Gianna Reggio |
| 2008 | ISoLA | Gesper: Support to Capitalize on Experience in a Network of SMEs. | Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio |
| 2004 | FASE | Improving Use Case Based Requirements Using Formally Grounded Specifications. | Christine Choppy, Gianna Reggio |
| 2003 | SEKE | From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. | Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio |
| 2003 | SEFM | Towards a Well-Founded UML-Based Development Method. | Egidio Astesiano, Gianna Reggio |
| 2002 | SEKE | Knowledge structuring and representation in requirement specificaiton. | Egidio Astesiano, Gianna Reggio |
| 2001 | FASE | Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. | Gianna Reggio, Maura Cerioli, Egidio Astesiano |
| 2001 | ISADS | UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. | Egidio Astesiano, Gianna Reggio |
| 2000 | FASE | Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. | Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Humann |
| 1999 | FASE | JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. | Eva Coscia, Gianna Reggio |
| 1997 | FM | A Graphic Notation for Formal Specifications of Dynamic Systems. | Gianna Reggio, Mauro Larosa |
| 1995 | COMPASS | Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. | Eva Coscia, Gianna Reggio |
| 1994 | PDP | A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. | Mohamed Bettaz, Aicha Choutri, Gianna Reggio |
| 1993 | FM | A Metalanguage for the Formal Requirement Specification of Reactive Systems. | Egidio Astesiano, Gianna Reggio |
| 1993 | MFCS | Stores as Homomorphisms and their Transformations. | Egidio Astesiano, Gianna Reggio, Elena Zucca |
| 1992 | COMPASS | A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. | Mohamed Bettaz, Gianna Reggio |
| 1992 | COMPASS | Institutions for Very Abstract Specifications. | Maura Cerioli, Gianna Reggio |
| 1991 | COMPASS | Algebraic Specification of Concurrency. | Egidio Astesiano, Gianna Reggio |
| 1991 | COMPASS | Event Logic for Specifying Abstract Dynamic Data Types. | Gianna Reggio |
| 1991 | MFCS | Abstract Dynamic Data Types: A Temporal Logic Approach. | Gerardo Costa, Gianna Reggio |
| 1988 | CONCUR | Data in a Concurrent Environment. | Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
| 1988 | STACS | Generalized Bisimulation in Relational Specifications. | Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
| 1987 | STACS | Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. | Egidio Astesiano, Gianna Reggio |
| 1986 | MFCS | Relational Specifications and Observational Semantics. | Egidio Astesiano, Gianna Reggio, Martin Wirsing |