


Остановите войну!
for scientists:
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
- 2020
- [j38]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) - [j37]Rosario Pugliese, Francesco Tiezzi
:
Replacement freeness: A criterion for separating process calculi. J. Log. Algebraic Methods Program. 116: 100579 (2020) - [j36]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) - [c72]Lorenzo Bettini
, Khalid Bourr, Rosario Pugliese
, Francesco Tiezzi
:
Writing Robotics Applications with X-Klaim. ISoLA (2) 2020: 361-379
2010 – 2019
- 2019
- [j35]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) - [c71]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 - [c70]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
- [c69]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
- [j34]Luca Cesari, Rosario Pugliese
, Francesco Tiezzi:
Blind-date conversation joining. Serv. Oriented Comput. Appl. 11(3): 265-283 (2017) - 2016
- [j33]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) - [c68]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
- [c67]Ugo Montanari, Rosario Pugliese, Francesco Tiezzi:
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661 - [c66]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
- [j32]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) - [c65]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 - [c64]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 - [c63]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
- [j31]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) - [c62]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 - [c61]Luca Cesari, Rocco De Nicola
, Rosario Pugliese
, Mariachiara Puviani
, Francesco Tiezzi, Franco Zambonelli:
Formalising Adaptation Patterns for Autonomic Ensembles. FACS 2013: 100-118 - [c60]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 - [c59]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 - [c58]Andrea Margheri
, Rosario Pugliese
, Francesco Tiezzi:
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC 2013: 404-409 - [c57]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 - [c56]Luca Cesari, Rosario Pugliese
, Francesco Tiezzi:
Blind-date Conversation Joining. WWV 2013: 3-18 - 2012
- [j30]Rosario Pugliese
, Francesco Tiezzi:
A calculus for orchestration of web services. J. Appl. Log. 10(1): 2-31 (2012) - [j29]Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. J. Medical Syst. 36(6): 3695-3711 (2012) - [j28]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3): 189-213 (2012) - [j27]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) - [c55]Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
Formalisation and Implementation of the XACML Access Control Mechanism. ESSoS 2012: 60-74 - [c54]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 - [c53]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 - [c52]Edmond Gjondrekaj, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi:
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527 - 2011
- [j26]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) - [j25]Federico Banti, Rosario Pugliese
, Francesco Tiezzi:
An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011) - [c51]Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. AFRICOMM 2011: 187-196 - [c50]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
- [j24]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) - [c49]Luca Cesari, Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
A tool for rapid development of WS-BPEL applications. SAC 2010: 2438-2442 - [c48]Federico Banti, Rosario Pugliese
, Francesco Tiezzi:
A criterion for separating process calculi. EXPRESS 2010: 16-30
2000 – 2009
- 2009
- [j23]Federico Banti, Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electron. Notes Theor. Comput. Sci. 235: 71-105 (2009) - [j22]Rosario Pugliese
, Francesco Tiezzi, Nobuko Yoshida
:
A Symbolic Semantics for a Calculus for Service-Oriented Computing. Electron. Notes Theor. Comput. Sci. 241: 135-164 (2009) - [j21]Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
From Architectural to Behavioural Specification of Services. Electron. Notes Theor. Comput. Sci. 253(1): 3-21 (2009) - [j20]Daniele Gorla
, Rosario Pugliese
:
Dynamic management of capabilities in a network aware coordination language. J. Log. Algebraic Methods Program. 78(8): 665-689 (2009) - [c47]Rosario Pugliese
, Francesco Tiezzi, Nobuko Yoshida
:
On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570 - [c46]Massimiliano Masi, Rosario Pugliese
, Francesco Tiezzi:
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. ICISS 2009: 55-70 - 2008
- [j19]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
Service Discovery and Negotiation With COWS. Electron. Notes Theor. Comput. Sci. 200(3): 133-154 (2008) - [c45]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720 - [c44]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 - [c43]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
A Formal Account of WS-BPEL. COORDINATION 2008: 199-215 - [c42]Alessandro Fantechi, Stefania Gnesi
, Alessandro Lapadula, Franco Mazzanti
, Rosario Pugliese
, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245 - [c41]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 - 2007
- [j18]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007) - [j17]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007) - [c40]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A Calculus for Orchestration of Web Services. ESOP 2007: 33-47 - [c39]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239 - [c38]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290 - 2006
- [j16]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006) - [j15]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006) - [c37]Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163 - [c36]Pilu Crescenzi, Michele Loreti
, Rosario Pugliese
:
Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348 - 2005
- [c35]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 - [c34]Rocco De Nicola
, Gian Luigi Ferrari
, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48 - [c33]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese:
Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172 - [c32]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese:
Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14 - [c31]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese:
Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238 - 2004
- [j14]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) - [c30]Mario Coppo, Mariangiola Dezani-Ciancaglini
, Elio Giovannetti, Rosario Pugliese:
Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590 - [c29]Daniele Gorla
, Rosario Pugliese:
Controlling data movement in global computing applications. SAC 2004: 1462-1467 - [c28]Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
On the Expressive Power of Klaim-based Calculi. EXPRESS 2004: 117-130 - 2003
- [c27]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 - [c26]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 - [c25]Daniele Gorla
, Rosario Pugliese:
Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132 - [c24]Daniele Gorla
, Rosario Pugliese:
Enforcing Security Policies via Types. SPC 2003: 86-100 - 2002
- [j13]Gian Luigi Ferrari
, Eugenio Moggi
, Rosario Pugliese
:
Guardians for Ambient-based Monitoring. Electron. Notes Theor. Comput. Sci. 66(3): 52-75 (2002) - [j12]Michele Boreale
, Rocco De Nicola
, Rosario Pugliese
:
Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172(2): 139-164 (2002) - [j11]Lorenzo Bettini
, Rocco De Nicola
, Rosario Pugliese
:
Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14): 1365-1394 (2002) - [c23]Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
An infrastructure language for open nets. SAC 2002: 373-377 - [c22]Luis Filipe 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 - 2001
- [j10]Gian Luigi Ferrari
, Eugenio Moggi
, Rosario Pugliese
:
Global Types and Network Services. Electron. Notes Theor. Comput. Sci. 54: 35-48 (2001) - [j9]Lorenzo Bettini
, Michele Loreti
, Rosario Pugliese
:
Modelling Node Connectivity in Dynamically Evolving Networks. Electron. Notes Theor. Comput. Sci. 54: 81-91 (2001) - [j8]Lorenzo Bettini
, Rocco De Nicola
, Rosario Pugliese
:
XKlaim and Klava: Programming Mobile Code. Electron. Notes Theor. Comput. Sci. 62: 24-37 (2001) - [j7]Gian Luigi Ferrari
, Eugenio Moggi
, Rosario Pugliese
:
Higher-Order Types and Meta-Programming for Global Computing. Electron. Notes Theor. Comput. Sci. 62: 52-68 (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) - [c21]Gian Luigi Ferrari
, Eugenio Moggi, Rosario Pugliese:
MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198 - 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]Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese
, Enrico Tronci
:
A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242 - [c9]Michele Boreale
, Rocco De Nicola
, Rosario Pugliese:
Asynchronous Observations of Processes. FoSSaCS 1998: 95-109 - [c8]Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
, Gian Luigi Ferrari:
Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117 - 1997
- [c7]