The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Elvinia Riccobene: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
    An ASM Semantics for UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:293-308 [Conf]
  2. Marianna Nicolosi Asmundo, Elvinia Riccobene
    Consistent Integration for Sequential Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:324-340 [Conf]
  3. Giampaolo Bella, Elvinia Riccobene
    A Realistic Environment for Crypto-Protocol Analyses by ASMs. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:127-138 [Conf]
  4. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
    Modeling the Dynamics of UML State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:223-241 [Conf]
  5. 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]
  6. Angelo Gargantini, Elvinia Riccobene
    Encoding Abstract State Machines in PVS. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:303-322 [Conf]
  7. Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo
    Using Spin to Generate Testsfrom ASM Specifications. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:263-277 [Conf]
  8. Elvinia Riccobene, Patrizia Scandurra
    Towards an Interchange Language for ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:111-126 [Conf]
  9. 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]
  10. Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene
    Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:52-78 [Conf]
  11. 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]
  12. 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]
  13. Angelo Gargantini, Elvinia Riccobene
    Automatic Model Driven Animation of SCR Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:294-309 [Conf]
  14. Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
    Using TAME to prove invariants of automata models: Two case studies. [Citation Graph (0, 0)][DBLP]
    FMSP, 2000, pp:25-36 [Conf]
  15. 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]
  16. Egon Börger, Elvinia Riccobene
    Logical Operational Semantics of Parlog. Part II: Or-Parallelism. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:27-34 [Conf]
  17. Egon Börger, Elvinia Riccobene
    Logical Operational Semantics of Parlog, Part I: And-Parallelism. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:191-198 [Conf]
  18. 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]
  19. Egon Börger, Elvinia Riccobene, Alessandra Cavarra
    Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:1086-1091 [Conf]
  20. 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]
  21. Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella
    A Formal Model for the Parallel Semantics of P3L. [Citation Graph (0, 0)][DBLP]
    SAC (2), 2000, pp:804-812 [Conf]
  22. Angelo Gargantini, Elvinia Riccobene
    ViBBA: A Toolbox for Automatic Model Driven Animation. [Citation Graph (0, 0)][DBLP]
    SimVis, 2005, pp:101-114 [Conf]
  23. Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
    Proving Invariants of I/O Automata with TAME. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:3, pp:201-232 [Journal]
  24. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
    On formalizing UML state machines using ASM. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:5, pp:287-292 [Journal]
  25. Egon Börger, Elvinia Riccobene, Joachim Schmid
    Capturing Requirements by Abstract State Machines: The Light Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:597-620 [Journal]
  26. Giampaolo Bella, Elvinia Riccobene
    Formal Analysis of the Kerberos Authentication System. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:12, pp:1337-1381 [Journal]
  27. Angelo Gargantini, Elvinia Riccobene
    ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:11, pp:1050-1067 [Journal]
  28. 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]

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


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


  31. AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. [Citation Graph (, )][DBLP]


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


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


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


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


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


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


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


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


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


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


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


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


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


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