Science and Engineering Office

Filter
Conference contribution

Search results

  • New insights on architectural connectors

    Bruni, R., Fiadeiro, J. L., Lanese, I., Lopes, A. & Montanari, U., 1 Jan 2004, Exploring New Frontiers of Theoretical Informatics: IFIP International Federation for Information Processing. Springer New York, Vol. 155. p. 367-380 14 p. (IFIP Advances in Information and Communication Technology; vol. 155).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Citations (Scopus)
  • Multiphoton imaging with high peak power VECSELs

    Mirkhanov, S., Quarterman, A. H., Swift, S., Praveen, B. B., Smyth, C. J. C. & Wilcox, K. G., 10 Mar 2016, Vertical External Cavity Surface Emitting Lasers (VECSELs) VI. Wilcox, K. G. (ed.). San Francisco: SPIE-International Society for Optical Engineering, Vol. 9734. 973412

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Micromechanical study of potential scale effects in small-scale modelling of sinker tree roots

    Zhang, X., Ciantia, M., Knappett, J. & Leung, A., 16 Dec 2021, Proceedings of the 18th UK Travelling Workshop: GeoMechanics: from Micro to Macro (GM3), Dundee, 2021. Ciantia, M., Previtali, M. & Bolton, M. (eds.). Dundee: University of Dundee, p. 41-44 4 p. (GM3 Travelling Workshop Proceedings; no. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    20 Downloads (Pure)
  • Many-valued institutions for constraint specification

    Chiriţă, C. E., Fiadeiro, J. L. & Orejas, F., 2016, Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Stevens, P. & Wasowski, A. (eds.). Berlin: Springer Verlag, p. 359-376 18 p. (Lecture Notes in Computer Science; vol. 9633).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Managing socio-technical interactions in healthcare systems

    El-Hassan, O., Fiadeiro, J. L. & Heckel, R., 14 Mar 2008, Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers. p. 347-358 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4928 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Logics for actor networks: A case study in constrained hybridization

    Fiadeiro, J., Ţuţu, I., Lopes, A. & Pavlovic, D., 2018, Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Madeira, A., Madeira, A. & Benevides, M. (eds.). Switzerland: Springer Verlag, p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 10669).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Learning to Self-Manage by Intelligent Monitoring, Prediction and Intervention

    Wiratunga, N., Corsar, D., Martin, K., Wijekoon, A., Elyan, E., Cooper, K., Ibrahim, Z., Celiktutan, O., Dobson, R. J., McKenna, S., Morris, J., Waller, A., Abd-Alhammed, R., Qahwaji, R. & Chaudhuri, R., 2019, KDH 2019: Proceedings of the 4th International Workshop on Knowledge Discovery in Healthcare Data. Wiratunga, N., Coenen, F. & Sani, S. (eds.). Germany: CEUR-WS, Vol. 2429. p. 60-67 8 p. 10. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    1 Citation (Scopus)
    19 Downloads (Pure)
  • Knowledgebases as structured theories

    Fiadeiro, J., Sernadas, A. & Sernadas, C., 1988, Foundations of Software Technology and Theoretical Computer Science. Vol. 338. p. 469-486 18 p. (Lecture Notes in Computer Science; vol. 338).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Joint Prediction and Classification of Brain Image Evolution Trajectories from Baseline Brain Image with Application to Early Dementia

    Gafuroğlu, C., Rekik, I. & Alzheimer's Disease Neuroimaging Initiative, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 - 21st International Conference, 2018, Proceedings. Frangi, A. F., Davatzikos, C., Fichtinger, G., Alberola-López, C. & Schnabel, J. A. (eds.). Switzerland: Springer , Vol. 11072. p. 437-445 9 p. (Lecture Notes in Computer Science; vol. 11072).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    5 Citations (Scopus)
    118 Downloads (Pure)
  • Joint Correlational and Discriminative Ensemble Classifier Learning for Dementia Stratification Using Shallow Brain Multiplexes

    Raeper, R., Lisowska, A., Rekik, I. & Alzheimer’s Disease Neuroimaging Initiative, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 - 21st International Conference, 2018, Proceedings. Schnabel, J. A., Davatzikos, C., Alberola-López, C., Fichtinger, G. & Frangi, A. F. (eds.). Switzerland: Springer , Vol. 11070. p. 599-607 9 p. (Lecture Notes in Computer Science; vol. 11070).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    3 Citations (Scopus)
    158 Downloads (Pure)
  • Interconnecting Objects Via Contracts

    Andrade, L. F. & Fiadeiro, J. L., 1999, UML'99: The Unified Modeling Language: Beyond the Standard. France, R. B. & Rumpe, B. (eds.). Berlin: Springer Verlag, p. 566-583 18 p. (Lecture Notes in Computer Science; vol. 1723).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    32 Citations (Scopus)
  • Interconnecting formalisms: Supporting modularity, reuse and incrementality

    Fiadeiro, J. L. & Maibaum, T., 1995, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York: ACM Press, p. 72-80 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    33 Citations (Scopus)
  • Intact connectional morphometricity learning using multi-view morphological brain networks with application to autism spectrum disorder

    Bessadok, A. & Rekik, I., 2018, Connectomics in NeuroImaging: Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Proceedings. Wu, G., Schirmer, M. D., Chung, A. W., Rekik, I. & Munsell, B. (eds.). Switzerland: Springer Verlag, Vol. 11083. p. 38-46 9 p. (Lecture Notes in Computer Science; vol. 11083).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    1 Citation (Scopus)
    138 Downloads (Pure)
  • Institutions for Behaviour Specification

    Fiadeiro, J. L. & Costa, J. F., 1995, ADT 1994, COMPASS 1994: Recent Trends in Data Type Specification. Astesiano, E., Reggio, G. & Tarlecki, A. (eds.). Springer Verlag, p. 273-289 17 p. (Lecture Notes in Computer Science; vol. 906).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • Innovations in the centrifuge modelling of energy pile behaviour in unsaturated soil

    Leung, A. K., Vitali, D., Ma, L. & Zhao, R., 14 Oct 2019, Proceedings of the 16th Asian Regional Conference on Soil Mechanics and Geotechnical Engineering. Southeast Asian Geotechnical Society, 4 p. YMPG11

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    28 Downloads (Pure)
  • Improved antireflection coated microspheres for biological applications of optical tweezers

    Ferro, V., Sonnberger, A., Abdosamadi, M. K., McDonald, C., Schäffer, E. & McGloin, D., 16 Sep 2016, Optical Trapping and Optical Micromanipulation XIII. Dholakia, K. & Spalding, G. C. (eds.). United States: SPIE-International Society for Optical Engineering, Vol. 9922. 99222T

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Heterogeneous timed machines

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Switzerland: Springer , p. 115-132 18 p. (Lecture Notes in Computer Science; vol. 8687).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Heterogeneous and asynchronous networks of timed systems

    Fiadeiro, J. L. & Lopes, A., 2014, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Gnesi, S. & Rensink, A. (eds.). Berlin: Springer Verlag, p. 79-93 15 p. (Lecture Notes in Computer Science; vol. 8411).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Full skin quantitative optical coherence elastography achieved by combining vibration and surface acoustic wave methods

    Li, C., Guan, G., Huang, Z., Wang, R. K. & Nabi, G., 5 Mar 2015, Proceedings Volume 9322: Dynamics and Fluctuations in Biomedical Photonics XII. Tuchin, V. V., Larin, K. V., Leahy, M. J. & Wang, R. K. (eds.). SPIE-International Society for Optical Engineering, Vol. 9322. 9 p. 93220O

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • From BPEL to SRML: A formal transformational approach

    Bocchi, L., Hong, Y., Lopes, A. & Fiadeiro, J. L., 14 May 2008, Web Services and Formal Methods - 4th International Workshop, WS-FM 2007, Proceedings. Vol. 4937. p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4937 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Citations (Scopus)
  • Free Jazz in the Land of Algebraic Improvisation

    Chiriţă, C. E. & Fiadeiro, J., Jun 2016, Proceedings of the Seventh International Conference on Computational Creativity, UPMC, Paris, France, June 27 - July 1, 2016.. p. 322-329 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    24 Downloads (Pure)
  • Extending B AMN with concurrency

    Lano, K., Fiadeiro, J. & Dick, J., 1996, Advances in the theory and formal methods of computing. Edalat, A., Jourdan, S. & McCusker, G. (eds.). London: Imperial College Press, p. 228-239 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Expecting the Unexpected in Participatory Design

    Constantin, A., Korte, J., Fails, J. A., Alexandru, C. A., Dragomir, M., Pain, H., Good, J., Garzotto, F., Eriksson, E. & Waller, A., 2 May 2019, CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), p. 1-4 4 p. SIG07. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    86 Downloads (Pure)
  • Enhancing dependability through flexible adaptation to changing requirements

    Wermelinger, M., Koutsoukos, G., Lourenço, H., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2004, Architecting Dependable Systems II. de Lemos, R., Gacek, C. & Romano, A. (eds.). Springer , Vol. 3069. p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3069).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Enforcing business policies through automated reconfiguration

    Andrade, L., Fiadeiro, J. L. & Wermelinger, M., 2001, Proceedings 16th Annual International Conference on Automated Software Engineering, ASE 2001. Institute of Electrical and Electronics Engineers Inc., p. 426-429 4 p. (Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)
  • Early model-analysis of logistics systems

    Azmat, F., Bocchi, L. & Fiadeiro, J. L., 28 Mar 2011, Service-Oriented Computing - ICSOC 2010. Maximilien, E. M., Rossi, G., Yuan, S. T., Ludwig, H. & Fantinato, M. (eds.). Springer , p. 225-236 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6568 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Early-age temperature rises in GGBS concrete - Part 2: T1 values for low heat and very low heat cements

    Paine, K. A., Zheng, L. & Dhir, R. K., 2005, Cement Combinations for Durable Concrete: Proceedings of the International Conference held at the University of Dundee, Scotland, UK on 5–7 July 2005. Dhir, R. K., Harrison, T. A. & Newlands, M. D. (eds.). Thomas Telford Publishing, p. 183-194

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Dynamic Reconfiguration via Typed Modalities

    Tutu, I., Chirita, C. & Fiadeiro, J. L., 10 Nov 2021, Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.). 1 ed. Springer , p. 599-615 17 p. (Lecture Notes in Computer Science ; vol. 13047).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Do Baby Brain Cortices that Look Alike at Birth Grow Alike During the First Year of Postnatal Development?

    Rekik, I., Li, G., Lin, W. & Shen, D., 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 - 21st International Conference, 2018, Proceedings. Frangi, A. F., Davatzikos, C., Fichtinger, G., Alberola-López, C. & Schnabel, J. A. (eds.). Switzerland: Springer , Vol. 11072. p. 566-574 9 p. (Lecture Notes in Computer Science; vol. 11072).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    2 Citations (Scopus)
    169 Downloads (Pure)
  • Describing, structuring and implementing objects

    Fiadeiro, J. & Maibaum, T., 1991, REX 1990: Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems). Springer , Vol. 489. p. 274-310 37 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 489).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    32 Citations (Scopus)
  • Declarative semantics of interoperable data- and knowledge-bases

    Reichwein, G., Fiadeiro, J. L. & Rohen, M., 1993, Proceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993. Schlageter, G., Papazoglou, M. P. & Huhns, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 291-299 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Data-specific feature selection method identification for most reproducible connectomic feature discovery fingerprinting brain states

    Georges, N. & Rekik, I., 2018, Connectomics in NeuroImaging: Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Proceedings. Wu, G., Schirmer, M. D., Chung, A. W., Rekik, I. & Munsell, B. (eds.). Switzerland: Springer Verlag, Vol. 11083. p. 99-106 8 p. (Lecture Notes in Computer Science; vol. 11083).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    2 Citations (Scopus)
    94 Downloads (Pure)
  • Coordination technologies for managing information system evolution

    Andrade, L. F. & Fiadeiro, J. L., 28 Jun 2001, Advanced Information Systems Engineering - 13th International Conference, CAiSE 2001, Proceedings. Dittrich, K. R., Geppert, A. & Norrie, M. C. (eds.). Berlin: Springer Verlag, Vol. 2068. p. 374-387 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2068).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    15 Citations (Scopus)
  • Coordination for orchestration

    Andrade, L. F., Fiadeiro, J. L., Gouveia, J., Koutsoukos, G. & Wermelinger, M., 1 Jan 2002, Coordination Models and Languages - 5th International Conference, COORDINATION 2002, Proceedings. Talcott, C. & Arbab, F. (eds.). Springer Verlag, p. 5-13 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2315).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • Coordination architecture for evolvable event-based systems

    Andrade, L. & Fiadeiro, J. L., 1 Jan 2002, Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002. Wagner, R. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 571-572 2 p. 1030827

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Coordinating durative actions

    Nunes, I., Fiadeiro, J. L. & Turski, W. M., 1997, COORDINATION 1997: Coordination Languages and Models. Garlan, D. & Le Métayer, D. (eds.). Berlin: Springer Verlag, p. 115-130 16 p. ( Lecture Notes in Computer Science; vol. 1282).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Context-awareness in software architectures

    Lopes, A. & Fiadeiro, J. L., 2005, Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings. Morrison, R. & Oquendo, F. (eds.). Berlin: Springer Verlag, p. 146-161 16 p. (Lecture Notes in Computer Science; vol. 3527).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Consistency of service composition

    Fiadeiro, J. L. & Lopes, A., 3 Apr 2012, Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. Springer , Vol. 7212. p. 63-77 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7212 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    4 Citations (Scopus)
  • Community on the move: Architectures for distribution and mobility

    Fiadeiro, J. L. & Lopes, A., 1 Dec 2004, Formal Methods for Components and Objects. FMCO 2003. de Boer, F. S., Bonsangue, M. M., Graf, S. & de Roever, W. P. (eds.). Springer , Vol. 3188. p. 177-196 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Citations (Scopus)
  • Behavioural Aspects of Intelligent Knowledge-Based Information Systems

    Fiadeiro, J. L. & Sernadas, A., 1987, Temporal Ascpects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems. Rolland, C., Bodart, F. & Leonard, M. (eds.). North-Holland: Elsevier, p. 77-92 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A use-case driven approach to formal service-oriented modelling

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 2008, Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer , p. 155-169 15 p. (Communications in Computer and Information Science; vol. 17 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • A timed component algebra for services

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2013, Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on DisCoTec 2013, Proceedings: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Beyer, D. & Boreale, M. (eds.). Berlin: Springer Verlag, p. 242-257 16 p. (Lecture Notes in Computer Science; vol. 7892).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    5 Citations (Scopus)
  • A Semantics of Business Configurations Using Symbolic Graphs

    Mylonakis, N., Orejas, F. & Fiadeiro, J., 20 Aug 2015, Proceedings - 2015 IEEE International Conference on Services Computing (SCC 2015). Chou, W., Maglio, P. P. & Paik, I. (eds.). New York: IEEE, p. 146-153 8 p. 7207347

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Architecture based evolution of software systems

    Andrade, L. F. & Fiadeiro, J. L., 2003, Formal Methods for Software Architectures. Bernardo, M. & Inverardi, P. (eds.). Berlin: Springer Verlag, Vol. 2804. p. 148-181 34 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    22 Citations (Scopus)
  • Architectural handling of management concerns in service-driven business processes

    Al-Ghamdi, A. & Fiadeiro, J. L., 2006, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems: Volume 1: MSVVEIS 2006 In Conjunction with ICEIS 2006. Barjis, J., Ultes-Nitsche, U. & Augusto, J. C. (eds.). p. 111-120 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • An interface theory for service-oriented design

    Fiadeiro, J. L. & Lopes, A., 4 Apr 2011, Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 18-33 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6603 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    9 Citations (Scopus)
  • A new heating-cooling system for centrifuge testing of thermo-active geo-structures

    Vitali, D., Leung, A., Zhao, R. & Knappett, J., 24 Oct 2018, Physical Modelling in Geotechnics: Proceedings of the 9th International Conference on Physical Modelling in Geotechnics (ICPMG 2018), July 17-20, 2018, London, United Kingdom. McNamara, A., Divall, S. & Goodey, R. (eds.). Taylor & Francis, Vol. 1. p. 475-480 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    3 Citations (Scopus)
    143 Downloads (Pure)
  • An Architectural Support for Self-Adaptive Software for Treating Faults

    De Lemos, R. & Fiadeiro, J. L., 1 Dec 2002, Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). Garlan, D., Kramer, J. & Wolf, A. (eds.). p. 39-42 4 p. (Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    21 Citations (Scopus)
  • An architectural approach to mobility - The handover case study

    Oliveira, C., Wermelinger, M., Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004). IEEE Computer Society, p. 305-308 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • An architectural approach to fault treatment in critical infrastructures

    Fiadeiro, J. L., 2002, Dependable Computing - EDCC 4 - 4th European Dependable Computing Conference, Proceedings. Bondavalli, A. & Thevenod-Fosse, P. (eds.). Berlin: Springer Verlag, p. 86-87 2 p. (Lecture Notes in Computer Science; vol. 2485).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution