Paolo Torrini
Paolo Torrini
Research Assistant, Department of Computer Science, Swansea University
Verified email at swansea.ac.uk - Homepage
Title
Cited by
Cited by
Year
A foundation for region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
ECAI, 204-208, 2000
912000
Reusable components of semantic specifications
M Churchill, PD Mosses, N Sculthorpe, P Torrini
Transactions on Aspect-Oriented Software Development XII, 132-179, 2015
542015
Describing rigid body motions in a qualitative theory of spatial regions
B Bennett, AG Cohn, P Torrini, SM Hazarika
AAAI/IAAI 30, 503-509, 2000
542000
A first step towards formal verification of security policy properties for RBAC
M Drouineaud, M Bortin, P Torrini, K Sohr
Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004
442004
Stochastic simulation of graph transformation systems
P Torrini, R Heckel, I Ráth
International Conference on Fundamental Approaches to Software Engineering …, 2010
412010
Region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
University of Leeds, School of Computer Studies, Research Report Series, Report, 2000
212000
Incremental pattern matching for the efficient computation of transitive closure
G Bergmann, I Ráth, T Szabó, P Torrini, D Varró
International Conference on Graph Transformation, 386-400, 2012
202012
Domain-specific discrete event modelling and simulation using graph transformation
J de Lara, E Guerra, A Boronat, R Heckel, P Torrini
Software & Systems Modeling 13 (1), 209-238, 2014
152014
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems
A Khan
International Conference on Graph Transformation, 502-504, 2008
152008
Model-based stochastic simulation of p2p voip using graph transformation system
A Khan, R Heckel, P Torrini, I Ráth
International Conference on Analytical and Stochastic Modeling Techniques …, 2010
142010
Stochastic modelling and simulation of mobile systems
R Heckel, P Torrini
Graph transformations and model-driven engineering, 87-101, 2010
122010
A Modular Structural Operational Semantics for Delimited Continuations
N Sculthorpe, P Torrini, PD Mosses
EPTCS - Proc. Workshop on Continuations, 18 pp, 2016
92016
Proof-oriented design of a separation kernel with minimal trusted computing base
N Jomaa, P Torrini, D Nowak, G Grimaud, S Hym
18th International Workshop on Automated Verification of Critical Systems …, 2018
82018
Graph transformation for domain-specific discrete event time simulation
J de Lara, E Guerra, A Boronat, R Heckel, P Torrini
International Conference on Graph Transformation, 266-281, 2010
72010
Stochastic graph transformation with regions
P Torrini, R Heckel, I Rath, G Bergmann
Electronic Communications of the EASST 29, 2010
72010
Translating haskell to isabelle
P Torrini, C Lueth, C Maeder, T Mossakowski
CADE-21, 14, 2007
62007
Towards an embedding of graph transformation in intuitionistic linear logic
P Torrini, R Heckel
arXiv preprint arXiv:0911.5525, 2009
52009
Advances in model transformations by graph transformation: Specification, execution and analysis
G Bergmann, A Boronat, R Heckel, P Torrini, I Ráth, D Varró
Rigorous Software Engineering for Service-Oriented Systems, 561-584, 2011
42011
Reasoning about modular datatypes with Mendler induction
P Torrini, T Schrijvers
arXiv preprint arXiv:1509.03021, 2015
32015
Imperative polymorphism by store-based types as abstract interpretations
C Bach Poulsen, PD Mosses, P Torrini
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
32015
The system can't perform the operation now. Try again later.
Articles 1–20