Models and Logical Deduction in Partial Higher-Order Conditional Specifications. - Egidio Astesiano; Maura Cerioli (ADT, 1988)

On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. - Egidio Astesiano; Maura Cerioli (TAPSOFT, Vol.1, 1989)

Relationships between Logical Frameworks. - Egidio Astesiano; Maura Cerioli (COMPASS/ADT, 1991)

Institutions for Very Abstract Specifications. - Maura Cerioli; Gianna Reggio (COMPASS/ADT, 1992)

Partial higher-order specifications. - Egidio Astesiano; Maura Cerioli (Fundam. Informaticae, 1992)

Algebraic-Oriented Institutions. - Maura Cerioli; Gianna Reggio (AMAST, 1993)

May I Borrow Your Logic? - Maura Cerioli; José Meseguer 001 (MFCS, 1993)

Multiparadigm Specification Languages: A First Attempt at Foundations. - Egidio Astesiano; Maura Cerioli (Semantics of Specification Languages, 1993)

A Lazy Approach to Partial Algebras. - Maura Cerioli (COMPASS/ADT, 1994)

What is an Abstract Data Type, after all? - Martin Gogolla; Maura Cerioli (COMPASS/ADT, 1994)

Free Objects and Equational Deduction for Partial Conditional Specifications. - Egidio Astesiano; Maura Cerioli (Theor. Comput. Sci., 1995)

Non-Strict Don't Care Algebras and Specifications. - Egidio Astesiano; Maura Cerioli (Math. Struct. Comput. Sci., 1996)

Permissive Subsorted Partial Logic in CASL. - Maura Cerioli; Anne E. Haxthausen; Bernd Krieg-Brückner; Till Mossakowski (AMAST, 1997)

Implementation of derived programs (almost) for free. - Maura Cerioli; Elena Zucca (WADT, 1997)

May I Borrow Your Logic? (Transporting Logical Structures Along Maps). - Maura Cerioli; José Meseguer 001 (Theor. Comput. Sci., 1997)

Very Abstract Specifications: A Formalism Independent Approach. - Maura Cerioli; Gianna Reggio (Math. Struct. Comput. Sci., 1998)

A Formal Framework with Late Binding. - Davide Ancona; Maura Cerioli; Elena Zucca (FASE, 1999)

Extending Casl by Late Binding. - Davide Ancona; Maura Cerioli; Elena Zucca (WADT, 1999)

From Total Equational to Partial First-Order Logic. - Maura Cerioli; Till Mossakowski; Horst Reichel (Algebraic Foundations of Systems Specification, 1999)

Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. - Egidio Astesiano; Maura Cerioli; Gianna Reggio (AMAST, 2000)

From ADT to UML-Like Modelling. - Egidio Astesiano; Maura Cerioli; Gianna Reggio (Ershov Memorial Conference, 2001)

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. - Gianna Reggio; Maura Cerioli; Egidio Astesiano (FASE, 2001)

Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). - Egidio Astesiano; Maura Cerioli; Gianna Reggio (RISSEF, 2002)

From Formal Techniques to Well-Founded Software Development Methods. - Egidio Astesiano; Gianna Reggio; Maura Cerioli (10th Anniversary Colloquium of UNU/IIST, 2002)

Injecting Distribution in CASL. - Maura Cerioli; Matteo Dell'Amico (Foundations of Global Computing, 2005)

DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications. - Matteo Dell'Amico; Maura Cerioli (AMAST, 2006)

Introduction to the special section on fundamental approaches to software engineering. - Michel Wermelinger; Tiziana Margaria; Maura Cerioli (Int. J. Softw. Tools Technol. Transf., 2007)

Foreword. - Maura Cerioli; Tiziana Margaria; Michel Wermelinger (Theor. Comput. Sci., 2007)

Gesper: Support to Capitalize on Experience in a Network of SMEs. - Maura Cerioli; Giovanni Lagorio; Enrico Morten; Gianna Reggio (ISoLA, 2008)

Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances? - Maura Cerioli; Marina Ribaudo (EC-TEL, 2009)

Fluent vs Basic Assertions in Java: An Empirical Study. - Maurizio Leotta; Maura Cerioli; Dario Olianas; Filippo Ricca (QUATIC, 2018)

Civic participation powered by ethereum: a proposal. - Maura Cerioli; Marina Ribaudo (Programming, 2019)

Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity. - Maurizio Leotta; Maura Cerioli; Dario Olianas; Filippo Ricca (QUATIC, 2019)

On the Deployment of IoT Systems: An Industrial Survey. - Fahed Alkhabbas; Romina Spalazzese; Maura Cerioli; Maurizio Leotta; Gianna Reggio (ICSA Companion, 2020)

What 5 million job advertisements tell us about testing: a preliminary empirical investigation. - Maura Cerioli; Maurizio Leotta; Filippo Ricca (SAC, 2020)

What are IoT systems for real? An experts' survey on software engineering aspects. - Gianna Reggio; Maurizio Leotta; Maura Cerioli; Romina Spalazzese; Fahed Alkhabbas (Internet Things, 2020)

Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development. - Maurizio Leotta; Maura Cerioli; Dario Olianas; Filippo Ricca (Softw. Qual. J., 2020)

COVID-19 hits the job market: an 88 million job ads analysis. - Maura Cerioli; Maurizio Leotta; Filippo Ricca (SAC, 2021)

Fight silent horror unit test methods by consulting a TestWizard. - Maura Cerioli; Giovanni Lagorio; Maurizio Leotta; Filippo Ricca (J. Softw. Evol. Process., 2023)

Enlisting Students in Gamifying Software Testing Education: Results and Key Insights. - Maura Cerioli; Maurizio Leotta; Marina Ribaudo (Gamify@ISSTA, 2024)

Towards Automated Skill and Competency Management in IT Companies. - Giampiero Granatella; Maura Cerioli; Giovanni Lagorio; Angelo Lupo (SoSE, 2025)