<  Back to the Polytechnique Montréal portal

Items where Author is "Gheorghe, Luiza"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | F | G | N
Number of items: 14.

B

Bensoudane, E., Tonietto, D., Gheorghe, L., & Nicolescu, G. (2008, June). System-level design of continuous/discrete-time heterogeneous systems applied to high-speed serial link [Paper]. Joint IEEE North-East Workshop on Circuits and Systems and TAISA Conference (NEWCAS-TAISA 2008). External link

F

Fourmigue, A., Girodias, B., Gheorghe, L., Nicolescu, G., & Aboulhamid, E. M. (2012). Wireless design platform combining simulation and testbed environments. In Design technology for heterogeneous embedded systems (pp. 137-156). External link

G

Gheorghe, L., Nicolescu, G., & O'Connor, I. (2009, October). Modeling and Formal Verification of a Passive Optical Network on Chip Behavior [Paper]. 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009), Denver, CO, USA (11 pages). Published in Electronic Communications of the EASST, 21. External link

Gheorghe, L., Nicolescu, G., & O'Connor, I. (2016). Formalization for formal verification of an optical network-on-chip using DEVS. In Wainer, G., & Mosterman, P. J. (eds.), Discrete-Event Modeling and Simulation: Theory and Applications (pp. 293-306). External link

Gheorghe, L., Boucheneb, H., & Nicolescu, G. (2015). A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools. Design Automation for Embedded Systems, 19(3), 243-275. External link

Girodias, B., Gheorghe, L., Bouchebaba, Y., Nicolescu, G., Abouhamid, E. M., Langevin, M., & Paulin, P. (2012). Integrating memory optimization with mapping algorithms for multi-processors system-on-chip. Transactions on Embedded Computing Systems, 11(3), 1-26. External link

Girodias, B., Gheorghe, L., Bouchebaba, Y., Nicolescu, G., Aboulhamid, E. M., Langevin, M., & Paulin, P. (2010, June). Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip [Paper]. 21st IEEE International Symposium on Rapid System Prototyping (RSP 2010), Fairfax, VA, USA. External link

Gheorghe, L. (2009). Continuous/Discrete Co-Simulation Interfaces from Formalization to Implementation [Ph.D. thesis, École Polytechnique de Montréal]. Available

Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (2008, March). Semantics for model-based validation of continuous/discrete systems [Paper]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2008), Munich, Germany. External link

Gheorghe, L., Nicolescu, G., & Boucheneb, H. (2008, September). Semantics for Rollback-Based Continuous/Discrete Simulation [Paper]. International Behavioral Modeling and Simulation Workshop (BMAS 2008), San Jose, CA, USA. External link

Gheorghe, L., Bouchhima, F., Nicolescu, G., & Abid, M. (2007). Anatomy of a continuous/discrete system execution model for timed execution of heterogeneous systems. In Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components (pp. 75-108). External link

Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (2006, June). Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool [Paper]. 17th IEEE International Workshop on Rapid System Prototyping, Chania, Crete, Greece. External link

Gheorghe, L., & Nicolescu, G. (2005, July). Mp Socs Including Optical Interconnect. Technological Progresses and Challenges for CAD Tools Design [Paper]. 5th International Workshop on System on Chip for Real-Time Applications (IWSOC 2005), Banff, Alberta, Canada. External link

N

Nicolescu, G., Bouchhima, F., & Gheorghe, L. (2006, June). CODIS - a framework for continuous/discrete systems co-simulation [Paper]. 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2006), Alghero, Italy. Published in IFAC Proceedings Volumes, 39(5). External link

List generated on: Mon Jun 8 19:55:09 2026 EDT