| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
A model advisor for NuSMV specifications.  |
ISSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 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 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. |
ASE |
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 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. |
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 | Angelo Gargantini, Elvinia Riccobene |
ViBBA: A Toolbox for Automatic Model Driven Animation. |
SimVis |
2005 |
DBLP 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 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
On formalizing UML state machines using ASM. |
Information & Software Technology |
2004 |
DBLP DOI 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 | Egon Börger, Elvinia Riccobene, Alessandra Cavarra |
Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. |
SAC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene |
Automatic Model Driven Animation of SCR Specifications. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.) |
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings |
Abstract State Machines |
2003 |
DBLP BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo |
Using Spin to Generate Testsfrom ASM Specifications. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianna Nicolosi Asmundo, Elvinia Riccobene |
Consistent Integration for Sequential Abstract State Machines. |
Abstract State Machines |
2003 |
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 |
|
| 1 | Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene |
Proving Invariants of I/O Automata with TAME. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene |
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Elvinia Riccobene, Joachim Schmid |
Capturing Requirements by Abstract State Machines: The Light Control Case Study. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
An ASM Semantics for UML Activity Diagrams. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella |
A Formal Model for the Parallel Semantics of P3L. |
SAC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene |
Using TAME to prove invariants of automata models: Two case studies. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
software requirements analysis, Software engineering, verification, formal methods, theorem proving |
| 1 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
Modeling the Dynamics of UML State Machines. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene |
Encoding Abstract State Machines in PVS. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Elvinia Riccobene |
A Realistic Environment for Crypto-Protocol Analyses by ASMs. |
Workshop on Abstract State Machines |
1998 |
DBLP BibTeX RDF |
|
| 1 | Giampaolo Bella, Elvinia Riccobene |
Formal Analysis of the Kerberos Authentication System. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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. |
Formal Methods for Industrial Applications |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog. Part II: Or-Parallelism. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog, Part I: And-Parallelism. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")