dblp.uni-trier.dewww.uni-trier.de

Egidio Astesiano Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
73EEEgidio Astesiano, Gianna Reggio, Filippo Ricca: Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models 2008: 261-277
2006
72EEEgidio Astesiano: Tutorials at MoDELS 2006. MoDELS 2006: 791-794
2005
71EEEgidio 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
68EEEgidio 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
66EEEgidio Astesiano, Gianna Reggio, Maura Cerioli: From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST 2002: 132-150
65EEEgidio Astesiano, Maura Cerioli, Gianna Reggio: Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF 2002: 1-15
64EEEgidio Astesiano, Gianna Reggio: Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF 2002: 16-34
63EEEgidio Astesiano, Gianna Reggio: Knowledge structuring and representation in requirement specificaiton. SEKE 2002: 143-150
62EEEgidio 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
60EEEgidio Astesiano, Maura Cerioli, Gianna Reggio: From ADT to UML-Like Modelling. Ershov Memorial Conference 2001: 246
59EEGianna Reggio, Maura Cerioli, Egidio Astesiano: Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE 2001: 171-186
58EEEgidio Astesiano, Gianna Reggio: UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS 2001: 127-134
57EEEgidio 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
55EEEgidio Astesiano, Maura Cerioli, Gianna Reggio: Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST 2000: 273-292
54EEGianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann: Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
53EEEgidio 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
48EEEgidio 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
44EEEgidio 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)
42EEEgidio 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
40EEEgidio 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
38EEEgidio 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
30EEEgidio Astesiano, Maura Cerioli: Partial Higher-Order Specifications. MFCS 1991: 74-83
29EEEgidio Astesiano, Maura Cerioli: Non-Strict Don't Care Algebras and Specifications. TAPSOFT, Vol.1 1991: 121-142
1990
28EEEgidio Astesiano, Alessandro Giovini, Gianna Reggio: Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes 1990: 1-20
1989
27EEEgidio 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
24EEEgidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. Concurrency 1988: 140-159
23EEEgidio Astesiano, Alessandro Giovini, Gianna Reggio: Generalized Bisimulation in Relational Specifications. STACS 1988: 207-226
1987
22EEEgidio 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
21EEEgidio Astesiano, Gianna Reggio: Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. STACS 1987: 311-322
20EEEgidio 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
18EEEgidio 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
15EEEgidio 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
7EEEgidio 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
4EEEgidio 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
2EEEgidio Astesiano, Gerardo Costa: Sharing in Nondeterminism. ICALP 1979: 1-15
1973
1EEEgidio Astesiano, Gerardo Costa: Algebraic Automata and Optimal Solutions in Pattern Recognition. Optimization Techniques 1973: 206-217

Coauthor Index

1Klaas van den Berg [52]
2Michel Bidoit [61]
3Corrado Böhm [10]
4Pim van den Broek (P. M. van den Broek) [52]
5Maura Cerioli [25] [27] [29] [30] [31] [35] [37] [42] [46] [55] [59] [60] [65] [66]
6Christine Choppy [54]
7Gerardo Costa [1] [2] [3] [4] [5] [6] [8] [11] [14]
8Carlo Ghezzi [56]
9Alessandro Giovini [22] [23] [24] [26] [28] [33] [34]
10Nicolas Guelfi [69] [70]
11Alain Le Guennec [52]
12Heinrich Hußmann (Heinrich Hussmann) [52] [54]
13Hélène Kirchner [61]
14Bernd Krieg-Brückner [61]
15Maurizio Martelli [67]
16Viviana Mascardi [67]
17Gianfranco Mascari [15]
18Franco Morando [33] [44]
19Peter D. Mosses [61]
20Gianna Reggio [12] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26] [28] [32] [33] [34] [38] [39] [40] [41] [44] [45] [48] [49] [51] [52] [53] [54] [55] [57] [58] [59] [60] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [73]
21Filippo Ricca [73]
22Donald Sannella [61]
23Andrzej Tarlecki [45] [61]
24Roel Wieringa [52]
25Martin Wirsing [15] [18]
26Elena Zucca [7] [9] [13] [22] [36] [38] [43] [47] [51]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)