Rosario Pugliese
Orcid: 0000-0002-1419-1405Affiliations:
- University of Florence, Italy
According to our database1,
Rosario Pugliese
authored at least 111 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach.
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
2020
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services.
Log. Methods Comput. Sci., 2020
J. Log. Algebraic Methods Program., 2020
J. Log. Algebraic Methods Program., 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
2019
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
IEEE Trans. Software Eng., 2019
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies.
Proceedings of the Coordination Models and Languages, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2016
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications.
IEEE Wirel. Commun., 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015
Proceedings of the Software, 2015
2014
ACM Trans. Auton. Adapt. Syst., 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
2013
J. Log. Algebraic Methods Program., 2013
Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data.
Proceedings of the HEALTHINF 2013, 2013
2012
ACM Trans. Softw. Eng. Methodol., 2012
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios.
J. Medical Syst., 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Model-Driven Security Workshop, 2012
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012
2011
J. Symb. Comput., 2011
Formal Methods Syst. Des., 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience.
Proceedings of the e-Infrastructure and e-Services for Developing Countries, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Sci. Comput. Program., 2010
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
2009
J. Log. Algebraic Methods Program., 2009
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals.
Proceedings of the Information Systems Security, 5th International Conference, 2009
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009
2008
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
Proceedings of the Concurrency, 2008
2007
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the Programming Languages and Systems, 2007
2006
Sci. Comput. Program., 2006
Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
2005
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
Proceedings of the Processes, 2005
2004
Math. Struct. Comput. Sci., 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
2003
Proceedings of the Security in Pervasive Computing, 2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Global Computing. Programming Environments, 2003
Proceedings of the Verification: Theory and Practice, 2003
2002
Softw. Pract. Exp., 2002
Proceedings of the Foundations of Wide Area Network Computing, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
2000
Calculi for Network Aware Programming.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000
Mobile Applications in X-KLAIM.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000
Process Algebraic Analysis of Cryptographic Protocols.
Proceedings of the Formal Techniques for Distributed System Development, 2000
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
Proceedings of the CONCUR 2000, 2000
1999
Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999
Proceedings of the Foundations of Software Science and Computation Structure, 1999
Proceedings of the Secure Internet Programming, 1999
1998
IEEE Trans. Software Eng., 1998
Proceedings of the 7th Workshop on Enabling Technologies (WETICE '98), 1998
Proceedings of the Foundations of Software Science and Computation Structure, 1998
1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
1996
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
Proceedings of the Coordination Languages and Models, First International Conference, 1996
1995
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995