Paolo Torrini - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2021

A generic approach for the certified schedulability analysis of software systemsXiaojie Guo 0003, Lionel Rieg, Paolo Torrini. rtcsa 2021: 83-92 [doi]

2018

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing BaseNarjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym. eceasst, 76, 2018. [doi]

Formalising Executable Specifications of Low-Level SystemsPaolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif. vstte 2018: 155-176 [doi]

2016

Modular Dependent Induction in Coq, Mendler-StylePaolo Torrini. itp 2016: 409-424 [doi]

2015

Imperative Polymorphism by Store-Based Types as Abstract InterpretationsCasper Bach Poulsen, Peter D. Mosses, Paolo Torrini. PEPM 2015: 3-8 [doi]

Reusable Components of Semantic SpecificationsMartin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini. TAOSD, 12:132-179, 2015. [doi]

2014

Reusable components of semantic specificationsMartin Churchill, Peter D. Mosses, Paolo Torrini. AOSD 2014: 145-156 [doi]

Domain-specific discrete event modelling and simulation using graph transformationJuan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini. SoSyM, 13(1):209-238, 2014. [doi]

Linear Types and LocalityPaolo Torrini. logcom, 24(3):655-685, 2014. [doi]

2012

Incremental Pattern Matching for the Efficient Computation of Transitive ClosureGábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró. gg 2012: 386-400 [doi]

2011

Advances in Model Transformations by Graph Transformation: Specification, Execution and AnalysisGábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró. In Martin Wirsing, Matthias M. Hölzl, editors, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Volume 6582 of Lecture Notes in Computer Science, pages 561-584, Springer, 2011. [doi]

2010

2008

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation SystemsAjab Khan, Paolo Torrini, Reiko Heckel. eceasst, 16, 2008. [doi]

2004

A First Step Towards Formal Verification of Security Policy Properties for RBACMichael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr. qsic 2004: 60-67 [doi]

2003

Qualitative spatial reasoning with super-intuitionistic logicsPaolo Torrini. PhD thesis, University of Leeds, UK, 2003. [doi]

2002

Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional LogicPaolo Torrini, John G. Stell, Brandon Bennett. jancl, 12(3-4):495-526, 2002.

2000

A Foundation for Region-based Qualitative GeometryBrandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika. ecai 2000: 204-208

Describing Rigid Body Motions in a Qualitative Theory of Spatial RegionsBrandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika. AAAI 2000: 503-509

Sign in or sign up to see more results.

runs on WebDSL