José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Lince
Formal Simulation and Visualisation of Hybrid Programs
FMAS@iFM 2024
Implementing Hybrid Semantics: From Functional to Imperative
ICTAC 2020
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)
CoRR 2020
Lince: Lightweight Prototyping of Hybrid Programs
Hybrid programs combine classical program constructs with differential equations, and thus naturally appear in a wide range of application domains, from biology and control theory to software engineering. This ability to entangle discrete and …
Cite
×