| 2009 |
|---|
| 134 | EE | Marco Autili,
Paolo Di Benedetto,
Paola Inverardi:
Context-Aware Adaptive Services: The PLASTIC Approach.
FASE 2009: 124-139 |
| 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 |
| 131 | EE | Antonia 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 |
| 130 | EE | Marco Autili,
Paolo Di Benedetto,
Davide Di Ruscio,
Paola Inverardi,
Massimo Tivoli:
A development process for context-aware adaptive services.
ASE Workshops 2008: 9-16 |
| 129 | EE | Marco Autili,
Paolo Di Benedetto,
Paola Inverardi,
Fabio Mancinelli:
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications.
COMPSAC 2008: 1329-1334 |
| 128 | EE | Carlo Ghezzi,
Paola Inverardi,
Carlo Montangero:
Dynamically Evolvable Dependable Software: From Oxymoron to Reality.
Concurrency, Graphs and Models 2008: 330-353 |
| 127 | EE | Paola Inverardi,
Massimo Tivoli:
The Future of Software: Adaptation and Dependability.
ISSSE 2008: 1-31 |
| 126 | EE | Antonia 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 |
| 125 | EE | Betty 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 |
| 124 | EE | Betty 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 |
| 123 | EE | Marco Autili,
Paolo Di Benedetto,
Paola Inverardi,
Damien A. Tamburri:
Towards Self-evolving Context-aware Services.
ECEASST 11: (2008) |
| 122 | EE | Massimo Tivoli,
Paola Inverardi:
Failure-free coordinators synthesis for component-based architectures.
Sci. Comput. Program. 71(3): 181-212 (2008) |
| 2007 |
|---|
| 121 | EE | Paola Inverardi,
Leonardo Mostarda:
DESERT: a decentralized monitoring tool generator.
ASE 2007: 529-530 |
| 120 | EE | Paola Inverardi,
Massimo Tivoli:
A reuse-based approach to the correct and automatic composition of web-services.
ESSPE 2007: 29-33 |
| 119 | EE | Vittorio Cortellessa,
Antinisca Di Marco,
Paola Inverardi:
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework.
FASE 2007: 57-71 |
| 118 | EE | Marco Autili,
Paola Inverardi,
Alfredo Navarra,
Massimo Tivoli:
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.
ICSE 2007: 784-787 |
| 117 | EE | Marco 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 |
| 116 | EE | Vittorio Cortellessa,
Antinisca Di Marco,
Paola Inverardi:
Non-Functional Modeling and Validation in Model-Driven Architecture.
WICSA 2007: 25 |
| 115 | EE | Fabio Mancinelli,
Paola Inverardi:
Quantitative resource-oriented analysis of Java (Adaptable) applications.
WOSP 2007: 15-25 |
| 114 | EE | Marco Autili,
Paola Inverardi,
Patrizio Pelliccione:
Graphical scenarios for specifying temporal properties: an automated approach.
Autom. Softw. Eng. 14(3): 293-340 (2007) |
| 113 | EE | Mauro 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 |
| 111 | EE | Paola Inverardi,
Leonardo Mostarda,
Alfredo Navarra:
Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks.
AINA (2) 2006: 116-120 |
| 110 | EE | Marco Autili,
Michele Flammini,
Paola Inverardi,
Alfredo Navarra,
Massimo Tivoli:
Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems.
EWSA 2006: 17-32 |
| 109 | EE | Daniela Colangelo,
Daniele Compare,
Paola Inverardi,
Patrizio Pelliccione:
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.
FORTE 2006: 243-258 |
| 108 | EE | Vittorio Cortellessa,
Antinisca Di Marco,
Paola Inverardi:
Software performance model-driven architecture.
SAC 2006: 1218-1223 |
| 107 | EE | Marco Autili,
Paola Inverardi,
Patrizio Pelliccione:
A scenario based notation for specifying temporal properties.
SCESM 2006: 21-28 |
| 106 | EE | Paola Inverardi:
Software of the Future Is the Future of Software?
TGC 2006: 69-85 |
| 105 | EE | Paola Inverardi,
Leonardo Mostarda:
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level.
WADS 2006: 210-236 |
| 104 | EE | Flavio 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 |
|---|
| 103 | EE | Paola Inverardi,
Leonardo Mostarda,
Massimo Tivoli,
Marco Autili:
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.
ASE 2005: 405-409 |
| 102 | EE | Paola Inverardi,
Henry Muccini,
Patrizio Pelliccione:
CHARMY: an extensible tool for architectural analysis.
ESEC/SIGSOFT FSE 2005: 111-114 |
| 101 | EE | Mauro Caporuscio,
Davide Di Ruscio,
Paola Inverardi,
Patrizio Pelliccione,
Alfonso Pierantonio:
Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.
EWSA 2005: 130-145 |
| 100 | EE | Paola Inverardi,
Leonardo Mostarda:
A Distributed Intrusion Detection Approach for Secure Software Architecture.
EWSA 2005: 168-184 |
| 99 | EE | Paola Inverardi,
Mehdi Jazayeri:
Introduction to education and training track.
ICSE 2005: 606 |
| 98 | EE | Vittorio Cortellessa,
Antinisca Di Marco,
Paola Inverardi:
Transformations of software models into performance models.
ICSE 2005: 728-729 |
| 97 | EE | Mauro Caporuscio,
Paola Inverardi:
Uncertain event-based model for egocentric context sensing.
SEM 2005: 25-32 |
| 96 | EE | Paola Inverardi,
Henry Muccini,
Patrizio Pelliccione:
DUALLY: Putting in Synergy UML 2.0 and ADLs.
WICSA 2005: 251-252 |
| 95 | EE | Mauro Caporuscio,
Antinisca Di Marco,
Paola Inverardi:
Run-time performance management of the Siena publish/subscribe middleware.
WOSP 2005: 65-74 |
| 94 | EE | Vittorio 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 |
|---|
| 93 | EE | Daniele Compare,
Antonio D'Onofrio,
Antinisca Di Marco,
Paola Inverardi:
Automated Performance Validation of Software Design: An Industrial Experience.
ASE 2004: 298-301 |
| 92 | EE | Massimo Tivoli,
Paola Inverardi,
Valentina Presutti,
Alessandro Forghieri,
Maurizio Sebastianis:
Correct Components Assembly for a Product Data Management Cooperative System.
CBSE 2004: 84-99 |
| 91 | EE | Paola Inverardi:
Compositionality, Coordination and Software Architecture.
COORDINATION 2004: 3-4 |
| 90 | EE | Mauro Caporuscio,
Paola Inverardi,
Patrizio Pelliccione:
Formal Analysis of Architectural Patterns.
EWSA 2004: 10-24 |
| 89 | EE | Mauro Caporuscio,
Paola Inverardi,
Patrizio Pelliccione:
Compositional Verification of Middleware-Based Software Architecture Descriptions.
ICSE 2004: 221-230 |
| 88 | EE | Paola Inverardi,
Fabio Mancinelli,
Monica Nesi:
A declarative framework for adaptable applications in heterogeneous environments.
SAC 2004: 1177-1183 |
| 87 | EE | Antinisca Di Marco,
Paola Inverardi:
Compositional Generation of Software Architecture Performance QN Models.
WICSA 2004: 37-46 |
| 86 | EE | Simonetta Balsamo,
Moreno Marzolla,
Antinisca Di Marco,
Paola Inverardi:
Experimenting different software architectures performance techniques: a case study.
WOSP 2004: 115-119 |
| 85 | EE | Carlo Ghezzi,
Paola Inverardi:
Introduction to Special Issue on Distributed and Mobile Software Engineering.
Autom. Softw. Eng. 11(3): 203-205 (2004) |
| 84 | EE | Vittorio Cortellessa,
Antinisca Di Marco,
Paola Inverardi:
Three Performance Models at Work: A Software Designer Perspective.
Electr. Notes Theor. Comput. Sci. 97: 219-239 (2004) |
| 83 | EE | Henry Muccini,
Antonia Bertolino,
Paola Inverardi:
Using Software Architecture for Code Testing.
IEEE Trans. Software Eng. 30(3): 160-171 (2004) |
| 82 | EE | Simonetta 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 |
| 80 | EE | Daniele Compare,
Paola Inverardi,
Patrizio Pelliccione,
Alessandra Sebastiani:
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.
FME 2003: 114-132 |
| 79 | EE | Marco Castaldi,
Antonio Carzaniga,
Paola Inverardi,
Alexander L. Wolf:
A Lightweight Infrastructure for Reconfiguring Applications.
SCM 2003: 231-244 |
| 78 | EE | Antonia Bertolino,
Paola Inverardi,
Henry Muccini:
Formal Methods in Testing Software Architectures.
SFM 2003: 122-147 |
| 77 | EE | Paola Inverardi,
Massimo Tivoli:
Software Architecture for Correct Components Assembly.
SFM 2003: 92-121 |
| 76 | EE | Stefano Porcarelli,
Marco Castaldi,
Felicita Di Giandomenico,
Andrea Bondavalli,
Paola Inverardi:
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems.
WADS 2003: 167-190 |
| 75 | EE | Paola Inverardi,
Massimo Tivoli,
Antonio Bucchiarone:
Automatic synthesis of coordinators for COTS group-ware applications: an example.
WETICE 2003: 123- |
| 74 | EE | Mauro Caporuscio,
Paola Inverardi:
Yet Another Framework for Supporting Mobile and Collaborative Work.
WETICE 2003: 81-86 |
| 73 | EE | Paola 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) |
| 71 | EE | Candida Attanasio,
Flavio Corradini,
Paola Inverardi:
Static analysis of real-time component-based systems configurations.
Sci. Comput. Program. 46(1-2): 5-30 (2003) |
| 70 | EE | Paola 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 |
| 68 | EE | Paola Inverardi,
Fabio Mancinelli,
Henry Muccini,
Patrizio Pelliccione:
An Experience in Architectural Extensions: Active Objects in J2EE.
FIDJI 2002: 87-98 |
| 67 | EE | Paola Inverardi,
G. Marinelli,
Fabio Mancinelli:
Adaptive Applications for Mobile Heterogenous Devices.
ICDCS Workshops 2002: 410-418 |
| 66 | EE | Marco Castaldi,
Paola Inverardi,
Sharareh Afsharian:
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture.
MASCOTS 2002: 281-290 |
| 65 | EE | Paola Inverardi,
Massimo Tivoli:
Automatic Failures-Free Connector Synthesis: An Example.
RISSEF 2002: 184-197 |
| 64 | EE | Paola Inverardi,
Fabio Mancinelli,
G. Marinelli:
Correct deployment and adaptation of software applications on heterogenous (mobile) devices.
WOSS 2002: 108-110 |
| 2001 |
|---|
| 63 | EE | Paola Inverardi,
Simone Scriboni:
Connectors Synthesis for Deadlock-Free Component-Based Architectures.
ASE 2001: 174- |
| 62 | EE | Paola Inverardi,
Henry Muccini,
Patrizio Pelliccione:
Automated Check of Architectural Models Consistency Using SPIN.
ASE 2001: 346-349 |
| 61 | EE | Paola Inverardi,
Massimo Tivoli:
Automatic synthesis of deadlock free connectors for COM/DCOM applications.
ESEC / SIGSOFT FSE 2001: 121-131 |
| 60 | EE | Paola Inverardi,
Sebastián Uchitel:
Proving Deadlock Freedom in Component-Based Programming.
FASE 2001: 60-75 |
| 59 | EE | Carla 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 |
| 57 | EE | Nicoletta 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 |
|---|
| 55 | EE | Dan Hirsch,
Paola Inverardi,
Ugo Montanari:
Reconfiguration of Software Architecture Styles with Name Mobility.
COORDINATION 2000: 148-163 |
| 54 | EE | Paola Inverardi,
Henry Muccini:
Coordination Models and Software Architectures in a Unified Software Development Process.
COORDINATION 2000: 323-328 |
| 53 | EE | Antonia 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 |
| 51 | EE | F. 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 |
| 50 | EE | Paola 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) |
| 49 | EE | Flavio 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 |
| 47 | EE | Candida 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 |
|---|
| 41 | EE | Simonetta 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 |
| 39 | EE | Antonia 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 |
| 37 | EE | Patrizia 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 |
| 33 | EE | Paola 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) |
| 32 | EE | Paola Inverardi,
Monica Nesi:
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting.
Theor. Comput. Sci. 139(1&2): 315-354 (1995) |
| 31 | EE | Paola 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 |
| 28 | | Paola 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 |
|---|
| 24 | | Paola Inverardi,
Corrado Priami,
Daniel Yankelevich:
Extended Transition Systems for Parametric Bisimulation.
ICALP 1993: 558-569 |
| 23 | | Paola 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 |
| 19 | EE | Domenico 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 |
| 16 | | Nicoletta De Francesco,
Paola Inverardi:
A Semantic Driven Method to Check the Finiteness of CCS Processes.
CAV 1991: 266-276 |
| 15 | | Paola Inverardi,
Monica Nesi:
Infinite Normal Forms for Non-Linear Term Rewriting Systems.
MFCS 1991: 231-239 |
| 14 | EE | Domenico Aquilino,
Patrizia Asirelli,
Paola Inverardi,
P. Malara:
Supporting Reuse and Configuration: A Port Based SCM Model.
SCM 1991: 62-67 |
| 13 | | Albert 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 |
|---|
| 10 | | Rocco 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 |
| 9 | EE | Patrizia Asirelli,
C. Billi,
Paola Inverardi:
Selective Refutation of Integrity Constraints in Deductive Databases.
MFDBS 1989: 1-11 |
| 8 | | Paola Inverardi,
Simone Martini,
Carlo Montangero:
Is Type Checking Practical for System Configuration?
TAPSOFT, Vol.2 1989: 257-271 |
| 1988 |
|---|
| 7 | | Stefania Gnesi,
Paola Inverardi,
Monica Nesi:
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.
Concurrency 1988: 181-196 |
| 6 | EE | Patrizia Asirelli,
Paola Inverardi,
A. Mustaro:
Improving Integrity Constraint Checking in Deductive Databases.
ICDT 1988: 72-86 |
| 5 | | Patrizia 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) |
