Giorgio Delzanno
Orcid: 0000-0001-7030-1050Affiliations:
- University of Genoa, Italy
According to our database1,
Giorgio Delzanno
authored at least 148 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Exploring Student Misconceptions about Concurrency Using the Domain-Specific Programing Language "Sonic Pi".
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
2023
Proceedings of the Reachability Problems - 17th International Conference, 2023
Proceedings of the 2nd International Workshop on Gamification in Software Development, 2023
2022
An Adaptive Algorithm for Multipath Mitigation in GNSS Positioning with Android Smartphones.
Sensors, 2022
Experience-Based Training in Computer Science Education via Online Multiplayer Games on Computational Thinking.
Proceedings of the Higher Education Learning Methodologies and Technologies Online, 2022
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic.
Proceedings of the Higher Education Learning Methodologies and Technologies Online, 2022
2021
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker.
Fundam. Informaticae, 2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction.
Proceedings of the 36th Italian Conference on Computational Logic, 2021
2020
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020
Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization, 2020
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020
PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library.
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020
2019
Proceedings of the Reachability Problems - 13th International Conference, 2019
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
2018
Fundam. Informaticae, 2018
Proceedings of the 14th International Conference on Web Information Systems and Technologies, 2018
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018
Proceedings of the Networked Systems - 6th International Conference, 2018
Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking.
Proceedings of the 33rd Italian Conference on Computational Logic, 2018
2017
Proceedings of the Proceedings First Workshop on Architectures, 2017
Proceedings of the Reachability Problems - 11th International Workshop, 2017
Proceedings of the Current Trends in Web Engineering, 2017
2016
Theor. Comput. Sci., 2016
A unified view of parameterized verification of abstract models of broadcast communication.
Int. J. Softw. Tools Technol. Transf., 2016
Fundam. Informaticae, 2016
Proceedings of the Reachability Problems - 10th International Workshop, 2016
Proceedings of the 31st Italian Conference on Computational Logic, 2016
2015
Proceedings of the Proceedings Sixth International Symposium on Games, 2015
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Theor. Comput. Sci., 2014
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014
CoRR, 2014
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations.
Proceedings of the Reachability Problems - 8th International Workshop, 2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper.
Proceedings of the 5th International Conference on Ambient Systems, 2014
2013
On the coverability and reachability languages of monotonic extensions of Petri nets.
Theor. Comput. Sci., 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Proceedings of the Reachability Problems - 7th International Workshop, 2013
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks.
Proceedings of the Language and Automata Theory and Applications, 2013
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
2012
Int. J. Softw. Tools Technol. Transf., 2012
Proceedings of the Proceedings Third International Symposium on Games, 2012
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
Proceedings of the Advances in Conceptual Modeling, 2012
2011
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints.
Int. J. Found. Comput. Sci., 2011
Inf. Comput., 2011
Some applications of Computational Logic to the development of intelligent systems and verification methods.
Intelligenza Artificiale, 2011
Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
2010
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data.
Proceedings of the Language and Automata Theory and Applications, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
2009
Int. J. Found. Comput. Sci., 2009
Approximated parameterized verification of infinite-state processes with global conditions.
Formal Methods Syst. Des., 2009
Proceedings of the Joint Proceedings of the 8th, 2009
Proceedings of the Reachability Problems, 3rd International Workshop, 2009
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations.
Proceedings of the Language and Automata Theory and Applications, 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
The <i>kappa</i>-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
2008
Formal Aspects Comput., 2008
Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008
Proceedings of the Verification, 2008
Proceedings of the Unconventional Computing, 7th International Conference, 2008
Proceedings of the Membrane Computing - 9th International Workshop, 2008
Proceedings of the Theoretical Aspects of Computing, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
2007
Constraint-based automatic verification of abstract models of multithreaded programs.
Theory Pract. Log. Program., 2007
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Membrane Computing, 8th International Workshop, 2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems.
Theory Pract. Log. Program., 2006
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006
Proceedings of the Theoretical Aspects of Computing, 2006
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols.
Proceedings of the Automated Technology for Verification and Analysis, 2006
2005
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems.
Proceedings of the EUMAS 2005, 2005
2004
Int. J. Softw. Tools Technol. Transf., 2004
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols.
J. Symb. Comput., 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
2003
Formal Methods Syst. Des., 2003
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract.
Proceedings of INFINITY 2003, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
2002
Theory Pract. Log. Program., 2002
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems.
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Int. J. Softw. Tools Technol. Transf., 2001
An Assertional Language for the Verification of Systems Parametric in Several Dimensions.
Proceedings of the Verification of Parameterized Systems, 2001
Proceedings of the Declarative Programming, 2001
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols.
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study.
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
Proceedings of the Principles and Practice of Constraint Programming, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking.
Proceedings of the Formal Techniques for Distributed System Development, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Math. Struct. Comput. Sci., 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the Practical Aspects of Declarative Languages, 1999
Verification of Infinite-State Systems in Constraint Logic Programming.
Proceedings of the JFPLC'99, 1999
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics.
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999
1997
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
1995
Forum Objects.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1993
A Bottom-Up Characterization of Finite Success.
Proceedings of the Logic Programming, 1993