Publications
Publications found: 392
- DrawNet++: A Flexible Framework for Building Dependability Models
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello
Published on DSN, 2002, Pages: 540
- Multi-path continuous media streaming: what are the benefits?
Leana Golubchik, John C. S. Lui, Tak Fu Tung, Alix L. H. Chow, Adam Woei-jyh Lee, Giuliana Franceschinis, Cosimo Anglano
Published on Perform. Eval. Vol. 49 n. 1/4, 2002, Pages: 429-449
- Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System
Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
Published on SAFECOMP, 2002, Pages: 212-223
- DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini
Published on Computer Performance Evaluation / TOOLS, 2002, Pages: 233-238
- A type preserving translation of Fickle into Java
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
Published on TOSCA'01 62, Ed. Elsevier, 2002
- More Dynamic Object Re-classification: Fickle$_{II}$
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Paola Giannini
Published on ACM Transactions On Programming Languages and Systems 24 2, Ed. ACM, 2002, Pages: 153-191
- Strictness, totality, and non-standard type inference
Mario Coppo, Ferruccio Damiani, Paola Giannini
Published on Theoretical Computer Science 272 1-2, Ed. Elsevier, 2002, Pages: 69--112
- A calculus for "environment-aware'' computation
Viviana Bono, Ferruccio Damiani, Paola Giannini
Published on F-WAN'02 66.3, Ed. Elsevier, 2002
- Stochastic modeling, analysis techniques and tools for dependable reactive systems
Andrea Bobbio, Daniele Codetta Raiteri
Published on TR-INF-2002-10-06-UNIPMN, Ed. Computer Science Department, UPO, 2002
- Stochastic modeling, analysis techniques and tools for dependable reactive systems
Simona Bernardi, Andrea Bobbio, Marco Gribaudo
Published on TR-INF-2002-10-05-UNIPMN, Ed. Computer Science Department, UPO, 2002
Pages: « < 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 > »
