|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 17 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francesco Moscato, Valeria Vittorini, Flora Amato, Antonino Mazzeo, Nicola Mazzocca |
Solution Workflows for Model-Based Analysis of Complex Systems.  |
IEEE T. Automation Science and Engineering  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Flammini, Sandro Bologna, Valeria Vittorini (eds.) |
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini |
Model-Driven Availability Evaluation of Railway Control Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Flammini, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini |
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection. |
ARES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Marrone, Camilla Papa, Valeria Vittorini |
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini |
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. |
Rel. Eng. & Sys. Safety |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Flammini, Nicola Mazzocca, Valeria Vittorini |
New Paradigms and Tools for High-Assurance Systems Modelling. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola |
A Study on Multiformalism Modeling of Critical Infrastructures. |
CRITIS |
2008 |
DBLP DOI BibTeX RDF |
Multiformalism Modeling, Security, Performability, Dependability, Critical Infrastructure |
| 1 | Flora Amato, Valentina Casola, Antonino Mazzeo, Valeria Vittorini |
The REM Framework for Security Evaluation. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini |
A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Giusy Di Lorenzo, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini |
Towards Semantics Driven Generation of Executable Web Services Compositions. |
JSW |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | Giusy Di Lorenzo, Anna Rita Fasolino, Lorenzo Melcarne, Porfirio Tramontana, Valeria Vittorini |
Turning Web Applications into Web Services by Wrapping Techniques. |
WCRE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini |
Automatic Analysis of Control Flow inWeb Services Composition Processes. |
PDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi |
Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
Web Services, semantics, Orchestration, Choreography, pattern analysis, Workflow patterns, BPEL4WS, Workflow language |
| 1 | Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini |
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. |
QEST |
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 | Francesco Moscato, Nicola Mazzocca, Valeria Vittorini |
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. |
PDP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini |
Policy based interoperability in distributed security infrastructures. |
ISPE CE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini |
Efficient model checking of properties of a distributed application: a multimedia case study. |
Softw. Test., Verif. Reliab. |
2002 |
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 |
|
| 1 | Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini |
Policy formalization to combine separate systems into larger connected network of trust. |
Net-Con |
2002 |
DBLP BibTeX RDF |
|
| 1 | Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca |
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini |
Formal Specification of Concurrent Systems: A Structured Approach. |
Comput. J. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Mazzocca, Stefano Russo, Valeria Vittorini |
Formal methods integration for the specification of dependable distributed systems. |
Journal of Systems Architecture |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini |
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems. |
Real-Time Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini |
A method for predictive performance of distributed programs. |
Simul. Pr. Theory |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Mazzocca, Stefano Russo, Valeria Vittorini |
Integrating Trace Logic and Petri Nets Specifications. |
HICSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini |
A Mapping Method for Distributed Hetergoneous Systems. |
EUROSIM |
1994 |
DBLP BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")