Gil Arboleda, S., M. Salazar, O. & A. Ovalle, D. (2018).
A Fuzzy-Based Multi-agent Model to Control the Micro-grid Operation Based on Energy Market Dynamics. In J. Bajo, J. M. Corchado, E. M. Navarro Martínez, E. Osaba Icedo, P. Mathieu, P. Hoffa-Dąbrowska, E. del Val, S. Giroux, A. J.M. Castro, N. Sánchez-Pi, V. Julián, R. Azambuja Silveira, A. Fernández, R. Unland & R. Fuentes-Fernández (Eds.),
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection: International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings (pp. 299-311). Springer.
https://doi.org/10.1007/978-3-319-94779-2_26
Yuksel, O.
, Sandberg, M., Hattel, J. H., Akkerman, R. & Baran, I. (2021).
Mesoscale Process Modeling of a Thick Pultruded Composite with Variability in Fiber Volume Fraction.
Materials,
14(13), Article 3763.
https://doi.org/10.3390/ma14133763
Butterfield, A., Sherif, A.
& Woodcock, J. (2007).
Slotted-Circus: A UTP-Family of Reactive Theories. In J. Davies & J. Gibbons (Eds.),
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings (pp. 75-97). Springer.
https://doi.org/10.1007/978-3-540-73210-5_5
Oliveira, M.
& Woodcock, J. (2007).
Automatic Generation of Verified Concurrent Hardware. In M. Butler, M. G. Hinchey & M. M. Larrondo-Petrie (Eds.),
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings (pp. 286-306). Springer.
https://doi.org/10.1007/978-3-540-76650-6_17
Perna, J. I.
& Woodcock, J. (2007).
A Denotational Semantics for Handel-C Hardware Compilation. In M. Butler, M. G. Hinchey & M. M. Larrondo-Petrie (Eds.),
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings (pp. 266-285). Springer.
https://doi.org/10.1007/978-3-540-76650-6_16
Meyer, B.
& Woodcock, J. (Eds.) (2005).
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. In B. Meyer & J. Woodcock (Eds.),
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Vol. 1). Springer.
https://doi.org/10.1007/978-3-540-69149-5
G. Aydal, E., Freeman Paige, R.
& Woodcock, J. (2007).
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. In H. Giese (Ed.),
Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (pp. 194-205). Springer.
https://doi.org/10.1007/978-3-540-69073-3_21
Woodcock, J. & Boca, P. (2008).
ABZ2008 VSR-Net Workshop. In E. Börger, M. Butler, J. P. Bowen & P. Boca (Eds.),
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (pp. 378-379). Springer.
https://doi.org/10.1007/978-3-540-87603-8_48
Harwood, W., Cavalcanti, A. L. C.
& Woodcock, J. (2008).
A Theory of Pointers for the UTP. In J. S. Fitzgerald, A. E. Haxthausen & H. Yenigun (Eds.),
Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 141-155). Springer.
https://doi.org/10.1007/978-3-540-85762-4_10
G. Aydal, E., Utting, M.
& Woodcock, J. (2008).
A Comparison of State-Based Modelling Tools for Model Validation. In R. F. Paige & B. Meyer (Eds.),
Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings (Vol. 1, pp. 278-296). Springer.
https://doi.org/10.1007/978-3-540-69824-1
Woodcock, J., Stepney, S., Cooper, D., Clark, J. & Jacob, J. (2007).
The certification of the Mondex electronic purse to ITSEC Level E6.
Formal Aspects of Computing,
20(1), 5–19.
https://doi.org/10.1007/s00165-007-0060-5
M. dos Santos, O.
, Woodcock, J., Freeman Paige, R. & King, S. (2009).
The Use of Model Transformation in the INESS Project. In F. S. de Boer, M. M. Bonsangue, S. Hallerstede & M. Leuschel (Eds.),
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Vol. 1, pp. 147-165). Springer.
https://doi.org/10.1007/978-3-642-17071-3
Abrial, J.-R. (Ed.), Butler, M. J. (Ed.), Joshi, R. (Ed.), Troubitsyna, E.
& Woodcock, J. (Ed.) (2009).
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. In
Dagstuhl Seminar Proceedings, Schloss Dagstuhl https://researchr.org/publication/dagstuhl-2009P9381/authors