Strutture
Dipartimento di Informatica
Prodotti
ABDELAZIM ISMAIL MOHAMED HESHAM (10)
- ALBANO ANTONIO (18)
- ALBANO MICHELE (19)
- ALDINUCCI MARCO (63)
- AMBRIOLA VINCENZO (52)
- ATTARDI GIUSEPPE (67)
- BACCIU DAVIDE (2)
- BAGLIONI MIRIAM (1)
- BAIARDI FABRIZIO (61)
- BARBUTI ROBERTO (73)
- BARCARO UMBERTO (50)
- BATTAGLIA GIOVANNI (7)
- BELLIA MARCO (23)
- BENEDETTI LUCA (2)
- BERNABEI DANIELE (2)
- BERNASCONI ANNA (67)
- BERTOLLI CARLO (2)
- BEVILACQUA ROBERTO (19)
- BIGI GIANCARLO (27)
- BODEI CHIARA (58)
- BONUCCELLI MAURIZIO ANGELO (27)
- BORGER EGON (100)
- BOZZO ENRICO (12)
- BRACCIALI ANDREA (28)
- BROGI ANTONIO (114)
- BRUNI ROBERTO (134)
- BUONO DANIELE (4)
- BUSCEMI MARIA GRAZIA (2)
- CAMPA SONIA (3)
- CANGELOSI DAVIDE (6)
- CAPANNINI GABRIELE (2)
- CAPOVANI MILVIO (6)
- CAPPELLI AMEDEO (4)
- CARAVAGNA GIULIO (9)
- CARMIGNANI NICOLA (5)
- CECCARELLI DIEGO (4)
- CHESSA STEFANO (117)
- CIANCIA VINCENZO (3)
- CIONI LORENZO (9)
- CISTERNINO ANTONIO (58)
- CIUFFOLETTI AUGUSTO (47)
- CONFORTI GIOVANNI (15)
- CORFINI SARA (12)
- CORRADINI ANDREA (106)
- COSCIA MICHELE (4)
- COSTA GABRIELE (8)
- DANELUTTO MARCO (108)
- DEGANO PIERPAOLO (125)
- DEL CORSO GIANNA MARIA (45)
- DELL'ORLETTA FELICE (1)
- DI BENEDETTO MARCO (2)
- DI PIERRO ALESSANDRA (35)
- DINH VIET DUNG (3)
- DITTAMO CRISTIAN (10)
- DRABIK PETER (3)
- ERMINI DONATELLA (2)
- FERRAGINA PAOLO (98)
FERRARI GIAN-LUIGI (115)
- A Coordination-based Methodology for Security Protocol Verification A. Bracciali, G. Baldi, G. Ferrari, E. Tuosto
- A Debugging Calculus for Mobile Ambients G. Ferrari, E. Tuosto
- A Formal Basis for Reasoning on Programmable QoS R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, E. Tuosto
- A G-Local pi-calculus FERRARI GIAN-LUIGI, BODEI CHIARA, DINH VIET DUNG
- A LTS Semantics of Ambients via Graph Synchronization withMobility G. Ferrari, U. Montanari, E. Tuosto
- A Model Checking Verification Environment for Mobile Processes G. Ferrari, S. Gnesi, U. Montanari, M. Pistore
- A Process Calculus for QoS-aware Applications R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, E. Tuosto
- A Refinement Calculus for Mobility G. Ferrari, C. Montangero, L. Semini, S. Semprini
- A Spatial Logic for QoS Properties of Graphs, G. Ferrari, A. Lluch-Lafuente
- A Tile Based View of the Asynchronous pi calculus G. Ferrari, U. Montanari
- A pi-calculus with explicit substitutions G. Ferrari, U. Montanari, P. Quaglia
- A symbolic framework for multi- faceted security protocol analysis BRACCIALI ANDREA, FERRARI GIAN-LUIGI, Tuosto Emilio
- ASPASYA: Security Protocol Verification Environment Baldi Giacomo, Bracciali Andrea, FERRARI GIAN-LUIGI, Tuosto Emilio
- Ad Hoc Network Applications: Specification, Design andVerification in Mob-Adtl G. Ferrari, C. Montangero, L. Semini, S. Semprini
- An automata based verification environment for mobile processe G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, G. Ristori
- An automata based verification environment for the pi calculus - Tool Demonstration G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, G. Ristori
- Applying Process Analysis to the Italian eGovernment Enterprise Architecture BRUNI ROBERTO, CORRADINI ANDREA, FERRARI GIAN-LUIGI, Flagella Tito, Guanciale Roberto, Spagnolo Giorgio
- Atomicity and Concurrency Control in Process Calculi G. Ferrari
- Calculi for Network Aware Programming G. Ferrari, R. Pugliese, E. Tuosto
- Call-by-Contract for Service Discovery, Orchestration and Recovery- Parte di:Rigorous Software Engineering for Service-Oriented Systems Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto
- Checking Correctness of Transactional Behaviours CIANCIA VINCENZO, FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele
- Checking Risky Events is Enough for Local Policies Bartoletti, M., Degano, P., Ferrari, G.L.
- Choreography Rehearsal. BODEI CHIARA, FERRARI GIAN-LUIGI
- Co-Algebraic Models for Quantitative Spatial Logics Ciancia Vincenzo, FERRARI GIAN-LUIGI
- Co-algebraic minimization of HD-automata for the pi-calculus using polymorphic types G. Ferrari, U. Montanari, E. Tuosto
- Coalgebraic Minimization of HD-Automata for the π-Calculus Using Polymorphic Types FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio
- Concurrency, Graphs and Models- Parte di:Event-based Service Coordination FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio
- Concurrency, Graphs and Models- Parte di:History-Dependent Automata for Service Compatibility CIANCIA VINCENZO, FERRARI GIAN-LUIGI, Pistore Marco, Tuosto Emilio
- Concurrency, Graphs and Models- Parte di:Ugo Montanari and Software Verification FERRARI GIAN-LUIGI
- Coordinating Mobile agents via Blackboards and Access Rights R. De Nicola, G. Ferrari, R. Pugliese
- Coordination Via Types in an Event-Based Framework FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele
- Cost Calculi for Communicating Systems, G. Ferrari, U. Montanari
- Debugging Distributed Systems with Causal Nets FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio
- Eager, Lazy and Busy Waiting Actions in Timed Computations F. Corradini, G. Ferrari, M. Pistore
- Enforcing Secure Service Composition M. Bartoletti, P. Degano, G. Ferrari
- Event Based Service Coordination over Dynamic and Heterogeneous Networks FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele
- Event based choreography. Ciancia Vincenzo, FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele
- From Co-algebraic Specifications to Implementation: The MIHDA toolkit} G. Ferrari, U. Montanari, R. Raggi, E. Tuosto
- From Theory to Practice in Transactional Composition of Web Services Roberto Bruni, Gianluigi Ferrari, Hernán Melgratti, Ugo Montanari, Daniele Strollo and Emilio Tuosto
- Global Coordination Policies for Services Ciancia Vincenzo, FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele
- Graph-based Models of Internetworking Systems- Parte di:Formal Methods at the Crossroads: from Panaces to Foundational Support G. Ferrari, U. Montanari, E. Tuosto
- Guardians for Ambient Based Monitoring G. Ferrari, E. Moggi, R. Pugliese
- HAL: History Dependent Automata Laboratory FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Gnesi Stefania, Pistore Marco
- Hard Life with Weak Binders Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto
- Higher-Order Types and Meta-Programming for Global Computing G. Ferrari, E. Moggi, R. Pugliese
- History-Based Access Control with Local Policies M. Bartoletti, P. Degano, G. Ferrari
- Interactive Mobile Agents in XKlaim L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese
- JSCL: A Middleware for Service Coordination, FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele
- Java Signal Coordination Layer (JSCL) FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele
- Java Transactional Web Services (JTWS) BRUNI ROBERTO, FERRARI GIAN-LUIGI, Melgratti Hernann, MONTANARI UGO GIOVANNI ERASMO, Strollo Daniele, Tuosto Emilio
- KLAIM: A Kernel Language for Agents Interaction and Mobility R. De Nicola, G. Ferrari, R. Pugliese
- Klava: Klaim Run Time Support Bettini Lorenzo, De nicola Rocco, FERRARI GIAN-LUIGI, Pugliese Rosario
- Local Policies for Resource Usage Analysis Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino R.
- Locality based Linda: Programming with Explicit Localities R. De Nicola, G. Ferrari, R. Pugliese
- MARK: A Reasoning Kit for Mobility G. Ferrari, C. Montangero, L. Semini, S. Semprini
- MIHDA (Bisimulation Checker) FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio
- Mark Reasoning Environment FERRARI GIAN-LUIGI, MONTANGERO CARLO, SEMINI LAURA, Semprini Simone
- MetaKlaim: A Type Safe Multi-stage Language for Global Computing G. Ferrari, E. Moggi, R. Pugliese
- MetaKlaim: Meta Programming for Global Computing G. Ferrari, E. Moggi, R. Pugliese
- Method-inlining in presence of stack-inspection M. Bartoletti, P. Degano, G. Ferrari
- Minimizing Transition Systems for Name-passing Calculi: A Co-algbraic Formulation G. Ferrari, U. Montanari, M. Pistore
- Mobile Agents Coordination in Mob Adtl G. Ferrari, C. Montangero, L. Semini, S. Semprini
- Mobile Applications in XKlaim L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese
- Model Checking Usage Policies Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto
- Model Checking for Nominal Calculi G. Ferrari, U. Montanari, E. Tuosto
- Model Driven Development of Long-Running Transactions- Parte di:Rigorous Software Engineering for Service-Oriented Systems Vincenzo Ciancia, FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio
- Modelling Fusion Calculus using HD-Automata G. Ferrari, U. Montanari, E. Tuosto, B. Victor, K. Yamane
- Modular Verification via Service Coordination G. Ferrari, U. Montanari, E. Tuosto
- Multiple Security Policies in Mob Adtl G. Ferrari, C. Montangero, L. Semini, S. Semprini
- Network Services and Modal Types G. Ferrari, E. Moggi, R. Pugliese
- On Quantitative Security Policies DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, MEZZETTI GIANLUCA
- On the semantics of durational actions F. Corradini, G. Ferrari M. Pistore
- Parameterized Structured Operational Semantics G. Ferrari, U. Montanari
- Planning and Verifying Service Composition Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI
- Plans for Service Composition M. Bartoletti. P. Degano, G. Ferrari
- Policy Framings for Access Control M. Bartoletti, P. Degano, G. Ferrari
- Predicting global usages of resources endowed with local policies BODEI CHIARA, FERRARI GIAN-LUIGI, DINH VIET DUNG
- Prefazione: Analisi e Basi di Dati FERRARI GIAN-LUIGI
- Prefazione: Editoria Digitale FERRARI GIAN-LUIGI
- Prefazione: Internet e Web 2.0 FERRARI GIAN-LUIGI
- Process Algebra - Guided Design of Java Mobile Network Applications M. Carbone, M. Coccia, G. Ferrari, S. Maffeis
- Profundis WEB Services FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio, Raggi Roberto, Gnesi Stefania, Baldamus Michael
- Program transformations under dynamic security policies. M. Bartoletti, P.Degano, G. Ferrari
- Programming Access Control: The KLAIM Experience R. De Nicola, G. Ferrari, R. Pugliese
- RSF Design Environment Degli innocenti Michela, FERRARI GIAN-LUIGI
- Refactoring Long Running Transactions FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio
- Refactoring Long Running Transactions: A Case Study FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio
- Safer in the Clouds BODEI CHIARA, DINH VIET DUNG, FERRARI GIAN-LUIGI
- Safer in the Clouds (Extended Abstract) BODEI CHIARA, Dung Dinh, FERRARI GIAN-LUIGI
- Secure Service Orchestration- Parte di:Secure service Orchestration Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, ZUNINO ROBERTO
- Security Issuees in Service Composition M. Bartoletti, P. Degano
- Security Issues in Component-Based Design A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto
- Security and Dynamic Compositions of Open Systems Bracciali Andrea, BROGI ANTONIO, FERRARI GIAN-LUIGI, Tuosto Emilio
- Security and Dynamic Compositions of Open Systems A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto
- Security issues in component-based design BRACCIALI ANDREA, BROGI ANTONIO, FERRARI GIAN-LUIGI, Tuosto Emilio
- Security-Aware Program Transformations M. Bartoletti, P. Degano, G. Ferrari
- Semantics-based Design for Secure Web Services Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto
- Semantics-based design for secure web services Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, ZUNINO ROBERTO
- Stack Inspection and Secure Program Transformations M.Bartoletti, P.Degano, G. Ferrari
- Static Analysis for Eager Stack Inspection M. Bartoletti, P. Degano, G. Ferrari
- Static Analysis for Stack Inspection M. Bartoletti, P. Degano G. Ferrari
- Structured transition systems with parametric observations: observational congruences and minimal realizations G. Ferrari, U. Montanari, M. Mowbray
- Synchronozed Hyperedge Replacement as a Model for Service Oriented Computing G. Ferrari, D. Hirsh, I. Lanese, U. Montanari, E. Tuosto
- The Klaim Project: Theory and Practice L.Bettini and V.Bono and R.De Nicola and G.Ferrari and D.Gorla and M.Loreti and E.Moggi and R.Pugliese and E.Tuosto and B.Venneri
- Tile Formats for Located and Mobile Systems G. Ferrari, U. Montanari
- Tiles for Concurrent and Causal Semantics G. Ferrari, U. Montanari
- Towards a Semantic Based Verification Environment for the pi calculus G. Ferrari, G. Modoni, P. Quaglia
- Types and Effects for Resource Usage Analysis Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, ZUNINO ROBERTO
- Types and Effects for Secure Service Orchestration M. Bartoletti, P. Degano, G. Ferrari
- Types as Specification of Access Policies- Parte di:Secure Internet Programming: Security Issues for Distributed and Mobile Objects R. De Nicola, G. Ferrari, R. Pugliese
- Types for Access Control R. De Nicola, G. Ferrari, R. Pugliese, B. Venneri
- Verification on the web of mobile processe G. Ferrari, S. Gnesi, U. Montanari, R. Raggi, G. Trentanni, E. Tuosto
- Verifying Mobile Process in the HAL Environment G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, G. Ristori
- Web services as a new approach to distributing and coordinating semantics-based verification toolkits M. Baldamus, J., Bengston, G. Ferrari, R. Raggi
- nu-Types for Effects and Freshness Analysis Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino R.
- FRANGIONI ANTONIO (59)
- FUENTES MARTINEZ THAIZEL CARIDAD (3)
- GADDUCCI FABIO (103)
- GALLETTA LETTERIO (1)
- GALLICCHIO CLAUDIO (10)
- GALLO GIORGIO ANGELO (40)
- GERMANO GIORGIO (14)
- GERVASI VINCENZO (79)
- GHELLI GIORGIO (60)
- GORI ROBERTA (35)
- GROSSI ROBERTO (88)
- GROSSI VALERIO (1)
- GUERRINI GIOVANNA (41)
- KRAUTSEVICH LEANID (8)
- LAGANA' MARIA RITA (31)
- LAMETTI SILVIA (2)
- LEONI GUALTIERO (2)
- LEVI FRANCESCA (16)
- LEVI GIORGIO (25)
- LUCCIO FABRIZIO (67)
- MAESTRINI PIERO (31)
- MAGGIOLO SCHETTINI ANDREA (79)
- MANCARELLA PAOLO MARIA (63)
- MARANGONI ROBERTO (123)
- MARTELLI FRANCESCA (17)
- MASULLI FRANCESCO (105)
- MENCHI ORNELLA (32)
- MENEGHIN MASSIMILIANO (2)
- MEZZETTI GIANLUCA (1)
- MICHELI ALESSIO (100)
- MILAZZO PAOLO (36)
- MONREALE ANNA (14)
- MONREALE GIACOMA (5)
- MONREALE GIACOMA (7)
- MONTANARI UGO GIOVANNI ERASMO (200)
- MONTANGERO CARLO (41)
- MORELLI DAVIDE (6)
- MORREALE EUGENIO (15)
- NANNI MIRCO (2)
- NICOTRA LUCA (4)
- NIDITO FRANCESCO (1)
- NITTO IGOR (5)
- OCCHIUTO MARIA EUGENIA (24)
- ONG REBECCA (1)
- OTTAVIANO GIUSEPPE (5)
- PAGLI LINDA (66)
- PALLOTTINO STEFANO (45)
- PALMA GIANPAOLO (3)
- PARDINI GIOVANNI (5)
- PARDINI LUCA (1)
- PASCALI FAUSTO (1)
- PEDRESCHI DINO (78)
- PELAGATTI SUSANNA (35)
- PEREZ SANCHEZ LUIS (1)
- PICCINONNO FULVIO (8)
- PISANTI NADIA (68)
- PRENCIPE GIUSEPPE (44)
- RAMA AURELIANO (2)
- RECCHIA RAFFAELLA (1)
- RICCI LAURA (66)
- ROMANI FRANCESCO (31)
- ROMEI ANDREA (1)
- RUGGIERI SALVATORE (49)
- SARTIANI CARLO (3)
- SCOZZARI FRANCESCA (18)
- SCUTELLA' MARIA GRAZIA (65)
- SEMINI LAURA (33)
- SGANDURRA DANIELE (21)
- SIMI MARIA (43)
- SPADAFORA IPPOLITO (3)
- SPANO LUCIO DAVIDE (12)
- STARITA ANTONINA (129)
- TRASARTI ROBERTO (5)
- TURINI FRANCO (75)
- VAIRO CLAUDIO FRANCESCO (6)
- VANNESCHI MARCO (87)
- VENTURINI ROSSANO (10)
- VIGLIETTA GIOVANNI (9)
- ZUNINO ROBERTO (3)