Publications of Rubén Carvajal-Schiaffino
|
-
R. Carvajal-Schiaffino, L. Firinguetti Limone, R. Pavéz Fuentes.
Verification of a Syllabus with Petri Nets.
In Proceedings of Chilean Workshop on Formal Methods. ChWFM 2008. ISBN 978-956-319-507-1.
Punta Arenas, Chile. 2008.
-
H. Rodríguez, R. Carvajal-Schiaffino, B. Ontiveros, I. Soto.
Formal Modelling of an Encryption Scheme Suitable for Wireless Sensor Networks.
In Proceedings of Chilean Workshop on Formal Methods. ChWFM 2008. ISBN 978-956-319-507-1.
Punta Arenas, Chile. 2008.
-
D. G. Cameron, R. Carvajal-Schiaffino, C. Nicholson, K. Stockinger, F. Zini, A.P. Millar, L. Serafini.
Formal Analysis of an Agent-Based Optimisation Strategy for Data Grids.
In Multiagent and Grid Systems. 2(2). IOS Press. 2006.
-
T. Eymann, M. Reinicke, W. Streitberger, O. Rana, L. Joita, D. Neumann, B. Schnizler, D. Veit, O. Ardaiz,
P. Chacin, I. Chao, F. Freitag, L. Navarro, M. Catalano, M. Gallegati, G. Giulioni, R. Carvajal-Schiaffino, F. Zini.
Catallaxy-Based Grid Markets.
In Multiagent and Grid Systems. Special Issue: Smart Grid Technologies & Market Models. 4:297-307.
IOS Press. 2005.
-
R. Carvajal-Schiaffino, F. Zini.
Analysis of Replica Selection Protocols for Grid Data Access Services.
In Proceedings of Cluster Computing and Grid. CCGrid05. Poster Session.
Cardiff, UK. IEEE-CS Press. 2005.
-
D. G. Cameron, R. Carvajal-Schiaffino, A. P. Millar, C. Nicholson, K. Stockinger, F. Zini.
Analysis of Scheduling and Replica Optimisation Strategies for Data Grids using OptorSim.
In Journal of Grid Computing. 2:57-69. Kluwer Academic Publisher. 2004.
-
D. G. Cameron, R. Carvajal-Schiaffino, A. P. Millar, C. Nicholson, K. Stockinger, F. Zini.
OptorSim: A Simulation Tool for Scheduling and Replica Optimisation in Data Grids.
In Proceedings of Computing in High Energy Physics. CHEP 2004.
Interlaken, Switzerland. 2004.
-
R. Carvajal-Schiaffino.
Course Timetabling in a Competitive Scenario.
In Proceedings of European Conference on Operational Research. EURO XX.
Rodos, Greece. 2004.
-
D. G. Cameron, R. Carvajal-Schiaffino, A. P. Millar, C. Nicholson, K. Stockinger, F. Zini.
Evaluating Scheduling and Replica Optimisation Strategies in OptorSim.
In Proceedings of Grid 2003. Phoenix, AZ, USA. IEEE-CS Press. 2003.
-
D. G. Cameron, R. Carvajal-Schiaffino, A. P. Millar, C. Nicholson, K. Stockinger, F. Zini.
UK Grid Simulation with OptorSim.
e-Science All-Hands Meeting. Nottingham, UK. 2003.
-
W. H. Bell, D. G. Cameron, R. Carvajal-Schiaffino, A. P. Millar, K.
Stockinger, F. Zini.
Evaluation of an Economy-Based File Replication Strategy for a Data Grid.
In Proceedings of Agent Based Cluster and Grid Computing at CCGrid 2003.
Tokyo, Japan. IEEE-CS Press. 2003.
-
D. Bosio, J. Casey, A. Frohner, L. Guy, P. Kunszt, E. Laure, S.
Lemaitre, L. Lucio, H. Stockinger, K. Stockinger, W. Bell,
D. Cameron, G. McCance, P. Millar, J. Hahkala, N. Karlsson,
V. Nenonen, M. Silander, O. Mulmo, G. Volpato, G.
Andronico,
F. Di Carlo, L. Saconi, A. Domenici, R. Carvajal-Schiaffino, F. Zini.
Next Generation EU DataGrid Management Services.
In Proceedings of Computing in High Energy Physics. CHEP 2003.
La Jolla, CA, USA. 2003.
-
G. Chiola and R. Carvajal-Schiaffino.
A Reachability Graph Construction Algorithm Based on Canonical Transition Firing
Count Vectors.
In R. German and B. Haverkort, editors. Proceedings of Petri Nets and Performance Models. PNPM 2001.
Aachen, Germany. IEEE-CS Press. 2001.
-
R. Carvajal-Schiaffino, G. Delzanno and G. Chiola.
Combining Structural and Enumerative Techniques for the Validation of
Bounded Petri Nets.
In T. Margaria and W. Yi, editors. Tools and Algorithms for the
Construction and Analysis of Systems. TACAS 2001.
Lecture Notes in Computer Science 2031, Springer. 2001.
Preliminary results available in:
Technical
Report DISI-TR-00-10, DISI-Università
di Genova. 2000.
Back to Previous Page
Last Updated: 6 October 2008