| * | 2009 |
|---|
| 140 | EE | Betty 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 |
| 139 | EE | Antonia Bertolino,
Paola Inverardi,
Patrizio Pelliccione,
Massimo Tivoli:
Automatic synthesis of behavior protocols for composable web-services.
ESEC/SIGSOFT FSE 2009: 141-150 |
| 138 | EE | Marco Autili,
Paolo Di Benedetto,
Paola Inverardi:
Context-Aware Adaptive Services: The PLASTIC Approach.
FASE 2009: 124-139 |
| 137 | EE | Valé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 |
| 136 | EE | Betty 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 |
| 135 | EE | Romina Spalazzese,
Paola Inverardi,
Valérie Issarny:
Towards a formalization of mediating connectors for on the fly interoperability.
WICSA/ECSA 2009: 345-348 |
| 134 | EE | Patrizio 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 |
| 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 | EE | 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 | EE | Paola Inverardi,
Corrado Priami,
Daniel Yankelevich:
Extended Transition Systems for Parametric Bisimulation.
ICALP 1993: 558-569 |
| 23 | EE | 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 | EE | Nicoletta De Francesco,
Paola Inverardi:
A Semantic Driven Method to Check the Finiteness of CCS Processes.
CAV 1991: 266-276 |
| 15 | EE | 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 | EE | 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 | EE | 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 | EE | Paola Inverardi,
Simone Martini,
Carlo Montangero:
Is Type Checking Practical for System Configuration?
TAPSOFT, Vol.2 1989: 257-271 |
| 1988 |
|---|
| 7 | EE | 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 | EE | 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) |
