Paolo Torrini

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 4

Top Venues

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

ITP

PEPM

VSTTE

University of Leeds, UK (PHD)

Education History

University of Leeds, UK

PHD

Publications

Xiaojie Guo, Lionel Rieg, Paolo Torrini
A generic approach for the certified schedulability analysis of software systems. RTCSA (2021)
Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif
Formalising Executable Specifications of Low-Level Systems. VSTTE (2018)
Paolo Torrini
Modular Dependent Induction in Coq, Mendler-Style. ITP (2016)
Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini
Reusable Components of Semantic Specifications. LNCS Trans. Aspect Oriented Softw. Dev. 12 (2015)
Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
A Modular Structural Operational Semantics for Delimited Continuations. WoC (2015)
Paolo Torrini, Tom Schrijvers
Reasoning about modular datatypes with Mendler induction. FICS (2015)
Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini
Imperative Polymorphism by Store-Based Types as Abstract Interpretations. PEPM (2015)
Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
Domain-specific discrete event modelling and simulation using graph transformation. Softw. Syst. Model. 13 (1) (2014)
Martin Churchill, Peter D. Mosses, Paolo Torrini
Reusable components of semantic specifications. MODULARITY (2014)
Paolo Torrini
Linear Types and Locality. J. Log. Comput. 24 (3) (2014)
Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró
Incremental Pattern Matching for the Efficient Computation of Transitive Closure. ICGT (2012)
Reiko Heckel, Paolo Torrini
Stochastic Modelling and Simulation of Mobile Systems. Graph Transformations and Model-Driven Engineering (2010)
Paolo Torrini, Reiko Heckel, István Ráth
Stochastic Simulation of Graph Transformation Systems. FASE (2010)
Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann
Stochastic Graph Transformation with Regions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT (2010)
Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. ASMTA (2010)
Paolo Torrini, Reiko Heckel
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic ICE (2009)
Paolo Torrini, Reiko Heckel
Resource-Bound Quantification for Graph Transformation LINEARITY (2009)
Ajab Khan, Paolo Torrini, Reiko Heckel
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008)
Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr
A First Step Towards Formal Verification of Security Policy Properties for RBAC. QSIC (2004)
Paolo Torrini, John G. Stell, Brandon Bennett
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic. J. Appl. Non Class. Logics 12 (3-4) (2002)
Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika
A Foundation for Region-based Qualitative Geometry. ECAI (2000)
Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions. AAAI/IAAI (2000)

Paolo Torrini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo Torrini