Maura Cerioli

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 9

Top Topics

Tens Of Thousands

Software Engineering

Top Venues

Softw. Qual. J.

Internet Things

Publications

Maura Cerioli, Giovanni Lagorio, Maurizio Leotta, Filippo Ricca
Fight silent horror unit test methods by consulting a TestWizard. J. Softw. Evol. Process. 35 (4) (2023)
Maura Cerioli, Maurizio Leotta, Filippo Ricca
COVID-19 hits the job market: an 88 million job ads analysis. SAC (2021)
Maura Cerioli, Maurizio Leotta, Filippo Ricca
What 5 million job advertisements tell us about testing: a preliminary empirical investigation. SAC (2020)
Gianna Reggio, Maurizio Leotta, Maura Cerioli, Romina Spalazzese, Fahed Alkhabbas
What are IoT systems for real? An experts' survey on software engineering aspects. Internet Things 12 (2020)
Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli, Maurizio Leotta, Gianna Reggio
On the Deployment of IoT Systems: An Industrial Survey. ICSA Companion (2020)
Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development. Softw. Qual. J. 28 (3) (2020)
Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca
Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity. QUATIC (2019)
Maura Cerioli, Marina Ribaudo
Civic participation powered by ethereum: a proposal. Programming (2019)
Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca
Fluent vs Basic Assertions in Java: An Empirical Study. QUATIC (2018)
Maura Cerioli, Marina Ribaudo
Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances? EC-TEL (2009)
Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio
Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA (2008)
Michel Wermelinger, Tiziana Margaria, Maura Cerioli
Introduction to the special section on fundamental approaches to software engineering. Int. J. Softw. Tools Technol. Transf. 9 (5-6) (2007)
Maura Cerioli, Tiziana Margaria, Michel Wermelinger
Foreword. Theor. Comput. Sci. 376 (3) (2007)
Matteo Dell'Amico, Maura Cerioli
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications. AMAST (2006)
Maura Cerioli, Matteo Dell'Amico
Injecting Distribution in CASL. Foundations of Global Computing (2005)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF (2002)
Egidio Astesiano, Gianna Reggio, Maura Cerioli
From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST (2002)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
From ADT to UML-Like Modelling. Ershov Memorial Conference (2001)
Gianna Reggio, Maura Cerioli, Egidio Astesiano
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE (2001)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST (2000)
Davide Ancona, Maura Cerioli, Elena Zucca
Extending Casl by Late Binding. WADT (1999)
Davide Ancona, Maura Cerioli, Elena Zucca
A Formal Framework with Late Binding. FASE (1999)
Maura Cerioli, Gianna Reggio
Very Abstract Specifications: A Formalism Independent Approach. Math. Struct. Comput. Sci. 8 (1) (1998)
Maura Cerioli, José Meseguer
May I Borrow Your Logic? (Transporting Logical Structures Along Maps). Theor. Comput. Sci. 173 (2) (1997)
Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
Permissive Subsorted Partial Logic in CASL. AMAST (1997)
Maura Cerioli, Elena Zucca
Implementation of derived programs (almost) for free. WADT (1997)
Egidio Astesiano, Maura Cerioli
Non-Strict Don't Care Algebras and Specifications. Math. Struct. Comput. Sci. 6 (1) (1996)
Egidio Astesiano, Maura Cerioli
Free Objects and Equational Deduction for Partial Conditional Specifications. Theor. Comput. Sci. 152 (1) (1995)
Maura Cerioli
A Lazy Approach to Partial Algebras. COMPASS/ADT (1994)
Martin Gogolla, Maura Cerioli
What is an Abstract Data Type, after all? COMPASS/ADT (1994)
Maura Cerioli, Gianna Reggio
Algebraic-Oriented Institutions. AMAST (1993)
Maura Cerioli, José Meseguer
May I Borrow Your Logic? MFCS (1993)
Egidio Astesiano, Maura Cerioli
Multiparadigm Specification Languages: A First Attempt at Foundations. Semantics of Specification Languages (1993)
Egidio Astesiano, Maura Cerioli
Partial higher-order specifications. Fundam. Informaticae 16 (1) (1992)
Maura Cerioli, Gianna Reggio
Institutions for Very Abstract Specifications. COMPASS/ADT (1992)
Egidio Astesiano, Maura Cerioli
Relationships between Logical Frameworks. COMPASS/ADT (1991)
Egidio Astesiano, Maura Cerioli
Non-Strict Don't Care Algebras and Specifications. TAPSOFT, Vol.1 (1991)
Egidio Astesiano, Maura Cerioli
Partial Higher-Order Specifications. MFCS (1991)
Egidio Astesiano, Maura Cerioli
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. TAPSOFT, Vol.1 (1989)
Egidio Astesiano, Maura Cerioli
Models and Logical Deduction in Partial Higher-Order Conditional Specifications. ADT (1988)