SISTO, Riccardo

SISTO, Riccardo  

Dipartimento di Automatica e Informatica  

001943  

Mostra records
Risultati 1 - 20 di 149 (tempo di esecuzione: 0.014 secondi).
Citazione Data di pubblicazione Autori File
On the Implementation of an Interface for a Multichannel Local Area Network / Albertengo, Guido; Sisto, Riccardo. - STAMPA. - (1989), pp. 649-653. (Intervento presentato al convegno Melecon'89 - Mediterranean Electrotechnical Conference tenutosi a Lisboa nel April 1989) [10.1109/MELCON.1989.50168]. 1-gen-1989 ALBERTENGO, GUIDOSISTO, Riccardo -
Formal description of manufacturing systems: an experiment with Estelle / Morisio, Maurizio; Sisto, Riccardo. - (1990). (Intervento presentato al convegno Second European Conference on Software Quality Assuranc nel May). 1-gen-1990 MORISIO, MAURIZIOSISTO, Riccardo -
SPRINT: A DSP-based Electrical Simulator / Sisto, Riccardo. - STAMPA. - (1990), pp. 48-51. (Intervento presentato al convegno IASTED International Conference on Signal Processing and Digital Filtering tenutosi a Lugano, Switzerland nel June 18-21, 1990). 1-gen-1990 SISTO, Riccardo -
Parallel CRC Generation / Albertengo, Guido; Sisto, Riccardo. - In: IEEE MICRO. - ISSN 0272-1732. - 10:(1990), pp. 63-71. 1-gen-1990 ALBERTENGO, GUIDOSISTO, Riccardo -
The use of Estelle to specify manufacturing systems / Morisio, Maurizio; Sisto, Riccardo. - In: MICROPROCESSING AND MICROPROGRAMMING. - ISSN 0165-6074. - STAMPA. - 28:1-5(1990), pp. 253-258. [10.1016/0165-6074(90)90184-B] 1-gen-1990 MORISIO, MAURIZIOSISTO, Riccardo -
An Abstract Execution Model for Basic LOTOS / Valenzano, A; Sisto, Riccardo; Ciminiera, L.. - In: SOFTWARE ENGINEERING JOURNAL. - ISSN 0268-6961. - 5:(1990), pp. 311-318. 1-gen-1990 SISTO, Riccardo + -
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines / Valenzano, Adriano; Sisto, Riccardo; Ciminiera, Luigi. - STAMPA. - (1990), pp. 780-785. (Intervento presentato al convegno Second IEEE Symposium on Parallel and Distributed Processing tenutosi a Dallas, Texas, USA nel December 1990) [10.1109/SPDP.1990.143644]. 1-gen-1990 VALENZANO, ADRIANOSISTO, RiccardoCIMINIERA, Luigi -
A Protocol for Multirendezvous of LOTOS Processes / Sisto, Riccardo; Ciminiera, Luigi; Valenzano, A.. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - 40:(1991), pp. 437-447. 1-gen-1991 SISTO, RiccardoCIMINIERA, Luigi + -
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS / Valenzano, Adriano; Sisto, Riccardo; Ciminiera, Luigi. - STAMPA. - (1991), pp. 346-352. (Intervento presentato al convegno Tenth Annual International Phoenix Conference on Computers and Communications tenutosi a Scottsdale, Arizona, USA nel March 1991) [10.1109/PCCC.1991.113832]. 1-gen-1991 VALENZANO, ADRIANOSISTO, RiccardoCIMINIERA, Luigi -
A Graphical Tool for Protocol Design with Estelle / Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1991), pp. 552-556. (Intervento presentato al convegno CompEuro '91. 5th Annual European Computer Conference tenutosi a Bologna, Italy nel 13-16 May 1991) [10.1109/CMPEUR.1991.257446]. 1-gen-1991 CIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO -
A Formalization Of The FIP Protocol Using Estelle / Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1992), pp. 348-353. (Intervento presentato al convegno IEEE International Workshop on Emerging Technologies and Factory Automation tenutosi a Melbourne, Australia nel 11-14 August 1992) [10.1109/ETFA.1992.683278]. 1-gen-1992 SISTO, RiccardoVALENZANO, ADRIANO -
Throughput Analysis of Timed Token Protocols in Double Ring Networks / Demartini, Claudio Giovanni; Montuschi, Paolo; Valenzano, Adriano; Ciminiera, Luigi; Sisto, Riccardo. - STAMPA. - (1992), pp. 473-482. (Intervento presentato al convegno 17th Conference on Local Computer Networks tenutosi a Minneapolis, MN, USA nel 13-16 September 1992) [10.1109/LCN.1992.228154]. 1-gen-1992 DEMARTINI, Claudio GiovanniMONTUSCHI, PAOLOVALENZANO, ADRIANOCIMINIERA, LuigiSISTO, Riccardo -
Probabilistic Characterization of Algebraic Protocol Specifications / Sisto, Riccardo; Ciminiera, Luigi; Valenzano, Adriano. - STAMPA. - (1992), pp. 260-268. (Intervento presentato al convegno 12th International Conference on Distributed Computing Systems tenutosi a Yokohama, Japan nel 9-12 June 1992) [10.1109/ICDCS.1992.235032]. 1-gen-1992 SISTO, RiccardoCIMINIERA, LuigiVALENZANO, ADRIANO -
Rapid Prototyping of Protocols from LOTOS Specifications / Valenzano, A; Sisto, Riccardo; Ciminiera, Luigi. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 23:(1993), pp. 31-54. 1-gen-1993 SISTO, RiccardoCIMINIERA, Luigi + -
A Static Semantic Analyzer for LOTOS Specifications / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1993), pp. 585-592. (Intervento presentato al convegno IEEE Phoenix Conference on Computers and Communications nel 23-26 March 1993) [10.1109/PCCC.1993.344534]. 1-gen-1993 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A LOTOS Extension for the Performance Analysis of Distributed Systems / AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, A.. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 2:2(1994), pp. 151-165. [10.1109/90.298433] 1-gen-1994 AJMONE MARSAN, Marco GiuseppeBIANCO, ANDREACIMINIERA, LuigiSISTO, Riccardo + ton_lotos.pdf
Integrating Performance Analysis in the Context of LOTOS-Based Design / AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1994), pp. 292-298. (Intervento presentato al convegno MASCOTS tenutosi a Durham, NC, USA nel February 1994) [10.1109/MASCOT.1994.284408]. 1-gen-1994 AJMONE MARSAN, Marco GiuseppeBIANCO, ANDREACIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO mascots.pdf
Implementation of Static Semantic Analysis of LOTOS Specifications / Durante, L; Sisto, Riccardo; Valenzano, A.. - In: SOFTWARE ENGINEERING JOURNAL. - ISSN 0268-6961. - 9:(1994), pp. 55-66. 1-gen-1994 DURANTE LSISTO, Riccardo + -
A LOTOS Specification of the SERCOS Field-bus Protocol / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1994), pp. 139-147. (Intervento presentato al convegno SEKE '94: the 6th International Conference on Software Engineering and Knowledge Engineering tenutosi a Jurmala, Latvia nel 21-23 June). 1-gen-1994 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Method to Build Symbolic Representations of LOTOS Specifications / Sisto, Riccardo. - STAMPA. - (1995), pp. 331-346. (Intervento presentato al convegno Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification tenutosi a Warsaw, Poland nel June 1995). 1-gen-1995 SISTO, Riccardo -