The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrizio Pelliccione: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini
    TeStor: Deriving Test Sequences from Model-Based Specifications. [Citation Graph (0, 0)][DBLP]
    CBSE, 2005, pp:267-282 [Conf]
  2. Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione
    Formal Analysis of Architectural Patterns. [Citation Graph (0, 0)][DBLP]
    EWSA, 2004, pp:10-24 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini
    Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:351-365 [Conf]
  7. 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]
  8. 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]
  9. Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo
    CAA-DRIP: a framework for implementing Coordinated Atomic Actions. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:385-394 [Conf]
  10. 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]
  11. Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio
    Rapid System Development Via Product Line Architecture Implementation. [Citation Graph (0, 0)][DBLP]
    RISE, 2005, pp:18-33 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky
    Architecting Fault Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    WICSA, 2007, pp:43- [Conf]
  16. Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione
    A Practical Architecture-Centric Analysis Process. [Citation Graph (0, 0)][DBLP]
    QoSA, 2006, pp:127-144 [Conf]
  17. Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione
    The Fault-Tolerant Insulin Pump Therapy. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:59-79 [Conf]
  18. 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]
  19. Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione
    Architecting Fault-tolerant Component-based Systems: from requirements to testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:77-90 [Journal]
  20. Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky
    EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:617-618 [Conf]

  21. Formal Analysis and Verification of Self-Healing Systems. [Citation Graph (, )][DBLP]


  22. Integrating AADL within a Multi-domain Modeling Framework. [Citation Graph (, )][DBLP]


  23. Developing next generation ADLs through MDE techniques. [Citation Graph (, )][DBLP]


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


  25. Towards an architectural approach for the dynamic and automatic composition of software components. [Citation Graph (, )][DBLP]


  26. DUALLY: A framework for Architectural Languages and Tools Interoperability. [Citation Graph (, )][DBLP]


  27. Realizing architecture frameworks through megamodelling techniques. [Citation Graph (, )][DBLP]


  28. EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. [Citation Graph (, )][DBLP]


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


  30. A Software Architecture for Reliable Collaborative Working Environments. [Citation Graph (, )][DBLP]


  31. Towards a Framework for Distributed and Collaborative Modeling. [Citation Graph (, )][DBLP]


  32. Simulating Software Architectures for Functional Analysis. [Citation Graph (, )][DBLP]


  33. Self-Repairing systems modeling and verification using AGG. [Citation Graph (, )][DBLP]


  34. POPEYE: A simple and reliable collaborative working environment over mobile ad-hoc networks. [Citation Graph (, )][DBLP]


  35. TowardsWeaving Software Architecture Models. [Citation Graph (, )][DBLP]


  36. ByADL: An MDE Framework for Building Extensible Architecture Description Languages. [Citation Graph (, )][DBLP]


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


  38. Towards maintainer script modernization in FOSS distributions [Citation Graph (, )][DBLP]


  39. From Requirements to code: an Architecture-centric Approach for producing Quality Systems [Citation Graph (, )][DBLP]


  40. Towards a Graphical Tool for Refining User to System Requirements. [Citation Graph (, )][DBLP]


Search in 0.015secs, Finished in 0.016secs
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