The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paola Inverardi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrizia Asirelli, Paola Inverardi, A. Mustaro
    Improving Integrity Constraint Checking in Deductive Databases. [Citation Graph (1, 6)][DBLP]
    ICDT, 1988, pp:72-86 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Paola Inverardi, Monica Nesi
    On Rewriting Behavioral Semantics in Process Algebras. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:108-116 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Paola Inverardi
    Compositionality, Coordination and Software Architecture. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:3-4 [Conf]
  14. Paola Inverardi, Daniele Compare
    Modelling Interoperability by CHAM: A Case Study. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1996, pp:428-431 [Conf]
  15. 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]
  16. 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]
  17. Paola Inverardi
    Rewriting for Preorder Relations. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:223-234 [Conf]
  18. Paola Inverardi, Monica Nesi
    A Strategy to Deal with Divergent Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1992, pp:458-467 [Conf]
  19. Mauro Caporuscio, Paola Inverardi
    Uncertain event-based model for egocentric context sensing. [Citation Graph (0, 0)][DBLP]
    SEM, 2005, pp:25-32 [Conf]
  20. Patrizia Asirelli, Paola Inverardi
    Enhancing Configuration Facilities in Software Development: A Logic Approach. [Citation Graph (0, 0)][DBLP]
    ESEC, 1987, pp:55-63 [Conf]
  21. 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]
  22. 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]
  23. Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione
    Formal Analysis of Architectural Patterns. [Citation Graph (0, 0)][DBLP]
    EWSA, 2004, pp:10-24 [Conf]
  24. 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]
  25. Paola Inverardi, Leonardo Mostarda
    A Distributed Intrusion Detection Approach for Secure Software Architecture. [Citation Graph (0, 0)][DBLP]
    EWSA, 2005, pp:168-184 [Conf]
  26. 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]
  27. Paola Inverardi, Sebastián Uchitel
    Proving Deadlock Freedom in Component-Based Programming. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:60-75 [Conf]
  28. 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]
  29. 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]
  30. Patrizia Asirelli, Paola Inverardi, Giuseppe Plagenza
    Integrity Constraints as Views in Deductice Databases. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1996, pp:133-140 [Conf]
  31. 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]
  32. 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]
  33. Paola Inverardi, Corrado Priami, Daniel Yankelevich
    Extended Transition Systems for Parametric Bisimulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:558-569 [Conf]
  34. Paola Inverardi, G. Marinelli, Fabio Mancinelli
    Adaptive Applications for Mobile Heterogenous Devices. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2002, pp:410-418 [Conf]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. Paola Inverardi, Mehdi Jazayeri
    Introduction to education and training track. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:606- [Conf]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. Paola Inverardi, Simone Scriboni
    Connectors Synthesis for Deadlock-Free Component-Based Architectures. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:174-0 [Conf]
  48. 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]
  49. Paola Inverardi, Monica Nesi
    Infinite Normal Forms for Non-Linear Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:231-239 [Conf]
  50. Paola Inverardi, Marisa Venturini Zilli
    Rational Rewriting. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:433-442 [Conf]
  51. 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]
  52. Paola Inverardi, Henry Muccini
    A Coordination Process Based on UML and a Software Architectural Description. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  53. Patrizia Asirelli, Paola Inverardi
    Using Logic Databases in Software Development Environments. [Citation Graph (0, 0)][DBLP]
    PLILP, 1988, pp:292-299 [Conf]
  54. Paola Inverardi, Massimo Tivoli
    Automatic Failures-Free Connector Synthesis: An Example. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:184-197 [Conf]
  55. Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
    Software performance model-driven architecture. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1218-1223 [Conf]
  56. 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]
  57. 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]
  58. 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]
  59. Patrizia Asirelli, Paola Inverardi
    EDBLOG: A Kernel for Configuration Environments. [Citation Graph (0, 0)][DBLP]
    SCM, 1988, pp:422-425 [Conf]
  60. 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]
  61. Domenico Aquilino, Patrizia Asirelli, Paola Inverardi
    Prototyping in the GEDBLOG System. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:194-199 [Conf]
  62. Antonia Bertolino, Paola Inverardi, Henry Muccini
    Formal Methods in Testing Software Architectures. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:122-147 [Conf]
  63. Paola Inverardi, Massimo Tivoli
    Software Architecture for Correct Components Assembly. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:92-121 [Conf]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. Mauro Caporuscio, Paola Inverardi
    Yet Another Framework for Supporting Mobile and Collaborative Work. [Citation Graph (0, 0)][DBLP]
    WETICE, 2003, pp:81-86 [Conf]
  71. 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]
  72. 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]
  73. Antinisca Di Marco, Paola Inverardi
    Compositional Generation of Software Architecture Performance QN Models. [Citation Graph (0, 0)][DBLP]
    WICSA, 2004, pp:37-46 [Conf]
  74. 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]
  75. 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]
  76. 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]
  77. 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]
  78. 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]
  79. 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]
  80. Fabio Mancinelli, Paola Inverardi
    Quantitative resource-oriented analysis of Java (Adaptable) applications. [Citation Graph (0, 0)][DBLP]
    WOSP, 2007, pp:15-25 [Conf]
  81. 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]
  82. 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]
  83. 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]
  84. 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]
  85. 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]
  86. Flavio Corradini, Paola Inverardi
    Preface [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  87. 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]
  88. 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]
  89. 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]
  90. 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]
  91. 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]
  92. 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]
  93. 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]
  94. 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]
  95. 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]
  96. 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]
  97. 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]
  98. 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]
  99. 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]
  100. 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]
  101. 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]
  102. 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]
  103. 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]
  104. 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]
  105. 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]
  106. 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]
  107. 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]
  108. 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]
  109. 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]
  110. 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]
  111. 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]
  112. 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]
  113. 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]
  114. 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]
  115. 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]

  116. Dynamically Evolvable Dependable Software: From Oxymoron to Reality. [Citation Graph (, )][DBLP]


  117. A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. [Citation Graph (, )][DBLP]


  118. 08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. [Citation Graph (, )][DBLP]


  119. 08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. [Citation Graph (, )][DBLP]


  120. Software Engineering for Self-Adaptive Systems: A Research Roadmap. [Citation Graph (, )][DBLP]


  121. Context-Aware Adaptive Services: The PLASTIC Approach. [Citation Graph (, )][DBLP]


  122. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. [Citation Graph (, )][DBLP]


  123. Towards an assume-guarantee theory for adaptable systems. [Citation Graph (, )][DBLP]


  124. A Framework for Analyzing and Testing the Performance of Software Services. [Citation Graph (, )][DBLP]


  125. DESERT: a decentralized monitoring tool generator. [Citation Graph (, )][DBLP]


  126. PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. [Citation Graph (, )][DBLP]


  127. A development process for context-aware adaptive services. [Citation Graph (, )][DBLP]


  128. A reuse-based approach to the correct and automatic composition of web-services. [Citation Graph (, )][DBLP]


  129. Automatic synthesis of behavior protocols for composable web-services. [Citation Graph (, )][DBLP]


  130. Software of the Future Is the Future of Software? [Citation Graph (, )][DBLP]


  131. Towards a formalization of mediating connectors for on the fly interoperability. [Citation Graph (, )][DBLP]


  132. Mediating Connector Patterns for Components Interoperability. [Citation Graph (, )][DBLP]


  133. Learning from the Cell Life-Cycle: A Self-adaptive Paradigm. [Citation Graph (, )][DBLP]


  134. The Future of Software: Adaptation and Dependability. [Citation Graph (, )][DBLP]


  135. Graphical scenarios for specifying temporal properties: an automated approach. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.015secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002