The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Paola Inverardi" ( http://dblp.L3S.de/Authors/Paola_Inverardi )

URL (Homepage):  http://www.di.univaq.it/inverard/paola.html  Author page on DBLP  Author page in RDF  Community of Paola Inverardi in ASPL-2

Publication years (Num. hits)
1986-1991 (17) 1992-1995 (18) 1996-2000 (20) 2001-2003 (26) 2004-2005 (22) 2006-2007 (18) 2008-2009 (20) 2010-2011 (19) 2012 (3)
Publication types (Num. hits)
article(38) book(1) inproceedings(118) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 52 occurrences of 44 keywords

Results
Found 163 publication records. Showing 163 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli Developing highly complex distributed systems: a software engineering perspective. Search on Bibsonomy J. Internet Services and Applications The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joanne M. Atlee, Paola Inverardi Guest Editor's Introduction: International Conference on Software Engineering. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Amel Bennaceur, Paola Inverardi, Valérie Issarny, Romina Spalazzese Automated Synthesis of CONNECTors to support Software Evolution. Search on Bibsonomy ERCIM News The full citation details ... 2012 DBLP  BibTeX  RDF
1Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi Model-Based Software Performance Analysis. Search on Bibsonomy 2011   DOI  RDF
1Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ivica 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 Search on Bibsonomy QoSA/ISARCS The full citation details ... 2011 DBLP  BibTeX  RDF
1Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli A development process for requirements based service choreography. Search on Bibsonomy RESS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Romina Spalazzese, Massimo Tivoli Application-Layer Connector Synthesis. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paul C. Clements, María José Escalona Cuaresma, Paola Inverardi, Ivano Malavolta, Eda Marchetti Exploiting software architecture to support requirements satisfaction testing. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Romina Spalazzese, Paola Inverardi Components Interoperability through Mediating Connector Patterns Search on Bibsonomy WCSI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti Towards a Stem Architecture Description Language for Self-Adaptive Systems. Search on Bibsonomy SASO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti Learning from the Cell Life-Cycle: A Self-adaptive Paradigm. Search on Bibsonomy ECSA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Romina Spalazzese, Paola Inverardi Mediating Connector Patterns for Components Interoperability. Search on Bibsonomy ECSA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Marco Mori Feature oriented evolutions for context-aware adaptive systems. Search on Bibsonomy EVOL/IWPSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Autili, Paolo Di Benedetto, Paola Inverardi A programming model for adaptable Java applications. Search on Bibsonomy PPPJ The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paola Inverardi Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures? Search on Bibsonomy QSIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. Search on Bibsonomy ISoLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli Towards a Connector Algebra. Search on Bibsonomy ISoLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Valérie Issarny, Romina Spalazzese A Theory of Mediators for Eternal Connectors. Search on Bibsonomy ISoLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Amel 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. Search on Bibsonomy ISoLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione Ad-opera: music-inspired self-adaptive systems. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrizio Pelliccione, Paola Inverardi, Henry Muccini CHARMY: A Framework for Designing and Verifying Architectural Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Romina Spalazzese, Paola Inverardi, Valérie Issarny Towards a formalization of mediating connectors for on the fly interoperability. Search on Bibsonomy WICSA/ECSA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Betty 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. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Betty 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] Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Autili, Paolo Di Benedetto, Paola Inverardi Context-Aware Adaptive Services: The PLASTIC Approach. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Valé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. Search on Bibsonomy ICECCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli Towards an assume-guarantee theory for adaptable systems. Search on Bibsonomy SEAMS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli Automatic synthesis of behavior protocols for composable web-services. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF web-services, testing, automatic synthesis, behavior protocols
1Marco Autili, Paolo Di Benedetto, Paola Inverardi, Damien A. Tamburri Towards Self-evolving Context-aware Services. Search on Bibsonomy ECEASST The full citation details ... 2008 DBLP  BibTeX  RDF
1Massimo Tivoli, Paola Inverardi Failure-free coordinators synthesis for component-based architectures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli A development process for context-aware adaptive services. Search on Bibsonomy ASE Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Antonia Bertolino, Wolfgang Emmerich, Paola Inverardi, Valérie Issarny, Fotios K. Liotopoulos, Pierre Plaza PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. Search on Bibsonomy ASE Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos 08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos 08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Betty 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 Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF resource constrained systems, Resource model
1José 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 Search on Bibsonomy FASE The full citation details ... 2008 DBLP  BibTeX  RDF
1Carlo Ghezzi, Paola Inverardi, Carlo Montangero Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli A Framework for Analyzing and Testing the Performance of Software Services. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Massimo Tivoli The Future of Software: Adaptation and Dependability. Search on Bibsonomy ISSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Autili, Paola Inverardi, Patrizio Pelliccione Graphical scenarios for specifying temporal properties: an automated approach. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Scenario based notation, System requirements specification, Temporal properties specification
1Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi Model-based system reconfiguration for dynamic performance management. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi Non-Functional Modeling and Validation in Model-Driven Architecture. Search on Bibsonomy WICSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Leonardo Mostarda DESERT: a decentralized monitoring tool generator. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF distributed monitoring system, enforcement mechanism
1Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli A Development Process for Self-adapting Service Oriented Applications. Search on Bibsonomy ICSOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. Search on Bibsonomy FASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fabio Mancinelli, Paola Inverardi Quantitative resource-oriented analysis of Java (Adaptable) applications. Search on Bibsonomy WOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF resource aware frameworks, adaptable applications
1Paola Inverardi, Massimo Tivoli A reuse-based approach to the correct and automatic composition of web-services. Search on Bibsonomy ESSPE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Paola Inverardi, Alexander L. Wolf On relating functional specifications to architectural specifications: A case study. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi Software performance model-driven architecture. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model driven engineering, software performance
1Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. Search on Bibsonomy EWSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Autili, Paola Inverardi, Patrizio Pelliccione A scenario based notation for specifying temporal properties. Search on Bibsonomy SCESM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF scenario based notation, system requirements specification, temporal properties specification
1Paola Inverardi, Leonardo Mostarda, Alfredo Navarra Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks. Search on Bibsonomy AINA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paola Inverardi Software of the Future Is the Future of Software? Search on Bibsonomy TGC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Leonardo Mostarda A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. Search on Bibsonomy WADS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paola 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 Search on Bibsonomy Software Education and Training Sessions @ ICSE The full citation details ... 2006 DBLP  BibTeX  RDF
1Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Fabio Mancinelli, Patrizio Pelliccione A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Henry Muccini, Patrizio Pelliccione DUALLY: Putting in Synergy UML 2.0 and ADLs. Search on Bibsonomy WICSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF component assembly, component based software engineering, component adaptation
1Paola Inverardi, Leonardo Mostarda A Distributed Intrusion Detection Approach for Secure Software Architecture. Search on Bibsonomy EWSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mauro Caporuscio, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Alfonso Pierantonio Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications. Search on Bibsonomy EWSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mauro Caporuscio, Paola Inverardi Uncertain event-based model for egocentric context sensing. Search on Bibsonomy SEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi Transformations of software models into performance models. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Mehdi Jazayeri Introduction to education and training track. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi Run-time performance management of the Siena publish/subscribe middleware. Search on Bibsonomy WOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF performance model reconfiguration, performance analysis, dynamic reconfiguration
1Paola Inverardi, Henry Muccini, Patrizio Pelliccione CHARMY: an extensible tool for architectural analysis. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, software architectures
1Henry Muccini, Antonia Bertolino, Paola Inverardi Using Software Architecture for Code Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Software engineering, software architectures, tracing, testing strategies, testing and debugging
1Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni Model-Based Performance Prediction in Software Development: A Survey. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Paola Inverardi Introduction to Special Issue on Distributed and Mobile Software Engineering. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi Three Performance Models at Work: A Software Designer Perspective. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Antinisca Di Marco, Paola Inverardi Compositional Generation of Software Architecture Performance QN Models. Search on Bibsonomy WICSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi Automated Performance Validation of Software Design: An Industrial Experience. Search on Bibsonomy ASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paola Inverardi Compositionality, Coordination and Software Architecture. Search on Bibsonomy COORDINATION The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Fabio Mancinelli, Monica Nesi A declarative framework for adaptable applications in heterogeneous environments. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione Formal Analysis of Architectural Patterns. Search on Bibsonomy EWSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis Correct Components Assembly for a Product Data Management Cooperative System. Search on Bibsonomy CBSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione Compositional Verification of Middleware-Based Software Architecture Descriptions. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Simonetta Balsamo, Moreno Marzolla, Antinisca Di Marco, Paola Inverardi Experimenting different software architectures performance techniques: a case study. Search on Bibsonomy WOSP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF simulation, performance modeling, process algebra
1Candida Attanasio, Flavio Corradini, Paola Inverardi Static analysis of real-time component-based systems configurations. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Simonetta Balsamo, Vittoria De Nitto Persone, Paola Inverardi A review on queueing network models with finite capacity queues for software architectures performance prediction. Search on Bibsonomy Perform. Eval. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Henry Muccini Software Architectures and Coordination Models. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF UML process, UML, software architecture, coordination
1Paola Inverardi, Massimo Tivoli Deadlock-free software architectures for COM/DCOM Applications. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marco Castaldi, Antonio Carzaniga, Paola Inverardi, Alexander L. Wolf A Lightweight Infrastructure for Reconfiguring Applications. Search on Bibsonomy SCM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mauro Caporuscio, Paola Inverardi Yet Another Framework for Supporting Mobile and Collaborative Work. Search on Bibsonomy WETICE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone Automatic synthesis of coordinators for COTS group-ware applications: an example. Search on Bibsonomy WETICE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marco 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 Search on Bibsonomy SFM The full citation details ... 2003 DBLP  BibTeX  RDF
1Paola Inverardi, Massimo Tivoli Software Architecture for Correct Components Assembly. Search on Bibsonomy SFM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Antonia Bertolino, Paola Inverardi, Henry Muccini Formal Methods in Testing Software Architectures. Search on Bibsonomy SFM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, software development process, Architectural analysis, models consistency
1Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. Search on Bibsonomy WADS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione An Experience in Architectural Extensions: Active Objects in J2EE. Search on Bibsonomy FIDJI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, G. Marinelli, Fabio Mancinelli Adaptive Applications for Mobile Heterogenous Devices. Search on Bibsonomy ICDCS Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marco Castaldi, Paola Inverardi, Sharareh Afsharian A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture. Search on Bibsonomy MASCOTS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Fabio Mancinelli, G. Marinelli Correct deployment and adaptation of software applications on heterogenous (mobile) devices. Search on Bibsonomy WOSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Massimo Tivoli Automatic Failures-Free Connector Synthesis: An Example. Search on Bibsonomy RISSEF The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fabio Di Vito, Paola Inverardi, Giovanna Melideo A Context-Aware Approach to Infer Trust in Public Key Infrastructures. Search on Bibsonomy Certification and Security in E-Services The full citation details ... 2002 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 163 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.