Paolo Torrini

According to our database1, Paolo Torrini authored at least 25 papers between 2000 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Formalising Executable Specifications of Low-Level Systems.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Modular Dependent Induction in Coq, Mendler-Style.
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Reusable Components of Semantic Specifications.
LNCS Trans. Aspect Oriented Softw. Dev., 2015

Reasoning about modular datatypes with Mendler induction.
Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

A Modular Structural Operational Semantics for Delimited Continuations.
Proceedings of the Workshop on Continuations, 2015

Imperative Polymorphism by Store-Based Types as Abstract Interpretations.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Domain-specific discrete event modelling and simulation using graph transformation.
Softw. Syst. Model., 2014

Linear Types and Locality.
J. Log. Comput., 2014

Reusable components of semantic specifications.
Proceedings of the 13th International Conference on Modularity, 2014

Incremental Pattern Matching for the Efficient Computation of Transitive Closure.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Stochastic Graph Transformation with Regions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Graph Transformation for Domain-Specific Discrete Event Time Simulation.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Stochastic Simulation of Graph Transformation Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Stochastic Modelling and Simulation of Mobile Systems.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

Resource-Bound Quantification for Graph Transformation
Proceedings of the Proceedings First International Workshop on Linearity, 2009

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A First Step Towards Formal Verification of Security Policy Properties for RBAC.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Qualitative spatial reasoning with super-intuitionistic logics.
PhD thesis, 2003

Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.
J. Appl. Non Class. Logics, 2002

A Foundation for Region-based Qualitative Geometry.
Proceedings of the ECAI 2000, 2000

Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000