Cláudio Gomes   
PhD Student
Modelling, Simulation and Design Lab
Department of Mathematics and Computer Science
University of Antwerp
Middelheimcampus Building G, Room G.028
Middelheimlaan 1
Antwerp,
Belgium 2020
email:
www:
claudio.gomes@uantwerp.be
http://msdl.cs.mcgill.ca/people/claudio

View my profile on LinkedIn

Cláudio Gomes     
   
2019
  • Schweiger, Gerald, Cl�udio Gomes, Georg Engel, Irene Hafner, Josef-Peter Schoeggl, Alfred Posch, and Thierry Nouidui. 2019. An Empirical Survey on Co-Simulation: Promising Standards, Challenges and Research Needs. In Simulation Modelling Practice and Theory 95 (September): 148�63. DOI: 10.1016/j.simpat.2019.05.001 [Chapter] [pdf] [Bibtex]
  • Thule, Casper, Kenneth Lausdahl, Cl�udio Gomes, Gerd Meisl, and Peter Gorm Larsen. Maestro: The INTO-CPS Co-Simulation Framework. Simulation Modelling Practice and Theory 92, no. April (2019): 45�61. https://doi.org/10.1016/j.simpat.2018.12.005. [Chapter] [pdf] [Bibtex]
2018
  • Gomes, Cl�udio, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, and Hans Vangheluwe. Demo: Stabilization Technique in INTO-CPS. In 2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems. Toulouse, France: Springer, Cham, 2018. DOI: 10.1007/978-3-030-04771-9_4 [Chapter] [pdf] [Bibtex]
  • Gomes, Cl�udio, Rapha�l Jungers, Beno�t Legat, and Hans Vangheluwe. Minimally Constrained Stable Switched Systems and Application to Co-Simulation, (Technical Report). 2018. http://arxiv.org/abs/1809.02648. [pdf] [Bibtex]
  • Gomes, Cl�udio, Beno�t Legat, Rapha�l Jungers, and Hans Vangheluwe. Minimally Constrained Stable Switched Systems and Application to Co-Simulation. In IEEE Conference on Decision and Control, to be published. Miami Beach, FL, USA, 2018. [pdf] [Bibtex]
  • Gomes, Cl�udio, Casper Thule, Julien DeAntoni, Peter Gorm Larsen, and Hans Vangheluwe. Co-Simulation: The Past, Future, and Open Challenges. In Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Limassol, Cyprus: Springer Verlag, 2018. DOI: 10.1007/978-3-030-03424-5_34 [Chapter] [pdf] [Bibtex]
  • Gomes, Cl�udio, Casper Thule, Peter Gorm Larsen, Joachim Denil, and Hans Vangheluwe. Co-Simulation of Continuous Systems: A Tutorial (Technical Report) September 22, 2018. [pdf] [Bibtex]
  • Schweiger, Gerald, Cl�udio Gomes, Georg Engel, Irene Hafner, Josef Schoeggl, Alfred Posch, and Thierry Nouidui. Functional Mock-up Interface: An Empirical Survey Identifies Research Challenges and Current Barriers. In The American Modelica Conference. Cambridge, MA, USA, 2018. DOI: 10.3384/ecp18154138 [Chapter] [pdf] [Bibtex]
  • Thule, C., Gomes, C., Deantoni, J., Larsen, P. G., Brauer, J., & Vangheluwe, H. (2018). Towards Verification of Hybrid Co-simulation Algorithms. In 2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems (to be published). Toulouse, France: Springer, Cham. [Chapter] [pdf] [Bibtex]
  • Schweiger, G., Engel, G., Schoeggl, J., Hafner, I., Gomes, C., & Nouidui, T. (2018). Co-Simulation - an Empirical Survey: Applications, Recent Developments and Future Challenges. In MATHMOD 2018 Extended Abstract Volume (pp. 125--126). Vienna, Austria: ARGESIM Publisher Vienna. http://doi.org/10.11128/arep.55.a55286 [Chapter] [pdf] [Bibtex]
  • Cambeiro, J., Gomes, C., Amaral, V., Rodrigues, A., & Cunha, J. (2018). A Building Automation Case Study - Setup and Challenges. In 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (to appear). Gothenburg, Sweden: ACM New York, NY, USA. [Chapter] [pdf] [Bibtex]
  • Schweiger, G., Gomes, C., Hafner, I., Engel, G., Nouidui, T. S., Popper, N., & Schoggl, J.-P. (2018). Co-simulation: Leveraging the Potential of Urban Energy System Simulation. EuroHeat&Power. [pdf] [Bibtex]
  • Gomes, C., Meyers, B., Denil, J., Thule, C., Lausdahl, K., Vangheluwe, H., & De Meulenaere, P. (2018). Semantic Adaptation for FMI Co-simulation with Hierarchical Simulators. SIMULATION, 1--29. [Chapter] [pdf] [Bibtex]
  • Gomes, C., Thule, C., Broman, D., Larsen, P. G., & Vangheluwe, H. (2018). Co-simulation: a Survey. ACM Computing Surveys, 51(3), Article 49. http://doi.org/10.1145/3179993 [Chapter] [pdf] [Bibtex]
