| 2008 |
|---|
| 73 | EE | Egidio Astesiano,
Gianna Reggio,
Filippo Ricca:
Modeling Business within a UML-Based Rigorous Software Development Approach.
Concurrency, Graphs and Models 2008: 261-277 |
| 2006 |
|---|
| 72 | EE | Egidio Astesiano:
Tutorials at MoDELS 2006.
MoDELS 2006: 791-794 |
| 2005 |
|---|
| 71 | EE | Egidio Astesiano,
Gianna Reggio:
From Conditional Specifications to Interaction Charts.
Formal Methods in Software and Systems Modeling 2005: 167-189 |
| 2004 |
|---|
| 70 | | Nicolas Guelfi,
Egidio Astesiano,
Gianna Reggio:
Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers
Springer 2004 |
| 2003 |
|---|
| 69 | | Nicolas Guelfi,
Egidio Astesiano,
Gianna Reggio:
Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers
Springer 2003 |
| 68 | EE | Egidio Astesiano,
Gianna Reggio:
Towards a Well-Founded UML-Based Development Method.
SEFM 2003: 102- |
| 67 | | Egidio Astesiano,
Maurizio Martelli,
Viviana Mascardi,
Gianna Reggio:
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.
SEKE 2003: 578-585 |
| 2002 |
|---|
| 66 | EE | Egidio Astesiano,
Gianna Reggio,
Maura Cerioli:
From Formal Techniques to Well-Founded Software Development Methods.
10th Anniversary Colloquium of UNU/IIST 2002: 132-150 |
| 65 | EE | Egidio Astesiano,
Maura Cerioli,
Gianna Reggio:
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case).
RISSEF 2002: 1-15 |
| 64 | EE | Egidio Astesiano,
Gianna Reggio:
Tight Structuring for Precise UML-Based Requirement Specifications.
RISSEF 2002: 16-34 |
| 63 | EE | Egidio Astesiano,
Gianna Reggio:
Knowledge structuring and representation in requirement specificaiton.
SEKE 2002: 143-150 |
| 62 | EE | Egidio Astesiano,
Gianna Reggio:
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint.
WADT 2002: 56-81 |
| 61 | | Egidio Astesiano,
Michel Bidoit,
Hélène Kirchner,
Bernd Krieg-Brückner,
Peter D. Mosses,
Donald Sannella,
Andrzej Tarlecki:
CASL: the Common Algebraic Specification Language.
Theor. Comput. Sci. 286(2): 153-196 (2002) |
| 2001 |
|---|
| 60 | EE | Egidio Astesiano,
Maura Cerioli,
Gianna Reggio:
From ADT to UML-Like Modelling.
Ershov Memorial Conference 2001: 246 |
| 59 | EE | Gianna Reggio,
Maura Cerioli,
Egidio Astesiano:
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.
FASE 2001: 171-186 |
| 58 | EE | Egidio Astesiano,
Gianna Reggio:
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces.
ISADS 2001: 127-134 |
| 57 | EE | Egidio Astesiano,
Gianna Reggio:
Labelled transition logic: an outline.
Acta Inf. 37(11-12): 831-879 (2001) |
| 56 | | Egidio Astesiano,
Carlo Ghezzi:
Fundamental Approaches to Software Engineering.
Sci. Comput. Program. 40(1): 1-2 (2001) |
| 2000 |
|---|
| 55 | EE | Egidio Astesiano,
Maura Cerioli,
Gianna Reggio:
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.
AMAST 2000: 273-292 |
| 54 | EE | Gianna Reggio,
Egidio Astesiano,
Christine Choppy,
Heinrich Hußmann:
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.
FASE 2000: 127-146 |
| 53 | EE | Egidio Astesiano,
Gianna Reggio:
Formalism and method.
Theor. Comput. Sci. 236(1-2): 3-34 (2000) |
| 1999 |
|---|
| 52 | | Roel Wieringa,
Egidio Astesiano,
Gianna Reggio,
Alain Le Guennec,
Heinrich Hußmann,
Klaas van den Berg,
Pim van den Broek:
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?
ECOOP Workshops 1999: 49-55 |
| 51 | | Egidio Astesiano,
Gianna Reggio,
Elena Zucca:
Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages.
Sci. Comput. Program. 34(3): 163-190 (1999) |
| 1998 |
|---|
| 50 | | Egidio Astesiano:
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, Proceedings
Springer 1998 |
| 1997 |
|---|
| 49 | | Egidio Astesiano,
Gianna Reggio:
A Discipline for Handling Feature Interaction.
Requirements Targeting Software and Systems Engineering 1997: 95-119 |
| 48 | | Egidio Astesiano,
Gianna Reggio:
Formalism and Method.
TAPSOFT 1997: 93-114 |
| 1996 |
|---|
| 47 | | Egidio Astesiano,
Elena Zucca:
A Free Construction of Dynamic Terms.
J. Comput. Syst. Sci. 52(1): 143-156 (1996) |
| 46 | | Egidio Astesiano,
Maura Cerioli:
Non-Strict Don't Care Algebras and Specifications.
Mathematical Structures in Computer Science 6(1): 85-125 (1996) |
| 1995 |
|---|
| 45 | | Egidio Astesiano,
Gianna Reggio,
Andrzej Tarlecki:
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 Papers
Springer 1995 |
| 44 | | Egidio Astesiano,
Gianna Reggio,
Franco Morando:
The SMoLCS ToolSet.
TAPSOFT 1995: 801-802 |
| 43 | | Egidio Astesiano,
Elena Zucca:
D-oids: A Model for Dynamic Data-Types.
Mathematical Structures in Computer Science 5(2): 257-282 (1995) |
| 42 | EE | Egidio Astesiano,
Maura Cerioli:
Free Objects and Equational Deduction for Partial Conditional Specifications.
Theor. Comput. Sci. 152(1): 91-138 (1995) |
| 1994 |
|---|
| 41 | | Egidio Astesiano,
Gianna Reggio:
A Dynamic Specification of the RPC-Memory Problem.
Formal Systems Specification 1994: 67-108 |
| 1993 |
|---|
| 40 | | Egidio Astesiano,
Gianna Reggio:
A Metalanguage for the Formal Requirement Specification of Reactive Systems.
FME 1993: 110-128 |
| 39 | | Egidio Astesiano,
Gianna Reggio:
Specifying Reactive Systems by Abstract Events.
IWSSD 1993: 122-131 |
| 38 | | Egidio Astesiano,
Gianna Reggio,
Elena Zucca:
Stores as Homomorphisms and their Transformations.
MFCS 1993: 242-251 |
| 37 | | Egidio Astesiano,
Maura Cerioli:
Multiparadigm Specification Languages: A First Attempt at Foundations.
Semantics of Specification Languages 1993: 168-185 |
| 1992 |
|---|
| 36 | | Egidio Astesiano,
Elena Zucca:
A Semantic Model for Dynamic Systems.
FMLDO 1992: 63-83 |
| 35 | | Egidio Astesiano,
Maura Cerioli:
Partial higher-order specifications.
Fundam. Inform. 16(1): 101-126 (1992) |
| 34 | | Egidio Astesiano,
Alessandro Giovini,
Gianna Reggio:
Observational Structures and Their Logics.
Theor. Comput. Sci. 96(1): 249-283 (1992) |
| 1991 |
|---|
| 33 | | Egidio Astesiano,
Alessandro Giovini,
Franco Morando,
Gianna Reggio:
Algebraic Specification at Work.
AMAST 1991: 26-42 |
| 32 | | Egidio Astesiano,
Gianna Reggio:
Algebraic Specification of Concurrency.
COMPASS/ADT 1991: 1-39 |
| 31 | | Egidio Astesiano,
Maura Cerioli:
Relationships between Logical Frameworks.
COMPASS/ADT 1991: 126-143 |
| 30 | | Egidio Astesiano,
Maura Cerioli:
Partial Higher-Order Specifications.
MFCS 1991: 74-83 |
| 29 | | Egidio Astesiano,
Maura Cerioli:
Non-Strict Don't Care Algebras and Specifications.
TAPSOFT, Vol.1 1991: 121-142 |
| 1990 |
|---|
| 28 | | Egidio Astesiano,
Alessandro Giovini,
Gianna Reggio:
Processes as Data Types: Observational Semantics and Logic.
Semantics of Systems of Concurrent Processes 1990: 1-20 |
| 1989 |
|---|
| 27 | | Egidio Astesiano,
Maura Cerioli:
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications.
TAPSOFT, Vol.1 1989: 74-88 |
| 1988 |
|---|
| 26 | | Egidio Astesiano,
Alessandro Giovini,
Gianna Reggio:
Data in a Concurrent Environment.
ADT 1988 |
| 25 | | Egidio Astesiano,
Maura Cerioli:
Models and Logical Deduction in Partial Higher-Order Conditional Specifications.
ADT 1988 |
| 24 | | Egidio Astesiano,
Alessandro Giovini,
Gianna Reggio:
Data in a Concurrent Environment.
Concurrency 1988: 140-159 |
| 23 | | Egidio Astesiano,
Alessandro Giovini,
Gianna Reggio:
Generalized Bisimulation in Relational Specifications.
STACS 1988: 207-226 |
| 1987 |
|---|
| 22 | | Egidio Astesiano,
Alessandro Giovini,
Gianna Reggio,
Elena Zucca:
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects.
Algebraic Methods 1987: 91-116 |
| 21 | | Egidio Astesiano,
Gianna Reggio:
Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint.
STACS 1987: 311-322 |
| 20 | | Egidio Astesiano,
Gianna Reggio:
SMoLCS-Driven Concurrent Calculi.
TAPSOFT, Vol.1 1987: 169-201 |
| 1986 |
|---|
| 19 | | Egidio Astesiano,
Gianna Reggio:
A Syntax-Directed Approach to the Semantics of Concurrent Languages.
IFIP Congress 1986: 571-576 |
| 18 | | Egidio Astesiano,
Gianna Reggio,
Martin Wirsing:
Relational Specifications and Observational Semantics.
MFCS 1986: 209-217 |
| 17 | | Egidio Astesiano,
Gianna Reggio:
An Qutline of the SMoLCS Approach.
Mathematical Models for the Semantics of Parallelism 1986: 81-113 |
| 16 | | Egidio Astesiano,
Gianna Reggio:
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction.
System Development and Ada 1986: 81-116 |
| 1985 |
|---|
| 15 | | Egidio Astesiano,
Gianfranco Mascari,
Gianna Reggio,
Martin Wirsing:
On the Parameterized Algebraic Specification of Concurrent Systems.
TAPSOFT, Vol.1 1985: 342-358 |
| 1984 |
|---|
| 14 | | Egidio Astesiano,
Gerardo Costa:
Distributive Semantics for Nondeterministic Typed lambda-Calculi.
Theor. Comput. Sci. 32: 121-156 (1984) |
| 13 | | Egidio Astesiano,
Elena Zucca:
Parametric Channels via Label Expressions in CCS.
Theor. Comput. Sci. 33: 45-63 (1984) |
| 1983 |
|---|
| 12 | | Egidio Astesiano,
Gianna Reggio:
On the Specification of the Firing Squad Problem.
The Analysis of Concurrent Systems 1983: 137-156 |
| 11 | | Egidio Astesiano,
Gerardo Costa:
The Insensitivity Theorem for Nonreducing Reflexive Types.
J. Comput. Syst. Sci. 27(3): 389-399 (1983) |
| 1981 |
|---|
| 10 | | Egidio Astesiano,
Corrado Böhm:
CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings
Springer 1981 |
| 9 | | Egidio Astesiano,
Elena Zucca:
Semantics of Distributed Processes Derived by Translation.
GI Jahrestagung 1981: 78-87 |
| 8 | | Egidio Astesiano,
Gerardo Costa:
Reducing Types in Applicative Languages with Structured Data.
ICFPC 1981: 210-217 |
| 7 | | Egidio Astesiano,
Elena Zucca:
Semantics of CSP via Translation into CCS.
MFCS 1981: 172-182 |
| 1980 |
|---|
| 6 | | Egidio Astesiano,
Gerardo Costa:
Delayed evaluation trees and their application to sementics.
CLAAP 1980: 110-118 |
| 5 | | Egidio Astesiano,
Gerardo Costa:
Delayed evaluation trees and their application to sementics (Additif).
CLAAP 1980: 199 |
| 4 | | Egidio Astesiano,
Gerardo Costa:
Languages with Reducing Reflective Types.
ICALP 1980: 38-50 |
| 3 | | Egidio Astesiano,
Gerardo Costa:
Nondeterminism and Fully Abstract Models.
ITA 14(4): 323-347 (1980) |
| 1979 |
|---|
| 2 | | Egidio Astesiano,
Gerardo Costa:
Sharing in Nondeterminism.
ICALP 1979: 1-15 |
| 1973 |
|---|
| 1 | | Egidio Astesiano,
Gerardo Costa:
Algebraic Automata and Optimal Solutions in Pattern Recognition.
Optimization Techniques 1973: 206-217 |
