???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Fernando Barros

Identificadores de autor

Ciência ID
DD1E-61FC-6F58
ORCID iD
0000-0002-3792-2354
Google Scholar ID
CLKYnLEAAAAJ
Scopus Author Id
7102631157
Formação
Grau Classificação
1997
Concluído
 Engenharia Electrotécnica (Doutoramento)
Especialização em Especialidade: Informática
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"Modelação e Simulação de Sistemas de Eventos Discretos com Estrutura Dinâmica: uma Abordagem Baseada na Teoria dos Sistemas" (TESE/DISSERTAÇÃO)
1989 - 1991
Concluído
 Tecnologias da Informação (Mestrado)
Universidade de Coimbra Departamento de Engenharia Electrotécnica e de Computadores, Portugal
 Muito Bom
1982 - 1987
Concluído
 Engenharia Electrotécnica (Licenciatura)
Especialização em Informática
Universidade de Coimbra Departamento de Engenharia Electrotécnica e de Computadores, Portugal
 16 valores
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
1997/03/07 - Atual Professor Auxiliar (Docente Universitário) Universidade de Coimbra, Portugal
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
1997/03 - 2022 Professor Auxiliar (Docente Universitário) Universidade de Coimbra, Portugal
1990 - 1997/03 Assistente Estagiário (Docente Universitário) Universidade de Coimbra, Portugal
Universidade de Coimbra Departamento de Engenharia Electrotécnica e de Computadores, Portugal
Projetos

Projeto

Designação Financiadores
2010/06/14 - 2013/12/13 Reutilização de Software Baseada numa Abordagem Modular e Hierárquica
PTDC/EIA-EIA/100752/2008
Universidade de Coimbra, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2006/03/15 - 2006/07/14 MODELAÇÃO E SIMULAÇÃO DE SISTEMAS HÍBRIDOS
SFRH/BSAB/576/2005
 Fundação para a Ciência e a Tecnologia
