PORTO @ Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 143
Citazione Data di pubblicazione Autori File
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems / AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - In: RIVISTA DI INFORMATICA. - ISSN 0390-668X. - STAMPA. - 25:3(1995), pp. 195-214. 1-gen-1995 AJMONE MARSAN, Marco GiuseppeBIANCO, ANDREACIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO -
Formal Specification and Verification of the Real-time Scheduler in FIP / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1995), pp. 99-106. (Intervento presentato al convegno 1995 IEEE International Workshop on Factory Communication Systems, WFCS '95 tenutosi a Leysin, Switzerland nel 4-6 October 1995) [10.1109/WFCS.1995.482655]. 1-gen-1995 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions / Sisto, Riccardo; Valenzano, A.. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - 44:(1995), pp. 1361-1370. 1-gen-1995 SISTO, Riccardo + -
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks / Cena, Gianluca; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1995), pp. 205-211. (Intervento presentato al convegno 1995 IEEE Fourteenth Annual International Phoenix Conference on Computers and Communications tenutosi a Scottsdale, AZ, USA nel 28-31 March 1995) [10.1109/PCCC.1995.472490]. 1-gen-1995 CENA, GianlucaDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Esercizi di Fondamenti di Informatica / Cena, Gianluca; Durante, Luca; Piccolo, Elio; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1997), pp. 1-313. 1-gen-1997 CENA, GianlucaDURANTE, LUCAPICCOLO, ElioSISTO, RiccardoVALENZANO, ADRIANO -
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1997), pp. 71-80. (Intervento presentato al convegno WFCS'97 - 1997 IEEE International Workshop on Factory Communication Systems tenutosi a Barcelona, Spain nel 1-3 October 1997) [10.1109/WFCS.1997.634358]. 1-gen-1997 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks'' / Cena, G; Durante, L; Sisto, Riccardo; Valenzano, A.. - In: COMPUTER COMMUNICATIONS. - ISSN 0140-3664. - 20:(1997), pp. 804-819. 1-gen-1997 DURANTE LSISTO, Riccardo + -
Modeling and Validation of Java Multi-threading applications using Spin / Demartini, Claudio Giovanni; Iosif, Radu; Sisto, Riccardo. - STAMPA. - (1998), pp. 5-19. (Intervento presentato al convegno 4th Int. SPIN Workshop nel November 1998). 1-gen-1998 DEMARTINI, Claudio GiovanniIOSIF, RaduSISTO, Riccardo -
Static Analysis of Java Mutithreaded and Distributed Applications / Demartini, Claudio Giovanni; Sisto, Riccardo. - STAMPA. - (1998), pp. 215-222. (Intervento presentato al convegno IEEE Int. Symp. on Software Engineering for Parallel and Distributed Systems tenutosi a Kyoto, Japan nel APR 20-21, 1998) [10.1109/PDSE.1998.668184]. 1-gen-1998 DEMARTINI, Claudio GiovanniSISTO, Riccardo -
A Java-based Formal Development Environment for Factory Communication Systems / Demartini, Claudio Giovanni; R., Iosif; Sisto, Riccardo. - (1998), pp. 273-281. (Intervento presentato al convegno IEEE Int. Conf. on Application of Concurrency to System Design). 1-gen-1998 DEMARTINI, Claudio GiovanniSISTO, Riccardo + -
Exploiting smart cards and mobile agents for personalized service provisioning: A case study / DE BLIECK, E.; Bos, L.; Ciminiera, Luigi; Sisto, Riccardo. - (1999). (Intervento presentato al convegno Proc. ACTS CAMALEON Workshop nel 01-JAN-99-). 1-gen-1999 CIMINIERA, LuigiSISTO, Riccardo + -
Dynamic Data Management in STEP / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1999), pp. 231-238. (Intervento presentato al convegno 32th ISATA Int. Conf. nel June 1999). 1-gen-1999 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Distributed-Memory Model Checking with SPIN / Lerda, F.; Sisto, Riccardo. - 1680:(1999), pp. 22-39. (Intervento presentato al convegno 5th and 6th International SPIN Workshops tenutosi a Trento (ITA). Toulouse (FRA) nel July 5, 1999. September 21 and 24, 1999) [10.1007/3-540-48234-2_3]. 1-gen-1999 SISTO, Riccardo + -
A Deadlock Detection Tool for Concurrent Java Programs / Demartini, Claudio Giovanni; Iosif, R.; Sisto, Riccardo. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 29 (7):(1999), pp. 577-603. 1-gen-1999 DEMARTINI, Claudio GiovanniSISTO, Riccardo + -
dSPIN: A Dynamic Extension of SPIN / Demartini, Claudio Giovanni; R., Iosif; Sisto, Riccardo. - 1680:(1999), pp. 261-276. (Intervento presentato al convegno 5th and 6th International SPIN Workshops tenutosi a Trento (ITA). Toulouse (FRA) nel July 5, 1999. September 21 and 24, 1999) [10.1007/3-540-48234-2_20]. 1-gen-1999 DEMARTINI, Claudio GiovanniSISTO, Riccardo + -
On the specification of source level properties in Java / Iosif, Radu; Sisto, Riccardo. - (2000), pp. 83-88. (Intervento presentato al convegno 1st Int. Workshop on Automated Program Analysis, Testing and Verification nel June 2000). 1-gen-2000 IOSIF, RaduSISTO, Riccardo -
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2000), pp. 155-170. (Intervento presentato al convegno FORTE/PSTV 2000 Joint Int. Conf. tenutosi a Pisa nel October 2000). 1-gen-2000 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Graphic LOTOS specification of an EN50254 system / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2000), pp. 43-46. (Intervento presentato al convegno IEEE WFCS2000, WIP Proceedings nel September 2000). 1-gen-2000 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Using Garbage Collection in Model Checking / Iosif, R.; Sisto, Riccardo. - 1885:(2000), pp. 20-33. (Intervento presentato al convegno 7th International SPIN Workshop tenutosi a Stanford, CA (USA) nel August 30 - September 1, 2000) [10.1007/10722468_2]. 1-gen-2000 SISTO, Riccardo + -
Using Binary Decision Diagrams for Representation and Analysis of Communication Protocols / Sisto, Riccardo. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - 32 (1):(2000), pp. 81-98. 1-gen-2000 SISTO, Riccardo -
Mostrati risultati da 21 a 40 di 143
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile