|
|
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]
|