Concluído
1995/07/01 - 1998/06/30 MODELAÇÃO DE SISTEMAS COM ESTRUTURA VARIÁVEL
PRAXIS XXI/BD/3586/94
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Barros, Fernando. Autor correspondente: Barros, Fernando. "piHyFlow: A modular process interaction worldview". Trabalho apresentado em Winter Simulation Conference, San Antonio, TX, 2023.
    Publicado
  2. Barros, Fernando. Autor correspondente: Barros, Fernando. "Rollback Support in Hyflow Modular Models". Trabalho apresentado em Winter Simulation Conference, 2020.
    Publicado • 10.1109/wsc48552.2020.9383940
  3. Barros, Fernando. "A Modular Stabilization Approach for Chattering-free Simulation". Trabalho apresentado em 2019 Spring Simulation Conference, 2019.
    Publicado • 10.22360/springsim.2019.tms.014
  4. Barros, Fernando. Autor correspondente: Barros, Fernando. "COMPOSITION OF NUMERICAL INTEGRATORS IN THE HYFLOW FORMALISM". Trabalho apresentado em Winter Simulation Conference, Gothenburg, 2018.
    10.1109/wsc.2018.8632530
  5. Barros, Fernando J.. "MODULAR SIMULATION OF 2nd-ORDER ENERGY PRESERVING SYSTEMS". 2018.
    10.1109/wsc.2018.8632496
  6. Barros, Fernando. "Handling Overlapping Collisions: A Dynamic Topology Approach". 2018.
    Publicado • 10.22360/springsim.2018.tms.020
  7. Barros, Fernando. "Hybrid Simulation for Cyber Physical Systems - A Panel on where are we going regarding complexity, intelligence and adaptability of CPS using simulation". 2018.
    Publicado • 10.22360/springsim.2018.msciaas.004
  8. Barros, Fernando J.. "Towards a universal formalism for modeling & simulation". 2017.
    10.1109/wsc.2017.8247829
  9. Barros, Fernando. "Chattering Avoidance in Hybrid Simulation Models: a Modular Approach Based on the HyFlow Formalism". 2017.
    Publicado • 10.22360/springsim.2017.tmsdevs.036
  10. Barros, Fernando J.. "On the representation of time in modeling & simulation". 2016.
    Publicado • 10.1109/wsc.2016.7822207
  11. Barros, Fernando. "A Modular Representation of Asynchronous, Geometric Solvers". 2016.
    Publicado • 10.22360/springsim.2016.tmsdevs.057
  12. Barros, Fernando. "Asynchronous, Polynomial ODE Solvers based on Error Estimation". Trabalho apresentado em Theory of Modeling and Simulation, 2015.
    Publicado
  13. Barros, Fernando. "A Modular Representation of Fluid Stochastic Petri Nets". Trabalho apresentado em Theory of Modeling and Simulation, 2015.
    Publicado
  14. Bernardes, Miguel; Barros, Fernando; Simoes, Marco; Castelo-Branco, Miguel. "A serious game with virtual reality for travel training with Autism Spectrum Disorder". Trabalho apresentado em 2015 International Conference on Virtual Rehabilitation (ICVR), Valencia, Spain, 2015.
    Publicado • 10.1109/ICVR.2015.7358609
  15. Barros, Fernando. "On the Representation of Dynamic Topologies: The Case for Centralized and Modular Approaches". Trabalho apresentado em Theory of Modeling and Simulation, 2014.
  16. Ivaki, Naghmeh; Araujo, Filipe; Barros, Fernando. "Session-based fault-tolerant design patterns". 2014.
    Publicado • 10.1109/padsw.2014.7097875
  17. Ivaki, Naghmeh; Araujo, Filipe; Barros, Fernando. "Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication". 2014.
    Publicado • 10.1109/prdc.2014.10
  18. Barros, Fernando. "On the Representation of Product Lines using Pluggable Software Units: Results from an Exploratory Study". Trabalho apresentado em Theory of Modeling and Simulation, 2013.
    Publicado
  19. Barros, Fernando. "Parallel implementation of a SDM using a GPU for vision-based robot navigation". 2013.
    Publicado
  20. Barros, Fernando J.. "A compositional approach for modeling and simulation of bio-molecular systems". 2012.
    Publicado • 10.1109/wsc.2012.6465260
  21. Barros, Fernando. "Representing Topic Event-Based Systems using Pluggable Units". Trabalho apresentado em The Seventh International Conference on Software Engineering Advances, 2012.
    Publicado
