According to our database1, Vincenzo Ciancia authored at least 53 papers between 2007 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
Int. J. Softw. Tools Technol. Transf., 2020
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations.
ERCIM News, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 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
Int. J. Softw. Tools Technol. Transf., 2018
Log. Methods Comput. Sci., 2018
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Coordination Models and Languages, 2016
Proceedings of the Software Engineering and Formal Methods, 2015
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
From urelements to Computation - A Journey Through Applications of Fraenkel's Permutation Model in Computer Science.
Proceedings of the History and Philosophy of Computing - Third International Conference, 2015
Int. J. Secur. Softw. Eng., 2014
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.
ERCIM News, 2014
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Proceedings of the Theoretical Computer Science, 2014
Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
Proceedings of the Model-Driven Security Workshop, 2012
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Concurrency, 2008
Electron. Notes Theor. Comput. Sci., 2007