| 2012 | ICSE | SOA adoption in the Italian industry. | Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza |
| 2012 | MODELS | Business process modelling: five styles and a method to choose the most suitable one. | Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano |
| 2011 | MODELS | Building VECM-based Systems with a Model Driven Approach: an Experience Report. | Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano |
| 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 |
| 2006 | MODELS | Tutorials at MoDELS 2006. | Egidio Astesiano |
| 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 |
| 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 |
| 1991 | COMPASS | Relationships between Logical Frameworks. | Egidio Astesiano, Maura Cerioli |
| 1991 | COMPASS | Algebraic Specification of Concurrency. | Egidio Astesiano, Gianna Reggio |
| 1991 | MFCS | Partial Higher-Order Specifications. | Egidio Astesiano, Maura Cerioli |
| 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 |
| 1981 | GI | Semantics of Distributed Processes Derived by Translation. | Egidio Astesiano, Elena Zucca |
| 1981 | MFCS | Semantics of CSP via Translation into CCS. | Egidio Astesiano, Elena Zucca |
| 1980 | ICALP | Languages with Reducing Reflective Types. | Egidio Astesiano, Gerardo Costa |
| 1979 | ICALP | Sharing in Nondeterminism. | Egidio Astesiano, Gerardo Costa |