Search the dblp DataBase
Paola Inverardi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Patrizia Asirelli , Paola Inverardi , A. Mustaro Improving Integrity Constraint Checking in Deductive Databases. [Citation Graph (1, 6)][DBLP ] ICDT, 1988, pp:72-86 [Conf ] Domenico Aquilino , Patrizia Asirelli , Paola Inverardi Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. [Citation Graph (0, 0)][DBLP ] GULP-PRODE (2), 1994, pp:440-441 [Conf ] Paola Inverardi , Monica Nesi Adding sorts to TRSs: a result on modularity of termination. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1999, pp:273-288 [Conf ] Paola Inverardi , Leonardo Mostarda , Alfredo Navarra Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP ] AINA (2), 2006, pp:116-120 [Conf ] Paola Inverardi , Monica Nesi On Rewriting Behavioral Semantics in Process Algebras. [Citation Graph (0, 0)][DBLP ] AMAST, 1991, pp:108-116 [Conf ] Xiaojun Chen , Paola Inverardi , Carlo Montangero ESP-MC: An Experiment in the Use of Verification Tools. [Citation Graph (0, 0)][DBLP ] ASIAN, 1995, pp:396-410 [Conf ] Rocco De Nicola , Paola Inverardi , Monica Nesi Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. [Citation Graph (0, 0)][DBLP ] Automatic Verification Methods for Finite State Systems, 1989, pp:54-67 [Conf ] Nicoletta De Francesco , Paola Inverardi A Semantic Driven Method to Check the Finiteness of CCS Processes. [Citation Graph (0, 0)][DBLP ] CAV, 1991, pp:266-276 [Conf ] Massimo Tivoli , Paola Inverardi , Valentina Presutti , Alessandro Forghieri , Maurizio Sebastianis Correct Components Assembly for a Product Data Management Cooperative System. [Citation Graph (0, 0)][DBLP ] CBSE, 2004, pp:84-99 [Conf ] Stefania Gnesi , Paola Inverardi , Monica Nesi A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. [Citation Graph (0, 0)][DBLP ] Concurrency, 1988, pp:181-196 [Conf ] Candida Attanasio , Flavio Corradini , Paola Inverardi Static Analysis of Real-Time Component-Based Systems Configurations. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1999, pp:323-339 [Conf ] Dan Hirsch , Paola Inverardi , Ugo Montanari Reconfiguration of Software Architecture Styles with Name Mobility. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2000, pp:148-163 [Conf ] Paola Inverardi Compositionality, Coordination and Software Architecture. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2004, pp:3-4 [Conf ] Paola Inverardi , Daniele Compare Modelling Interoperability by CHAM: A Case Study. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1996, pp:428-431 [Conf ] Paola Inverardi , Henry Muccini Coordination Models and Software Architectures in a Unified Software Development Process. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2000, pp:323-328 [Conf ] Paola Inverardi , Alexander L. Wolf , Daniel Yankelevich Checking Assumptions in Component Dynamics as the Architectural Level. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1997, pp:46-63 [Conf ] Paola Inverardi Rewriting for Preorder Relations. [Citation Graph (0, 0)][DBLP ] CTRS, 1994, pp:223-234 [Conf ] Paola Inverardi , Monica Nesi A Strategy to Deal with Divergent Rewrite Systems. [Citation Graph (0, 0)][DBLP ] CTRS, 1992, pp:458-467 [Conf ] Mauro Caporuscio , Paola Inverardi Uncertain event-based model for egocentric context sensing. [Citation Graph (0, 0)][DBLP ] SEM, 2005, pp:25-32 [Conf ] Patrizia Asirelli , Paola Inverardi Enhancing Configuration Facilities in Software Development: A Logic Approach. [Citation Graph (0, 0)][DBLP ] ESEC, 1987, pp:55-63 [Conf ] Alessandro Fantechi , Stefania Gnesi , Paola Inverardi , Ugo Montanari An Executon Environment for the Formal Definiton of Ada. [Citation Graph (0, 0)][DBLP ] ESEC, 1987, pp:327-335 [Conf ] Marco Autili , Michele Flammini , Paola Inverardi , Alfredo Navarra , Massimo Tivoli Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. [Citation Graph (0, 0)][DBLP ] EWSA, 2006, pp:17-32 [Conf ] Mauro Caporuscio , Paola Inverardi , Patrizio Pelliccione Formal Analysis of Architectural Patterns. [Citation Graph (0, 0)][DBLP ] EWSA, 2004, pp:10-24 [Conf ] Mauro Caporuscio , Davide Di Ruscio , Paola Inverardi , Patrizio Pelliccione , Alfonso Pierantonio Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications. [Citation Graph (0, 0)][DBLP ] EWSA, 2005, pp:130-145 [Conf ] Paola Inverardi , Leonardo Mostarda A Distributed Intrusion Detection Approach for Secure Software Architecture. [Citation Graph (0, 0)][DBLP ] EWSA, 2005, pp:168-184 [Conf ] Candida Attanasio , Flavio Corradini , Paola Inverardi Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. [Citation Graph (0, 0)][DBLP ] FASE, 1999, pp:45-59 [Conf ] Paola Inverardi , Sebastián Uchitel Proving Deadlock Freedom in Component-Based Programming. [Citation Graph (0, 0)][DBLP ] FASE, 2001, pp:60-75 [Conf ] Paola Inverardi , Fabio Mancinelli , Henry Muccini , Patrizio Pelliccione An Experience in Architectural Extensions: Active Objects in J2EE. [Citation Graph (0, 0)][DBLP ] FIDJI, 2002, pp:87-98 [Conf ] Daniele Compare , Paola Inverardi , Patrizio Pelliccione , Alessandra Sebastiani Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. [Citation Graph (0, 0)][DBLP ] FME, 2003, pp:114-132 [Conf ] Patrizia Asirelli , Paola Inverardi , Giuseppe Plagenza Integrity Constraints as Views in Deductice Databases. [Citation Graph (0, 0)][DBLP ] FMLDO, 1996, pp:133-140 [Conf ] Daniela Colangelo , Daniele Compare , Paola Inverardi , Patrizio Pelliccione Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. [Citation Graph (0, 0)][DBLP ] FORTE, 2006, pp:243-258 [Conf ] Carla Colafigli , Paola Inverardi , Rocco Matricciani InfoParco: An Experience in Designing an Information System Accessible through WEB and WAP Interfaces. [Citation Graph (0, 0)][DBLP ] HICSS, 2001, pp:- [Conf ] Paola Inverardi , Corrado Priami , Daniel Yankelevich Extended Transition Systems for Parametric Bisimulation. [Citation Graph (0, 0)][DBLP ] ICALP, 1993, pp:558-569 [Conf ] Paola Inverardi , G. Marinelli , Fabio Mancinelli Adaptive Applications for Mobile Heterogenous Devices. [Citation Graph (0, 0)][DBLP ] ICDCS Workshops, 2002, pp:410-418 [Conf ] Antonia Bertolino , Paola Inverardi , Henry Muccini , Andrea Rosetti An approach to integration testing based on architectural descriptions. [Citation Graph (0, 0)][DBLP ] ICECCS, 1997, pp:77-0 [Conf ] Antonia Bertolino , Flavio Corradini , Paola Inverardi , Henry Muccini Deriving test plans from architectural descriptions. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:220-229 [Conf ] Antonia Bertolino , Paola Inverardi , Henry Muccini An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:211-220 [Conf ] Mauro Caporuscio , Paola Inverardi , Patrizio Pelliccione Compositional Verification of Middleware-Based Software Architecture Descriptions. [Citation Graph (0, 0)][DBLP ] ICSE, 2004, pp:221-230 [Conf ] Vittorio Cortellessa , Antinisca Di Marco , Paola Inverardi Transformations of software models into performance models. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:728-729 [Conf ] Paola Inverardi , Mehdi Jazayeri Introduction to education and training track. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:606- [Conf ] Stefano Porcarelli , Marco Castaldi , Felicita Di Giandomenico , Andrea Bondavalli , Paola Inverardi A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. [Citation Graph (0, 0)][DBLP ] WADS, 2003, pp:167-190 [Conf ] Marco Autili , Paola Inverardi , Alfredo Navarra , Massimo Tivoli SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 2007, pp:784-787 [Conf ] Fabio Di Vito , Paola Inverardi , Giovanna Melideo A Context-Aware Approach to Infer Trust in Public Key Infrastructures. [Citation Graph (0, 0)][DBLP ] Certification and Security in E-Services, 2002, pp:111-125 [Conf ] Daniele Compare , Antonio D'Onofrio , Antinisca Di Marco , Paola Inverardi Automated Performance Validation of Software Design: An Industrial Experience. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:298-301 [Conf ] Paola Inverardi , Henry Muccini , Patrizio Pelliccione Automated Check of Architectural Models Consistency Using SPIN. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:346-349 [Conf ] Paola Inverardi , Leonardo Mostarda , Massimo Tivoli , Marco Autili Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. [Citation Graph (0, 0)][DBLP ] ASE, 2005, pp:405-409 [Conf ] Paola Inverardi , Simone Scriboni Connectors Synthesis for Deadlock-Free Component-Based Architectures. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:174-0 [Conf ] Marco Castaldi , Paola Inverardi , Sharareh Afsharian A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture. [Citation Graph (0, 0)][DBLP ] MASCOTS, 2002, pp:281-290 [Conf ] Paola Inverardi , Monica Nesi Infinite Normal Forms for Non-Linear Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] MFCS, 1991, pp:231-239 [Conf ] Paola Inverardi , Marisa Venturini Zilli Rational Rewriting. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:433-442 [Conf ] Patrizia Asirelli , C. Billi , Paola Inverardi Selective Refutation of Integrity Constraints in Deductive Databases. [Citation Graph (0, 4)][DBLP ] MFDBS, 1989, pp:1-11 [Conf ] Paola Inverardi , Henry Muccini A Coordination Process Based on UML and a Software Architectural Description. [Citation Graph (0, 0)][DBLP ] PDPTA, 2000, pp:- [Conf ] Patrizia Asirelli , Paola Inverardi Using Logic Databases in Software Development Environments. [Citation Graph (0, 0)][DBLP ] PLILP, 1988, pp:292-299 [Conf ] Paola Inverardi , Massimo Tivoli Automatic Failures-Free Connector Synthesis: An Example. [Citation Graph (0, 0)][DBLP ] RISSEF, 2002, pp:184-197 [Conf ] Vittorio Cortellessa , Antinisca Di Marco , Paola Inverardi Software performance model-driven architecture. [Citation Graph (0, 0)][DBLP ] SAC, 2006, pp:1218-1223 [Conf ] Paola Inverardi , Fabio Mancinelli , Monica Nesi A declarative framework for adaptable applications in heterogeneous environments. [Citation Graph (0, 0)][DBLP ] SAC, 2004, pp:1177-1183 [Conf ] Marco Autili , Paola Inverardi , Patrizio Pelliccione A scenario based notation for specifying temporal properties. [Citation Graph (0, 0)][DBLP ] SCESM, 2006, pp:21-28 [Conf ] Domenico Aquilino , Patrizia Asirelli , Paola Inverardi , P. Malara Supporting Reuse and Configuration: A Port Based SCM Model. [Citation Graph (0, 0)][DBLP ] SCM, 1991, pp:62-67 [Conf ] Patrizia Asirelli , Paola Inverardi EDBLOG: A Kernel for Configuration Environments. [Citation Graph (0, 0)][DBLP ] SCM, 1988, pp:422-425 [Conf ] Marco Castaldi , Antonio Carzaniga , Paola Inverardi , Alexander L. Wolf A Lightweight Infrastructure for Reconfiguring Applications. [Citation Graph (0, 0)][DBLP ] SCM, 2003, pp:231-244 [Conf ] Domenico Aquilino , Patrizia Asirelli , Paola Inverardi Prototyping in the GEDBLOG System. [Citation Graph (0, 0)][DBLP ] SEKE, 1992, pp:194-199 [Conf ] Antonia Bertolino , Paola Inverardi , Henry Muccini Formal Methods in Testing Software Architectures. [Citation Graph (0, 0)][DBLP ] SFM, 2003, pp:122-147 [Conf ] Paola Inverardi , Massimo Tivoli Software Architecture for Correct Components Assembly. [Citation Graph (0, 0)][DBLP ] SFM, 2003, pp:92-121 [Conf ] Paola Inverardi , Henry Muccini , Patrizio Pelliccione CHARMY: an extensible tool for architectural analysis. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2005, pp:111-114 [Conf ] Paola Inverardi , Massimo Tivoli Automatic synthesis of deadlock free connectors for COM/DCOM applications. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:121-131 [Conf ] Nicoletta De Francesco , Alessandro Fantechi , Stefania Gnesi , Paola Inverardi Model Checking of Non-Finite State Processes by Finite Approximations. [Citation Graph (0, 0)][DBLP ] TACAS, 1995, pp:195-215 [Conf ] Albert John Camilleri , Paola Inverardi , Monica Nesi Combining Interaction and Automation in Process Algebra Verification. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1991, pp:283-296 [Conf ] Paola Inverardi , Balachander Krishnamurthy , Daniel Yankelevich Yeast: A Case Study for a Practical Use of Formal Methods. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1993, pp:105-120 [Conf ] Paola Inverardi , Simone Martini , Carlo Montangero Is Type Checking Practical for System Configuration? [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1989, pp:257-271 [Conf ] Mauro Caporuscio , Paola Inverardi Yet Another Framework for Supporting Mobile and Collaborative Work. [Citation Graph (0, 0)][DBLP ] WETICE, 2003, pp:81-86 [Conf ] Paola Inverardi , Massimo Tivoli , Antonio Bucchiarone Automatic synthesis of coordinators for COTS group-ware applications: an example. [Citation Graph (0, 0)][DBLP ] WETICE, 2003, pp:123-0 [Conf ] Paola Inverardi , Henry Muccini , Patrizio Pelliccione DUALLY: Putting in Synergy UML 2.0 and ADLs. [Citation Graph (0, 0)][DBLP ] WICSA, 2005, pp:251-252 [Conf ] Antinisca Di Marco , Paola Inverardi Compositional Generation of Software Architecture Performance QN Models. [Citation Graph (0, 0)][DBLP ] WICSA, 2004, pp:37-46 [Conf ] Dan Hirsch , Paola Inverardi , Ugo Montanari Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. [Citation Graph (0, 0)][DBLP ] WICSA, 1999, pp:127-144 [Conf ] Vittorio Cortellessa , Antinisca Di Marco , Paola Inverardi Non-Functional Modeling and Validation in Model-Driven Architecture. [Citation Graph (0, 0)][DBLP ] WICSA, 2007, pp:25- [Conf ] F. Andolfi , Federica Aquilani , Simonetta Balsamo , Paola Inverardi Deriving performance models of software architectures from message sequence charts. [Citation Graph (0, 0)][DBLP ] Workshop on Software and Performance, 2000, pp:47-57 [Conf ] Simonetta Balsamo , Paola Inverardi , Calogero Mangano An approach to performance evaluation of software architectures. [Citation Graph (0, 0)][DBLP ] WOSP, 1998, pp:178-190 [Conf ] Simonetta Balsamo , Moreno Marzolla , Antinisca Di Marco , Paola Inverardi Experimenting different software architectures performance techniques: a case study. [Citation Graph (0, 0)][DBLP ] WOSP, 2004, pp:115-119 [Conf ] Mauro Caporuscio , Antinisca Di Marco , Paola Inverardi Run-time performance management of the Siena publish/subscribe middleware. [Citation Graph (0, 0)][DBLP ] WOSP, 2005, pp:65-74 [Conf ] Fabio Mancinelli , Paola Inverardi Quantitative resource-oriented analysis of Java (Adaptable) applications. [Citation Graph (0, 0)][DBLP ] WOSP, 2007, pp:15-25 [Conf ] Paola Inverardi , Fabio Mancinelli , G. Marinelli Correct deployment and adaptation of software applications on heterogenous (mobile) devices. [Citation Graph (0, 0)][DBLP ] WOSS, 2002, pp:108-110 [Conf ] Nicoletta De Francesco , Paola Inverardi Proving Finiteness of CCS Processes by Non-Standard Semantics. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1994, v:31, n:1, pp:55-80 [Journal ] Carlo Ghezzi , Paola Inverardi Introduction to Special Issue on Distributed and Mobile Software Engineering. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2004, v:11, n:3, pp:203-205 [Journal ] Nicoletta De Francesco , Alessandro Fantechi , Stefania Gnesi , Paola Inverardi Finite Approximations for Model Checking Non-finite-state Processes. [Citation Graph (0, 0)][DBLP ] Comput. J., 2001, v:44, n:2, pp:109-123 [Journal ] Paola Inverardi , Corrado Priami Evaluation of Tools for the Analysis of Communicating Systems. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1991, v:45, n:, pp:158-185 [Journal ] Flavio Corradini , Paola Inverardi Preface [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal ] Vittorio Cortellessa , Antinisca Di Marco , Paola Inverardi Three Performance Models at Work: A Software Designer Perspective. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:219-239 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:31-44 [Journal ] A. Bucci , Paola Inverardi , Simone Martini An `Executable' Impredicative Semantics for the Ada Configuration. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1993, v:5, n:2, pp:91-120 [Journal ] Paola Inverardi , Corrado Priami , Daniel Yankelevich Automatizing Parametric Reasoning on Distributed Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:6, pp:676-695 [Journal ] Paola Inverardi , Corrado Priami Automatic Verification of Distributed Systems: The Process Algebra Approach. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1996, v:8, n:1, pp:7-38 [Journal ] Flavio Corradini , Domenicantonio D'Ortenzio , Paola Inverardi On the Relationships among four Timed Process Algebras. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1999, v:38, n:4, pp:377-395 [Journal ] Benedetto Intrigila , Paola Inverardi , Marisa Venturini Zilli A Comprehensive Setting for Matching and Unification over Iterative Terms. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1999, v:39, n:3, pp:273-304 [Journal ] Michele Boreale , Paola Inverardi , Monica Nesi Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1992, v:43, n:3, pp:155-160 [Journal ] Paola Inverardi , Monica Nesi A Rewriting Strategy to Verify Observational Congruence. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1990, v:35, n:4, pp:191-199 [Journal ] Paola Inverardi , Massimo Tivoli Deadlock-free software architectures for COM/DCOM Applications. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2003, v:65, n:3, pp:173-183 [Journal ] Mauro Caporuscio , Antinisca Di Marco , Paola Inverardi Model-based system reconfiguration for dynamic performance management. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2007, v:80, n:4, pp:455-473 [Journal ] Federica Aquilani , Simonetta Balsamo , Paola Inverardi Performance analysis at the software architectural design level. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 2001, v:45, n:2-3, pp:147-178 [Journal ] Simonetta Balsamo , Vittoria De Nitto Persone , Paola Inverardi A review on queueing network models with finite capacity queues for software architectures performance prediction. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 2003, v:51, n:2/4, pp:269-288 [Journal ] Candida Attanasio , Flavio Corradini , Paola Inverardi Static analysis of real-time component-based systems configurations. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2003, v:46, n:1-2, pp:5-30 [Journal ] Daniele Compare , Paola Inverardi , Alexander L. Wolf Uncovering Architectural Mismatch in Component Behavior. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1999, v:33, n:2, pp:101-131 [Journal ] Flavio Corradini , Paola Inverardi , Alexander L. Wolf On relating functional specifications to architectural specifications: A case study. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:59, n:3, pp:171-208 [Journal ] Alessandro Fantechi , Paola Inverardi , Norma Lijtmaer Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1986, v:16, n:8, pp:701-717 [Journal ] Paola Inverardi , Franco Mazzanti Experimenting with Dynamic Linking with Ada. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1993, v:23, n:1, pp:1-14 [Journal ] Paola Inverardi , Monica Nesi Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:139, n:1&2, pp:315-354 [Journal ] Paola Inverardi , Monica Nesi Infinite Normal Forms for Non-Linear Term Rewritting Systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:152, n:2, pp:285-303 [Journal ] Paola Inverardi , Henry Muccini Software Architectures and Coordination Models. [Citation Graph (0, 0)][DBLP ] The Journal of Supercomputing, 2003, v:24, n:2, pp:141-149 [Journal ] Paola Inverardi , Alexander L. Wolf , Daniel Yankelevich Static checking of system behaviors using derived component assumptions. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:3, pp:239-272 [Journal ] Simonetta Balsamo , Antinisca Di Marco , Paola Inverardi , Marta Simeoni Model-Based Performance Prediction in Software Development: A Survey. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2004, v:30, n:5, pp:295-310 [Journal ] Paola Inverardi , Alexander L. Wolf Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1995, v:21, n:4, pp:373-386 [Journal ] Henry Muccini , Antonia Bertolino , Paola Inverardi Using Software Architecture for Code Testing. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2004, v:30, n:3, pp:160-171 [Journal ] Patrizia Asirelli , D. Di Grande , Paola Inverardi , F. Nicodemi Graphics by a Logic Database Management System. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 1994, v:5, n:4, pp:365-388 [Journal ] Vittorio Cortellessa , Antinisca Di Marco , Paola Inverardi Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. [Citation Graph (0, 0)][DBLP ] FASE, 2007, pp:57-71 [Conf ] Paola Inverardi , Leonardo Mostarda A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. [Citation Graph (0, 0)][DBLP ] WADS, 2006, pp:210-236 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICSOC, 2007, pp:442-448 [Conf ] Dynamically Evolvable Dependable Software: From Oxymoron to Reality. [Citation Graph (, )][DBLP ] A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. [Citation Graph (, )][DBLP ] 08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. [Citation Graph (, )][DBLP ] 08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. [Citation Graph (, )][DBLP ] Software Engineering for Self-Adaptive Systems: A Research Roadmap. [Citation Graph (, )][DBLP ] Context-Aware Adaptive Services: The PLASTIC Approach. [Citation Graph (, )][DBLP ] CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. [Citation Graph (, )][DBLP ] Towards an assume-guarantee theory for adaptable systems. [Citation Graph (, )][DBLP ] A Framework for Analyzing and Testing the Performance of Software Services. [Citation Graph (, )][DBLP ] DESERT: a decentralized monitoring tool generator. [Citation Graph (, )][DBLP ] PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. [Citation Graph (, )][DBLP ] A development process for context-aware adaptive services. [Citation Graph (, )][DBLP ] A reuse-based approach to the correct and automatic composition of web-services. [Citation Graph (, )][DBLP ] Automatic synthesis of behavior protocols for composable web-services. [Citation Graph (, )][DBLP ] Software of the Future Is the Future of Software? [Citation Graph (, )][DBLP ] Towards a formalization of mediating connectors for on the fly interoperability. [Citation Graph (, )][DBLP ] Mediating Connector Patterns for Components Interoperability. [Citation Graph (, )][DBLP ] Learning from the Cell Life-Cycle: A Self-adaptive Paradigm. [Citation Graph (, )][DBLP ] The Future of Software: Adaptation and Dependability. [Citation Graph (, )][DBLP ] Graphical scenarios for specifying temporal properties: an automated approach. [Citation Graph (, )][DBLP ] Search in 0.007secs, Finished in 0.666secs