default search action
Egidio Astesiano
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [c67]Gianna Reggio, Egidio Astesiano:
Big-Data/Analytics Projects Failure: A Literature Review. SEAA 2020: 246-255
2010 – 2019
- 2016
- [c66]Gianna Reggio, Maurizio Leotta
, Filippo Ricca, Egidio Astesiano:
Towards a Holistic Method for Business Process Analytics. Monterey Workshop 2016: 168-183 - 2015
- [c65]Gianna Reggio, Egidio Astesiano, Christine Choppy:
A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems 2015: 377-408 - 2014
- [j16]Filippo Ricca, Giuseppe Scanniello
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. ACM Trans. Softw. Eng. Methodol. 24(1): 1:1-1:38 (2014) - 2012
- [c64]Maurizio Leotta
SOA adoption in the Italian industry. ICSE 2012: 1441-1442 - [c63]Gianna Reggio, Maurizio Leotta
Business process modelling: five styles and a method to choose the most suitable one. EESSMod@MoDELS 2012: 8:1-8:6 - [c62]Maurizio Leotta
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry. WSE 2012: 21-30 - [c61]Maurizio Leotta
Towards a lightweight model driven method for developing SOA systems using existing assets. WSE 2012: 51-60 - 2011
- [c60]Maurizio Leotta
Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA. CSMR 2011: 317-320 - [c59]Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano:
Building VECM-based Systems with a Model Driven Approach: an Experience Report. EESSMod@MoDELS 2011 - 2010
- [c58]Filippo Ricca, Giuseppe Scanniello
On the effectiveness of screen mockups in requirements engineering: results from an internal replication. ESEM 2010 - [c57]Filippo Ricca, Giuseppe Scanniello
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study. ESEM 2010 - [c56]Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation. Monterey Workshop 2010: 157-175
2000 – 2009
- 2008
- [c55]Egidio Astesiano, Gianna Reggio, Filippo Ricca:
Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models 2008: 261-277 - [c54]Egidio Astesiano, Gianna Reggio:
Revising the UML Collaborations: A Well-Founded Approach. Monterey Workshop 2008: 1-23 - 2006
- [c53]Egidio Astesiano:
Tutorials at MoDELS 2006. MoDELS 2006: 791-794 - 2005
- [c52]Egidio Astesiano, Gianna Reggio:
From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling 2005: 167-189 - 2004
- [e6]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio:
Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers. Lecture Notes in Computer Science 2952, Springer 2004, ISBN 3-540-21091-1 [contents] - 2003
- [c51]Egidio Astesiano, Gianna Reggio:
Towards a Well-Founded UML-Based Development Method. SEFM 2003: 102- - [c50]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 - [e5]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. Lecture Notes in Computer Science 2604, Springer 2003, ISBN 3-540-00679-6 [contents] - 2002
- [j15]Egidio Astesiano, Michel Bidoit, Hélène Kirchner
CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. 286(2): 153-196 (2002) - [c49]Egidio Astesiano, Maura Cerioli
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF 2002: 1-15 - [c48]Egidio Astesiano, Gianna Reggio:
Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF 2002: 16-34 - [c47]Egidio Astesiano, Gianna Reggio:
Knowledge structuring and representation in requirement specificaiton. SEKE 2002: 143-150 - [c46]Egidio Astesiano, Gianna Reggio, Maura Cerioli
From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST 2002: 132-150 - [c45]Egidio Astesiano, Gianna Reggio:
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. WADT 2002: 56-81 - 2001
- [j14]Egidio Astesiano, Gianna Reggio:
Labelled transition logic: an outline. Acta Informatica 37(11-12): 831-879 (2001) - [j13]Egidio Astesiano, Carlo Ghezzi:
Fundamental Approaches to Software Engineering. Sci. Comput. Program. 40(1): 1-2 (2001) - [c44]Egidio Astesiano, Maura Cerioli
From ADT to UML-Like Modelling. Ershov Memorial Conference 2001: 246 - [c43]Gianna Reggio, Maura Cerioli
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE 2001: 171-186 - [c42]Egidio Astesiano, Gianna Reggio:
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS 2001: 127-134 - 2000
- [j12]Egidio Astesiano, Gianna Reggio:
Formalism and method. Theor. Comput. Sci. 236(1-2): 3-34 (2000) - [c41]Egidio Astesiano, Maura Cerioli
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST 2000: 273-292 - [c40]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
1990 – 1999
- 1999
- [j11]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) - [c39]Roel J. 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 - [p1]Egidio Astesiano, Manfred Broy, Gianna Reggio:
Algebraic Specification of Concurrent Systems. Algebraic Foundations of Systems Specification 1999: 467-520 - [e4]Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner:
Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, Springer 1999, ISBN 978-3-642-64151-0 [contents] - 1998
- [e3]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. Lecture Notes in Computer Science 1382, Springer 1998, ISBN 3-540-64303-6 [contents] - 1997
- [c38]Egidio Astesiano, Gianna Reggio:
A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering 1997: 95-119 - [c37]Egidio Astesiano, Gianna Reggio:
Formalism and Method. TAPSOFT 1997: 93-114 - 1996
- [j10]Egidio Astesiano, Elena Zucca:
A Free Construction of Dynamic Terms. J. Comput. Syst. Sci. 52(1): 143-156 (1996) - [j9]Egidio Astesiano, Maura Cerioli
Non-Strict Don't Care Algebras and Specifications. Math. Struct. Comput. Sci. 6(1): 85-125 (1996) - 1995
- [j8]Egidio Astesiano, Elena Zucca:
D-oids: A Model for Dynamic Data-Types. Math. Struct. Comput. Sci. 5(2): 257-282 (1995) - [j7]Egidio Astesiano, Maura Cerioli
Free Objects and Equational Deduction for Partial Conditional Specifications. Theor. Comput. Sci. 152(1): 91-138 (1995) - [c36]Egidio Astesiano, Gianna Reggio, Franco Morando:
The SMoLCS ToolSet. TAPSOFT 1995: 801-802 - [e2]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. Lecture Notes in Computer Science 906, Springer 1995, ISBN 3-540-59132-X [contents] - 1994
- [c35]Egidio Astesiano, Gianna Reggio:
A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification 1994: 67-108 - 1993
- [c34]Egidio Astesiano, Gianna Reggio:
A Metalanguage for the Formal Requirement Specification of Reactive Systems. FME 1993: 110-128 - [c33]Egidio Astesiano, Gianna Reggio:
Specifying Reactive Systems by Abstract Events. IWSSD 1993: 122-131 - [c32]Egidio Astesiano, Gianna Reggio, Elena Zucca:
Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251 - [c31]Egidio Astesiano, Maura Cerioli:
Multiparadigm Specification Languages: A First Attempt at Foundations. Semantics of Specification Languages 1993: 168-185 - 1992
- [j6]Egidio Astesiano, Maura Cerioli:
Partial higher-order specifications. Fundam. Informaticae 16(1): 101-126 (1992) - [j5]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Observational Structures and Their Logics. Theor. Comput. Sci. 96(1): 249-283 (1992) - [c30]Egidio Astesiano, Elena Zucca:
A Semantic Model for Dynamic Systems. FMLDO 1992: 63-83 - 1991
- [c29]Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio:
Algebraic Specification at Work. AMAST 1991: 26-42 - [c28]Egidio Astesiano, Gianna Reggio:
Algebraic Specification of Concurrency. COMPASS/ADT 1991: 1-39 - [c27]Egidio Astesiano, Maura Cerioli
Relationships between Logical Frameworks. COMPASS/ADT 1991: 126-143 - [c26]Egidio Astesiano, Maura Cerioli
Partial Higher-Order Specifications. MFCS 1991: 74-83 - [c25]Egidio Astesiano, Maura Cerioli
Non-Strict Don't Care Algebras and Specifications. TAPSOFT, Vol.1 1991: 121-142 - 1990
- [c24]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes 1990: 1-20
1980 – 1989
- 1989
- [c23]Egidio Astesiano:
Inductive and Operational Semantics. Formal Description of Programming Concepts 1989: 51-136 - [c22]Egidio Astesiano, Maura Cerioli
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. TAPSOFT, Vol.1 1989: 74-88 - 1988
- [c21]Egidio Astesiano, Maura Cerioli:
Models and Logical Deduction in Partial Higher-Order Conditional Specifications. ADT 1988 - [c20]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Data in a Concurrent Environment. ADT 1988 - [c19]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Data in a Concurrent Environment. Concurrency 1988: 140-159 - [c18]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Generalized Bisimulation in Relational Specifications. STACS 1988: 207-226 - 1987
- [c17]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 - [c16]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 - [c15]Egidio Astesiano, Gianna Reggio:
SMoLCS-Driven Concurrent Calculi. TAPSOFT, Vol.1 1987: 169-201 - 1986
- [c14]Egidio Astesiano, Gianna Reggio:
An Qutline of the SMoLCS Approach. Mathematical Models for the Semantics of Parallelism 1986: 81-113 - [c13]Egidio Astesiano, Gianna Reggio:
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. System Development and Ada 1986: 81-116 - [c12]Egidio Astesiano, Gianna Reggio:
A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress 1986: 571-576 - [c11]Egidio Astesiano, Gianna Reggio, Martin Wirsing:
Relational Specifications and Observational Semantics. MFCS 1986: 209-217 - 1985
- [c10]Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing:
On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358 - 1984
- [j4]Egidio Astesiano, Gerardo Costa:
Distributive Semantics for Nondeterministic Typed lambda-Calculi. Theor. Comput. Sci. 32: 121-156 (1984) - [j3]Egidio Astesiano, Elena Zucca:
Parametric Channels via Label Expressions in CCS. Theor. Comput. Sci. 33: 45-63 (1984) - 1983
- [j2]Egidio Astesiano, Gerardo Costa:
The Insensitivity Theorem for Nonreducing Reflexive Types. J. Comput. Syst. Sci. 27(3): 389-399 (1983) - [c9]Egidio Astesiano, Gianna Reggio:
On the Specification of the Firing Squad Problem. The Analysis of Concurrent Systems 1983: 137-156 - 1981
- [c8]Egidio Astesiano, Elena Zucca:
Semantics of Distributed Processes Derived by Translation. GI Jahrestagung 1981: 78-87 - [c7]Egidio Astesiano, Gerardo Costa:
Reducing Types in Applicative Languages with Structured Data. ICFPC 1981: 210-217 - [c6]Egidio Astesiano, Elena Zucca:
Semantics of CSP via Translation into CCS. MFCS 1981: 172-182 - [e1]Egidio Astesiano, Corrado Böhm:
CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings. Lecture Notes in Computer Science 112, Springer 1981, ISBN 3-540-10828-9 [contents] - 1980
- [j1]Egidio Astesiano, Gerardo Costa:
Nondeterminism and Fully Abstract Models. RAIRO Theor. Informatics Appl. 14(4): 323-347 (1980) - [c5]Egidio Astesiano, Gerardo Costa:
Delayed evaluation trees and their application to sementics. CLAAP 1980: 110-118 - [c4]Egidio Astesiano, Gerardo Costa:
Delayed evaluation trees and their application to sementics (Additif). CLAAP 1980: 199 - [c3]Egidio Astesiano, Gerardo Costa:
Languages with Reducing Reflective Types. ICALP 1980: 38-50
1970 – 1979
- 1979
- [c2]Egidio Astesiano, Gerardo Costa:
Sharing in Nondeterminism. ICALP 1979: 1-15 - 1973
- [c1]Egidio Astesiano, Gerardo Costa:
Algebraic Automata and Optimal Solutions in Pattern Recognition. Optimization Techniques 1973: 206-217
Coauthor Index
[c67] [c66] [c65] [j16] [c64] [c63] [c62] [c61] [c60] [c59] [c58] [c57] [c56] [c55] [c54] [c52] [e6] [c51] [c50] [e5] [c49] [c48] [c47] [c46] [c45] [j14] [c44] [c43] [c42] [j12] [c41] [c40] [j11] [c39] [p1] [c38] [c37] [c36] [e2] [c35] [c34] [c33] [c32] [j5] [c29] [c28] [c24] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: