Paolo Torrini

According to our database, Paolo Torrini authored at least 26 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

A generic approach for the certified schedulability analysis of software systems.

Xiaojie Guo, Lionel Rieg, Paolo Torrini

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

2018

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.

Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Formalising Executable Specifications of Low-Level Systems.

Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2016

Modular Dependent Induction in Coq, Mendler-Style.

Paolo Torrini

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Reusable Components of Semantic Specifications.

Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini

LNCS Trans. Aspect Oriented Softw. Dev., 2015

Reasoning about modular datatypes with Mendler induction.

Paolo Torrini, Tom Schrijvers

Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

A Modular Structural Operational Semantics for Delimited Continuations.

Neil Sculthorpe, Paolo Torrini, Peter D. Mosses

Proceedings of the Workshop on Continuations, 2015

Imperative Polymorphism by Store-Based Types as Abstract Interpretations.

Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

2014

Domain-specific discrete event modelling and simulation using graph transformation.

Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini

Softw. Syst. Model., 2014

Linear Types and Locality.

Paolo Torrini

J. Log. Comput., 2014

Reusable components of semantic specifications.

Martin Churchill, Peter D. Mosses, Paolo Torrini

Proceedings of the 13th International Conference on Modularity, 2014

2012

Incremental Pattern Matching for the Efficient Computation of Transitive Closure.

Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.

Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Stochastic Graph Transformation with Regions.

Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Graph Transformation for Domain-Specific Discrete Event Time Simulation.

Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini

Proceedings of the Graph Transformations - 5th International Conference, 2010

Stochastic Simulation of Graph Transformation Systems.

Paolo Torrini, Reiko Heckel, István Ráth

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Stochastic Modelling and Simulation of Mobile Systems.

Reiko Heckel, Paolo Torrini

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System.

Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009

Resource-Bound Quantification for Graph Transformation

Paolo Torrini, Reiko Heckel

Proceedings of the Proceedings First International Workshop on Linearity, 2009

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

Paolo Torrini, Reiko Heckel

Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

2008

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems.

Ajab Khan, Paolo Torrini, Reiko Heckel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2004

A First Step Towards Formal Verification of Security Policy Properties for RBAC.

Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

2003

Qualitative spatial reasoning with super-intuitionistic logics.

Paolo Torrini

PhD thesis, 2003

2002

Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.

Paolo Torrini, John G. Stell, Brandon Bennett

J. Appl. Non Class. Logics, 2002

2000

A Foundation for Region-based Qualitative Geometry.

Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika

Proceedings of the ECAI 2000, 2000

Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions.

Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000