Skip to Main content Skip to Navigation
New interface


...
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-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-03663984v1  Conference papers
Yuanqi MaoBehcet AcikmesePierre-Loïc GarocheAlexandre Chapoutot. Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩
hal-03322041v1  Proceedings
Mohamed Faouzi AtigSaddek BensalemSimon BliudzeBruno Monsuez. VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems
Mohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. ⟨10.1007/978-3-030-00359-3⟩
...
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-01292266v1  Conference papers
Steven VaroumasBenoît VaugonEmmanuel Chailloux. Concurrent Programming of Microcontrollers, a Virtual Machine Approach
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.711-720
hal-02287276v1  Conference papers
Naji AmineFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
hal-02288493v1  Conference papers
Florian BrandnerNaji Amine. Worst-Case Execution Time Analysis of Predicated Architectures
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
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-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-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-02491369v1  Conference papers
Thibault DelmasLuigi IannoneJean-Pierre GarciaBruno Monsuez. A New Network Configuration Management Architecture for Future Aircraft Systems
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
hal-01108022v1  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-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-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-01130889v1  Conference papers
Lionel LacassagneAntoine ManzaneraAntoine Dupret. Motion detection: Fast and robust algorithms for embedded systems
International Conference on Image Processing (ICIP), Nov 2009, Le Caire, Egypt. ⟨10.1109/ICIP.2009.5413946⟩
hal-02287376v1  Conference papers
Naji AmineFlorian Brandner. Eager Stack Cache Memory Transfers
Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
...
hal-01968656v1  Conference papers
Fabian RinconYasuyuki TanakaThomas Watteyne. On the Impact of WiFi on 2.4 GHz Industrial IoT Networks
IEEE ICII 2018 - IEEE International Conference on Industrial Internet, Oct 2018, Bellevue, WA, United States
hal-01099016v1  Journal articles
Quentin ColombetFlorian BrandnerAlain Darte. Studying Optimal Spilling in the Light of SSA
ACM Transactions on Architecture and Code Optimization, 2015, 11-4 (47), pp.26. ⟨10.1145/2685392⟩
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-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-00816115v1  Conference papers
Alexandre ChapoutotLaurent-Stéphane DidierFanny Villers. Range estimation of floating-point variables in Simulink models
Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8