ForSyDe-Atom related publications

George Ungureanu and Ingo Sander. 2017. A layered formal framework for modeling of cyber-physical systems. In Proceedings of the Conference on Design, Automation & Test in Europe (DATE ‘17). Lausanne, Switzerland, March 2017, pp. 1715–1720. [ slides | doi | bib ]

• case study report: from the user manual, chapter “Getting Started with ForSyDe-Atom”, Section “Toy example: a focus on MoCs”
• executable source: forsyde-atom-examples/getting-started

George Ungureanu, José E. G. de Medeiros and Ingo Sander. 2018. Bridging discrete and continuous time models with Atoms. In Proceedings of the Conference on Design, Automation & Test in Europe (DATE ‘18). Dresden, Germany, March 2018 [ bib ]

• case study report: from the user manual, chapter “Hybrid CT/DT Models in ForSyDe-Atom”, Section “RC Oscillator”
• executable source: forsyde-atom-examples/hybrid