Publications
Publications found: 390
- 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
- Interactive MPEG video streaming over IP-networks: a performance report
Marco Furini, Marco Roccetti
Published on TR-INF-2002-09-04-UNIPMN, Ed. Computer Science Department, UPO, 2002
- From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant
Andrea Bobbio, Marco Gribaudo, András Horváth
Published on TR-INF-2002-02-02-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 > »