2017
  • Gomes, C., Legat, B., Jungers, R. M., & Vangheluwe, H. (2017). Stable Adaptive Co-simulation : A Switched Systems Approach. In IUTAM Symposium on Co-Simulation and Solver Coupling (p. to appear). Darmstadt, Germany. [pdf] [Bibtex] [Chapter]
  • Gomes, C., Karalis, P., Navarro-L�pez, E. M., & Vangheluwe, H. (2017). Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios. In 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems. Trento, Italy. [Chapter] [pdf] [Bibtex]
  • Gomes, C., Van Tendeloo, Y., Denil, J., De Meulenaere, P., & Vangheluwe, H. (2017). Hybrid System Modelling and Simulation with Dirac Deltas (Technical Report). arXiv:1702.04274 [pdf] [Bibtex]
  • Gomes, C., Van Tendeloo, Y., Denil, J., De Meulenaere, P., & Vangheluwe, H. (2017). Hybrid System Modelling and Simulation with Dirac Deltas. In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS (Article No. 7). Virginia Beach, Virginia, USA. [Chapter] [pdf] [Bibtex]
  • Van Mierlo, S., Gomes, C., & Vangheluwe, H. (2017). Explicit Modelling and Synthesis of Debuggers for Hybrid Simulation Languages. In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (Article No. 4). Virginia Beach, Virginia, USA. [Chapter] [pdf] [Bibtex]
  • Gomes, C., Thule, C., Broman, D., Larsen, P. G., & Vangheluwe, H. (2017). Co-simulation: State of the Art (Technical Report). arXiv:1702.00686 [pdf] [Bibtex]
2016
  • Gomes, C. , Denil, J., & Vangheluwe, H. (2016) Causal-Block Diagrams (Technical Report). [pdf] [Bibtex]
  • Gomes, C. (2016) Foundations for Continuous Time Hierarchical Co-simulation. In Student Research Competition (MoDELS). Saint Malo, Brittany, France. [pdf] [Bibtex]
  • Mustafiz, S., Gomes, C., Barroca, B., & Vangheluwe, H. (2016) Modular Design of Hybrid Languages by Explicit Modeling of Semantic Adaptation. In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. Pasadena, CA, USA. [Chapter] [pdf] [Bibtex]
  • Mustafiz, S., Barroca, B., Gomes, C., & Vangheluwe, H. Towards Modular Language Design using Language Fragments: The Hybrid Systems Case Study. In Information Technology - New Generations (ITNG), 2016 13th International Conference on. [Chapter] [pdf] [Bibtex]
  • Lawrence, D. P. Y., Gomes, C., Denil, J., Vangheluwe, H., & Buchs, D. (2016) Coupling Petri nets with Deterministic Formalisms Using Co-simulation. In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. Pasadena, CA, USA. [Chapter] [pdf] [Bibtex]
2015
  • Gomes, C. (2016). Foundations for Co-simulation (Accepted IWT Proposal). University of Antwerp. September 2015. [pdf] [Bibtex]
  • Levi L�cio, Bentley J. Oakes, Cl�udio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy and Hans Vangheluwe.SyVOLT: Full Model Transformation Verification Using Contracts. Proceedings 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Demo and Poster track, Ottawa, Canada, September 2015, 4 pp. [pdf] [Bibtex]
2014
  • Gomes, C., Barroca, B., & Amaral, V. (2014). Classification of Model Transformation Tools: Pattern Matching Techniques. In J. Dingel, W. Schulte, I. Ramos, S. Abrah�o, & E. Insfran (Eds.), Model-Driven Engineering Languages and Systems SE - 38 (Vol. 8767, pp. 619�635). Springer International Publishing. doi:10.1007/978-3-319-11653-2_38 [Chapter] [pdf] [Bibtex]

  • Msd Thesis: Gomes, C. (2014). A Framework for Efficient Model Transformations. New University of Lisbon. [pdf]
Maintained by Cláudio Gomes. Last Modified: 2018/10/02 04:56:28.