Agostino Cortesi
Orcid: 0000-0002-0946-5440Affiliations:
- Ca' Foscari University of Venice, Italy
According to our database1,
Agostino Cortesi
authored at least 172 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on unive.it
-
on dsi.unive.it
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Syst. Eng., January, 2024
SCARS: Suturing wounds due to conflicts between non-functional requirements in autonomous and robotic systems.
Softw. Pract. Exp., 2024
J. Syst. Softw., 2024
Efficient OLAP query processing across cuboids in distributed data warehousing environment.
Expert Syst. Appl., 2024
Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness.
IEEE Access, 2024
2023
Softw. Syst. Model., December, 2023
IEEE Trans. Software Eng., July, 2023
Relational data watermarking resilience to brute force attacks in untrusted environments.
Expert Syst. Appl., 2023
Dagstuhl Artifacts Ser., 2023
An Annexure to the Paper "Driving the Technology Value Stream by Analyzing App Reviews".
CoRR, 2023
Ad Hoc Networks, 2023
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023
A Two-Hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems.
Proceedings of the Computational Collective Intelligence - 15th International Conference, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
Int. J. Inf. Manag. Data Insights, 2022
Expert Syst. Appl., 2022
Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking.
IEEE Access, 2022
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.
Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
SN Comput. Sci., 2021
Innov. Syst. Softw. Eng., 2021
Innov. Syst. Softw. Eng., 2021
Innov. Syst. Softw. Eng., 2021
Innov. Syst. Softw. Eng., 2021
Expert Syst. Appl., 2021
Geographic location based secure, dynamic and opportunistic RPL for distributed networks.
Ad Hoc Networks, 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021
Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021
Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021
Proceedings of the Progress in Image Processing, Pattern Recognition and Communication Systems, 2021
2020
IEEE Trans. Software Eng., 2020
Sensors, 2020
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging.
Sci. Comput. Program., 2020
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization.
IEEE Access, 2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Proceedings of the 16th European Dependable Computing Conference, 2020
Proceedings of the Advanced Computing and Systems for Security, 2020
2019
Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy).
J. Comput. Lang., 2019
Softw. Pract. Exp., 2019
IEEE Robotics Autom. Lett., 2019
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data.
Expert Syst. Appl., 2019
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019
Proceedings of the Model Checking Software - 26th International Symposium, 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the Research and Practical Issues of Enterprise Information Systems, 2019
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019
Proceedings of the 2019 IEEE European Symposium on Security and Privacy Workshops, 2019
Proceedings of the Computer Information Systems and Industrial Management, 2019
Proceedings of the Computer Information Systems and Industrial Management, 2019
2018
Trans. Comput. Sci., 2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018
Proceedings of the Smart Computing and Communication - Third International Conference, 2018
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018
Proceedings of the Third International Conference on Fog and Mobile Edge Computing, 2018
Proceedings of the Computer Information Systems and Industrial Management, 2018
Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018
Proceedings of the Advanced Computing and Systems for Security, 2018
2017
Innov. Syst. Softw. Eng., 2017
Entertain. Comput., 2017
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017
WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation.
Proceedings of the Distributed Computing and Internet Technology, 2017
Proceedings of the Computer Information Systems and Industrial Management, 2017
2016
Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain.
Trans. Large Scale Data Knowl. Centered Syst., 2016
Innov. Syst. Softw. Eng., 2016
Proceedings of the Security and Trust Management - 12th International Workshop, 2016
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2016
Proceedings of the IEEE International Conference on Industrial Technology, 2016
2015
Softw. Pract. Exp., 2015
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Proceedings of the Serious Games - First Joint International Conference, 2015
Proceedings of the Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques, 2015
Proceedings of the Computer Information Systems and Industrial Management, 2015
Proceedings of the Computer Information Systems and Industrial Management, 2015
Proceedings of the Advanced Computing and Systems for Security - ACSS 2015, 2015
2014
Proceedings of the Symposium on Applied Computing, 2014
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities.
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014
Proceedings of the Future Data and Security Engineering - First International Conference, 2014
2013
Proceedings of the Semantics, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the 44th Internationel Symposium on Robotics, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
Proceedings of the Distributed Computing and Internet Technology, 2013
Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013
2012
Comput. Lang. Syst. Struct., 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012
Proceedings of the Computer Information Systems and Industrial Management, 2012
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012
2011
Comput. Lang. Syst. Struct., 2011
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011
Proceedings of the SIGITE' 11 ACM Special Interest Group for Information Technology Education Conference, 2011
Proceedings of the Software and Data Technologies - 6th International Conference, 2011
Type-flow Analysis for Legacy COBOL Code.
Proceedings of the ICSOFT 2011, 2011
Property Driven Program Slicing Refinement.
Proceedings of the ICSOFT 2011, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the Electronic Government - 10th IFIP WG 8.5 International Conference, 2011
Proceedings of the Computer Information Systems - Analysis and Technologies, 2011
Proceedings of the Computer Information Systems - Analysis and Technologies, 2011
2010
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison.
J. Univers. Comput. Sci., 2010
Comput. Lang. Syst. Struct., 2010
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010
Proceedings of the Software and Data Technologies - 5th International Conference, 2010
Observation-based Fine Grained Access Control for Relational Databases.
Proceedings of the ICSOFT 2010, 2010
Proceedings of the Software and Data Technologies - 5th International Conference, 2010
Database Authentication by Distortion Free Watermarking.
Proceedings of the ICSOFT 2010, 2010
Proceedings of the Information Systems Security - 6th International Conference, 2010
Proceedings of the 11th Annual International Conference on Digital Government Research, 2010
2009
Proceedings of the Emerging Challenges for Security, 2009
A Distortion Free Watermark Framework for Relational Databases.
Proceedings of the ICSOFT 2009, 2009
Proceedings of the Information Systems Security, 5th International Conference, 2009
Proceedings of the 30th Annual Conference of the European Association for Computer Graphics, 2009
2008
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
2007
Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007
2006
Proceedings of the Verification, 2006
2005
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
2004
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004
2003
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the Computing: the Australasian Theory Symposiumm, 2003
Proceedings of the Verification, 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
2002
Theor. Comput. Sci., 2002
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002
Control Flow Analysis of Mobile Ambients with Security Boundaries.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002
2001
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.
Proceedings of the Declarative Programming, 2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
An Italian National Curriculum on ICT for Schools.
Proceedings of the Networking the Learner: Computers in Education, 2001
Proceedings of the Perspectives of System Informatics, 2001
Proceedings of the ECOOP 2001, 2001
2000
Combinations of abstract domains for logic programming: open product and generic pattern construction.
Sci. Comput. Program., 2000
J. Log. Program., 2000
1999
1998
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
Proceedings of the Advances in Computing Science, 1997
Automated Behavioural Verification of Prolog Programs.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Proceedings of the Logic Programming Synthesis and Transformation, 1996
1995
1994
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994
The Quotient of an Abstract Interpretation for Comparing Static Analyses.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Comparison and design of abstract domains for sharing analysis.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
1991
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991