Stebėti
Renato Silva
Renato Silva
Research Fellow, university of Southampton
Patvirtintas el. paštas ecs.soton.ac.uk
Pavadinimas
Cituota
Cituota
Metai
Decomposition tool for event‐B
R Silva, C Pascal, TS Hoang, M Butler
Software: Practice and Experience 41 (2), 199-208, 2011
1002011
Shared event composition/decomposition in Event-B
R Silva, M Butler
Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012
662012
Supporting reuse of Event-B developments through generic instantiation
R Silva, M Butler
Formal Methods and Software Engineering: 11th International Conference on …, 2009
522009
A survey on Event-B decomposition
TS Hoang, A Iliasov, RA Silva, W Wei
Electronic Communications of the EASST 46, 2011
262011
Event-B code generation: type extension with theories
A Edmunds, M Butler, I Maamria, R Silva, C Lovell
Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012
162012
Parallel composition using event-B
R Silva, M Butler
142009
Towards the Composition of Specifications in Event-B
R Silva
132011
Supporting reuse mechanisms for developments in Event-B: Composition
R Silva, M Butler
University of Southampton, 2009
122009
Supporting development of Event-B models
R Silva
University of Southampton, 2012
82012
Event-B model decomposition
C Pascal, R Silva
72009
Lessons learned/sharing the experience of developing a metro system case study
R Silva
arXiv preprint arXiv:1210.7030, 2012
42012
Event-B and Rodin
M Butler, A Salehi Fathabadi, R Silva
ISTE/Wiley, 2012
32012
Application of Decomposition and Generic Instantiation
R Silva
32011
Generic Instantiation Proposal
R Silva, M Butler
2012
DEPLOY Deliverable D45 D9. 4 Model Construction Tools and Analysis Tools IV
L Voisin, R Silva, N Beauger, I Maamria, C Snook, A Stefanescu
2012
Ensuring Extensibility within Code Generation
C Lovell, A Edmunds, R Silva, I Maamria, M Butler
2012
Code generation update
A Edmunds, C Lovell, R Silva, I Maamria, M Butler
2012
Case Study: Safety Metro System
R Silva
2012
Tooling: Code Generation Update
A Edmunds, C Lovell, R Silva, I Maamria, M Butler
2012
Monitor and Update Master Data Case Studies
TS Hoang, A Illianov, R Silva, W Wei
2011
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20