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

Gianna Reggio 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

*2009
73EEChristine Choppy, Gianna Reggio: A method for developing UML state machines. SAC 2009: 382-388
2008
72EEChristine Choppy, Laure Petrucci, Gianna Reggio: A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86
71EEEgidio Astesiano, Gianna Reggio, Filippo Ricca: Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models 2008: 261-277
70EEMaura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio: Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA 2008: 738-752
2006
69 Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings Springer 2006
68EEChristine Choppy, Gianna Reggio: Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC 2006: 19-28
67EEChristine Choppy, Gianna Reggio: A formally grounded software specification method. J. Log. Algebr. Program. 67(1-2): 52-86 (2006)
2005
66 Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky: Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers Springer 2005
65EEEgidio Astesiano, Gianna Reggio: From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling 2005: 167-189
64EEGianna Reggio: Tutorials at the MODELS 2005 Conference. MoDELS 2005: 715-718
63EEChristine Choppy, Gianna Reggio: A UML-based approach for problem frame oriented software development. Information & Software Technology 47(14): 929-954 (2005)
2004
62 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
61EEChristine Choppy, Gianna Reggio: Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE 2004: 244-260
60EEGianna Reggio: Towards a Precise UML-Based Development Method. FIDJI 2004: 124
59 Christine Choppy, Gianna Reggio: Using UML for Problem Frame Oriented Software Development. IASSE 2004: 239-244
58EEZbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille: Consistency Problems in UML-Based Software Development. UML Satellite Activities 2004: 1-12
2003
57 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
56EEEgidio Astesiano, Gianna Reggio: Towards a Well-Founded UML-Based Development Method. SEFM 2003: 102-
55 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
54EEEgidio Astesiano, Gianna Reggio, Maura Cerioli: From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST 2002: 132-150
53EECatalin Amza, Gianna Reggio: A Notation for Component-Based Design of Java Applications. FIDJI 2002: 155-164
52EEEgidio Astesiano, Maura Cerioli, Gianna Reggio: Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF 2002: 1-15
51EEEgidio Astesiano, Gianna Reggio: Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF 2002: 16-34
50EEEgidio Astesiano, Gianna Reggio: Knowledge structuring and representation in requirement specificaiton. SEKE 2002: 143-150
49EEEgidio Astesiano, Gianna Reggio: An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. WADT 2002: 56-81
2001
48 Maura Cerioli, Gianna Reggio: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers Springer 2001
47EEEgidio Astesiano, Maura Cerioli, Gianna Reggio: From ADT to UML-Like Modelling. Ershov Memorial Conference 2001: 246
46EEGianna Reggio, Maura Cerioli, Egidio Astesiano: Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE 2001: 171-186
45EEEgidio Astesiano, Gianna Reggio: UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS 2001: 127-134
44EEEgidio Astesiano, Gianna Reggio: Labelled transition logic: an outline. Acta Inf. 37(11-12): 831-879 (2001)
2000
43EEGianna Reggio, Lorenzo Repetto: CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. AMAST 2000: 243-257
42EEEgidio Astesiano, Maura Cerioli, Gianna Reggio: Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST 2000: 273-292
41EEGianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann: Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
40EEEgidio Astesiano, Gianna Reggio: Formalism and method. Theor. Comput. Sci. 236(1-2): 3-34 (2000)
1999
39 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
38 Eva Coscia, Gianna Reggio: JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. FASE 1999: 77-97
37 Christine Choppy, Gianna Reggio: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT 1999: 106-125
36 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
35 Maura Cerioli, Gianna Reggio: Very Abstract Specifications: A Formalism Independent Approach. Mathematical Structures in Computer Science 8(1): 17-66 (1998)
1997
34EEGianna Reggio, Mauro Larosa: A Graphic Notation for Formal Specifications of Dynamic Systems. FME 1997: 40-61
33 Egidio Astesiano, Gianna Reggio: A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering 1997: 95-119
32EEEgidio Astesiano, Gianna Reggio: Formalism and Method. TAPSOFT 1997: 93-114
31EEGerardo Costa, Gianna Reggio: Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach. Theor. Comput. Sci. 173(2): 513-554 (1997)
1995
30 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
29 Eva Coscia, Gianna Reggio: Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. COMPASS/ADT 1995: 161-181
28EEEgidio Astesiano, Gianna Reggio, Franco Morando: The SMoLCS ToolSet. TAPSOFT 1995: 801-802
1994
27 Egidio Astesiano, Gianna Reggio: A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification 1994: 67-108
1993
26 Maura Cerioli, Gianna Reggio: Algebraic-Oriented Institutions. AMAST 1993: 201-208
25EEEgidio Astesiano, Gianna Reggio: A Metalanguage for the Formal Requirement Specification of Reactive Systems. FME 1993: 110-128
24 Egidio Astesiano, Gianna Reggio: Specifying Reactive Systems by Abstract Events. IWSSD 1993: 122-131
23EEEgidio Astesiano, Gianna Reggio, Elena Zucca: Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251
1992
22 Maura Cerioli, Gianna Reggio: Institutions for Very Abstract Specifications. COMPASS/ADT 1992: 113-127
21 Mohamed Bettaz, Gianna Reggio: A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. COMPASS/ADT 1992: 98-112
20 Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Observational Structures and Their Logics. Theor. Comput. Sci. 96(1): 249-283 (1992)
1991
19 Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio: Algebraic Specification at Work. AMAST 1991: 26-42
18 Egidio Astesiano, Gianna Reggio: Algebraic Specification of Concurrency. COMPASS/ADT 1991: 1-39
17 Gianna Reggio: Event Logic for Specifying Abstract Dynamic Data Types. COMPASS/ADT 1991: 292-309
16EEGerardo Costa, Gianna Reggio: Abstract Dynamic Data Types: A Temporal Logic Approach. MFCS 1991: 103-112
1990
15 Gianna Reggio: Entities: An Institution for Dynamic Systems. ADT 1990: 246-265
14EEGianna Reggio: A Non-Standard Inductive Semantics. FSTTCS 1990: 362-372
13EEEgidio Astesiano, Alessandro Giovini, Gianna Reggio: Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes 1990: 1-20
1988
12 Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. ADT 1988
11EEEgidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. Concurrency 1988: 140-159
10EEEgidio Astesiano, Alessandro Giovini, Gianna Reggio: Generalized Bisimulation in Relational Specifications. STACS 1988: 207-226
1987
9EEEgidio 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
8EEEgidio Astesiano, Gianna Reggio: Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. STACS 1987: 311-322
7EEEgidio Astesiano, Gianna Reggio: SMoLCS-Driven Concurrent Calculi. TAPSOFT, Vol.1 1987: 169-201
1986
6 Egidio Astesiano, Gianna Reggio: A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress 1986: 571-576
5EEEgidio Astesiano, Gianna Reggio, Martin Wirsing: Relational Specifications and Observational Semantics. MFCS 1986: 209-217
4 Egidio Astesiano, Gianna Reggio: An Qutline of the SMoLCS Approach. Mathematical Models for the Semantics of Parallelism 1986: 81-113
3 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
2EEEgidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358
1983
1 Egidio Astesiano, Gianna Reggio: On the Specification of the Firing Squad Problem. The Analysis of Concurrent Systems 1983: 137-156

