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

Paola Inverardi 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
140EEBetty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] Springer 2009
139EEAntonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150
138EEMarco Autili, Paolo Di Benedetto, Paola Inverardi: Context-Aware Adaptive Services: The PLASTIC Approach. FASE 2009: 124-139
137EEValérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161
136EEBetty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle: Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26
135EERomina Spalazzese, Paola Inverardi, Valérie Issarny: Towards a formalization of mediating connectors for on the fly interoperability. WICSA/ECSA 2009: 345-348
134EEPatrizio Pelliccione, Paola Inverardi, Henry Muccini: CHARMY: A Framework for Designing and Verifying Architectural Specifications. IEEE Trans. Software Eng. 35(3): 325-346 (2009)
2008
133 Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee: Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
132 José Luiz Fiadeiro, Paola Inverardi: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings Springer 2008
131EEAntonia Bertolino, Wolfgang Emmerich, Paola Inverardi, Valérie Issarny, Fotios K. Liotopoulos, Pierre Plaza: PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. ASE Workshops 2008: 65-70
130EEMarco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli: A development process for context-aware adaptive services. ASE Workshops 2008: 9-16
129EEMarco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli: A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. COMPSAC 2008: 1329-1334
128EECarlo Ghezzi, Paola Inverardi, Carlo Montangero: Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353
127EEPaola Inverardi, Massimo Tivoli: The Future of Software: Adaptation and Dependability. ISSSE 2008: 1-31
126EEAntonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli: A Framework for Analyzing and Testing the Performance of Software Services. ISoLA 2008: 206-220
125EEBetty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos: 08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems 2008
124EEBetty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos: 08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2008
123EEMarco Autili, Paolo Di Benedetto, Paola Inverardi, Damien A. Tamburri: Towards Self-evolving Context-aware Services. ECEASST 11: (2008)
122EEMassimo Tivoli, Paola Inverardi: Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71(3): 181-212 (2008)
2007
121EEPaola Inverardi, Leonardo Mostarda: DESERT: a decentralized monitoring tool generator. ASE 2007: 529-530
120EEPaola Inverardi, Massimo Tivoli: A reuse-based approach to the correct and automatic composition of web-services. ESSPE 2007: 29-33
119EEVittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. FASE 2007: 57-71
118EEMarco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli: SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787
117EEMarco Autili, L. Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli: A Development Process for Self-adapting Service Oriented Applications. ICSOC 2007: 442-448
116EEVittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Non-Functional Modeling and Validation in Model-Driven Architecture. WICSA 2007: 25
115EEFabio Mancinelli, Paola Inverardi: Quantitative resource-oriented analysis of Java (Adaptable) applications. WOSP 2007: 15-25
114EEMarco Autili, Paola Inverardi, Patrizio Pelliccione: Graphical scenarios for specifying temporal properties: an automated approach. Autom. Softw. Eng. 14(3): 293-340 (2007)
113EEMauro Caporuscio, Antinisca Di Marco, Paola Inverardi: Model-based system reconfiguration for dynamic performance management. Journal of Systems and Software 80(4): 455-473 (2007)
2006
112 Paola Inverardi, Mehdi Jazayeri: Software Engineering Education in the Modern Age, Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures Springer 2006
111EEPaola Inverardi, Leonardo Mostarda, Alfredo Navarra: Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks. AINA (2) 2006: 116-120
110EEMarco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli: Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. EWSA 2006: 17-32
109EEDaniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione: Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. FORTE 2006: 243-258
108EEVittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Software performance model-driven architecture. SAC 2006: 1218-1223
107EEMarco Autili, Paola Inverardi, Patrizio Pelliccione: A scenario based notation for specifying temporal properties. SCESM 2006: 21-28
106EEPaola Inverardi: Software of the Future Is the Future of Software? TGC 2006: 69-85
105EEPaola Inverardi, Leonardo Mostarda: A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. WADS 2006: 210-236
104EEFlavio Corradini, Paola Inverardi, Alexander L. Wolf: On relating functional specifications to architectural specifications: A case study. Sci. Comput. Program. 59(3): 171-208 (2006)
2005
103EEPaola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili: Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. ASE 2005: 405-409
102EEPaola Inverardi, Henry Muccini, Patrizio Pelliccione: CHARMY: an extensible tool for architectural analysis. ESEC/SIGSOFT FSE 2005: 111-114
101EEMauro Caporuscio, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Alfonso Pierantonio: Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications. EWSA 2005: 130-145
100EEPaola Inverardi, Leonardo Mostarda: A Distributed Intrusion Detection Approach for Secure Software Architecture. EWSA 2005: 168-184
99EEPaola Inverardi, Mehdi Jazayeri: Introduction to education and training track. ICSE 2005: 606
98EEVittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Transformations of software models into performance models. ICSE 2005: 728-729
97EEMauro Caporuscio, Paola Inverardi: Uncertain event-based model for egocentric context sensing. SEM 2005: 25-32
96EEPaola Inverardi, Henry Muccini, Patrizio Pelliccione: DUALLY: Putting in Synergy UML 2.0 and ADLs. WICSA 2005: 251-252
95EEMauro Caporuscio, Antinisca Di Marco, Paola Inverardi: Run-time performance management of the Siena publish/subscribe middleware. WOSP 2005: 65-74
94EEVittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Fabio Mancinelli, Patrizio Pelliccione: A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures. Electr. Notes Theor. Comput. Sci. 116: 31-44 (2005)
2004
93EEDaniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi: Automated Performance Validation of Software Design: An Industrial Experience. ASE 2004: 298-301
92EEMassimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis: Correct Components Assembly for a Product Data Management Cooperative System. CBSE 2004: 84-99
91EEPaola Inverardi: Compositionality, Coordination and Software Architecture. COORDINATION 2004: 3-4
90EEMauro Caporuscio, Paola Inverardi, Patrizio Pelliccione: Formal Analysis of Architectural Patterns. EWSA 2004: 10-24
89EEMauro Caporuscio, Paola Inverardi, Patrizio Pelliccione: Compositional Verification of Middleware-Based Software Architecture Descriptions. ICSE 2004: 221-230
88EEPaola Inverardi, Fabio Mancinelli, Monica Nesi: A declarative framework for adaptable applications in heterogeneous environments. SAC 2004: 1177-1183
87EEAntinisca Di Marco, Paola Inverardi: Compositional Generation of Software Architecture Performance QN Models. WICSA 2004: 37-46
86EESimonetta Balsamo, Moreno Marzolla, Antinisca Di Marco, Paola Inverardi: Experimenting different software architectures performance techniques: a case study. WOSP 2004: 115-119
85EECarlo Ghezzi, Paola Inverardi: Introduction to Special Issue on Distributed and Mobile Software Engineering. Autom. Softw. Eng. 11(3): 203-205 (2004)
84EEVittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Three Performance Models at Work: A Software Designer Perspective. Electr. Notes Theor. Comput. Sci. 97: 219-239 (2004)
83EEHenry Muccini, Antonia Bertolino, Paola Inverardi: Using Software Architecture for Code Testing. IEEE Trans. Software Eng. 30(3): 160-171 (2004)
82EESimonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni: Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. Software Eng. 30(5): 295-310 (2004)
2003
81 Marco Bernardo, Paola Inverardi: Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures Springer 2003
80EEDaniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani: Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. FME 2003: 114-132
79EEMarco Castaldi, Antonio Carzaniga, Paola Inverardi, Alexander L. Wolf: A Lightweight Infrastructure for Reconfiguring Applications. SCM 2003: 231-244
78EEAntonia Bertolino, Paola Inverardi, Henry Muccini: Formal Methods in Testing Software Architectures. SFM 2003: 122-147
77EEPaola Inverardi, Massimo Tivoli: Software Architecture for Correct Components Assembly. SFM 2003: 92-121
76EEStefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi: A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. WADS 2003: 167-190
75EEPaola Inverardi, Massimo Tivoli, Antonio Bucchiarone: Automatic synthesis of coordinators for COTS group-ware applications: an example. WETICE 2003: 123-
74EEMauro Caporuscio, Paola Inverardi: Yet Another Framework for Supporting Mobile and Collaborative Work. WETICE 2003: 81-86
73EEPaola Inverardi, Massimo Tivoli: Deadlock-free software architectures for COM/DCOM Applications. Journal of Systems and Software 65(3): 173-183 (2003)
72 Simonetta Balsamo, Vittoria De Nitto Persone, Paola Inverardi: A review on queueing network models with finite capacity queues for software architectures performance prediction. Perform. Eval. 51(2/4): 269-288 (2003)
71EECandida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003)
70EEPaola Inverardi, Henry Muccini: Software Architectures and Coordination Models. The Journal of Supercomputing 24(2): 141-149 (2003)
2002
69 Fabio Di Vito, Paola Inverardi, Giovanna Melideo: A Context-Aware Approach to Infer Trust in Public Key Infrastructures. Certification and Security in E-Services 2002: 111-125
68EEPaola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione: An Experience in Architectural Extensions: Active Objects in J2EE. FIDJI 2002: 87-98
67EEPaola Inverardi, G. Marinelli, Fabio Mancinelli: Adaptive Applications for Mobile Heterogenous Devices. ICDCS Workshops 2002: 410-418
66EEMarco Castaldi, Paola Inverardi, Sharareh Afsharian: A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture. MASCOTS 2002: 281-290
65EEPaola Inverardi, Massimo Tivoli: Automatic Failures-Free Connector Synthesis: An Example. RISSEF 2002: 184-197
64EEPaola Inverardi, Fabio Mancinelli, G. Marinelli: Correct deployment and adaptation of software applications on heterogenous (mobile) devices. WOSS 2002: 108-110
2001
63EEPaola Inverardi, Simone Scriboni: Connectors Synthesis for Deadlock-Free Component-Based Architectures. ASE 2001: 174-
62EEPaola Inverardi, Henry Muccini, Patrizio Pelliccione: Automated Check of Architectural Models Consistency Using SPIN. ASE 2001: 346-349
61EEPaola Inverardi, Massimo Tivoli: Automatic synthesis of deadlock free connectors for COM/DCOM applications. ESEC / SIGSOFT FSE 2001: 121-131
60EEPaola Inverardi, Sebastián Uchitel: Proving Deadlock Freedom in Component-Based Programming. FASE 2001: 60-75
59EECarla Colafigli, Paola Inverardi, Rocco Matricciani: InfoParco: An Experience in Designing an Information System Accessible through WEB and WAP Interfaces. HICSS 2001
58 Antonia Bertolino, Paola Inverardi, Henry Muccini: An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. ICSE 2001: 211-220
57EENicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
56 Federica Aquilani, Simonetta Balsamo, Paola Inverardi: Performance analysis at the software architectural design level. Perform. Eval. 45(2-3): 147-178 (2001)
2000
55EEDan Hirsch, Paola Inverardi, Ugo Montanari: Reconfiguration of Software Architecture Styles with Name Mobility. COORDINATION 2000: 148-163
54EEPaola Inverardi, Henry Muccini: Coordination Models and Software Architectures in a Unified Software Development Process. COORDINATION 2000: 323-328
53EEAntonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229
52 Paola Inverardi, Henry Muccini: A Coordination Process Based on UML and a Software Architectural Description. PDPTA 2000
51EEF. Andolfi, Federica Aquilani, Simonetta Balsamo, Paola Inverardi: Deriving performance models of software architectures from message sequence charts. Workshop on Software and Performance 2000: 47-57
50EEPaola Inverardi, Alexander L. Wolf, Daniel Yankelevich: Static checking of system behaviors using derived component assumptions. ACM Trans. Softw. Eng. Methodol. 9(3): 239-272 (2000)
49EEFlavio Corradini, Paola Inverardi: Preface Electr. Notes Theor. Comput. Sci. 39(3): (2000)
1999
48 Paola Inverardi, Monica Nesi: Adding sorts to TRSs: a result on modularity of termination. APPIA-GULP-PRODE 1999: 273-288
47EECandida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339
46 Candida Attanasio, Flavio Corradini, Paola Inverardi: Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. FASE 1999: 45-59
45 Dan Hirsch, Paola Inverardi, Ugo Montanari: Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. WICSA 1999: 127-144
44 Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi: On the Relationships among four Timed Process Algebras. Fundam. Inform. 38(4): 377-395 (1999)
43 Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli: A Comprehensive Setting for Matching and Unification over Iterative Terms. Fundam. Inform. 39(3): 273-304 (1999)
42 Daniele Compare, Paola Inverardi, Alexander L. Wolf: Uncovering Architectural Mismatch in Component Behavior. Sci. Comput. Program. 33(2): 101-131 (1999)
1998
41EESimonetta Balsamo, Paola Inverardi, Calogero Mangano: An approach to performance evaluation of software architectures. WOSP 1998: 178-190
1997
40 Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich: Checking Assumptions in Component Dynamics as the Architectural Level. COORDINATION 1997: 46-63
39EEAntonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti: An approach to integration testing based on architectural descriptions. ICECCS 1997: 77-
1996
38 Paola Inverardi, Daniele Compare: Modelling Interoperability by CHAM: A Case Study. COORDINATION 1996: 428-431
37EEPatrizia Asirelli, Paola Inverardi, Giuseppe Plagenza: Integrity Constraints as Views in Deductice Databases. FMLDO 1996: 133-140
36 Paola Inverardi, Corrado Priami: Automatic Verification of Distributed Systems: The Process Algebra Approach. Formal Methods in System Design 8(1): 7-38 (1996)
1995
35 Xiaojun Chen, Paola Inverardi, Carlo Montangero: ESP-MC: An Experiment in the Use of Verification Tools. ASIAN 1995: 396-410
34 Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215
33EEPaola Inverardi, Alexander L. Wolf: Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Trans. Software Eng. 21(4): 373-386 (1995)
32EEPaola Inverardi, Monica Nesi: Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. Theor. Comput. Sci. 139(1&2): 315-354 (1995)
31EEPaola Inverardi, Monica Nesi: Infinite Normal Forms for Non-Linear Term Rewritting Systems. Theor. Comput. Sci. 152(2): 285-303 (1995)
1994
30 Paola Inverardi: Rewriting for Preorder Relations. CTRS 1994: 223-234
29 Domenico Aquilino, Patrizia Asirelli, Paola Inverardi: Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. GULP-PRODE (2) 1994: 440-441
28EEPaola Inverardi, Marisa Venturini Zilli: Rational Rewriting. MFCS 1994: 433-442
27 Nicoletta De Francesco, Paola Inverardi: Proving Finiteness of CCS Processes by Non-Standard Semantics. Acta Inf. 31(1): 55-80 (1994)
26 Paola Inverardi, Corrado Priami, Daniel Yankelevich: Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Asp. Comput. 6(6): 676-695 (1994)
25 Patrizia Asirelli, D. Di Grande, Paola Inverardi, F. Nicodemi: Graphics by a Logic Database Management System. J. Vis. Lang. Comput. 5(4): 365-388 (1994)
1993
24EEPaola Inverardi, Corrado Priami, Daniel Yankelevich: Extended Transition Systems for Parametric Bisimulation. ICALP 1993: 558-569
23EEPaola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich: Yeast: A Case Study for a Practical Use of Formal Methods. TAPSOFT 1993: 105-120
22 A. Bucci, Paola Inverardi, Simone Martini: An `Executable' Impredicative Semantics for the Ada Configuration. Formal Asp. Comput. 5(2): 91-120 (1993)
21 Paola Inverardi, Franco Mazzanti: Experimenting with Dynamic Linking with Ada. Softw., Pract. Exper. 23(1): 1-14 (1993)
1992
20 Paola Inverardi, Monica Nesi: A Strategy to Deal with Divergent Rewrite Systems. CTRS 1992: 458-467
19EEDomenico Aquilino, Patrizia Asirelli, Paola Inverardi: Prototyping in the GEDBLOG System. SEKE 1992: 194-199
18 Michele Boreale, Paola Inverardi, Monica Nesi: Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. Inf. Process. Lett. 43(3): 155-160 (1992)
1991
17 Paola Inverardi, Monica Nesi: On Rewriting Behavioral Semantics in Process Algebras. AMAST 1991: 108-116
16EENicoletta De Francesco, Paola Inverardi: A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991: 266-276
15EEPaola Inverardi, Monica Nesi: Infinite Normal Forms for Non-Linear Term Rewriting Systems. MFCS 1991: 231-239
14EEDomenico Aquilino, Patrizia Asirelli, Paola Inverardi, P. Malara: Supporting Reuse and Configuration: A Port Based SCM Model. SCM 1991: 62-67
13EEAlbert John Camilleri, Paola Inverardi, Monica Nesi: Combining Interaction and Automation in Process Algebra Verification. TAPSOFT, Vol.2 1991: 283-296
12 Paola Inverardi, Corrado Priami: Evaluation of Tools for the Analysis of Communicating Systems. Bulletin of the EATCS 45: 158-185 (1991)
1990
11 Paola Inverardi, Monica Nesi: A Rewriting Strategy to Verify Observational Congruence. Inf. Process. Lett. 35(4): 191-199 (1990)
1989
10EERocco De Nicola, Paola Inverardi, Monica Nesi: Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. Automatic Verification Methods for Finite State Systems 1989: 54-67
9EEPatrizia Asirelli, C. Billi, Paola Inverardi: Selective Refutation of Integrity Constraints in Deductive Databases. MFDBS 1989: 1-11
8EEPaola Inverardi, Simone Martini, Carlo Montangero: Is Type Checking Practical for System Configuration? TAPSOFT, Vol.2 1989: 257-271
1988
7EEStefania Gnesi, Paola Inverardi, Monica Nesi: A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Concurrency 1988: 181-196
6EEPatrizia Asirelli, Paola Inverardi, A. Mustaro: Improving Integrity Constraint Checking in Deductive Databases. ICDT 1988: 72-86
5EEPatrizia Asirelli, Paola Inverardi: Using Logic Databases in Software Development Environments. PLILP 1988: 292-299
4 Patrizia Asirelli, Paola Inverardi: EDBLOG: A Kernel for Configuration Environments. SCM 1988: 422-425
1987
3 Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari: An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335
2 Patrizia Asirelli, Paola Inverardi: Enhancing Configuration Facilities in Software Development: A Logic Approach. ESEC 1987: 55-63
1986
1 Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer: Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. Softw., Pract. Exper. 16(8): 701-717 (1986)

Coauthor Index

1Sharareh Afsharian [66]
2Jesper Andersson [136]
3F. Andolfi [51]
4Guglielmo De Angelis [126]
5Federica Aquilani [51] [56]
6Domenico Aquilino [14] [19] [29]
7Patrizia Asirelli [2] [4] [5] [6] [9] [14] [19] [25] [29] [37]
8Candida Attanasio [46] [47] [71]
9Marco Autili [103] [107] [110] [114] [117] [118] [123] [129] [130] [138]
10Simonetta Balsamo [41] [51] [56] [72] [82] [86]
11Basil Becker [136]
12Nelly Bencomo [136]
13Paolo Di Benedetto [123] [129] [130] [138]
14L. Berardinelli [117]
15Marco Bernardo [81]
16Antonia Bertolino [39] [53] [58] [78] [83] [126] [131] [137] [139]
17C. Billi [9]
18Gordon S. Blair [137]
19Andrea Bondavalli [76]
20Michele Boreale [18]
21Yuriy Brun [136]
22Antonio Bucchiarone [75]
23A. Bucci [22]
24Radu Calinescu [137]
25Albert John Camilleri [13]
26Mauro Caporuscio [74] [89] [90] [95] [97] [101] [113]
27Antonio Carzaniga [79]
28Marco Castaldi [66] [76] [79]
29Xiaojun Chen [35]
30Betty H. C. Cheng [124] [125] [133] [136] [140]
31Carla Colafigli [59]
32Daniela Colangelo [109]
33Daniele Compare [38] [42] [80] [93] [109]
34Flavio Corradini [44] [46] [47] [49] [53] [71] [104]
35Vittorio Cortellessa [84] [94] [98] [108] [116] [117] [119]
36Bojan Cukic [136]
37Antonio D'Onofrio [93]
38Domenicantonio D'Ortenzio [44]
39Schahram Dustdar [136]
40Wolfgang Emmerich [131]
41Alessandro Fantechi [1] [3] [34] [57]
42José Luiz Fiadeiro [132]
43Anthony Finkelstein [136]
44Michele Flammini [110]
45Alessandro Forghieri [92]
46Nicoletta De Francesco [16] [27] [34] [57]
47Cristina Gacek [136]
48Kurt Geihs [136]
49Carlo Ghezzi [85] [128]
50Felicita Di Giandomenico [76]
51Holger Giese [124] [125] [133] [136] [140]
52Stefania Gnesi [3] [7] [34] [57]
53Paul Grace [137]
54D. Di Grande [25]
55Vincenzo Grassi [136]
56Dan Hirsch [45] [55]
57Benedetto Intrigila [43]
58Valérie Issarny [131] [135] [137]
59Mehdi Jazayeri [99] [112]
60Bengt Jonsson [137]
61Gabor Karsai [136]
62Holger M. Kienle [136]
63Jeff Kramer [136]
64Balachander Krishnamurthy [23]
65Marta Z. Kwiatkowska [137]
66Rogério de Lemos [124] [125] [133] [136] [140]
67Norma Lijtmaer [1]
68Fotios K. Liotopoulos [131]
69Marin Litoiu [136]
70Jeff Magee (Jeff N. Magee) [124] [125] [133] [136] [140]
71P. Malara [14]
72Sam Malek [136]
73Fabio Mancinelli [64] [67] [68] [88] [94] [115] [129]
74Calogero Mangano [41]
75Antinisca Di Marco [82] [84] [86] [87] [93] [94] [95] [98] [108] [113] [116] [117] [119] [126]
76G. Marinelli [64] [67]
77Simone Martini [8] [22]
78Moreno Marzolla [86]
79Rocco Matricciani [59]
80Franco Mazzanti [21]
81Giovanna Melideo [69]
82Raffaela Mirandola [136]
83Ugo Montanari [3] [45] [55]
84Carlo Montangero [8] [35] [128]
85Leonardo Mostarda [100] [103] [105] [111] [121]
86Henry Muccini [39] [52] [53] [54] [58] [62] [68] [70] [78] [83] [96] [102] [134]
87Hausi A. Müller [136]
88A. Mustaro [6]
89Alfredo Navarra [110] [111] [118]
90Monica Nesi [7] [10] [11] [13] [15] [17] [18] [20] [31] [32] [48] [88]
91F. Nicodemi [25]
92Rocco De Nicola [10]
93Sooyong Park [136]
94Patrizio Pelliccione [62] [68] [80] [89] [90] [94] [96] [101] [102] [107] [109] [114] [134] [139]
95Vittoria De Nitto Persone [72]
96Alfonso Pierantonio [101]
97Giuseppe Plagenza [37]
98Pierre Plaza [131]
99Stefano Porcarelli [76]
100Valentina Presutti [92]
101Corrado Priami [12] [24] [26] [36]
102Andrea Rosetti [39]
103Davide Di Ruscio [101] [117] [130]
104Antonino Sabetta [126] [137]
105Simone Scriboni [63]
106Alessandra Sebastiani [80]
107Maurizio Sebastianis [92]
108Giovanna Di Marzo Serugendo [136]
109Mary Shaw [136]
110Marta Simeoni [82]
111Romina Spalazzese [135]
112Bernhard Steffen [137]
113Damien A. Tamburri [123]
114Matthias Tichy [136]
115Massimo Tivoli [61] [65] [73] [75] [77] [92] [103] [110] [117] [118] [120] [122] [126] [127] [130] [136] [137] [139]
116Sebastián Uchitel [60]
117Fabio Di Vito [69]
118Danny Weyns [136]
119Jon Whittle (Jonathan Whittle) [136]
120Alexander L. Wolf [33] [40] [42] [50] [79] [104]
121Daniel Yankelevich [23] [24] [26] [40] [50]
122Marisa Venturini Zilli [28] [43]

Colors in the list of coauthors

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