Maura Cerioli - researchr alias

researchr

You are not signed in
Sign in
Sign up

2009

Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances?Maura Cerioli, Marina Ribaudo. ectel 2009: 651-656 [doi]

2008

Gesper: Support to Capitalize on Experience in a Network of SMEsMaura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio. isola 2008: 738-752 [doi]

2007

ForewordMaura Cerioli, Tiziana Margaria, Michel Wermelinger. TCS, 376(3):137-138, 2007. [doi]

Introduction to the special section on fundamental approaches to software engineeringMichel Wermelinger, Tiziana Margaria, Maura Cerioli. STTT, 9(5-6):415-416, 2007. [doi]

2006

DO-Casl: An Observer-Based Casl Extension for Dynamic SpecificationsMatteo Dell Amico, Maura Cerioli. amast 2006: 96-110 [doi]

2005

Injecting Distribution in CASLMaura Cerioli, Matteo Dell Amico. dagstuhl 2006: [doi]

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, ProceedingsMaura Cerioli, editor, Volume 3442 of Lecture Notes in Computer Science, Springer, 2005.

2002

From Formal Techniques to Well-Founded Software Development MethodsEgidio Astesiano, Gianna Reggio, Maura Cerioli. unu 2003: 132-150 [doi]

Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case)Egidio Astesiano, Maura Cerioli, Gianna Reggio. rissef 2004: 1-15 [doi]

2001

From ADT to UML-Like ModellingEgidio Astesiano, Maura Cerioli, Gianna Reggio. ershov 2001: 246 [doi]

Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected PapersMaura Cerioli, Gianna Reggio, editors, Volume 2267 of Lecture Notes in Computer Science, Springer, 2001.

Towards a Rigorous Semantics of UML Supporting Its Multiview ApproachGianna Reggio, Maura Cerioli, Egidio Astesiano. FASE 2001: 171-186 [doi]

2000

Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UMLEgidio Astesiano, Maura Cerioli, Gianna Reggio. amast 2000: 273-292 [doi]

1999

A Formal Framework with Late BindingDavide Ancona, Maura Cerioli, Elena Zucca. FASE 1999: 30-44

Extending Casl by Late BindingDavide Ancona, Maura Cerioli, Elena Zucca. WADT 2000: 53-72

1998

Very Abstract Specifications: A Formalism Independent ApproachMaura Cerioli, Gianna Reggio. mscs, 8(1):17-66, 1998.

1997

Implementation of derived programs (almost) for freeMaura Cerioli, Elena Zucca. WADT 1997: 141-155

May I Borrow Your Logic? (Transporting Logical Structures Along Maps)Maura Cerioli, José Meseguer. TCS, 173(2):311-347, 1997. [doi]

Permissive Subsorted Partial Logic in CASLMaura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski. amast 1997: 91-107

1996

Non-Strict Don t Care Algebras and SpecificationsEgidio Astesiano, Maura Cerioli. mscs, 6(1):85-125, 1996.

1995

Free Objects and Equational Deduction for Partial Conditional SpecificationsEgidio Astesiano, Maura Cerioli. TCS, 152(1):91-138, 1995. [doi]

1994

A Lazy Approach to Partial AlgebrasMaura Cerioli. compass 1995: 188-202

What is an Abstract Data Type, after all?Martin Gogolla, Maura Cerioli. compass 1995: 499-523

1993

Multiparadigm Specification Languages: A First Attempt at FoundationsEgidio Astesiano, Maura Cerioli. sosl 1994: 168-185

May I Borrow Your Logic?Maura Cerioli, José Meseguer. mfcs 1993: 342-351

Algebraic-Oriented InstitutionsMaura Cerioli, Gianna Reggio. amast 1994: 201-208

1992

Partial higher-order specificationsEgidio Astesiano, Maura Cerioli. FUIN, 16(1):101-126, 1992.

Institutions for Very Abstract SpecificationsMaura Cerioli, Gianna Reggio. compass 1994: 113-127

1991

Relationships between Logical FrameworksEgidio Astesiano, Maura Cerioli. compass 1993: 126-143

Partial Higher-Order SpecificationsEgidio Astesiano, Maura Cerioli. mfcs 1991: 74-83

Non-Strict Don t Care Algebras and SpecificationsEgidio Astesiano, Maura Cerioli. tapsoft 1991: 121-142

1989

On the Existence of Initial Models for Partial (Higher-Order) Conditional SpecificationsEgidio Astesiano, Maura Cerioli. tapsoft 1989: 74-88

1988

Models and Logical Deduction in Partial Higher-Order Conditional SpecificationsEgidio Astesiano, Maura Cerioli. WADT 1988: