Maura Cerioli
Orcid: 0000-0002-8781-8782Affiliations:
- University of Genoa, Italy
According to our database1,
Maura Cerioli
authored at least 40 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
2
2
1
1
1
1
1
1
1
2
2
1
1
1
1
1
2
2
1
2
2
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights.
Proceedings of the 3rd ACM International Workshop on Gamification in Software Development, 2024
2023
J. Softw. Evol. Process., April, 2023
2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
2020
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development.
Softw. Qual. J., 2020
Internet Things, 2020
What 5 million job advertisements tell us about testing: a preliminary empirical investigation.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020
2019
Proceedings of the Quality of Information and Communications Technology, 2019
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019
2018
Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018
2009
Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances?
Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009
2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
2007
Introduction to the special section on fundamental approaches to software engineering.
Int. J. Softw. Tools Technol. Transf., 2007
2006
Proceedings of the Algebraic Methodology and Software Technology, 2006
2005
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005
2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Proceedings of the Perspectives of System Informatics, 2001
2000
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Proceedings of the Algebraic Foundations of Systems Specification, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Fundamental Approaches to Software Engineering, 1999
1998
Math. Struct. Comput. Sci., 1998
1997
Theor. Comput. Sci., 1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
1996
1995
Theor. Comput. Sci., 1995
1994
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994
1993
Proceedings of the Semantics of Specification Languages (SoSL), 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Algebraic-Oriented Institutions.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
1992
Partial higher-order specifications.
Fundam. Informaticae, 1992
Proceedings of the Recent Trends in Data Type Specification, 1992
1991
Proceedings of the Recent Trends in Data Type Specification, 1991
1989
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
1988
Models and Logical Deduction in Partial Higher-Order Conditional Specifications.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988