Seuraa
Paolo Torrini
Paolo Torrini
Research Assistant, Department of Computer Science, Swansea University
Vahvistettu sähköpostiosoite verkkotunnuksessa swansea.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
A foundation for region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
ECAI, 204-208, 2000
962000
Reusable components of semantic specifications
M Churchill, PD Mosses, P Torrini
Proceedings of the 13th international conference on Modularity, 145-156, 2014
612014
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
552000
Stochastic simulation of graph transformation systems
P Torrini, R Heckel, I Ráth
International Conference on Fundamental Approaches to Software Engineering …, 2010
462010
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
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
272014
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
232012
Region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
University of Leeds, School of Computer Studies, Research Report Series, Report, 2000
222000
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
182018
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
162010
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
Stochastic modelling and simulation of mobile systems
R Heckel, P Torrini
Graph Transformations and Model-Driven Engineering: Essays Dedicated to …, 2010
132010
A Modular Structural Operational Semantics for Delimited Continuations
N Sculthorpe, P Torrini, PD Mosses
EPTCS - Proc. Workshop on Continuations, 18 pp, 2016
122016
Stochastic graph transformation with regions
P Torrini, R Heckel, I Rath, G Bergmann
Electronic Communications of the EASST 29, 2010
72010
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
62010
Towards an embedding of graph transformation in intuitionistic linear logic
P Torrini, R Heckel
arXiv preprint arXiv:0911.5525, 2009
62009
Translating haskell to isabelle
P Torrini, C Lueth, C Maeder, T Mossakowski
CADE-21, 14, 2007
62007
Formal Development of the Pip Protokernel
N Jomaa, D Nowak, P Torrini
ENTROPY 2018, 2018
52018
Reasoning about modular datatypes with Mendler induction
P Torrini, T Schrijvers
arXiv preprint arXiv:1509.03021, 2015
52015
A CompCert Backend with Symbolic Encryption
P Torrini, S Boulmé
Sixth workshop on Principles of Secure Compilation (PriSC'22), part of the …, 2022
42022
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20