Paolo Torrini
Paolo Torrini
Research Assistant, Department of Computer Science, Swansea University
Verifierad e-postadress på swansea.ac.uk - Startsida
TitelCiteras avÅr
A foundation for region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
ECAI, 204-208, 2000
832000
Reusable components of semantic specifications
M Churchill, PD Mosses, N Sculthorpe, P Torrini
Transactions on Aspect-Oriented Software Development XII, 132-179, 2015
502015
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
492000
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
452004
Stochastic simulation of graph transformation systems
P Torrini, R Heckel, I Ráth
International Conference on Fundamental Approaches to Software Engineering …, 2010
362010
Region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
University of Leeds, School of Computer Studies, Research Report Series, Report, 2000
202000
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
192012
Model-based simulation of VoIP network reconfigurations using graph transformation systems
A Khan, P Torrini, R Heckel
Electronic Communications of the EASST 16, 2009
152009
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
122010
Stochastic modelling and simulation of mobile systems
R Heckel, P Torrini
Graph transformations and model-driven engineering, 87-101, 2010
112010
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
102014
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
A Modular Structural Operational Semantics for Delimited Continuations
N Sculthorpe, P Torrini, PD Mosses
EPTCS - Proc. Workshop on Continuations, 18 pp, 2016
62016
Stochastic graph transformation with regions
P Torrini, R Heckel, I Rath, G Bergmann
Electronic Communications of the EASST 29, 2010
62010
Translating haskell to isabelle
P Torrini, C Lueth, C Maeder, T Mossakowski
CADE-21, 14, 2007
62007
Proof-oriented design of a separation kernel with minimal trusted computing base
N Jomaa, P Torrini, D Nowak, G Grimaud, S Hym
52018
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
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
Reasoning about modular datatypes with Mendler induction
P Torrini, T Schrijvers
arXiv preprint arXiv:1509.03021, 2015
22015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20