Paolo Torrini

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