|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 34 occurrences of 23 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A model-driven process for engineering a toolset for a formal method.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra |
An optimization process for adaptation space exploration of service-oriented applications. |
SOSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra, Fabio Albani |
A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. |
EUROMICRO-SEAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra |
Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. |
ACT4SOC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra |
An Executable Semantics of the SystemC UML Profile. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini |
SystemC/C-based model-driven design for embedded systems. |
ACM Trans. Embedded Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
UML, SoC, C, SystemC, MDE, ES |
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A semantic framework for metamodel-based languages. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics |
| 1 | Elvinia Riccobene, Patrizia Scandurra |
Model transformations in the UPES/UPSoC development process for embedded systems. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
Model-based development (MBD), Unified modeling language (UML), Model transformations, SystemC, Embedded system design |
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Integrating Formal Methods with Model-Driven Engineering. |
ICSEA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Ten Reasons to Metamodel ASMs. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A Metamodel-based Language and a Simulation Engine for Abstract State Machines. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Model-Driven Language Engineering: The ASMETA Case Study. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni |
Scenario-based Validation of Embedded Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A model-driven validation & verification environment for embedded systems. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A Scenario-Based Validation Language for ASMs. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Exploiting the ASM Method for Validation & Verification of Embedded Systems. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Exploiting the ASM method within the Model-driven Engineering paradigm. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra |
A complete SystemC UML profile with dynamic features for behavioral descriptions. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra |
Process State Machines for Behavioral Modeling of Embedded Systems. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
Designing a Unified Process for Embedded Systems. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
A model-driven design environment for embedded systems. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
UML, MDA, SystemC, HW/SW co-design |
| 1 | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti |
A Model-driven Co-design Flow for Embedded Systems. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren |
UML for ESL design: basic principles, tools, and applications. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
simulation, UML, SoC, tools, profiles, SystemC, ESL design |
| 1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
A UML 2.0 profile for SystemC: toward high-level SoC design. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
model-driven system on chip design, UML, embedded systems, SystemC, UML profiles |
| 1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
An HW/SW Co-design Environment based on UML and SystemC. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene |
A Concrete Syntax Derived From the Abstract State Machine Metamodel. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. |
Stud. Inform. Univ. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra |
Modelling SystemC Process Behavior by the UML Method State Machines. |
RISE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
A framework to simulate UML models: moving from a semi-formal to a formal environment. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
UML models simulation, UML, Abstract State Machines, model mapping |
| 1 | Elvinia Riccobene, Patrizia Scandurra |
Towards an Interchange Language for ASMs. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")