Pubblicazioni
Pubblicazioni trovate: 402
- ARPHA: a software prototype for fault detection, identification and recovery in autonomous spacecrafts
Daniele Codetta Raiteri, Stefano Di Nolfo, Andrea Guiotto, Luigi Portinale
Apparso su Acta Futura vol. 5(15), Ed. ESA, 2012, Pagine: 99-110 - Trace retrieval and clustering for business process monitoring
Stefania Montani, Giorgio Leonardi
Apparso su TR-INF-2012-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012 - Typed Stochastic Semantics for the Calculus of Looping Sequences
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su Theoretical Computer Science, 2012 - A Calculus of Looping Sequences with Local Rules
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su 7th Workshop on Developments in Computational Models (DCM'11), 2012 - Computing first passage time distributions in stochastic well-formed nets
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su ICPE, 2011, Pagine: 7-18 - Lumping partially symmetrical stochastic models
Soheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Apparso su Perform. Eval. Vol. 68 n. 1, 2011, Pagine: 21-44 - Probe Automata for Passage Time Specification
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Apparso su QEST, 2011, Pagine: 101-110 - First Passage Time Computation in Tagged GSPNs with Queue Places
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su Comput. J. Vol. 54 n. 5, 2011, Pagine: 653-673 - First Passage Time Computation in Tagged GSPN with Queue Places
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su COMPUTER JOURNAL Vol. 54, 2011, Pagine: 653--673 - MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets
Marco Beccuti, Giuliana Franceschinis, Serge Haddad
Apparso su INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING Vol. 7, 2011, Pagine: 417--428
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
