 | 2008 |
| 4 |  | Luiza Gheorghe,
Faouzi Bouchhima,
Gabriela Nicolescu,
Hanifa Boucheneb:
Semantics for Model-Based Validation of Continuous/Discrete Systems.
DATE 2008: 498-503 |
| 2007 |
| 3 |  | Luiza Gheorghe,
Faouzi Bouchhima,
Gabriela Nicolescu,
Hanifa Boucheneb:
A formalization of global simulation models for continuous/discrete systems.
SCSC 2007: 559-566 |
| 2006 |
| 2 |  | Luiza Gheorghe,
Faouzi Bouchhima,
Gabriela Nicolescu,
Hanifa Boucheneb:
Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool.
IEEE International Workshop on Rapid System Prototyping 2006: 186-192 |
| 2005 |
| 1 |  | Luiza Gheorghe,
Gabriela Nicolescu:
MP SoCs Including Optical Interconnect. Technological Progresses and Challenges for CAD Tools Design.
IWSOC 2005: 546-551 |