The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrizia Scandurra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
    Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:229-243 [Conf]
  2. Elvinia Riccobene, Patrizia Scandurra
    Towards an Interchange Language for ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:111-126 [Conf]
  3. Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
    A model-driven design environment for embedded systems. [Citation Graph (0, 0)][DBLP]
    DAC, 2006, pp:915-918 [Conf]
  4. Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
    A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:704-709 [Conf]
  5. Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
    A UML 2.0 profile for SystemC: toward high-level SoC design. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:138-141 [Conf]
  6. Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren
    UML for ESL design: basic principles, tools, and applications. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2006, pp:73-80 [Conf]
  7. Elvinia Riccobene, Patrizia Scandurra
    Modelling SystemC Process Behavior by the UML Method State Machines. [Citation Graph (0, 0)][DBLP]
    RISE, 2004, pp:112-121 [Conf]
  8. Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
    A framework to simulate UML models: moving from a semi-formal to a formal environment. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1519-1523 [Conf]
  9. Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene
    A Concrete Syntax Derived From the Abstract State Machine Metamodel. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:345-368 [Conf]

  10. Exploiting the ASM Method for Validation & Verification of Embedded Systems. [Citation Graph (, )][DBLP]


  11. A Scenario-Based Validation Language for ASMs. [Citation Graph (, )][DBLP]


  12. An Executable Semantics of the SystemC UML Profile. [Citation Graph (, )][DBLP]


  13. Ten Reasons to Metamodel ASMs. [Citation Graph (, )][DBLP]


  14. Exploiting the ASM method within the Model-driven Engineering paradigm. [Citation Graph (, )][DBLP]


  15. Model-Driven Language Engineering: The ASMETA Case Study. [Citation Graph (, )][DBLP]


  16. Integrating Formal Methods with Model-Driven Engineering. [Citation Graph (, )][DBLP]


  17. Designing a Unified Process for Embedded Systems. [Citation Graph (, )][DBLP]


  18. A model-driven validation & verification environment for embedded systems. [Citation Graph (, )][DBLP]


  19. Process State Machines for Behavioral Modeling of Embedded Systems. [Citation Graph (, )][DBLP]


  20. Scenario-based Validation of Embedded Systems. [Citation Graph (, )][DBLP]


  21. A complete SystemC UML profile with dynamic features for behavioral descriptions. [Citation Graph (, )][DBLP]


  22. A Model-driven Co-design Flow for Embedded Systems. [Citation Graph (, )][DBLP]


  23. An HW/SW Co-design Environment based on UML and SystemC. [Citation Graph (, )][DBLP]


  24. A semantic framework for metamodel-based languages. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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