The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Henry Muccini: [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. Henry Muccini, Marcio S. Dias, Debra J. Richardson
    Reasoning About Software Architecture-Based Regression Testing Through a Case Study. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:189-195 [Conf]
  3. 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]
  4. Henry Muccini
    Detecting Implied Scenarios Analyzing Non-local Branching Choices. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:372-386 [Conf]
  5. Henry Muccini, Marcio S. Dias, Debra J. Richardson
    Systematic Testing of Software Architectures in the C2 Style. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:295-309 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Paola Inverardi, Henry Muccini
    A Coordination Process Based on UML and a Software Architectural Description. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  13. 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]
  14. Henry Muccini, Fabio Mancinelli
    Eliciting Coordination Policies from Requirements. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:387-393 [Conf]
  15. Antonia Bertolino, Paola Inverardi, Henry Muccini
    Formal Methods in Testing Software Architectures. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:122-147 [Conf]
  16. 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]
  17. Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini
    An Architecture-Centric Approach for Producing Quality Systems. [Citation Graph (0, 0)][DBLP]
    QoSA/SOQUA, 2005, pp:21-37 [Conf]
  18. 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]
  19. Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky
    Architecting Fault Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    WICSA, 2007, pp:43- [Conf]
  20. Henry Muccini
    What Makes Software Architecture-Based Testing Distinguishable. [Citation Graph (0, 0)][DBLP]
    WICSA, 2007, pp:29- [Conf]
  21. Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione
    A Practical Architecture-Centric Analysis Process. [Citation Graph (0, 0)][DBLP]
    QoSA, 2006, pp:127-144 [Conf]
  22. Antonia Bertolino, Eda Marchetti, Henry Muccini
    Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:85-97 [Journal]
  23. Henry Muccini, André van der Hoek
    Towards Testing Product Line Architectures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  24. 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]
  25. Henry Muccini, Fabio Mancinelli
    A Software Engineering Approach For Coordination Policies Elicitation. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2004, v:13, n:1, pp:9-36 [Journal]
  26. Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio
    A data-modelling approach to web application synthesis. [Citation Graph (0, 0)][DBLP]
    Int. J. Web Eng. Technol., 2004, v:1, n:3, pp:320-337 [Journal]
  27. Henry Muccini, Marcio S. Dias, Debra J. Richardson
    Software architecture-based regression testing. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:10, pp:1379-1396 [Journal]
  28. 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]
  29. 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]
  30. Henry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino
    Monitoring Architectural Properties in Dynamic Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    CBSE, 2007, pp:124-139 [Conf]
  31. Patricia Lago, Henry Muccini, Ljerka Beus-Dukic, Ivica Crnkovic, Sasikumar Punnekkat, Hans van Vliet
    Towards a European Master Programme on Global Software Engineering. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2007, pp:184-194 [Conf]
  32. Henry Muccini
    Using Model Differencing for Architecture-level Regression Testing. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2007, pp:59-66 [Conf]
  33. Antonia Bertolino, Henry Muccini, Andrea Polini
    Architectural Verification of Black-Box Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    RISE, 2006, pp:98-113 [Conf]
  34. 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]

  35. An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. [Citation Graph (, )][DBLP]


  36. A Model-Driven Engineering Framework for Component Models Interoperability. [Citation Graph (, )][DBLP]


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


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


  39. Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. [Citation Graph (, )][DBLP]


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


  41. ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. [Citation Graph (, )][DBLP]


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


  43. Welcome to the WISE track. [Citation Graph (, )][DBLP]


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


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


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


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


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


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


Search in 0.033secs, Finished in 0.035secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002