| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Developing highly complex distributed systems: a software engineering perspective.  |
J. Internet Services and Applications  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanne M. Atlee, Paola Inverardi |
Guest Editor's Introduction: International Conference on Software Engineering.  |
IEEE Trans. Software Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Bennaceur, Paola Inverardi, Valérie Issarny, Romina Spalazzese |
Automated Synthesis of CONNECTors to support Software Evolution.  |
ERCIM News  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
Model-Based Software Performance Analysis.  |
|
2011 |
DOI RDF |
|
| 1 | Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar |
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems.  |
SEFM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivica Crnkovic, Judith A. Stafford, Dorina C. Petriu, Jens Happe, Paola Inverardi (eds.) |
7th International Conference on the Quality of Software Architectures, QoSA 2011 and 2nd International Symposium on Architecting Critical Systems, ISARCS 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings  |
QoSA/ISARCS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli |
A development process for requirements based service choreography.  |
RESS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Romina Spalazzese, Massimo Tivoli |
Application-Layer Connector Synthesis.  |
SFM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Clements, María José Escalona Cuaresma, Paola Inverardi, Ivano Malavolta, Eda Marchetti |
Exploiting software architecture to support requirements satisfaction testing.  |
SIGSOFT FSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty.  |
SIGSOFT FSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Romina Spalazzese, Paola Inverardi |
Components Interoperability through Mediating Connector Patterns  |
WCSI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti |
Towards a Stem Architecture Description Language for Self-Adaptive Systems.  |
SASO  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti |
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm.  |
ECSA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Romina Spalazzese, Paola Inverardi |
Mediating Connector Patterns for Components Interoperability.  |
ECSA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Marco Mori |
Feature oriented evolutions for context-aware adaptive systems.  |
EVOL/IWPSE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Paolo Di Benedetto, Paola Inverardi |
A programming model for adaptable Java applications.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi |
Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures?  |
QSIC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese |
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring.  |
ISoLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
Towards a Connector Algebra.  |
ISoLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Valérie Issarny, Romina Spalazzese |
A Theory of Mediators for Eternal Connectors.  |
ISoLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang 0001, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville |
Towards an Architecture for Runtime Interoperability.  |
ISoLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione |
Ad-opera: music-inspired self-adaptive systems.  |
FoSER  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizio Pelliccione, Paola Inverardi, Henry Muccini |
CHARMY: A Framework for Designing and Verifying Architectural Specifications.  |
IEEE Trans. Software Eng.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Romina Spalazzese, Paola Inverardi, Valérie Issarny |
Towards a formalization of mediating connectors for on the fly interoperability.  |
WICSA/ECSA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 ![In: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], pp. 1-26, 2009, Springer, 978-3-642-02160-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.) |
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]  |
Software Engineering for Self-Adaptive Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Paolo Di Benedetto, Paola Inverardi |
Context-Aware Adaptive Services: The PLASTIC Approach.  |
FASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Towards an assume-guarantee theory for adaptable systems.  |
SEAMS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Automatic synthesis of behavior protocols for composable web-services.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
web-services, testing, automatic synthesis, behavior protocols |
| 1 | Marco Autili, Paolo Di Benedetto, Paola Inverardi, Damien A. Tamburri |
Towards Self-evolving Context-aware Services.  |
ECEASST  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Massimo Tivoli, Paola Inverardi |
Failure-free coordinators synthesis for component-based architectures.  |
Sci. Comput. Program.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli |
A development process for context-aware adaptive services.  |
ASE Workshops  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.) |
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008  |
Software Engineering for Self-Adaptive Systems  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli |
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications.  |
COMPSAC  |
2008 |
DBLP DOI BibTeX RDF |
resource constrained systems, Resource model |
| 1 | José Luiz Fiadeiro, Paola Inverardi (eds.) |
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  |
FASE  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carlo Ghezzi, Paola Inverardi, Carlo Montangero |
Dynamically Evolvable Dependable Software: From Oxymoron to Reality.  |
Concurrency, Graphs and Models  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
The Future of Software: Adaptation and Dependability.  |
ISSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Paola Inverardi, Patrizio Pelliccione |
Graphical scenarios for specifying temporal properties: an automated approach.  |
Autom. Softw. Eng.  |
2007 |
DBLP DOI BibTeX RDF |
Scenario based notation, System requirements specification, Temporal properties specification |
| 1 | Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi |
Model-based system reconfiguration for dynamic performance management.  |
Journal of Systems and Software  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
Non-Functional Modeling and Validation in Model-Driven Architecture.  |
WICSA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Leonardo Mostarda |
DESERT: a decentralized monitoring tool generator.  |
ASE  |
2007 |
DBLP DOI BibTeX RDF |
distributed monitoring system, enforcement mechanism |
| 1 | Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli |
A Development Process for Self-adapting Service Oriented Applications.  |
ICSOC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework.  |
FASE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli |
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.  |
ICSE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mancinelli, Paola Inverardi |
Quantitative resource-oriented analysis of Java (Adaptable) applications.  |
WOSP  |
2007 |
DBLP DOI BibTeX RDF |
resource aware frameworks, adaptable applications |
| 1 | Paola Inverardi, Massimo Tivoli |
A reuse-based approach to the correct and automatic composition of web-services.  |
ESSPE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Paola Inverardi, Alexander L. Wolf |
On relating functional specifications to architectural specifications: A case study.  |
Sci. Comput. Program.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione |
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.  |
FORTE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
Software performance model-driven architecture.  |
SAC  |
2006 |
DBLP DOI BibTeX RDF |
model driven engineering, software performance |
| 1 | Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli |
Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems.  |
EWSA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Paola Inverardi, Patrizio Pelliccione |
A scenario based notation for specifying temporal properties.  |
SCESM  |
2006 |
DBLP DOI BibTeX RDF |
scenario based notation, system requirements specification, temporal properties specification |
| 1 | Paola Inverardi, Leonardo Mostarda, Alfredo Navarra |
Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks.  |
AINA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi |
Software of the Future Is the Future of Software?  |
TGC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Leonardo Mostarda |
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level.  |
WADS ![In: Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], pp. 210-236, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Mehdi Jazayeri (eds.) |
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  |
Software Education and Training Sessions @ ICSE  |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Henry Muccini, Patrizio Pelliccione |
DUALLY: Putting in Synergy UML 2.0 and ADLs.  |
WICSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili |
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.  |
ASE  |
2005 |
DBLP DOI BibTeX RDF |
component assembly, component based software engineering, component adaptation |
| 1 | Paola Inverardi, Leonardo Mostarda |
A Distributed Intrusion Detection Approach for Secure Software Architecture.  |
EWSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Caporuscio, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Alfonso Pierantonio |
Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.  |
EWSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Caporuscio, Paola Inverardi |
Uncertain event-based model for egocentric context sensing.  |
SEM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
Transformations of software models into performance models.  |
ICSE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Mehdi Jazayeri |
Introduction to education and training track.  |
ICSE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi |
Run-time performance management of the Siena publish/subscribe middleware.  |
WOSP  |
2005 |
DBLP DOI BibTeX RDF |
performance model reconfiguration, performance analysis, dynamic reconfiguration |
| 1 | Paola Inverardi, Henry Muccini, Patrizio Pelliccione |
CHARMY: an extensible tool for architectural analysis.  |
ESEC/SIGSOFT FSE  |
2005 |
DBLP DOI BibTeX RDF |
model checking, software architectures |
| 1 | Henry Muccini, Antonia Bertolino, Paola Inverardi |
Using Software Architecture for Code Testing.  |
IEEE Trans. Software Eng.  |
2004 |
DBLP DOI BibTeX RDF |
Software engineering, software architectures, tracing, testing strategies, testing and debugging |
| 1 | Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni |
Model-Based Performance Prediction in Software Development: A Survey.  |
IEEE Trans. Software Eng.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Ghezzi, Paola Inverardi |
Introduction to Special Issue on Distributed and Mobile Software Engineering.  |
Autom. Softw. Eng.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
Three Performance Models at Work: A Software Designer Perspective.  |
Electr. Notes Theor. Comput. Sci.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antinisca Di Marco, Paola Inverardi |
Compositional Generation of Software Architecture Performance QN Models.  |
WICSA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi |
Automated Performance Validation of Software Design: An Industrial Experience.  |
ASE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi |
Compositionality, Coordination and Software Architecture.  |
COORDINATION  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Fabio Mancinelli, Monica Nesi |
A declarative framework for adaptable applications in heterogeneous environments.  |
SAC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione |
Formal Analysis of Architectural Patterns.  |
EWSA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis |
Correct Components Assembly for a Product Data Management Cooperative System.  |
CBSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione |
Compositional Verification of Middleware-Based Software Architecture Descriptions.  |
ICSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simonetta Balsamo, Moreno Marzolla, Antinisca Di Marco, Paola Inverardi |
Experimenting different software architectures performance techniques: a case study.  |
WOSP  |
2004 |
DBLP DOI BibTeX RDF |
simulation, performance modeling, process algebra |
| 1 | Candida Attanasio, Flavio Corradini, Paola Inverardi |
Static analysis of real-time component-based systems configurations.  |
Sci. Comput. Program.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Henry Muccini |
Software Architectures and Coordination Models.  |
The Journal of Supercomputing  |
2003 |
DBLP DOI BibTeX RDF |
UML process, UML, software architecture, coordination |
| 1 | Paola Inverardi, Massimo Tivoli |
Deadlock-free software architectures for COM/DCOM Applications.  |
Journal of Systems and Software  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Castaldi, Antonio Carzaniga, Paola Inverardi, Alexander L. Wolf |
A Lightweight Infrastructure for Reconfiguring Applications.  |
SCM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Caporuscio, Paola Inverardi |
Yet Another Framework for Supporting Mobile and Collaborative Work.  |
WETICE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone |
Automatic synthesis of coordinators for COTS group-ware applications: an example.  |
WETICE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Paola Inverardi (eds.) |
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  |
SFM  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
Software Architecture for Correct Components Assembly.  |
SFM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Paola Inverardi, Henry Muccini |
Formal Methods in Testing Software Architectures.  |
SFM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani |
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.  |
FME  |
2003 |
DBLP DOI BibTeX RDF |
model checking, software development process, Architectural analysis, models consistency |
| 1 | Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi |
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems.  |
WADS ![In: Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems], pp. 167-190, 2003, Springer, 3-540-23168-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione |
An Experience in Architectural Extensions: Active Objects in J2EE.  |
FIDJI  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, G. Marinelli, Fabio Mancinelli |
Adaptive Applications for Mobile Heterogenous Devices.  |
ICDCS Workshops  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Castaldi, Paola Inverardi, Sharareh Afsharian |
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture.  |
MASCOTS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Fabio Mancinelli, G. Marinelli |
Correct deployment and adaptation of software applications on heterogenous (mobile) devices.  |
WOSS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
Automatic Failures-Free Connector Synthesis: An Example.  |
RISSEF  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|