Giuseppe Lettieri
Orcid: 0000-0003-1005-7441
According to our database1,
Giuseppe Lettieri
authored at least 50 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
2
1
1
1
2
1
1
2
2
1
3
2
1
1
5
3
2
1
1
1
2
3
3
1
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Syst. Archit., 2024
Comput. Networks, 2024
Proceedings of the Security and Trust Management - 20th International Workshop, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Proceedings of the 25th IEEE International Conference on High Performance Switching and Routing, 2024
Proceedings of the 25th IEEE International Conference on High Performance Switching and Routing, 2024
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024
2023
Proceedings of the High Performance Computing, 2023
Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2023
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline.
Proceedings of the IEEE European Symposium on Security and Privacy, 2023
2022
Comput. Commun. Rev., 2022
Proceedings of the High Performance Computing. ISC High Performance 2022 International Workshops - Hamburg, Germany, May 29, 2022
Proceedings of the SIGCOMM '22 Poster and Demo Sessions, 2022
2021
Proceedings of the IEEE Global Communications Conference, 2021
2019
Softw. Pract. Exp., 2019
Proceedings of the 2019 ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2019
2018
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018
2017
Proceedings of the High Performance Computing, 2017
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017
2016
Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016
Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016
Proceedings of the 2016 Symposium on Architectures for Networking and Communications Systems, 2016
2015
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
Proceedings of the Eleventh ACM/IEEE Symposium on Architectures for networking and communications systems, 2015
2014
ACM Trans. Softw. Eng. Methodol., 2014
2013
Proceedings of the Symposium on Architecture for Networking and Communications Systems, 2013
2012
Theor. Comput. Sci., 2012
IEEE ACM Trans. Comput. Biol. Bioinform., 2012
Proceedings of the Conference on emerging Networking Experiments and Technologies, 2012
2010
Using abstract interpretation to add type checking for interfaces in Java bytecode verification.
Theor. Comput. Sci., 2010
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010
2008
ACM Trans. Program. Lang. Syst., 2008
2006
Inf. Process. Lett., 2006
Comput. J., 2006
2005
Proceedings of the First Workshop on Bytecode Semantics, 2005
2004
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.
Softw. Pract. Exp., 2004
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs.
Fundam. Informaticae, 2004
2003
Softw. Test. Verification Reliab., 2003
2002
An abstract semantics tool for secure information flow of stack-based assembly programs.
Microprocess. Microsystems, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2000
Proceedings of the Persistent Object Systems, 9th International Workshop, 2000
1999
Implementing a Distributed Single Address Space in the Presence of Failures.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Recoverable-Persistence in a Distributed Single Address Space.
Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999