Sfoglia per Autore
Adding Dependability Analysis capabilities to the MARTE profile
2008-01-01 Simona Bernardi; José Merseguer; Dorina C. Petriu
A UML Profile for Dependability Analysis of Real Time Embedded Systems
2007-01-01 S. BERNARDI; J. MERSEGUER
Performance evaluation of UML design with Stochastic Well-formed Nets
2007-01-01 S. BERNARDI; J. MERSEGUER
International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2007)
2007-01-01 S. Bernardi
QoS Assessment via Stochastic Analysis
2006-01-01 S. BERNARDI; J. MERSEGUER
Comparing two UML Profiles for Non-functional Requirement Annotations: the SPT and QoS Profiles
2004-01-01 Simona Bernardi; Dorina C. Petriu
On Performance Bounds for interval Petri nets
2004-01-01 S. BERNARDI; J. CAMPOS
A class diagram framework for collecting dependability requirements in automation systems
2004-01-01 S. DONATELLI; S. BERNARDI; G. DONDOSSOLA
Petri Nets and dependability
2004-01-01 BERNARDI S.; BOBBIO A.; DONATELLI S.
Stochastic Petri Nets and inheritance for dependability modelling.
2004-01-01 S. BERNARDI ; S. DONATELLI
Towards a methodological approach to specification and analysis of dependable automation systems
2004-01-01 S. BERNARDI; S. DONATELLI; G. DONDOSSOLA
Building Petri net scenarios for dependable automation systems
2003-01-01 S. BERNARDI; DONATELLI S.
Validation and evaluation of a software solution for fault tolerant distributed synchronization
2002-01-01 BALLARINI P.; S. BERNARDI; DONATELLI S.
A compositional semantics for UML State Machines aimed at performance evaluation
2002-01-01 MERSEGUER J.; S. BERNARDI; CAMPOS J.; DONATELLI S.
From UML Sequence Diagrams and StateCharts to analysable Petri Net models
2002-01-01 S. BERNARDI; DONATELLI S.; MERSEGUER J.
Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets
2001-01-01 S. BERNARDI; S. DONATELLI; A. HORVATH
Concurrent Generalized Petri Nets: Regenerative Conditions
2001-01-01 BERNARDI S.; G. BALBO
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications
2000-01-01 BERNARDI S.; DONATELLI S.; HORVATH A.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile