Find Research outputs

Search results

• Conference contribution

  Fault Diagnostics of AC Motor Bearings Based on Envelope Analysis of Vibration Residual Signal

  Zhao, J., Sun, X., Wang, J., Zhou, Z., Muhamedsalih, Y., Gu, F. & Ball, A. D., 4 Mar 2023, Proceedings of TEPEN 2022 : Efficiency and Performance Engineering Network. Zhang, H., Ji, Y., Liu, T., Sun, X. & Ball, A. D. (eds.). Springer, Cham, Vol. 129. p. 889-899 11 p. (Mechanisms and Machine Science; vol. 129 MMS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Fault severity diagnosis of rolling element bearings based on kurtogram and envelope analysis

  Gu, F., Tian, X., Chen, Z., Wang, T., Rehab, I. A. M. & Ball, A., 2014, Proceedings of International Conference on Advances in Civil, Structural and Mechanical Engineering. Institute of Research Engineers and Doctors, p. 20-24 5 p. 9

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Fault-tolerant Learning in Spiking Astrocyte-Neural Networks on FPGAs

  Johnson, A., Liu, J., Millard, A., Karim, S., Tyrrell, A., Harkin, J., Timmis, J., McDaid, L. & Halliday, D., 29 Mar 2018, Proceedings of the IEEE International Conference on VLSI Design. IEEE, p. 49-54 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  5 Citations (Scopus)

• Fault Tolerant Nine Switch Inverter

  Seifi Najmi, E., Dehghan, S. M., Heydari, M., Mohamadian, M., Yazdian, A. & Milan, G. S., 5 Apr 2011, 2011 2nd Power Electronics, Drive Systems and Technologies Conference, PEDSTC 2011. Institute of Electrical and Electronics Engineers Inc., p. 534-539 6 p. 5742477

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  13 Citations (Scopus)

• FCOS Small Target Detection Algorithm Combined with Multi-Layer Hybrid Attention Mechanism

  Liu, Y., Geng, L., Yu, H. & Xu, Z., 24 Sep 2021, AIPR 2021 - 2021 4th International Conference on Artificial Intelligence and Pattern Recognition. Association for Computing Machinery (ACM), p. 50-55 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• FEA-based design study for optimising non-rigid error detection on machine tools

  Mian, N. S., Fletcher, S., Longstaff, A. P. & Myers, A., 2015, Laser Metrology and Machine Performance XI - 11th International Conference and Exhibition on Laser Metrology, Machine Tool, CMM and Robotic Performance, LAMDAMAP 2015. euspen, p. 254-263 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)

• Feasibility analysis of converting a Chicago Transit Authority (CTA) transit bus to a plug-in hybrid electric vehicle

  Wirasingha, S. G., Schofield, N. & Emadi, A., 18 Nov 2008, 2008 IEEE Vehicle Power and Propulsion Conference, VPPC 2008. IEEE, 7 p. 4677746. (2008 IEEE Vehicle Power and Propulsion Conference, VPPC 2008).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  12 Citations (Scopus)

• Feasibility of producing functionalized nonwovens for the selected containment of organic compounds

  Goswami, P., Gala, MS., Blackburn, R. S. & Russell, S. J., Apr 2012, Proceedings of EDINA's Nonwovens Research Academy 2012. Gothenburg

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Feasibility of Using Mobile Apps in Communication and Dissemination Process of Multi-hazard Early Warning (MHEW) Mechanism in Sri Lankan Context

  Shehara, I., Siriwardana, C., Amaratunga, D., Haigh, R. & Fonseka, T., 19 Sep 2020, ICSECM 2019 : Proceedings of the 10th International Conference on Structural Engineering and Construction Management. Dissanayake, R., Mendis, P., Weerasekera, K., De Silva, S. & Fernando, S. (eds.). 1st ed. Springer Nature Switzerland AG, p. 177-189 13 p. (Lecture Notes in Civil Engineering; vol. 94).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  4 Citations (Scopus)

• Feature Extraction of Binaural Recordings for Acoustic Scene Classification

  Zieliński, S. & Lee, H., 29 Oct 2018, IEEE Federated Conference on Computer Science and Information Systems, FedCSIS 2018. Ganzha, M., Maciaszek, L. & Paprzycki, M. (eds.). IEEE, p. 585-588 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  5 Citations (Scopus)

• Feature Extraction of Time-Series Data using DWT and FFT for Ballscrew Condition Monitoring

  Alegeh, N., Thottoli, M., Mian, N., Longstaff, A. & Fletcher, S., 21 Aug 2021, Proceedings of the 18th International Conference in Manufacturing Research: ICMR 2021. Shafik, M. & Case, K. (eds.). IOS Press, p. 402-407 6 p. (Advances in Manufacturing Technology; vol. 15).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)