Artigo em revista
  1. Fernando Barros. "$$\pi $$HyFlow: formalism, semantics, and applications". Discrete Event Dynamic Systems (2024): https://doi.org/10.1007/s10626-023-00390-y.
    10.1007/s10626-023-00390-y
  2. Barros, Fernando. Autor correspondente: Barros, Fernando. "pHyFlow: formalism, semantics, and applications". Discrete Event Dynamic Systems (2024): https://doi.org/10.1007/s10626-023-00390-y.
    Acesso aberto
  3. Barros, F. J.. "The unified process interaction worldview". Journal of Simulation (2023): 1-10. http://dx.doi.org/10.1080/17477778.2023.2230952.
    Aceite para publicação • 10.1080/17477778.2023.2230952
  4. Marco Simões; Miguel Bernardes; Fernando Barros; Miguel Castelo-Branco. "Virtual Travel Training for Autism Spectrum Disorder: Proof-of-Concept Interventional Study". JMIR Serious Games (2018): https://doi.org/10.2196/games.8428.
    10.2196/games.8428
  5. Barros, Fernando J. "Modular representation of asynchronous geometric integrators with support for dynamic topology". SIMULATION 94 3 (2017): 259-274. http://dx.doi.org/10.1177/0037549717714613.
    10.1177/0037549717714613
  6. Fernando J. Barros. "Modeling mobility through dynamic topologies". Simulation Modelling Practice and Theory 69 (2016): 113-135. https://doi.org/10.1016%2Fj.simpat.2016.06.001.
    10.1016/j.simpat.2016.06.001
  7. Cortinhas, C.; Barros, F.. "Extending the Groovy language using AST transformations to monitor variables and methods". Advances in Intelligent Systems and Computing 206 AISC (2013): 745-752. http://www.scopus.com/inward/record.url?eid=2-s2.0-84876211543&partnerID=MN8TOARS.
    10.1007/978-3-642-36981-0_69
  8. Barros, F.J.. "On the representation of product lines using pluggable software units: Results from an exploratory study". Simulation Series 45 4 (2013): 1-8. http://www.scopus.com/inward/record.url?eid=2-s2.0-84876822012&partnerID=MN8TOARS.
  9. Barros, F.; Barros, Fernando. "Representing dynamic pluggable software units". Proceedings of the ACM Symposium on Applied Computing (2013): 1006-1012. http://www.scopus.com/inward/record.url?eid=2-s2.0-84877978946&partnerID=MN8TOARS.
    Publicado • 10.1145/2480362.2480555
  10. Barros, F.J.. "Aspect-oriented programming and pluggable software units: A comparison based on design patterns". Software - Practice and Experience (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84883309712&partnerID=MN8TOARS.
    10.1002/spe.2224
  11. Barros, F.J.. "Modeling and simulation of mobile phones using dynamic topologies". Simulation Series 44 4 BOOK (2012): 112-119. http://www.scopus.com/inward/record.url?eid=2-s2.0-84876496410&partnerID=MN8TOARS.
  12. Barros, F.J.. "A compositional approach for modeling and simulation of bio-molecular systems". Proceedings - Winter Simulation Conference (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84874747111&partnerID=MN8TOARS.
    10.1109/WSC.2012.6465260
  13. Barros, F.J.. "Achieving reuse with pluggable software units". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6727 LNCS (2011): 183-191. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959643911&partnerID=MN8TOARS.
    10.1007/978-3-642-21347-2_14
  14. Barros, F.. "Beyond design patterns: Improving software design with pluggable units". ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies 2 (2011): 123-128. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052590961&partnerID=MN8TOARS.
  15. Barros, F.J.. "On the representation of spatially moving entities using time-variant topologies". Proceedings of the 2011 Summer Computer Simulation Conference (2011): 145-152. http://www.scopus.com/inward/record.url?eid=2-s2.0-84869794841&partnerID=MN8TOARS.
  16. Barros, F.. "Increasing software quality through design reuse". Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010 (2010): 236-241. http://www.scopus.com/inward/record.url?eid=2-s2.0-78751507141&partnerID=MN8TOARS.
    10.1109/QUATIC.2010.44
  17. Barros, F.J.. "Modeling and simulation of parallel adaptive divide-and-conquer algorithms". Journal of Supercomputing 43 3 (2008): 241-255. http://www.scopus.com/inward/record.url?eid=2-s2.0-38349057888&partnerID=MN8TOARS.
    10.1007/s11227-007-0143-3
  18. Barros, F.J.. "A formal definition of dynamic structure hybrid simulation models". Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-50849111048&partnerID=MN8TOARS.
    10.1109/PADS.2008.31
  19. Barros, F.J.. "An evolving hierarchical & modular approach to resilient software". Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, SERENE'08 (2008): 79-86. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349151234&partnerID=MN8TOARS.
    10.1145/1479772.1479788
  20. Barros, F.J.. "Semantics of dynamic structure event-based systems". Proceedings of the 2nd International Conference on Distributed Event-Based Systems, DEBS 2008 (2008): 245-252. http://www.scopus.com/inward/record.url?eid=2-s2.0-57549086653&partnerID=MN8TOARS.
    10.1145/1385989.1386020
  21. Barros, F.J.. "Deterministic simulation of hybrid flow components". Proceedings - IEEE International Symposium on Distributed Simulation and Real-Time Applications, DS-RT (2007): 252-258. http://www.scopus.com/inward/record.url?eid=2-s2.0-46449134839&partnerID=MN8TOARS.
    10.1109/DS-RT.2007.20
  22. Barros, F.J.. "Representing dynamic structure hybrid models in CAOSTALK". Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD (2007): 1891-1897. http://www.scopus.com/inward/record.url?eid=2-s2.0-43049153011&partnerID=MN8TOARS.
    10.1109/CACSD.2006.285496
  23. Barros, F.J.. "Comparing synchronous and asynchronous variable step size explicit ODE solvers: A simulation study". Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS (2007): 32-37. http://www.scopus.com/inward/record.url?eid=2-s2.0-34948862900&partnerID=MN8TOARS.
    10.1109/PADS.2007.17
  24. Barros, F.J.. "Representing hierarchical mobility in software architectures". Proceedings - ICSE 2007 Workshops: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007 (2007): http://www.scopus.com/inward/record.url?eid=2-s2.0-36249002187&partnerID=MN8TOARS.
    10.1109/SEAMS.2007.16
  25. Barros, F.J.. "A system theory approach to the representation of mobile digital controllers agents". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3825 LNAI (2006): 321-333. http://www.scopus.com/inward/record.url?eid=2-s2.0-84885591008&partnerID=MN8TOARS.
    10.1007/11964995_29
  26. Barros, F.; Chi, S.D.. "Editorial: Applications of DEVS formalisms". Simulation 81 2 (2005): 89-90. http://www.scopus.com/inward/record.url?eid=2-s2.0-20444371501&partnerID=MN8TOARS.
    10.1177/0037549705052274
  27. Barros, F.J.. "A formal representation of hybrid mobile components". Simulation 81 5 (2005): 381-393. http://www.scopus.com/inward/record.url?eid=2-s2.0-21444443805&partnerID=MN8TOARS.
    10.1177/0037549705052275
  28. Barros, F.. "Describing the HLA using the DFSS formalism". Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 3397 (2005): 117-127. http://www.scopus.com/inward/record.url?eid=2-s2.0-21444447050&partnerID=MN8TOARS.
  29. Barros, F.J.. "Requirements for modeling and simulation of self-adaptive systems: A hierarchical and modular approach". Proceedings - International Workshop on Database and Expert Systems Applications, DEXA 2006 (2005): 186-190. http://www.scopus.com/inward/record.url?eid=2-s2.0-33749040840&partnerID=MN8TOARS.
    10.1109/DEXA.2005.164
  30. Barros, F.J.. "Simulating data generated by a network of track-while-scan radars". Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005 (2005): 373-377. http://www.scopus.com/inward/record.url?eid=2-s2.0-28344451376&partnerID=MN8TOARS.
  31. Barros, F.; Sarjoughian, H.S.. "SIMULATION: Transactions of the SCS component-based modeling and simulation". Simulation 80 7-8 (2004): 319-320. http://www.scopus.com/inward/record.url?eid=2-s2.0-10244266369&partnerID=MN8TOARS.
    10.1177/0037549704049097
  32. Barros, Fernando J.. "Dynamic structure multiparadigm modeling and simulation". (2003): http://hdl.handle.net/10316/10706.
  33. Barros, F.J.. "Dynamic Structure Multiparadigm Modeling and Simulation". ACM Transactions on Modeling and Computer Simulation 13 3 (2003): 259-275. http://www.scopus.com/inward/record.url?eid=2-s2.0-0346243613&partnerID=MN8TOARS.
    10.1145/937332.937335
  34. Barros, F.J.. "Modeling and simulation of dynamic structure heterogeneous flow systems". Simulation 78 1 (2002): 18-27. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036349211&partnerID=MN8TOARS.
    10.1177/0037549702078001198
  35. De Vasconcelos, M.J.P.; Gonçalves, A.; Catry, F.X.; Paúl, J.U.; Barros, F.. "A working prototype of a dynamic geographical information system". International Journal of Geographical Information Science 16 11 (2002): 69-91. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036143717&partnerID=MN8TOARS.
  36. Barros, Fernando J.; Zeigler, Bernard P.; Fishwick, Paul A.. "Multimodels and dynamic structure models: An integration of DSDE/DEVS and OOPM". Winter Simulation Conference Proceedings 1 (1998): 413-419. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032267880&partnerID=MN8TOARS.
  37. Barros, F.J.. "Hierarchical testing of dynamic structure models: A practical approach". Transactions of the Society for Computer Simulation 15 4 (1998): 181-189. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032325282&partnerID=MN8TOARS.
  38. Barros, Fernando J.. "Abstract simulators for the DSDE formalism". Winter Simulation Conference Proceedings 1 (1998): 407-412. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032267879&partnerID=MN8TOARS.
  39. Barros, F.J.. "Handling simultaneous events in dynamic structure models". Proceedings of SPIE - The International Society for Optical Engineering 3369 (1998): 355-362. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032404494&partnerID=MN8TOARS.
    10.1117/12.319352
  40. Barros, Fernando J.. "Dynamic structure modeling and simulation of the Eratosthenes sieve for prime numbers". Proceedings of the IEEE Annual Simulation Symposium (1997): 184-189. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030672643&partnerID=MN8TOARS.
  41. Barros, F.J.; Mendes, M.T.. "Forest fire modelling and simulation in the DELTA environment". Simulation Practice and Theory 5 3 (1997): 185-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031095765&partnerID=MN8TOARS.
  42. Barros, Fernando J.. "Modeling formalisms for dynamic structure systems". ACM Transactions on Modeling and Computer Simulation 7 4 (1997): 501-515. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031251544&partnerID=MN8TOARS.
    10.1145/268403.268423
  43. Barros, F.J.. "Dynamic structure discrete event systems: A comparison of methodologies and environments". Proceedings of SPIE - The International Society for Optical Engineering 3083 (1997): 268-277. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031289910&partnerID=MN8TOARS.
    10.1117/12.276719
  44. Barros, F.J.. "Dynamic structure discrete event system specification formalism". Transactions of the Society for Computer Simulation 13 1 (1996): 35-46. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030092360&partnerID=MN8TOARS.
  45. Barros, Fernando J.. "Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation". Winter Simulation Conference Proceedings (1995): 781-785. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029515624&partnerID=MN8TOARS.
Capítulo de livro
  1. Barros, Fernando. Autor correspondente: Barros, Fernando. "Defining Families of Hybrid Models with the piHyFlow++ Modelling and Simulation Integrative Framework". In Hybrid Modeling and Simulation: Conceptualizations, Methods, and Applications. Springer, 2024.
    Aceite para publicação
  2. Barros, Fernando. "High-Fidelity Modeling & Co-simulation with piHyFlow". In Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 269-285. Alemanha: Springer International Publishing, 2023.
    Publicado • 10.1007/978-3-031-26236-4_23
  3. Ivaki, Naghmeh; Laranjeiro, Nuno; Barros, Fernando; Araújo, Filipe. "Connection Handler: A Design Pattern for Recovery from Connection Crashes". In Software Engineering in the Era of Cloud Computing, 211-251. Springer International Publishing, 2020.
    Publicado • 10.1007/978-3-030-33624-0_9
  4. Barros, Fernando. "A Unifying Framework for the Hierarchical Co-Simulation of Cyber-Physical Systems". In Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy. Estados Unidos: Wiley, 2019.
    Publicado
Edição de livro
  1. Barros, Fernando. TMS-DEVS '16: Proceedings of the Symposium on Theory of Modeling & Simulation. Society for Computer Simulation International. 2016.
    Publicado • Editor
  2. Barros, Fernando. DEVS '15: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. Society for Computer Simulation International. 2015.
    Editor
Recurso online
  1. Barros, Fernando. Autor correspondente: Barros, Fernando. piHyFlow Operational Semantics. 2023. https://arxiv.org/abs/2310.19818.

Propriedade Intelectual

Patente
  1. Barros, Fernando. 2005. "System and Method for Programming using Independent and Reusable Software Units". Estados Unidos.
    Pendente

Outros

Outra produção
  1. Virtual Travel Training for Autism Spectrum Disorder: Proof-of-Concept Interventional Study. 2017. Marco Sim¿es; Miguel Bernardes; Fernando Barros; Miguel Castelo-Branco. https://doi.org/10.2196/preprints.8428.
    10.2196/preprints.8428
Distinções

Prémio

2022 Reviewer of the Year 2022 runner up of SIMULATION: Transactions of the SCS.
2011 Best Paper Award
2003 Best Paper Award: “Modular Representation of Non-Modular HFSS Models.” International Workshop on Modeling and Applied Simulation, (Bergeggi, Italy, 2-4 October), 2003.