Travelled to:1 × Belgium
1 × Canada
1 × Cyprus
1 × Hungary
1 × India
1 × Ireland
1 × Norway
1 × Russia
1 × Sweden
1 × Uruguay
10 × USA
2 × Austria
2 × Portugal
2 × The Netherlands
3 × Denmark
4 × France
4 × United Kingdom
6 × Italy
Collaborated with:M.Tivoli A.D.Marco P.Pelliccione M.Autili H.Muccini V.Cortellessa R.Spalazzese P.Asirelli A.Bertolino L.Mostarda N.D.Francesco M.Nesi D.Yankelevich F.Corradini U.Montanari D.D.Ruscio M.Jazayeri D.Compare S.Scriboni S.Uchitel A.Fantechi S.Gnesi P.D.Benedetto V.Issarny M.Caporuscio F.Mancinelli C.Attanasio D.Hirsch C.Priami D.Aquilino S.Martini C.Montangero A.J.Camilleri B.Krishnamurthy F.Gallo R.Ippoliti A.Navarra A.D'Onofrio A.Sebastiani F.Mignosi A.D.Salle P.C.Clements M.J.E.Cuaresma I.Malavolta E.Marchetti M.Mori F.Li C.Dorn S.Dustdar V.Presutti A.Forghieri M.Sebastianis
Talks about:architectur (14) softwar (14) model (11) synthesi (10) compon (9) connector (8) system (8) base (8) perform (6) correct (6)
♀ Person: Paola Inverardi
DBLP: Inverardi:Paola
Facilitated 19 volumes:
PrCo
ExpertReviewPaPrBoardPrCo
PrCoPrCo
Ed
PrChGCh
EdPrChPrCoPrCoPrCoPrCoPrCo
PrCh
Ed
EdContributed to:
2015
20142013201320132011
20112011201020092009
2009200720072007
2007
20062005200520052005200420042004200420042002
2003200320022001200120012001200019991999
1995
1993
1992
1991
1988
1987
198919911993Wrote 52 papers:
- LATA-2015-AutiliIMST #automation #specification #synthesis
- Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (MA, PI, FM, RS, MT), pp. 3–24.
- CSMR-WCRE-2014-AutiliIT #internet #named #scalability
- CHOREOS: Large scale choreographies for the future internet (MA, PI, MT), pp. 391–394.
- ESEC-FSE-2013-InverardiARPT #challenge #integration #research
- Producing software by integration: challenges and research directions (PI, MA, DDR, PP, MT), pp. 2–12.
- FASE-2013-AutiliRSIT #modelling #process #synthesis
- A Model-Based Synthesis Process for Choreography Realizability Enforcement (MA, DDR, ADS, PI, MT), pp. 37–52.
- ICSE-2013-InverardiT #automation #composition #protocol #synthesis
- Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.
- ESEC-FSE-2011-AutiliCRIPT #named #nondeterminism #ubiquitous
- EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty (MA, VC, DDR, PI, PP, MT), pp. 488–491.
- ESEC-FSE-2011-ClementsEIMM #architecture #requirements #testing
- Exploiting software architecture to support requirements satisfaction testing (PCC, MJEC, PI, IM, EM), pp. 484–487.
- SEFM-2011-MoriLDID #adaptation #configuration management #self
- Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems (MM, FL, CD, PI, SD), pp. 286–301.
- SFM-2011-InverardiST #synthesis
- Application-Layer Connector Synthesis (PI, RS, MT), pp. 148–190.
- ECSA-2010-MarcoGII #adaptation #learning #lifecycle #paradigm #self
- Learning from the Cell Life-Cycle: A Self-adaptive Paradigm (ADM, FG, PI, RI), pp. 485–488.
- ECSA-2010-SpalazzeseI #component
- Mediating Connector Patterns for Components Interoperability (RS, PI), pp. 335–343.
- ESEC-FSE-2009-BertolinoIPT #automation #behaviour #composition #protocol #synthesis
- Automatic synthesis of behavior protocols for composable web-services (AB, PI, PP, MT), pp. 141–150.
- FASE-2009-AutiliBI #adaptation #approach
- Context-Aware Adaptive Services: The PLASTIC Approach (MA, PDB, PI), pp. 124–139.
- WICSA-ECSA-2009-SpalazzeseII #formal method #on the fly #towards
- Towards a formalization of mediating connectors for on the fly interoperability (RS, PI, VI), pp. 345–348.
- ASE-2007-InverardiM #distributed #generative #monitoring #named
- DESERT: a decentralized monitoring tool generator (PI, LM), pp. 529–530.
- FASE-2007-CortellessaMI #analysis #framework #non-functional #performance #reliability
- Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework (VC, ADM, PI), pp. 57–71.
- ICSE-2007-AutiliINT #automation #component #distributed #named #synthesis
- SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.
- WICSA-2007-CortellessaMI #architecture #modelling #non-functional #validation
- Non-Functional Modeling and Validation in Model-Driven Architecture (VC, ADM, PI), p. 25.
- SAC-2006-CortellessaMI #architecture #modelling #performance
- Software performance model-driven architecture (VC, ADM, PI), pp. 1218–1223.
- ASE-2005-InverardiMTA #adaptation #approach #automation #component #distributed #synthesis
- Synthesis of correct and distributed adaptors for component-based systems: an automatic approach (PI, LM, MT, MA), pp. 405–409.
- ESEC-FSE-2005-InverardiMP #analysis #architecture #named
- CHARMY: an extensible tool for architectural analysis (PI, HM, PP), pp. 111–114.
- ICSE-2005-CortellessaMI #modelling #performance
- Transformations of software models into performance models (VC, ADM, PI), pp. 728–729.
- ICSE-2005-InverardiJ #education
- Introduction to education and training track (PI, MJ), p. 606.
- WICSA-2005-InverardiMP #named #uml
- DUALLY: Putting in Synergy UML 2.0 and ADLs (PI, HM, PP), pp. 251–252.
- ASE-2004-CompareDMI #automation #design #experience #industrial #performance #validation
- Automated Performance Validation of Software Design: An Industrial Experience (DC, AD, ADM, PI), pp. 298–301.
- CBSE-2004-TivoliIPFS #assembly #component #data transformation
- Correct Components Assembly for a Product Data Management Cooperative System (MT, PI, VP, AF, MS), pp. 84–99.
- ICSE-2004-CaporuscioIP #architecture #composition #middleware #verification
- Compositional Verification of Middleware-Based Software Architecture Descriptions (MC, PI, PP), pp. 221–230.
- SAC-2004-InverardiMN #adaptation #declarative #framework
- A declarative framework for adaptable applications in heterogeneous environments (PI, FM, MN), pp. 1177–1183.
- WICSA-2004-MarcoI #architecture #composition #generative #modelling #performance
- Compositional Generation of Software Architecture Performance QN Models (ADM, PI), pp. 37–46.
- CBSE-2003-InverardiT #assembly #component #composition #synthesis
- A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.
- FME-2003-CompareIPS #analysis #architecture #lifecycle #model checking #validation
- Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle (DC, PI, PP, AS), pp. 114–132.
- SFM-2003-BertolinoIM #architecture #formal method #testing
- Formal Methods in Testing Software Architectures (AB, PI, HM), pp. 122–147.
- SFM-2003-InverardiT #architecture #assembly #component
- Software Architecture for Correct Components Assembly (PI, MT), pp. 92–121.
- CBSE-2002-InverardiT #approach #architecture #assembly #automation #component #off the shelf
- Correct and automatic assembly of COTS components: an architectural approach (PI, MT), p. 3.
- ASE-2001-InverardiMP #architecture #automation #consistency #modelling #using
- Automated Check of Architectural Models Consistency Using SPIN (PI, HM, PP), pp. 346–349.
- ASE-2001-InverardiS #architecture #component #concurrent #synthesis
- Connectors Synthesis for Deadlock-Free Component-Based Architectures (PI, SS), p. 174–?.
- ESEC-FSE-2001-InverardiT #automation #concurrent #synthesis
- Automatic synthesis of deadlock free connectors for COM/DCOM applications (PI, MT), pp. 121–131.
- FASE-2001-InverardiU #component #concurrent #programming #proving
- Proving Deadlock Freedom in Component-Based Programming (PI, SU), pp. 60–75.
- ICSE-2001-BertolinoIM #architecture #execution #testing
- An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (AB, PI, HM), pp. 211–220.
- ICSE-2000-BertolinoCIM #architecture #testing
- Deriving test plans from architectural descriptions (AB, FC, PI, HM), pp. 220–229.
- FASE-1999-AttanasioCI #performance #realtime #specification
- Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance (CA, FC, PI), pp. 45–59.
- WICSA-1999-HirschIM #constraints #graph grammar #modelling #theorem proving
- Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving (DH, PI, UM), pp. 127–144.
- TACAS-1995-FrancescoFGI #approximate #finite #model checking #process
- Model Checking of Non-Finite State Processes by Finite Approximations (NDF, AF, SG, PI), pp. 195–215.
- ICALP-1993-InverardiPY #bisimulation #parametricity
- Extended Transition Systems for Parametric Bisimulation (PI, CP, DY), pp. 558–569.
- SEKE-1992-AquilinoAI #prototype
- Prototyping in the GEDBLOG System (DA, PA, PI), pp. 194–199.
- CAV-1991-FrancescoI #process #semantics
- A Semantic Driven Method to Check the Finiteness of CCS Processes (NDF, PI), pp. 266–276.
- PLILP-1988-AsirelliI #database #development #logic #using
- Using Logic Databases in Software Development Environments (PA, PI), pp. 292–299.
- ESEC-1987-AsirelliI #approach #development #logic
- Enhancing Configuration Facilities in Software Development: A Logic Approach (PA, PI), pp. 55–63.
- ESEC-1987-FantechiGIM #ada
- An Executon Environment for the Formal Definiton of Ada (AF, SG, PI, UM), pp. 327–335.
- CCIPL-1989-InverardiMM #question #type checking
- Is Type Checking Practical for System Configuration? (PI, SM, CM), pp. 257–271.
- CCPSD-1991-CamilleriIN #algebra #automation #interactive #process #verification
- Combining Interaction and Automation in Process Algebra Verification (AJC, PI, MN), pp. 283–296.
- TAPSOFT-1993-InverardiKY #case study #formal method #named #using
- Yeast: A Case Study for a Practical Use of Formal Methods (PI, BK, DY), pp. 105–120.