Paolo Torrini

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
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

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

2015
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

2014
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

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

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

2010
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

2009
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

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

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

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

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

2000
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


  Loading...