Paolo Torrini - RankMe

27 papers A 1B 5C 1Journal 8Unranked 10

Year	Rank	Type	Title / 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