SISTO, Riccardo
SISTO, Riccardo
Dipartimento di Automatica e Informatica
001943
On the Implementation of an Interface for a Multichannel Local Area Network
1989 Albertengo, Guido; Sisto, Riccardo
Formal description of manufacturing systems: an experiment with Estelle
1990 Morisio, Maurizio; Sisto, Riccardo
SPRINT: A DSP-based Electrical Simulator
1990 Sisto, Riccardo
Parallel CRC Generation
1990 Albertengo, Guido; Sisto, Riccardo
The use of Estelle to specify manufacturing systems
1990 Morisio, Maurizio; Sisto, Riccardo
An Abstract Execution Model for Basic LOTOS
1990 Valenzano, A; Sisto, Riccardo; Ciminiera, L.
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines
1990 Valenzano, Adriano; Sisto, Riccardo; Ciminiera, Luigi
A Protocol for Multirendezvous of LOTOS Processes
1991 Sisto, Riccardo; Ciminiera, Luigi; Valenzano, A.
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS
1991 Valenzano, Adriano; Sisto, Riccardo; Ciminiera, Luigi
A Graphical Tool for Protocol Design with Estelle
1991 Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano
A Formalization Of The FIP Protocol Using Estelle
1992 Sisto, Riccardo; Valenzano, Adriano
Throughput Analysis of Timed Token Protocols in Double Ring Networks
1992 Demartini, Claudio Giovanni; Montuschi, Paolo; Valenzano, Adriano; Ciminiera, Luigi; Sisto, Riccardo
Probabilistic Characterization of Algebraic Protocol Specifications
1992 Sisto, Riccardo; Ciminiera, Luigi; Valenzano, Adriano
Rapid Prototyping of Protocols from LOTOS Specifications
1993 Valenzano, A; Sisto, Riccardo; Ciminiera, Luigi
A Static Semantic Analyzer for LOTOS Specifications
1993 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A LOTOS Extension for the Performance Analysis of Distributed Systems
1994 AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, A.
Integrating Performance Analysis in the Context of LOTOS-Based Design
1994 AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano
Implementation of Static Semantic Analysis of LOTOS Specifications
1994 Durante, L; Sisto, Riccardo; Valenzano, A.
A LOTOS Specification of the SERCOS Field-bus Protocol
1994 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A Method to Build Symbolic Representations of LOTOS Specifications
1995 Sisto, Riccardo
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 | - |