• Feature Selection: Filter Methods Performance Challenges

  Cherrington, M., Thabtah, F., Lu, J. & Xu, Q., 16 May 2019, 2019 International Conference on Computer and Information Sciences, ICCIS 2019. Institute of Electrical and Electronics Engineers Inc., p. 1-4 4 p. 8716478

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  30 Citations (Scopus)

• Feature Selection: Multi-source and Multi-view Data Limitations, Capabilities and Potentials

  Cherrington, M., Lu, J., Airehrour, D., Thabtah, F., Xu, Q. & Madanian, S., 1 Nov 2019, 29th International Telecommunication Networks and Applications Conference : (ITNAC 2019). IEEE, 6 p. 9077992. (2019 29th International Telecommunication Networks and Applications Conference, ITNAC 2019).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  9 Citations (Scopus)

• Feature Selection Methods for Linked Data: Limitations, Capabilities and Potentials

  Cherrington, M., Airehrour, D., Lu, J., Xu, Q., Wade, S. & Madanian, S., 2 Dec 2019, BDCAT 2019: Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies. New York: Association for Computing Machinery, Inc, p. 103-112 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  5 Citations (Scopus)

• Features of Human-Centred Algorithm Design

  Cherrington, M., Airehrour, D., Lu, J., Xu, Q., Cameron-Brown, D. & Dunn, I., 25 Nov 2020, 2020 30th International Telecommunication Networks and Applications Conference, ITNAC 2020. Institute of Electrical and Electronics Engineers Inc., 6 p. 9315169. (International Telecommunication Networks and Applications Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Feed-forward Torque Control of Interior Permanent Magnet Brushless AC Drive for Traction Applications

  Hoang, K. D., Wang, J., Cyriacks, M., Melkonyan, A. & Kriegel, K., 15 Jul 2013, Proceedings of the 2013 IEEE International Electric Machines and Drives Conference, IEMDC 2013. IEEE, p. 152-159 8 p. 6556247

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  28 Citations (Scopus)

• Feminist Interrogations and Creative Teaching in Art Galleries and Museums

  Clover, D. E., Sanford, K., Taber, N. & Williamson, S., 27 May 2018, Proceedings of the 37th CASAE/ACÉÉA Annual Conference. McGray, R. & Woloshyn, V. (eds.). Canadian Association for the Study of Adult Education (CASAE), p. 36-41 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Fibre reinforced thermoplastic composite rods

  Kling, V., Rana, S. & Fangueiro, R., 2013, Advanced Materials Forum VI. Pires Pinto, A. M. & Pouzada, A. S. (eds.). Vol. 730-732. p. 331-336 6 p. (Materials Science Forum; vol. 730-732).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  2 Citations (Scopus)

• Field Identification of Dynamic Coefficients of Journal Bearings on Flexible Rotor-Bearing System

  Kang, Y., Ma, J., Zhang, H., Shi, Z., Gu, F. & Ball, A., 28 Aug 2020, Advances in Asset Management and Condition Monitoring, COMADEM 2019. Ball, A., Gelman, L. & Rao, B. K. N. (eds.). Springer, Cham, Vol. 166. p. 1273-1284 12 p. (Smart Innovation, Systems and Technologies; vol. 166).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Field weakening control of pm generator used for small wind turbine aplication

  Milivojevic, N., Schofield, N., Stamenkovic, I. & Gurkaynak, Y., 23 Jan 2012, IET Conference on Renewable Power Generation, RPG 2011. 579 CP ed. Institution of Engineering and Technology, 8 p. 6136121

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  12 Citations (Scopus)

• Fifty years of irrelevance: The wild goose chase of management science

  Koskela, L., 1 Dec 2011, 19th Annual Conference of the International Group for Lean Construction 2011, IGLC 2011. p. 84-93 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  6 Citations (Scopus)

• Filtering Structural Modes in Aircraft: Notch Filters vs Kalman Filters

  Halsey, S. A., Goodall, R. M., Caldwell, B. D. & Pearson, J. T., 2005, Proceedings of the 16th IFAC World Congress. 1 ed. Elsevier, Vol. 38. p. 205-210 6 p. (IFAC Proceedings Volumes (IFAC-PapersOnline); vol. 38, no. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  3 Citations (Scopus)

• Final tests and commissioning of the UCL Echelle Spectrograph

  Diego, F., Charalambous, A., Fish, A. C. & Walker, D. D., 1 Jul 1990, Instrumentation in Astronomy VII: SPIE astronomical telescopes and instrumentation for the 21st century. Crawford, D. L. (ed.). Vol. 1235. p. 562-576 15 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 1235).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  75 Citations (Scopus)

• Finding intermodal and multi-objective time-dependent best routes with exact algorithm

  Domuţa, C., Tipi, N. S., Radu, D., Hulea, M. & Aştilean, A., 2012, 2012 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2012 - Proceedings. p. 531-535 5 p. 6237768

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  1 Citation (Scopus)

• Finite element analysis of the static stiffness of a foundation for large machine tool

  Myers, A., Ford, D. G. & Barrans, S., 1 Jun 2005, Laser Metrology and Machine Performance VII : 7th International Conference and Exhibition on Laser Metrology, Machine Tool, CMM and Robotic Performance, LAMDAMAP 2005. Shore, P. (ed.). euspen, p. 77-86 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  5 Citations (Scopus)

• Finite element analysis of the structural dynamics of a vertical milling machine

  Myers, A., Ford, D. & Xu, Q., 2003, Laser Metrology and Machine Performance VI: Proceedings of the 6th International Conference on Laser Metrology, Machine Tool, CMM and Robot Performance. Lamdamap 2003. Ford, D. G. (ed.). WIT Press, Vol. 44. p. 431-440 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  11 Citations (Scopus)

• Finite element investigation of nano-indentation of coated stainless steel

  Xu, Q., Jiang, C., Liu, D., Pang, Y. & Hodgson, S., 21 Nov 2011, Proceedings of 2011 17th International Conference on Automation & Computing: University of Huddersfield, Huddersfield, UK, 10 September 2011 . Chen, W., Chen, X. & Xu, Z. (eds.). IEEE, p. 172-176 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Finite element modelling of polymer deformation processes

  Day, A. J., Allport, J., Fischer, W. P., Coates, P. & Mimaroglu, A., 1 Jun 1993, AQUABUS User's Conference 1993. p. 151-164 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• First Operational Experience of DSL based Analysis Modules for the LHC Powering Tests

  Aguilera, C., Audrain, M., Boychenko, S., Charifoulline, Z., Dragu, M., Heil, R., Koza, M., Krol, K., Garnier, J-C., Orlandi, R., Ribeiro, T., Rowan, S., Stamos, K. & Zerlauth, M., May 2015, Proceedings of the 6th International Particle Accelerator Conference (IPAC), (Richmond, VA, 3-8 March 2015). p. 1073-1075 3 p. MOPTY059

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• First results from SECIS observations of the 2001 total Solar eclipse

  Katsiyannis, A. C., Williams, D. R., Murtagh, F., McAteer, R. T. J. & Keenan, F. P., 25 Aug 2006, Recent Advances in Astronomy and Astrophysics: 7th International Conference of the Hellenic Astronomical Society. Solomos, N. (ed.). 1 ed. AIP Publishing, Vol. 848. p. 95-104 10 p. (AIP Conference Proceedings; vol. 848).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Fitting Data with Quadric Surfaces Based on Orthogonal Distance Regression

  Jiang, X., Scott, P. J. & Zhang, X., 1 Dec 2010, ENBIS - IMEKO TC21 Workshop on Measurement Systems and Process Improvement 2010. p. 711-724 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Fixed-point computing with variable fraction length for motion profile generation

  Dehghan, S. M. & Mansourian, M., 1 Sep 2016, 7th Power Electronics, Drive Systems and Technologies Conference, PEDSTC 2016. Institute of Electrical and Electronics Engineers Inc., p. 82-86 5 p. 7556842

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  2 Citations (Scopus)

• Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications

  Percassi, F., Scala, E. & Vallati, M., 3 Feb 2023, (Accepted/In press) Proceedings of the 33rd International Conference on Automated Planning and Scheduling. AAAI press

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• FleXConf: A Flexible Conference Assistant Using Context-Aware Notification Services

  Armenatzoglou, N., Marketakis, Y., Kriara, L., Apostolopoulos, E., Papavasiliou, V., Kampas, D., Kapravelos, A., Kartsonakis, E., Linardakis, G., Nikitaki, S., Bikakis, A. & Antoniou, G., 26 Oct 2009, On the Move to Meaningful Internet Systems: OTM 2009 Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, COMBEK 2009. Meersman, R., Herrero, P. & Dillon, T. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5872 LNCS. p. 108-117 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5872 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  6 Citations (Scopus)

• Flexible modelling and compensation of machine tool thermal errors

  Fletcher, S., Longstaff, A. P. & Myers, A., 1 Dec 2005, Proceedings of the 20th Annual ASPE Meeting, ASPE 2005.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  5 Citations (Scopus)

• Flexible Track Models in Railway Dynamics Using a Finite Element Formulation

  Pombo, J., Almeida, T., Magalhães, H., Antunes, P. & Ambrósio, J., Sep 2013, Proceedings of the 14th International Conference on Civil, Structural and Environmental Engineering Computing, CC 2013. Topping, B. H. V. & Iványi, P. (eds.). Civil-Comp Press, 30. (Civil-Comp Proceedings; vol. 102).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Flue Gas Recirculation During Poultry Litter Combustion in a Fixed Bed Lab-Scale Batch Reactor

  Katsaros, G., Sommersacher, P., Retschitzegger, S., Kienzl, N. & Pandey, D. S., 26 Apr 2021, Proceedings of the 29th European Biomass Conference: Setting the course for a biobased economy. Scarlat, N. & Grassi, A. (eds.). ETA-Florence Renewable Energies, p. 568-572 5 p. (European Biomass Conference and Exhibition Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL

  Baryannis, G. & Plexousakis, D., 2014, Service-Oriented Computing - ICSOC 2013 Workshops. Lomuscio, A. R., Nepal, S., Patrizi, F., Benatallah, B. & Brandić, I. (eds.). Springer, Cham, p. 256-270 15 p. (Lecture Notes in Computer Science; vol. 8377).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  5 Citations (Scopus)

• For (and Against) Biggs and Buchler

  Roberts, S., 23 Oct 2015, The Dark Precursor: Dare 2015. de Assis, P. & Giudici, P. (eds.). Sphinx Cinema, p. 149-150 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Forced vibration behavior of self-piercing riveting joints

  He, X. C., Zhen, D., Xing, B. Y., Zeng, K., Gu, F. S. & Ball, A., 2013, Advanced Materials and Sports Equipment Design. Vol. 440. p. 153-157 5 p. (Applied Mechanics and Materials; vol. 440).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  3 Citations (Scopus)

• Forgetting for Defeasible Logic

  Antoniou, G., Eiter, T. & Wang, K., 24 Feb 2012, Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Bjørner, N. & Voronkov, A. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 7180 LNCS. p. 77-91 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7180 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  3 Citations (Scopus)

• Formal usability evaluation of audio track widget graphical representation for two-dimensional stage audio mixing interface

  Dewey, C. & Wakefield, J., 11 May 2017, 142nd Audio Engineering Society International Convention 2017, AES 2017. Audio Engineering Society, 10 p. 9798

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  2 Citations (Scopus)

• Formation of low energy tails in silicon δ-doped GaAs/AlAs multiple quantum wells

  Čerškus, A., Kundrotas, J., Valušis, G., Harrison, P., Khanna, S. & Linfield, E., 25 Jan 2007, Advanced Optical Materials, Technologies, and Devices. Ašmontas, S. & Gradauskas, J. (eds.). SPIE, Vol. 6596. 6 p. 659613. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 6596).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  4 Citations (Scopus)

• Fostering students' creativity through video game development

  López, X. & Fabricatore, C., 16 Aug 2012, Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012. p. 340-341 2 p. 6268113

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  3 Citations (Scopus)

• Four Small LLEAPs for Electroacoustic Music Studies: Notes on performance strategies from a series of participatory electronic music workshops

  Green, O., 2014, Proceedings of the Electroacoustic Music Studies Network Conference: Electroacoustic Music Beyond Performance, Berlin, June 2014. 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• FPGA based Adaptive Hardware Acceleration for Multiple Deep Learning Tasks

  Lu, Y., Zhai, X., Saha, S., Ehsan, S. & McDonald-Maier, K. D., 20 Dec 2021, Proceedings - 2021 IEEE 14th International Symposium on Embedded Multicore/Many-Core Systems-on-Chip, MCSoC 2021. Bilof, R. S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 204-209 6 p. 9691938

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  3 Citations (Scopus)

• FPGA-Based Discrete Wavelet Transforms System

  Nibouche, M., Bouridane, A., Murtagh, F. & Nibouche, O., 2001, Field-Programmable Logic and Applications: 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings. Brebner, G. & Woods, R. (eds.). Springer-Verlag Berlin Heidelberg, Vol. LNCS 2147. p. 607-612 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2147 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  9 Citations (Scopus)

• FPGA-Based Dynamic Deep Learning Acceleration for Real-Time Video Analytics

  Lu, Y., Gao, C., Saha, R., Saha, S., McDonald-Maier, K. D. & Zhai, X., 14 Dec 2022, Architecture of Computing Systems: 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13–15, 2022, Proceedings. Schulz, M., Trinitis, C., Papadopoulou, N. & Pionteck, T. (eds.). 1st ed. Springer, Cham, Vol. 13642 LNCS. p. 68-82 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13642 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• FPGA-based Fault-injection and Data Acquisition of Self-repairing Spiking Neural Network Hardware

  Karim, S., Harkin, J., McDaid, L., Gardiner, B., Liu, J., Halliday, D., Tyrrell, A., Timmis, J., Millard, A. & Johnson, A., 4 May 2018, 2018 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 5 p. 8351512

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  4 Citations (Scopus)

• FPTC: Automated Safety Analysis for Domain-Specific Languages

  Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S. & Brooke, P. J., 2009, Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers. Chaudron, M. R. V. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. LNCS 5421. p. 229-242 14 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 5421).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  11 Citations (Scopus)