Követés
Paolo Torrini
Paolo Torrini
Research Assistant, Department of Computer Science, Swansea University
E-mail megerősítve itt: swansea.ac.uk - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
622014
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
452004
Stochastic simulation of graph transformation systems
P Torrini, R Heckel, I Ráth
Fundamental Approaches to Software Engineering: 13th International …, 2010
442010
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
252014
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
242012
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
192018
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
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
142010
A Modular Structural Operational Semantics for Delimited Continuations
N Sculthorpe, P Torrini, PD Mosses
EPTCS - Proc. Workshop on Continuations, 18 pp, 2016
112016
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
72010
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
Towards an embedding of graph transformation in intuitionistic linear logic
P Torrini, R Heckel
arXiv preprint arXiv:0911.5525, 2009
52009
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
42021
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20