Coauthor Index

1Catalin Amza [53]
2Egidio Astesiano [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [18] [19] [20] [23] [24] [25] [27] [28] [30] [32] [33] [36] [39] [40] [41] [42] [44] [45] [46] [47] [49] [50] [51] [52] [54] [55] [56] [57] [62] [65] [71]
3Klaas van den Berg [39]
4Mohamed Bettaz [21]
5Pim van den Broek (P. M. van den Broek) [39]
6Maura Cerioli [22] [26] [35] [42] [46] [47] [48] [52] [54] [70]
7Christine Choppy [37] [41] [59] [61] [63] [67] [68] [72] [73]
8Eva Coscia [29] [38]
9Gerardo Costa [16] [31]
10Alessandro Giovini [9] [10] [11] [12] [13] [19] [20]
11Nicolas Guelfi [57] [62] [66]
12Alain Le Guennec [39]
13David Harel [69]
14Heinrich Hußmann (Heinrich Hussmann) [39] [41]
15Zbigniew Huzar [58]
16Ludwik Kuzniarz [58]
17Giovanni Lagorio [70]
18Mauro Larosa [34]
19Maurizio Martelli [55]
20Viviana Mascardi [55]
21Gianfranco Mascari [2]
22Franco Morando [19] [28]
23Enrico Morten [70]
24Oscar Nierstrasz [69]
25Laure Petrucci (Laure Petrucci-Dauchy) [72]
26Lorenzo Repetto [43]
27Filippo Ricca [71]
28Alexander Romanovsky (Alexander B. Romanovsky) [66]
29Jean-Louis Sourrouille [58]
30Andrzej Tarlecki [30]
31Jon Whittle (Jonathan Whittle) [69]
32Roel Wieringa [39]
33Martin Wirsing [2] [5]
34Elena Zucca [9] [23] [36]

Colors in the list of coauthors

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