Skip to Main content Skip to Navigation

hal-01108022v1  Directions of work or proceedings
Florian BrandnerAa Tom Vander. Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems
Florian Brandner, ENSTA ParisTech; Tom Vander Aa, Target Compiler Technologies,. Workshop on Optimizations for DSP and Embedded Systems, Feb 2014, Orlando, FL, United States. pp.44, 2014, 978-1-4503-2595-0
hal-00672884v1  Conference papers
Vladimir-Alexandru PaunNesrine HarrathBruno Monsuez. A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs
The 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienna, Austria
hal-00672908v1  Conference papers
Nesrine HarrathBruno Monsuez. Timed SystemC waiting-state automata
Third International Workshop on Verification and Evaluation of Computer and Communication Systems, Jul 2009, Rabat, Morocco
hal-00672921v1  Conference papers
Nesrine HarrathBruno MonsuezJoelle Delacroix Gouin. Building SystemC waiting state automata
The 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia
hal-01290286v1  Conference papers
Olivier BouissouSamuel MimramBaptiste StrazzullaAlexandre Chapoutot. Set-based Simulation for Design and Verification of Simulink Models
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
hal-01814380v1  Reports
François Pessaux. Babix: an Educational Multitask Kernel for Arduino Due
[Technical Report] Work not affiliated to any institution. 2016
hal-01762575v1  Conference papers
Omar Hammami. System Engineering Education for Confirmed Engineers: The FAIS case Study- A 6 years Feedback
Seventh International Conference on Complex Systems Design & Management (CSD&M), 2016, Paris, France. pp.229--230, ⟨10.1007/978-3-319-49103-5_17⟩
hal-01762577v1  Conference papers
Omar HammamiMarc Houllier. Rationalizing approaches to multi-objective optimization in systems architecture design
IEEE International Systems Conference (SysCon 2014), 2014, Unknown, Unknown Region. pp.407--410, ⟨10.1109/SysCon.2014.6819289⟩
hal-01762579v1  Conference papers
Abir M'BayaOmar Hammami. Complex systems approximate matching approach for large graphs classification optimized by NSGA-II
6th International Conference of Soft Computing and Pattern Recognition (SoCPaR), 2014, Unknown, Unknown Region. pp.112--117, ⟨10.1109/SOCPAR.2014.7007990⟩
hal-01762580v1  Conference papers
Omar HammamiKhawla Hamwi. MHYNESYS II: Multi-stage hybrid Network on chip synthesis for Next Generation 3D IC Manycore
IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013, pekin, China. pp.325--328, ⟨10.1109/ISCAS.2013.6571847⟩
hal-01762582v1  Conference papers
Omar HammamiXinyu Li. NOC based MPSOC directory based cache coherency with OCP-IP protocol
8th International Design and Test Symposium (IDT), 2013, Marrakesh, Morocco. pp.1--3, ⟨10.1109/IDT.2013.6727139⟩
hal-01762583v1  Conference papers
Omar Hammami. NOC synthesis vs ITRS predictions: The challenges of linear programming based synthesis
8th International Design and Test Symposium (IDT), 2013, Marakesh, Morocco. pp.1--3, ⟨10.1109/IDT.2013.6727135⟩
hal-01762584v1  Conference papers
Omar HammamiXinyu Li. NOCBENCH: NOC synthesis benchmarks
8th International Design and Test Symposium, 2013, Marrakesh, Morocco. pp.1--5, ⟨10.1109/IDT.2013.6727134⟩
hal-01774790v1  Conference papers
Abir M'ZahHycham AboutalebBruno Monsuez. Deterministic microcode machine generation
IEEE Conference on Dependable and Secure Computing (DSC), Aug 2017, Taipei, Taiwan. ⟨10.1109/DESEC.2017.8073858⟩
hal-01774798v1  Conference papers
Hycham AboutalebBruno Monsuez. Trade-off in logical radiation hardening: Approach, mechanisms, and reliability impacts
2016 Annual Reliability and Maintainability Symposium (RAMS), Jan 2016, Tucson, United States. ⟨10.1109/RAMS.2016.7448036⟩
hal-01774800v1  Conference papers
Hycham AboutalebBruno Monsuez. Measuring Complexity of System/Software Architecture Using Higraph-Based Model
International MultiConference of Engineers and Computer Scientists, Mar 2017, Hong Kong, China
hal-01246343v1  Conference papers
Amine NajiFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
hal-01108070v1  Conference papers
Ioannis KotleasDean HumphreysRasmus SørensenEvangelia KasapakiFlorian Brandner et al.  A loosely synchronizing asynchronous router for TDM-scheduled NOCs
International Symposium on Networks-on-Chip, Davide Bertozzi; Luca Benini, Sep 2014, Ferrara, Italy. pp.8, ⟨10.1109/NOCS.2014.7008774⟩
hal-01056216v1  Conference papers
Sahar AbbaspourAlexander JordanFlorian Brandner. Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis
14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. pp.83-92
hal-01214947v1  Conference papers
Vladimir-Alexandru PaunBruno MonsuezPhilippe Baufreton. On the Determinism of Multi-core Processors
French Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. ⟨10.4230/OASIcs.FSFMA.2013.32⟩
hal-01214943v1  Conference papers
Vladimir-Alexandru PaunBruno Monsuez. Adaptable and Precise Worst Case Execution Time Estimation Tool
Languages, Compilers, Tools and Theory for Embedded Systems WiP, Jun 2012, Beijing, China
hal-01214957v1  Conference papers
Vladimir-Alexandru PaunBruno MonsuezPhilippe Baufreton. Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan
hal-01214973v1  Conference papers
Vladimir-Alexandru PaunBruno MonsuezPhilippe Baufreton. Hierarchical Timed Abstract State Machines for WCET Estimation
International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy
hal-02266558v1  Conference papers
Jonathan MunozFabian RinconTengfei ChangXavier VilajosanaBrecht Vermeulen et al.  OpenTestBed: Poor Man's IoT Testbed
IEEE INFOCOM - CNERT : Workshop on Computer and Networking Experimental Research using Testbeds, Apr 2019, Paris, France
hal-01271938v1  Conference papers
Sara SadvandiHycham AboutalebCosmin Dumitrescu. Entropy in Design Phase: A Higraph-Based Model Approach
IEEE International Conference on Information Reuse and Integration (IRI), Aug 2017, San Diego, United States. ⟨10.1109/IRI.2017.51⟩