Gian-Luigi Ferrari
Orcid: 0000-0003-3548-5514Affiliations:
- University of Pisa, Computer Science Department
According to our database1,
Gian-Luigi Ferrari
authored at least 144 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on di.unipi.it
On csauthors.net:
Bibliography
2024
Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
2023
Future Internet, July, 2023
2022
Proceedings of the Service-Oriented and Cloud Computing, 2022
Proceedings of the 22nd IEEE International Symposium on Cluster, 2022
2021
Proceedings of the Italian Conference on Cybersecurity, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
2020
Sci. Comput. Program., 2020
J. Log. Algebraic Methods Program., 2020
Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020
2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018
2017
Sci. Comput. Program., 2017
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017
Proceedings of the Parallel Computing Technologies, 2017
2016
IEEE Trans. Software Eng., 2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016
Log. Methods Comput. Sci., 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
Proceedings of the Coordination Models and Languages, 2016
2015
Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
2014
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of 6th International Workshop on Context-Oriented Programming, 2014
2013
Proceedings of the Implementation and Application of Automata, 2013
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013
2012
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012
Proceedings of the Implementation and Application of Automata, 2012
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012
Proceedings of the Computer Information Systems and Industrial Management, 2012
2011
Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
2009
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009
Proceedings of the Theoretical Aspects of Computing, 2009
2008
Int. J. Inf. Sec., 2008
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008
Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Concurrency, 2008
2007
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007
Proceedings of the Foundations of Software Science and Computational Structures, 2007
Proceedings of the Foundations of Security Analysis and Design IV, 2007
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007
2006
Proceedings of the Service-Oriented Computing, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006
2005
Theor. Comput. Sci., 2005
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005
Proceedings of the Foundations of Software Science and Computational Structures, 2005
Proceedings of the Foundations of Software Science and Computational Structures, 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005
Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
2004
Math. Struct. Comput. Sci., 2004
Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004
Verication On The Web Of Mobile Systems.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004
Proceedings of the Euro-Par 2004 Parallel Processing, 2004
2003
ACM Trans. Softw. Eng. Methodol., 2003
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the Global Computing. Programming Environments, 2003
Proceedings of the Verification: Theory and Practice, 2003
2002
Proceedings of the Foundations of Wide Area Network Computing, 2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Security and Dynamic Compositions of Open Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
Proceedings of the Formal Methods for Components and Objects, 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 International Workshop on Concurrency and Coordination, 2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 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
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
Proceedings of the CONCUR 2000, 2000
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 Computer Aided Verification, 10th International Conference, 1998
1997
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations.
Math. Struct. Comput. Sci., 1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
1996
1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
Proceedings of the Algebraic Methodology and Software Technology, 1995
1994
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994
1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
1990
IEEE Trans. Software Eng., 1990
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990
Proceedings of the Semantics of Systems of Concurrent Processes, 1990
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990