|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono |
Defining Formalisms for Performance Evaluation With SIMTHESys.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Stefano Marrone |
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. |
ASMTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Iacono, Marco Gribaudo |
Element Based Semantics in Multi Formalism Performance Models. |
MASCOTS |
2010 |
DBLP DOI BibTeX RDF |
multi-formalism models, performance evaluation, modelling tools |
| 1 | Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono |
The software architecture of the OsMoSys multisolution framework. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
multiformalism, multisolution, system modeling, orchestration |
| 1 | Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone |
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis |
The OsMoSys approach to multi-formalism modeling of systems. |
Software and System Modeling |
2004 |
DBLP DOI BibTeX RDF |
Multi-formalism modeling, Object orientation, Compositionality, Meta-languages |
| 1 | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini |
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini |
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini |
Repairable Fault Tree for the Automatic Evaluation of Repair Policies. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini |
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
Model Objects, Performance Analysis Framework, Model composition |
| 1 | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello |
DrawNet++: A Flexible Framework for Building Dependability Models. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")