Maura Cerioli

48 papers B 6C 1Misc 4Journal 11Unranked 23
YearRankTypeTitle / Venue / Authors
2026 — conf
AI-Driven Microlearning for Proactive DevSecOps: Closing the Security Skill Gap.
ITASEC/SERICS
Giampiero Granatella, Maura Cerioli, Giovanni Lagorio, Angelo Lupo
2025 J jnl
Software engineering in IoT: Insights from a survey of 361 experts.
Internet Things
Maura Cerioli, Maurizio Leotta, Gianna Reggio
2025 — conf
Towards Automated Skill and Competency Management in IT Companies.
SoSE
Giampiero Granatella, Maura Cerioli, Giovanni Lagorio, Angelo Lupo
2024 — conf
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights.
Gamify@ISSTA
Maura Cerioli, Maurizio Leotta, Marina Ribaudo
2023 J jnl
Fight silent horror unit test methods by consulting a TestWizard.
J. Softw. Evol. Process.
Maura Cerioli, Giovanni Lagorio, Maurizio Leotta, Filippo Ricca
2021 Misc conf
COVID-19 hits the job market: an 88 million job ads analysis.
SAC
Maura Cerioli, Maurizio Leotta, Filippo Ricca
2020 — conf
On the Deployment of IoT Systems: An Industrial Survey.
ICSA Companion
Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli, Maurizio Leotta, Gianna Reggio
2020 J jnl
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development.
Softw. Qual. J.
Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca
2020 Misc conf
What 5 million job advertisements tell us about testing: a preliminary empirical investigation.
SAC
Maura Cerioli, Maurizio Leotta, Filippo Ricca
2020 J jnl
What are IoT systems for real? An experts' survey on software engineering aspects.
Internet Things
Gianna Reggio, Maurizio Leotta, Maura Cerioli, Romina Spalazzese, Fahed Alkhabbas
2019 — conf
Civic participation powered by ethereum: a proposal.
Programming
Maura Cerioli, Marina Ribaudo
2019 Misc conf
Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity.
QUATIC
Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca
2018 Misc conf
Fluent vs Basic Assertions in Java: An Empirical Study.
QUATIC
Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca
2013 — ed.
17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, March 5-8, 2013
CSMR
Anthony Cleve, Filippo Ricca, Maura Cerioli
2009 B conf
Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances?
EC-TEL
Maura Cerioli, Marina Ribaudo
2008 C conf
Gesper: Support to Capitalize on Experience in a Network of SMEs.
ISoLA
Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio
2007 J jnl
Foreword.
Theor. Comput. Sci.
Maura Cerioli, Tiziana Margaria, Michel Wermelinger
2007 J jnl
Introduction to the special section on fundamental approaches to software engineering.
Int. J. Softw. Tools Technol. Transf.
Michel Wermelinger, Tiziana Margaria, Maura Cerioli
2006 — conf
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications.
AMAST
Matteo Dell'Amico, Maura Cerioli
2005 B ed.
Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
FASE
Maura Cerioli
2005 — conf
Injecting Distribution in CASL.
Foundations of Global Computing
Maura Cerioli, Matteo Dell'Amico
2002 — conf
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case).
RISSEF
Egidio Astesiano, Maura Cerioli, Gianna Reggio
2002 — conf
From Formal Techniques to Well-Founded Software Development Methods.
10th Anniversary Colloquium of UNU/IIST
Egidio Astesiano, Gianna Reggio, Maura Cerioli
2001 — conf
From ADT to UML-Like Modelling.
Ershov Memorial Conference
Egidio Astesiano, Maura Cerioli, Gianna Reggio
2001 — ed.
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers
WADT
Maura Cerioli, Gianna Reggio
2001 B conf
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.
FASE
Gianna Reggio, Maura Cerioli, Egidio Astesiano
2000 — conf
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.
AMAST
Egidio Astesiano, Maura Cerioli, Gianna Reggio
1999 B conf
A Formal Framework with Late Binding.
FASE
Davide Ancona, Maura Cerioli, Elena Zucca
1999 — conf
Extending Casl by Late Binding.
WADT
Davide Ancona, Maura Cerioli, Elena Zucca
1999 — ch.
From Total Equational to Partial First-Order Logic.
Algebraic Foundations of Systems Specification
Maura Cerioli, Till Mossakowski, Horst Reichel
1998 J jnl
Very Abstract Specifications: A Formalism Independent Approach.
Math. Struct. Comput. Sci.
Maura Cerioli, Gianna Reggio
1997 — conf
Implementation of derived programs (almost) for free.
WADT
Maura Cerioli, Elena Zucca
1997 J jnl
May I Borrow Your Logic? (Transporting Logical Structures Along Maps).
Theor. Comput. Sci.
Maura Cerioli, José Meseguer
1997 — conf
Permissive Subsorted Partial Logic in CASL.
AMAST
Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
1996 J jnl
Non-Strict Don't Care Algebras and Specifications.
Math. Struct. Comput. Sci.
Egidio Astesiano, Maura Cerioli
1995 J jnl
Free Objects and Equational Deduction for Partial Conditional Specifications.
Theor. Comput. Sci.
Egidio Astesiano, Maura Cerioli
1994 — conf
A Lazy Approach to Partial Algebras.
COMPASS/ADT
Maura Cerioli
1994 — conf
What is an Abstract Data Type, after all?
COMPASS/ADT
Martin Gogolla, Maura Cerioli
1993 — conf
Algebraic-Oriented Institutions.
AMAST
Maura Cerioli, Gianna Reggio
1993 B conf
May I Borrow Your Logic?
MFCS
Maura Cerioli, José Meseguer
1993 — conf
Multiparadigm Specification Languages: A First Attempt at Foundations.
Semantics of Specification Languages
Egidio Astesiano, Maura Cerioli
1992 — conf
Institutions for Very Abstract Specifications.
COMPASS/ADT
Maura Cerioli, Gianna Reggio
1992 J jnl
Partial higher-order specifications.
Fundam. Informaticae
Egidio Astesiano, Maura Cerioli
1991 — conf
Non-Strict Don't Care Algebras and Specifications.
TAPSOFT, Vol.1
Egidio Astesiano, Maura Cerioli
1991 B conf
Partial Higher-Order Specifications.
MFCS
Egidio Astesiano, Maura Cerioli
1991 — conf
Relationships between Logical Frameworks.
COMPASS/ADT
Egidio Astesiano, Maura Cerioli
1989 — conf
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications.
TAPSOFT, Vol.1
Egidio Astesiano, Maura Cerioli
1988 — conf
Models and Logical Deduction in Partial Higher-Order Conditional Specifications.
ADT
Egidio Astesiano, Maura Cerioli