


Остановите войну!
for scientists:


default search action
Rosario Pugliese
Person information

- affiliation: University of Florence, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c83]Tania Bruno, Ettore Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio Taranto, Francesco Tiezzi:
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach. DLT 2023 - 2022
- [c82]Lorenzo Bettini
, Khalid Bourr, Rosario Pugliese
, Francesco Tiezzi
:
Programming Multi-robot Systems with X-KLAIM. ISoLA (3) 2022: 283-300 - 2020
- [j29]Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese
, Francesco Tiezzi:
A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111: 100511 (2020) - [j28]Rosario Pugliese, Francesco Tiezzi
:
Replacement freeness: A criterion for separating process calculi. J. Log. Algebraic Methods Program. 116: 100579 (2020) - [j27]Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Log. Methods Comput. Sci. 16(2) (2020) - [c81]Lorenzo Bettini
, Khalid Bourr, Rosario Pugliese
, Francesco Tiezzi
:
Writing Robotics Applications with X-Klaim. ISoLA (2) 2020: 361-379
2010 – 2019
- 2019
- [j26]Andrea Margheri
, Massimiliano Masi
, Rosario Pugliese
, Francesco Tiezzi
:
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. IEEE Trans. Software Eng. 45(1): 2-33 (2019) - [c80]Davide Basile
, Rosario Pugliese
, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
:
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back 2019: 131-151 - [c79]Davide Basile
, Maurice H. ter Beek
, Rosario Pugliese
:
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION 2019: 129-147 - [e3]Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5 [contents] - [i3]Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. CoRR abs/1910.00849 (2019) - [i2]Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR abs/1912.01289 (2019) - 2018
- [c78]Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese
, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION 2018: 110-141 - 2017
- [j25]Luca Cesari, Rosario Pugliese
, Francesco Tiezzi:
Blind-date conversation joining. Serv. Oriented Comput. Appl. 11(3): 265-283 (2017) - 2016
- [j24]Francesco Chiti, Romano Fantacci, Michele Loreti
, Rosario Pugliese
:
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. IEEE Wirel. Commun. 23(2): 86-92 (2016) - [c77]Andrea Margheri, Hanne Riis Nielson
, Flemming Nielson
, Rosario Pugliese
:
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) 2016: 554-569 - [i1]Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. CoRR abs/1612.09339 (2016) - 2015
- [c76]Ugo Montanari, Rosario Pugliese, Francesco Tiezzi:
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661 - [c75]Andrea Margheri
, Rosario Pugliese
, Francesco Tiezzi:
On Properties of Policy-Based Specifications. WWV 2015: 33-50 - [p5]Rocco De Nicola
, Diego Latella, Alberto Lluch-Lafuente
, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [p4]Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron:
Correctness of Service Components and Service Component Ensembles. The ASCENS Approach 2015: 107-159 - [p3]Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures:
The Autonomic Cloud. The ASCENS Approach 2015: 495-512 - 2014
- [j23]Rocco De Nicola
, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9(2): 7:1-7:29 (2014) - [c74]Rocco De Nicola
, Alberto Lluch-Lafuente
, Michele Loreti
, Andrea Morichetta, Rosario Pugliese
, Valerio Senni
, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c73]Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola
, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli:
Self-expression and Dynamic Attribute-Based Ensembles in SCEL. ISoLA (1) 2014: 147-163 - [c72]Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183 - [e2]Eva Kühn, Rosario Pugliese:
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Lecture Notes in Computer Science 8459, Springer 2014, ISBN 978-3-662-43375-1 [contents] - 2013
- [j22]Laura Kovács
, Rosario Pugliese
, Josep Silva
, Francesco Tiezzi:
Special issue on Automated Specification and Verification of Web Systems. J. Log. Algebraic Methods Program. 82(8): 241-242 (2013) - [c71]Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. HEALTHINF 2013: 263-268 - [c70]Luca Cesari, Rocco De Nicola
, Rosario Pugliese
, Mariachiara Puviani
, Francesco Tiezzi, Franco Zambonelli:
Formalising Adaptation Patterns for Autonomic Ensembles. FACS 2013: 100-118 - [c69]Tomás Bures
, Rocco De Nicola
, Ilias Gerostathopoulos
, Nicklas Hoch, Michal Kit, Nora Koch
, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese
, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli
:
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops 2013: 71-76 - [c68]Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani
, Francesco Tiezzi, Rosario Pugliese
, Jaroslav Keznikl, Toma Bure:
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops 2013: 89-94 - [c67]Andrea Margheri
, Rosario Pugliese
, Francesco Tiezzi:
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC 2013: 404-409 - [c66]Andrea Margheri
, Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. WS-FM 2013: 85-105 - [c65]Luca Cesari, Rosario Pugliese
, Francesco Tiezzi:
Blind-date Conversation Joining. WWV 2013: 3-18 - 2012
- [j21]Rosario Pugliese
, Francesco Tiezzi:
A calculus for orchestration of web services. J. Appl. Log. 10(1): 2-31 (2012) - [j20]Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. J. Medical Syst. 36(6): 3695-3711 (2012) - [j19]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3): 189-213 (2012) - [j18]Alessandro Fantechi, Stefania Gnesi
, Alessandro Lapadula, Franco Mazzanti
, Rosario Pugliese
, Francesco Tiezzi:
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16:1-16:46 (2012) - [c64]Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
Formalisation and Implementation of the XACML Access Control Mechanism. ESSoS 2012: 60-74 - [c63]Edmond Gjondrekaj, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari
, Marco Dorigo
:
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM 2012: 54-70 - [c62]Marianne Busch, Nora Koch
, Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
Towards model-driven development of access control policies for web applications. MDsec@MoDELS 2012: 4 - [c61]Edmond Gjondrekaj, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi:
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527 - 2011
- [j17]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods Syst. Des. 38(2): 119-157 (2011) - [j16]Federico Banti, Rosario Pugliese
, Francesco Tiezzi:
An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011) - [c60]Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. AFRICOMM 2011: 187-196 - [c59]Rocco De Nicola
, Gian-Luigi Ferrari
, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48 - [p2]Luís Caires, Rocco De Nicola
, Rosario Pugliese
, Vasco Thudichum Vasconcelos
, Gianluigi Zavattaro:
Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188 - [p1]Stefania Gnesi
, Rosario Pugliese
, Francesco Tiezzi:
The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project 2011: 698-718 - [e1]Laura Kovács
, Rosario Pugliese
, Francesco Tiezzi:
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 61, 2011 [contents] - 2010
- [j15]Rocco De Nicola
, Daniele Gorla
, René Rydhof Hansen
, Flemming Nielson
, Hanne Riis Nielson
, Christian W. Probst
, Rosario Pugliese
:
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010) - [c58]Luca Cesari, Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
A tool for rapid development of WS-BPEL applications. SAC 2010: 2438-2442 - [c57]Federico Banti, Rosario Pugliese
, Francesco Tiezzi:
A criterion for separating process calculi. EXPRESS 2010: 16-30
2000 – 2009
- 2009
- [j14]Daniele Gorla
, Rosario Pugliese
:
Dynamic management of capabilities in a network aware coordination language. J. Log. Algebraic Methods Program. 78(8): 665-689 (2009) - [c56]Rosario Pugliese
, Francesco Tiezzi, Nobuko Yoshida
:
On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570 - [c55]Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. ICISS 2009: 55-70 - [c54]Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
From Architectural to Behavioural Specification of Services. FESCA@ETAPS 2009: 3-21 - 2008
- [c53]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720 - [c52]Rocco De Nicola
, Daniele Gorla
, René Rydhof Hansen
, Flemming Nielson
, Hanne Riis Nielson
, Christian W. Probst
, Rosario Pugliese
:
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116 - [c51]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
A Formal Account of WS-BPEL. COORDINATION 2008: 199-215 - [c50]Alessandro Fantechi, Stefania Gnesi
, Alessandro Lapadula, Franco Mazzanti
, Rosario Pugliese
, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245 - [c49]Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch
, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190 - [c48]Federico Banti, Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. WWV 2008: 71-105 - [c47]Rosario Pugliese
, Francesco Tiezzi, Nobuko Yoshida
:
A Symbolic Semantics for a Calculus for Service-Oriented Computing. PLACES@DisCoTec 2008: 135-164 - 2007
- [j13]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007) - [j12]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007) - [c46]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A Calculus for Orchestration of Web Services. ESOP 2007: 33-47 - [c45]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239 - [c44]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290 - [c43]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
Service Discovery and Negotiation With COWS. WWV 2007: 133-154 - 2006
- [j11]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006) - [j10]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006) - [c42]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163 - [c41]Pilu Crescenzi
, Michele Loreti
, Rosario Pugliese
:
Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348 - 2005
- [c40]Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini
, Elio Giovannetti, Rosario Pugliese:
A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444 - [c39]Rocco De Nicola
, Gian-Luigi Ferrari
, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48 - [c38]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese:
Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172 - [c37]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese:
Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14 - [c36]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese:
Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238 - 2004
- [j9]Gian-Luigi Ferrari
, Eugenio Moggi
, Rosario Pugliese
:
MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. 14(3): 367-395 (2004) - [c35]Mario Coppo, Mariangiola Dezani-Ciancaglini
, Elio Giovannetti, Rosario Pugliese:
Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590 - [c34]Daniele Gorla
, Rosario Pugliese:
Controlling data movement in global computing applications. SAC 2004: 1462-1467 - [c33]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
On the Expressive Power of Klaim-based Calculi. EXPRESS 2004: 117-130 - 2003
- [c32]Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice 2003: 436-479 - [c31]Lorenzo Bettini, Viviana Bono, Rocco De Nicola
, Gian-Luigi Ferrari
, Daniele Gorla
, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri:
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150 - [c30]Daniele Gorla
, Rosario Pugliese:
Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132 - [c29]Daniele Gorla
, Rosario Pugliese:
Enforcing Security Policies via Types. SPC 2003: 86-100 - 2002
- [j8]Michele Boreale
, Rocco De Nicola
, Rosario Pugliese
:
Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172(2): 139-164 (2002) - [j7]Lorenzo Bettini
, Rocco De Nicola
, Rosario Pugliese
:
Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14): 1365-1394 (2002) - [c28]Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
An infrastructure language for open nets. SAC 2002: 373-377 - [c27]Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola
, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch
, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink
, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c26]Gian-Luigi Ferrari
, Eugenio Moggi
, Rosario Pugliese
:
Guardians for Ambient-based Monitoring. F-WAN@ICALP 2002: 52-75 - 2001
- [j6]Michele Boreale
, Rocco De Nicola
, Rosario Pugliese
:
Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31(3): 947-986 (2001) - [j5]Michele Boreale
, Rocco De Nicola
, Rosario Pugliese
:
Divergence in testing and readiness semantics. Theor. Comput. Sci. 266(1-2): 237-248 (2001) - [c25]Gian-Luigi Ferrari
, Eugenio Moggi, Rosario Pugliese:
MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198 - [c24]Lorenzo Bettini
, Rocco De Nicola
, Rosario Pugliese
:
XKlaim and Klava: Programming Mobile Code. TOSCA 2001: 24-37 - [c23]Gian-Luigi Ferrari
, Eugenio Moggi
, Rosario Pugliese
:
Global Types and Network Services. ConCoord 2001: 35-48 - [c22]Gian-Luigi Ferrari
, Eugenio Moggi
, Rosario Pugliese
:
Higher-Order Types and Meta-Programming for Global Computing. TOSCA 2001: 52-68 - [c21]Lorenzo Bettini
, Michele Loreti
, Rosario Pugliese
:
Modelling Node Connectivity in Dynamically Evolving Networks. ConCoord 2001: 81-91 - 2000
- [j4]Rocco De Nicola
, Rosario Pugliese:
Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1-2): 389-437 (2000) - [j3]Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese, Betti Venneri:
Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000) - [c20]Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese:
Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65 - [c19]Rocco De Nicola
, Rosario Pugliese, Antony I. T. Rowstron:
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. COORDINATION 2000: 66-80 - [c18]Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Process Algebraic Analysis of Cryptographic Protocols. FORTE 2000: 375-392 - [c17]Lorenzo Bettini
, Michele Loreti
, Rosario Pugliese
:
Structured Nets in KLAIM. SAC (1) 2000: 174-180 - [c16]Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Mobile Applications in X-KLAIM. WOA 2000: 1-6 - [c15]Gian-Luigi Ferrari, Rosario Pugliese, Emilio Tuosto:
Calculi for Network Aware Programming. WOA 2000: 23-28
1990 – 1999
- 1999
- [j2]Michele Boreale
, Rocco De Nicola
, Rosario Pugliese
:
Basic Observables for Processes. Inf. Comput. 149(1): 77-98 (1999) - [c14]Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese:
Types as Specifications of Access Policies. Secure Internet Programming 1999: 118-146 - [c13]Michele Boreale, Rocco De Nicola
, Rosario Pugliese:
A Theory of "May" Testing for Asynchronous Languages. FoSSaCS 1999: 165-179 - [c12]Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Proof Techniques for Cryptographic Processes. LICS 1999: 157-166 - [c11]Anna Ingólfsdóttir, Rosario Pugliese
:
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. EXPRESS 1999: 18-24 - 1998
- [j1]Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese
:
KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng. 24(5): 315-330 (1998) - [c10]