Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paola Inverardi
2010 – today
- 2013
[j41]Antonia Bertolino, Paola Inverardi, Henry Muccini: Software architecture-based analysis and testing: a look into achievements and future challenges. Computing 95(8): 633-648 (2013)- [j40]Marco Autili, Paolo Di Benedetto, Paola Inverardi: A hybrid approach for resource-based comparison of adaptable Java applications. Sci. Comput. Program. 78(8): 987-1009 (2013)
- [c128]Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli: A Model-Based Synthesis Process for Choreography Realizability Enforcement. FASE 2013: 37-52
- [c127]Paola Inverardi, Massimo Tivoli: Automatic synthesis of modular connectors via composition of protocol mediation patterns. ICSE 2013: 3-12
- [c126]Antinisca Di Marco, Paola Inverardi, Romina Spalazzese: Synthesizing self-adaptive connectors meeting functional and performance concerns. SEAMS 2013: 133-142
- [c125]Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli: Producing software by integration: challenges and research directions (keynote). ESEC/SIGSOFT FSE 2013: 2-12
- [c124]Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi: A publication culture in software engineering (panel). ESEC/SIGSOFT FSE 2013: 19-23
- [c123]Paola Inverardi: Taming the uncertainty: variability as a means for predictable system evolution. VaMoS 2013: 2
- 2012
- [j39]Amel Bennaceur, Paola Inverardi, Valérie Issarny, Romina Spalazzese: Automated Synthesis of CONNECTors to support Software Evolution. ERCIM News 2012(88) (2012)
- [j38]Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Developing highly complex distributed systems: a software engineering perspective. J. Internet Services and Applications 3(1): 15-22 (2012)
- [j37]Joanne M. Atlee, Paola Inverardi: Guest Editor's Introduction: International Conference on Software Engineering. IEEE Trans. Software Eng. 38(1): 3-4 (2012)
- [c122]Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. Monterey Workshop 2012: 118-131
- 2011
- [b1]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Model-Based Software Performance Analysis. Springer 2011, ISBN 978-3-642-13620-7, pp. I-XII, 1-190
- [c121]Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli: A development process for requirements based service choreography. RESS 2011: 59-62
- [c120]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: 286-301
- [c119]Paola Inverardi, Romina Spalazzese, Massimo Tivoli: Application-Layer Connector Synthesis. SFM 2011: 148-190
- [c118]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: 484-487
- [c117]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: 488-491
- [e6]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. ACM 2011, ISBN 978-1-4503-0724-6
- 2010
- [c116]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke: Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32
- [c115]Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla, Paola Inverardi, Thomas Vogel: Software Engineering Processes for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2010: 51-75
- [c114]Paola Inverardi, Marco Mori: A Software Lifecycle Process to Support Consistent Evolutions. Software Engineering for Self-Adaptive Systems 2010: 239-264
- [c113]Romina Spalazzese, Paola Inverardi: Mediating Connector Patterns for Components Interoperability. ECSA 2010: 335-343
- [c112]Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti: Learning from the Cell Life-Cycle: A Self-adaptive Paradigm. ECSA 2010: 485-488
- [c111]Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, 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 (2) 2010: 206-220
- [c110]Paola Inverardi, Valérie Issarny, Romina Spalazzese: A Theory of Mediators for Eternal Connectors. ISoLA (2) 2010: 236-250
- [c109]Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese: On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. ISoLA (2) 2010: 251-262
- [c108]Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli: Towards a Connector Algebra. ISoLA (2) 2010: 278-292
- [c107]Paola Inverardi, Marco Mori: Feature oriented evolutions for context-aware adaptive systems. EVOL/IWPSE 2010: 93-97
- [c106]Marco Autili, Paolo Di Benedetto, Paola Inverardi: A programming model for adaptable Java applications. PPPJ 2010: 119-128
- [c105]Paola Inverardi: Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures? QSIC 2010: 1
- [c104]Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti: Towards a Stem Architecture Description Language for Self-Adaptive Systems. SASO 2010: 269-270
- [c103]Alessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione: Ad-opera: music-inspired self-adaptive systems. FoSER 2010: 119-124
- [c102]Romina Spalazzese, Paola Inverardi: Components Interoperability through Mediating Connector Patterns. WCSI 2010: 27-41
2000 – 2009
- 2009
- [j36]Patrizio Pelliccione, Paola Inverardi, Henry Muccini: CHARMY: A Framework for Designing and Verifying Architectural Specifications. IEEE Trans. Software Eng. 35(3): 325-346 (2009)
- [c101]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
- [c100]Marco Autili, Paolo Di Benedetto, Paola Inverardi: Context-Aware Adaptive Services: The PLASTIC Approach. FASE 2009: 124-139
- [c99]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
- [c98]Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Towards an assume-guarantee theory for adaptable systems. SEAMS 2009: 106-115
- [c97]Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150
- [c96]Romina Spalazzese, Paola Inverardi, Valérie Issarny: Towards a formalization of mediating connectors for on the fly interoperability. WICSA/ECSA 2009: 345-348
- [e5]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]. Lecture Notes in Computer Science 5525, Springer 2009, ISBN 978-3-642-02160-2
- 2008
- [j35]Marco Autili, Paolo Di Benedetto, Paola Inverardi, Damien A. Tamburri: Towards Self-evolving Context-aware Services. ECEASST 11 (2008)
- [j34]Massimo Tivoli, Paola Inverardi: Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71(3): 181-212 (2008)
- [c95]Carlo Ghezzi, Paola Inverardi, Carlo Montangero: Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353
- [c94]Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli: A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. COMPSAC 2008: 1329-1334
- [c93]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
- [c92]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
- [c91]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
- [c90]Paola Inverardi, Massimo Tivoli: The Future of Software: Adaptation and Dependability. ISSSE 2008: 1-31
- [c89]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
- [c88]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
- [e4]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. Dagstuhl Seminar Proceedings 08031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
- [e3]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. Lecture Notes in Computer Science 4961, Springer 2008, ISBN 978-3-540-78742-6
- 2007
- [j33]Marco Autili, Paola Inverardi, Patrizio Pelliccione: Graphical scenarios for specifying temporal properties: an automated approach. Autom. Softw. Eng. 14(3): 293-340 (2007)
- [j32]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)
- [c87]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. FASE 2007: 57-71
- [c86]Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli: SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787
- [c85]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: 442-448
- [c84]Paola Inverardi, Leonardo Mostarda: DESERT: a decentralized monitoring tool generator. ASE 2007: 529-530
- [c83]Paola Inverardi, Massimo Tivoli: A reuse-based approach to the correct and automatic composition of web-services. ESSPE 2007: 29-33
- [c82]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Non-Functional Modeling and Validation in Model-Driven Architecture. WICSA 2007: 25
- [c81]Fabio Mancinelli, Paola Inverardi: Quantitative resource-oriented analysis of Java (Adaptable) applications. WOSP 2007: 15-25
- 2006
- [j31]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)
- [c80]Paola Inverardi, Leonardo Mostarda, Alfredo Navarra: Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks. AINA (2) 2006: 116-120
- [c79]Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli: Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. EWSA 2006: 17-32
- [c78]Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione: Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. FORTE 2006: 243-258
- [c77]Paola Inverardi, Leonardo Mostarda: A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. WADS 2006: 210-236
- [c76]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Software performance model-driven architecture. SAC 2006: 1218-1223
- [c75]Marco Autili, Paola Inverardi, Patrizio Pelliccione: A scenario based notation for specifying temporal properties. SCESM 2006: 21-28
- [c74]
- [e2]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. Lecture Notes in Computer Science 4309, Springer 2006, ISBN 3-540-68203-1
- 2005
- [j30]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)
- [c73]Mauro Caporuscio, Paola Inverardi: Uncertain event-based model for egocentric context sensing. SEM 2005: 25-32
- [c72]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
- [c71]Paola Inverardi, Leonardo Mostarda: A Distributed Intrusion Detection Approach for Secure Software Architecture. EWSA 2005: 168-184
- [c70]
- [c69]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi: Transformations of software models into performance models. ICSE 2005: 728-729
- [c68]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
- [c67]Paola Inverardi, Henry Muccini, Patrizio Pelliccione: CHARMY: an extensible tool for architectural analysis. ESEC/SIGSOFT FSE 2005: 111-114
- [c66]Paola Inverardi, Henry Muccini, Patrizio Pelliccione: DUALLY: Putting in Synergy UML 2.0 and ADLs. WICSA 2005: 251-252
- [c65]Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi: Run-time performance management of the Siena publish/subscribe middleware. WOSP 2005: 65-74
- 2004
- [j29]Carlo Ghezzi, Paola Inverardi: Introduction to Special Issue on Distributed and Mobile Software Engineering. Autom. Softw. Eng. 11(3): 203-205 (2004)
- [j28]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)
- [j27]Henry Muccini, Antonia Bertolino, Paola Inverardi: Using Software Architecture for Code Testing. IEEE Trans. Software Eng. 30(3): 160-171 (2004)
- [j26]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)
- [c64]Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis: Correct Components Assembly for a Product Data Management Cooperative System. CBSE 2004: 84-99
- [c63]
- [c62]Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione: Formal Analysis of Architectural Patterns. EWSA 2004: 10-24
- [c61]Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione: Compositional Verification of Middleware-Based Software Architecture Descriptions. ICSE 2004: 221-230
- [c60]Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi: Automated Performance Validation of Software Design: An Industrial Experience. ASE 2004: 298-301
- [c59]Paola Inverardi, Fabio Mancinelli, Monica Nesi: A declarative framework for adaptable applications in heterogeneous environments. SAC 2004: 1177-1183
- [c58]Antinisca Di Marco, Paola Inverardi: Compositional Generation of Software Architecture Performance QN Models. WICSA 2004: 37-46
- [c57]Simonetta Balsamo, Moreno Marzolla, Antinisca Di Marco, Paola Inverardi: Experimenting different software architectures performance techniques: a case study. WOSP 2004: 115-119
- 2003
- [j25]Paola Inverardi, Massimo Tivoli: Deadlock-free software architectures for COM/DCOM Applications. Journal of Systems and Software 65(3): 173-183 (2003)
- [j24]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)
- [j23]Candida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003)
- [j22]Paola Inverardi, Henry Muccini: Software Architectures and Coordination Models. The Journal of Supercomputing 24(2): 141-149 (2003)
- [c56]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
- [c55]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
- [c54]Marco Castaldi, Antonio Carzaniga, Paola Inverardi, Alexander L. Wolf: A Lightweight Infrastructure for Reconfiguring Applications. SCM 2003: 231-244
- [c53]Paola Inverardi, Massimo Tivoli: Software Architecture for Correct Components Assembly. SFM 2003: 92-121
- [c52]Antonia Bertolino, Paola Inverardi, Henry Muccini: Formal Methods in Testing Software Architectures. SFM 2003: 122-147
- [c51]Mauro Caporuscio, Paola Inverardi: Yet Another Framework for Supporting Mobile and Collaborative Work. WETICE 2003: 81-86
- [c50]Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone: Automatic synthesis of coordinators for COTS group-ware applications: an example. WETICE 2003: 123-
- [e1]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. Lecture Notes in Computer Science 2804, Springer 2003, ISBN 3-540-20083-5
- 2002
- [j21]Paola Inverardi: The SALADIN project: summary report. ACM SIGSOFT Software Engineering Notes 27(3): 38-43 (2002)
- [c49]Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione: An Experience in Architectural Extensions: Active Objects in J2EE. FIDJI 2002: 87-98
- [c48]Paola Inverardi, G. Marinelli, Fabio Mancinelli: Adaptive Applications for Mobile Heterogenous Devices. ICDCS Workshops 2002: 410-418
- [c47]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
- [c46]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
- [c45]Paola Inverardi, Massimo Tivoli: Automatic Failures-Free Connector Synthesis: An Example. RISSEF 2002: 184-197
- [c44]Paola Inverardi, Fabio Mancinelli, G. Marinelli: Correct deployment and adaptation of software applications on heterogenous (mobile) devices. WOSS 2002: 108-110
- 2001
- [j20]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)
- [j19]Federica Aquilani, Simonetta Balsamo, Paola Inverardi: Performance analysis at the software architectural design level. Perform. Eval. 45(2-3): 147-178 (2001)
- [c43]Paola Inverardi, Sebastián Uchitel: Proving Deadlock Freedom in Component-Based Programming. FASE 2001: 60-75
- [c42]Carla Colafigli, Paola Inverardi, Rocco Matricciani: InfoParco: An Experience in Designing an Information System Accessible through WEB and WAP Interfaces. HICSS 2001
- [c41]Antonia Bertolino, Paola Inverardi, Henry Muccini: An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. ICSE 2001: 211-220
- [c40]Paola Inverardi, Simone Scriboni: Connectors Synthesis for Deadlock-Free Component-Based Architectures. ASE 2001: 174-
- [c39]Paola Inverardi, Henry Muccini, Patrizio Pelliccione: Automated Check of Architectural Models Consistency Using SPIN. ASE 2001: 346-349
- [c38]Paola Inverardi, Massimo Tivoli: Automatic synthesis of deadlock free connectors for COM/DCOM applications. ESEC / SIGSOFT FSE 2001: 121-131
- 2000
- [j18]
- [j17]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)
- [c37]Dan Hirsch, Paola Inverardi, Ugo Montanari: Reconfiguration of Software Architecture Styles with Name Mobility. COORDINATION 2000: 148-163
- [c36]Paola Inverardi, Henry Muccini: Coordination Models and Software Architectures in a Unified Software Development Process. COORDINATION 2000: 323-328
- [c35]Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229
- [c34]Paola Inverardi, Henry Muccini: A Coordination Process Based on UML and a Software Architectural Description. PDPTA 2000
- [c33]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
1990 – 1999
- 1999
- [j16]Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi: On the Relationships among four Timed Process Algebras. Fundam. Inform. 38(4): 377-395 (1999)
- [j15]Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli: A Comprehensive Setting for Matching and Unification over Iterative Terms. Fundam. Inform. 39(3): 273-304 (1999)
- [j14]Daniele Compare, Paola Inverardi, Alexander L. Wolf: Uncovering Architectural Mismatch in Component Behavior. Sci. Comput. Program. 33(2): 101-131 (1999)
- [c32]Paola Inverardi, Monica Nesi: Adding sorts to TRSs: a result on modularity of termination. APPIA-GULP-PRODE 1999: 273-288
- [c31]Candida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339
- [c30]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
- [c29]Dan Hirsch, Paola Inverardi, Ugo Montanari: Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. WICSA 1999: 127-144
- 1998
- [c28]Simonetta Balsamo, Paola Inverardi, Calogero Mangano: An approach to performance evaluation of software architectures. WOSP 1998: 178-190
- 1997
- [c27]Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich: Checking Assumptions in Component Dynamics as the Architectural Level. COORDINATION 1997: 46-63
- [c26]Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti: An approach to integration testing based on architectural descriptions. ICECCS 1997: 77-
- 1996
- [j13]Paola Inverardi, Corrado Priami: Automatic Verification of Distributed Systems: The Process Algebra Approach. Formal Methods in System Design 8(1): 7-38 (1996)
- [c25]Paola Inverardi, Daniele Compare: Modelling Interoperability by CHAM: A Case Study. COORDINATION 1996: 428-431
- [c24]Patrizia Asirelli, Paola Inverardi, Giuseppe Plagenza: Integrity Constraints as Views in Deductice Databases. FMLDO 1996: 133-140
- 1995
- [j12]Paola Inverardi, Monica Nesi: Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. Theor. Comput. Sci. 139(1&2): 315-354 (1995)
- [j11]Paola Inverardi, Monica Nesi: Infinite Normal Forms for Non-Linear Term Rewritting Systems. Theor. Comput. Sci. 152(2): 285-303 (1995)
- [j10]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)
- [c23]Xiaojun Chen, Paola Inverardi, Carlo Montangero: ESP-MC: An Experiment in the Use of Verification Tools. ASIAN 1995: 396-410
- [c22]Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215
- 1994
- [j9]Nicoletta De Francesco, Paola Inverardi: Proving Finiteness of CCS Processes by Non-Standard Semantics. Acta Inf. 31(1): 55-80 (1994)
- [j8]Paola Inverardi, Corrado Priami, Daniel Yankelevich: Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Asp. Comput. 6(6): 676-695 (1994)
- [j7]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)
- [c21]Domenico Aquilino, Patrizia Asirelli, Paola Inverardi: Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. GULP-PRODE (2) 1994: 440-441
- [c20]
- [c19]
- 1993
- [j6]A. Bucci, Paola Inverardi, Simone Martini: An `Executable' Impredicative Semantics for the Ada Configuration. Formal Asp. Comput. 5(2): 91-120 (1993)
- [j5]Paola Inverardi, Franco Mazzanti: Experimenting with Dynamic Linking with Ada. Softw., Pract. Exper. 23(1): 1-14 (1993)
- [c18]Paola Inverardi, Corrado Priami, Daniel Yankelevich: Extended Transition Systems for Parametric Bisimulation. ICALP 1993: 558-569
- [c17]Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich: Yeast: A Case Study for a Practical Use of Formal Methods. TAPSOFT 1993: 105-120
- 1992
- [j4]Michele Boreale, Paola Inverardi, Monica Nesi: Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. Inf. Process. Lett. 43(3): 155-160 (1992)
- [c16]
- [c15]Domenico Aquilino, Patrizia Asirelli, Paola Inverardi: Prototyping in the GEDBLOG System. SEKE 1992: 194-199
- 1991
- [j3]Paola Inverardi, Corrado Priami: Evaluation of Tools for the Analysis of Communicating Systems. Bulletin of the EATCS 45: 158-185 (1991)
- [c14]Paola Inverardi, Monica Nesi: On Rewriting Behavioral Semantics in Process Algebras. AMAST 1991: 108-116
- [c13]Nicoletta De Francesco, Paola Inverardi: A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991: 266-276
- [c12]Paola Inverardi, Monica Nesi: Infinite Normal Forms for Non-Linear Term Rewriting Systems. MFCS 1991: 231-239
- [c11]Domenico Aquilino, Patrizia Asirelli, Paola Inverardi, P. Malara: Supporting Reuse and Configuration: A Port Based SCM Model. SCM 1991: 62-67
- [c10]Albert John Camilleri, Paola Inverardi, Monica Nesi: Combining Interaction and Automation in Process Algebra Verification. TAPSOFT, Vol.2 1991: 283-296
- 1990
- [j2]Paola Inverardi, Monica Nesi: A Rewriting Strategy to Verify Observational Congruence. Inf. Process. Lett. 35(4): 191-199 (1990)
1980 – 1989
- 1989
- [c9]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
- [c8]Patrizia Asirelli, C. Billi, Paola Inverardi: Selective Refutation of Integrity Constraints in Deductive Databases. MFDBS 1989: 1-11
- [c7]Paola Inverardi, Simone Martini, Carlo Montangero: Is Type Checking Practical for System Configuration? TAPSOFT, Vol.2 1989: 257-271
- 1988
- [c6]Stefania Gnesi, Paola Inverardi, Monica Nesi: A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Concurrency 1988: 181-196
- [c5]Patrizia Asirelli, Paola Inverardi, A. Mustaro: Improving Integrity Constraint Checking in Deductive Databases. ICDT 1988: 72-86
- [c4]Patrizia Asirelli, Paola Inverardi: Using Logic Databases in Software Development Environments. PLILP 1988: 292-299
- [c3]Patrizia Asirelli, Paola Inverardi: EDBLOG: A Kernel for Configuration Environments. SCM 1988: 422-425
- 1987
- [c2]Patrizia Asirelli, Paola Inverardi: Enhancing Configuration Facilities in Software Development: A Logic Approach. ESEC 1987: 55-63
- [c1]Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari: An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335
- 1986
- [j1]Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer: Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. Softw., Pract. Exper. 16(8): 701-717 (1986)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team