Egidio Astesiano - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOAMaurizio Leotta, Filippo Ricca, Gianna Reggio, Egidio Astesiano. CSMR 2011: 317-320 [doi]

2010

2008

Revising the UML Collaborations: A Well-Founded ApproachEgidio Astesiano, Gianna Reggio. monterey 2010: 1-23 [doi]

Modeling Business within a UML-Based Rigorous Software Development ApproachEgidio Astesiano, Gianna Reggio, Filippo Ricca. birthday 2008: 261-277 [doi]

2006

Tutorials at MoDELS 2006Egidio Astesiano. MoDELS 2006: 791-794 [doi]

2005

From Conditional Specifications to Interaction ChartsEgidio Astesiano, Gianna Reggio. BIRTHDAY 2005: 167-189 [doi]

2004

Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised PapersNicolas Guelfi, Egidio Astesiano, Gianna Reggio, editors, Volume 2952 of Lecture Notes in Computer Science, Springer, 2004.

2003

From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented TechniquesEgidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio. seke 2003: 578-585

Towards a Well-Founded UML-Based Development MethodEgidio Astesiano, Gianna Reggio. sefm 2003: 102 [doi]

Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised PapersNicolas Guelfi, Egidio Astesiano, Gianna Reggio, editors, Volume 2604 of Lecture Notes in Computer Science, Springer, 2003.

2002

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

Knowledge structuring and representation in requirement specificaitonEgidio Astesiano, Gianna Reggio. seke 2002: 143-150 [doi]

An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic ViewpointEgidio Astesiano, Gianna Reggio. WADT 2003: 56-81 [doi]

CASL: the Common Algebraic Specification LanguageEgidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki. TCS, 286(2):153-196, 2002.

Tight Structuring for Precise UML-Based Requirement SpecificationsEgidio Astesiano, Gianna Reggio. rissef 2004: 16-34 [doi]

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

2001

2000

Formalism and methodEgidio Astesiano, Gianna Reggio. TCS, 236(1-2):3-34, 2000. [doi]

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

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal ApproachGianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann. FASE 2000: 127-146 [doi]

1999

Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative LanguagesEgidio Astesiano, Gianna Reggio, Elena Zucca. SCP, 34(3):163-190, 1999.

Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?Roel Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek. ECOOPW 1999: 49-55

1998

Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, ProceedingsEgidio Astesiano, editor, Volume 1382 of Lecture Notes in Computer Science, Springer, 1998.

1997

Formalism and MethodEgidio Astesiano, Gianna Reggio. tapsoft 1997: 93-114

A Discipline for Handling Feature InteractionEgidio Astesiano, Gianna Reggio. rtse 1998: 95-119

1996

A Free Construction of Dynamic TermsEgidio Astesiano, Elena Zucca. jcss, 52(1):143-156, 1996.

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

1995

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 - June 3, 1994, Selected PapersEgidio Astesiano, Gianna Reggio, Andrzej Tarlecki, editors, Volume 906 of Lecture Notes in Computer Science, Springer, 1995.

The SMoLCS ToolSetEgidio Astesiano, Gianna Reggio, Franco Morando. tapsoft 1995: 801-802

D-oids: A Model for Dynamic Data-TypesEgidio Astesiano, Elena Zucca. mscs, 5(2):257-282, 1995.

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

1994

A Dynamic Specification of the RPC-Memory ProblemEgidio Astesiano, Gianna Reggio. dagstuhl 1996: 67-108

1993

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

A Metalanguage for the Formal Requirement Specification of Reactive SystemsEgidio Astesiano, Gianna Reggio. fm 1993: 110-128

Specifying Reactive Systems by Abstract EventsEgidio Astesiano, Gianna Reggio. iwssd 1993: 122-131

Stores as Homomorphisms and their TransformationsEgidio Astesiano, Gianna Reggio, Elena Zucca. mfcs 1993: 242-251

1992

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

Observational Structures and Their LogicsEgidio Astesiano, Alessandro Giovini, Gianna Reggio. TCS, 96(1):249-283, 1992.

A Semantic Model for Dynamic SystemsEgidio Astesiano, Elena Zucca. fmldo 1993: 63-83

1991

1990

Processes as Data Types: Observational Semantics and LogicEgidio Astesiano, Alessandro Giovini, Gianna Reggio. litp 1990: 1-20

1989

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

1988

Generalized Bisimulation in Relational SpecificationsEgidio Astesiano, Alessandro Giovini, Gianna Reggio. STACS 1988: 207-226

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

Data in a Concurrent EnvironmentEgidio Astesiano, Alessandro Giovini, Gianna Reggio. WADT 1988:

Data in a Concurrent EnvironmentEgidio Astesiano, Alessandro Giovini, Gianna Reggio. concur 1988: 140-159

1987

SMoLCS-Driven Concurrent CalculiEgidio Astesiano, Gianna Reggio. tapsoft 1987: 169-201

Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New ViewpointEgidio Astesiano, Gianna Reggio. STACS 1987: 311-322

An Integrated Algebraic Approach to the Specification of Data Types, Processes and ObjectsEgidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca. am 1989: 91-116

1986

Relational Specifications and Observational SemanticsEgidio Astesiano, Gianna Reggio, Martin Wirsing. mfcs 1986: 209-217

An Qutline of the SMoLCS ApproachEgidio Astesiano, Gianna Reggio. ac 1987: 81-113

A Syntax-Directed Approach to the Semantics of Concurrent LanguagesEgidio Astesiano, Gianna Reggio. ifip 1986: 571-576

The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial IntroductionEgidio Astesiano, Gianna Reggio. Ada-Europe 1987: 81-116

1985

On the Parameterized Algebraic Specification of Concurrent SystemsEgidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing. tapsoft 1985: 342-358

1984

Parametric Channels via Label Expressions in CCSEgidio Astesiano, Elena Zucca. TCS, 33:45-63, 1984.

Distributive Semantics for Nondeterministic Typed lambda-CalculiEgidio Astesiano, Gerardo Costa. TCS, 32:121-156, 1984.

1983

On the Specification of the Firing Squad ProblemEgidio Astesiano, Gianna Reggio. acs 1985: 137-156

The Insensitivity Theorem for Nonreducing Reflexive TypesEgidio Astesiano, Gerardo Costa. jcss, 27(3):389-399, 1983.

1981

Semantics of CSP via Translation into CCSEgidio Astesiano, Elena Zucca. mfcs 1981: 172-182

Semantics of Distributed Processes Derived by TranslationEgidio Astesiano, Elena Zucca. gi 1981: 78-87

CAAP 81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, ProceedingsEgidio Astesiano, Corrado Böhm, editors, Volume 112 of Lecture Notes in Computer Science, Springer, 1981.

Reducing Types in Applicative Languages with Structured DataEgidio Astesiano, Gerardo Costa. icfpc 1981: 210-217

1980

Delayed evaluation trees and their application to sementicsEgidio Astesiano, Gerardo Costa. caap 1980: 110-118

Delayed evaluation trees and their application to sementics (Additif)Egidio Astesiano, Gerardo Costa. caap 1980: 199

Languages with Reducing Reflective TypesEgidio Astesiano, Gerardo Costa. icalp 1980: 38-50

Nondeterminism and Fully Abstract ModelsEgidio Astesiano, Gerardo Costa. ita, 14(4):323-347, 1980.

1979

Sharing in NondeterminismEgidio Astesiano, Gerardo Costa. icalp 1979: 1-15

1973

Algebraic Automata and Optimal Solutions in Pattern RecognitionEgidio Astesiano, Gerardo Costa. ifip7 1973: 206-217