The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Egidio Astesiano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  66. Modeling Business within a UML-Based Rigorous Software Development Approach. [Citation Graph (, )][DBLP]


  67. Delayed evaluation trees and their application to sementics. [Citation Graph (, )][DBLP]


  68. Delayed evaluation trees and their application to sementics (Additif). [Citation Graph (, )][DBLP]


  69. On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study. [Citation Graph (, )][DBLP]


  70. On the effectiveness of screen mockups in requirements engineering: results from an internal replication. [Citation Graph (, )][DBLP]


  71. Revising the UML Collaborations: A Well-Founded Approach. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002