Paolo Torrini
Paolo Torrini
Research Assistant, Department of Computer Science, Swansea University
Email verificata su - Home page
Citata da
Citata da
A foundation for region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
ECAI, 204-208, 2000
Reusable components of semantic specifications
M Churchill, PD Mosses, P Torrini
Proceedings of the 13th international conference on Modularity, 145-156, 2014
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
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
Stochastic simulation of graph transformation systems
P Torrini, R Heckel, I Ráth
Fundamental Approaches to Software Engineering: 13th International …, 2010
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, 209-238, 2014
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
Region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
University of Leeds, School of Computer Studies, Research Report Series, Report, 2000
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
Model-based stochastic simulation of P2P VoIP using graph transformation system
A Khan, R Heckel, P Torrini, I Ráth
Analytical and Stochastic Modeling Techniques and Applications: 17th …, 2010
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems
A Khan
Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008
Stochastic modelling and simulation of mobile systems
R Heckel, P Torrini
Graph Transformations and Model-Driven Engineering: Essays Dedicated to …, 2010
A Modular Structural Operational Semantics for Delimited Continuations
N Sculthorpe, P Torrini, PD Mosses
EPTCS - Proc. Workshop on Continuations, 18 pp, 2016
Stochastic graph transformation with regions
P Torrini, R Heckel, I Rath, G Bergmann
Electronic Communications of the EASST 29, 2010
Graph transformation for domain-specific discrete event time simulation
J de Lara, E Guerra, A Boronat, R Heckel, P Torrini
Graph Transformations: 5th International Conference, ICGT 2010, Enschede …, 2010
Translating haskell to isabelle
P Torrini, C Lueth, C Maeder, T Mossakowski
CADE-21, 14, 2007
Reasoning about modular datatypes with Mendler induction
P Torrini, T Schrijvers
arXiv preprint arXiv:1509.03021, 2015
Towards an embedding of graph transformation in intuitionistic linear logic
P Torrini, R Heckel
arXiv preprint arXiv:0911.5525, 2009
A generic approach for the certified schedulability analysis of software systems
X Guo, L Rieg, P Torrini
2021 IEEE 27th International Conference on Embedded and Real-Time Computing …, 2021
Formal Development of the Pip Protokernel
N Jomaa, D Nowak, P Torrini
ENTROPY 2018, 2018
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20