Search - Equipe System on Chip Access content directly

Filter your results

255 Results
Domains : info

Designing Sequence Diagram Models for Robustness to Attacks

Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall , et al.
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Conference papers hal-01812124v1

A VLSI architecture for image geometrical transformations using an embedded core based processor

C. Miro , N. Darbel , Renaud Pacalet , V. Paquet
IEEE International Conference on Application-Specific Systems, Architectures and Processors, Jul 1997, Zurich, France. pp.86-95, ⟨10.1109/ASAP.1997.606815⟩
Conference papers hal-02893298v1

URSI France 2017 Workshop Radio Science for Humanity

Tullio Tanzi
Radio Science Bulletin, 2017, 360, pp.62-68
Journal articles hal-02287744v1

Some Thoughts on Disaster Management

Tullio Tanzi
Radio Science Bulletin, 2015, 355, pp.13-17
Journal articles hal-02287793v1

SecBus, a software/hardware architecture for securing external memories

Jérémie Brunel , Salaheddine Ouaarab , Renaud Pacalet , Guillaume Duc
The 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, IEEE MobileCloud 2014, Apr 2014, Oxford, United Kingdom
Conference papers hal-02286951v1
Image document

Full-Reconfigurable Interleaver Architecture for High-performance SDR applications

Renaud Pacalet , Mercury Jair Gonzalez Pina
(SDR'10), Nov 2010, Washington, DC, United States. pp.509-514
Conference papers hal-00739834v1
Image document

3D Simulation to Validate Autonomous Intervention Systems Architecture for Disaster Management

Tullio Tanzi , Matteo Bertolino
4th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2019, Kyiv, Ukraine. pp.196-211, ⟨10.1007/978-3-030-48939-7_17⟩
Conference papers hal-03374239v1

The “Backend Duplication” Method

Sylvain Guilley , Philippe Hoogvorst , Yves Mathieu , Renaud Pacalet
Workshop on Cryptographic Hardware and Embedded Systems (CHES), Aug 2005, Edinburgh, United Kingdom. pp.383-397, ⟨10.1007/11545262_28⟩
Conference papers hal-02893271v1

Radio sciences and disaster management

Tullio Joseph Tanzi , François Lefeuvre
Comptes Rendus. Physique, 2010, 11 (1), pp.Pages 114-124. ⟨10.1016/j.crhy.2010.02.002⟩
Journal articles istex hal-00762220v1

Flexible Baseband Architectures for Future Wireless Systems

Najam-Ul-Islam Muhammad , Rizwan Rasheed , Renaud Pacalet , Raymond Knopp , Karim Khalfallah
2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, Sep 2008, Parma, France. pp.39-46, ⟨10.1109/DSD.2008.87⟩
Conference papers hal-02893212v1

Tracking Dependent Information Flows

Zeineb Zhioua , Yves Roudier , Rabéa Ameur Boulifa , Takoua Kechiche , Stuart Short
Proceedings of the 3rd International Conference on Information Systems Security and Privacy (ICISSP'17), Feb 2017, Porto, Portugal. pp.179-189, ⟨10.5220/0006209301790189⟩
Conference papers hal-01974727v1
Image document

TURTLE: Four Weddings and a Tutorial

Ludovic Apvrille , P de Saqui-Sannes
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Conference papers hal-02267837v1
Image document

SMASHUP: a toolchain for unified verification of hardware/software co-designs

Florian Lugou , Ludovic Apvrille , Aurélien Francillon
Journal of Cryptographic Engineering, 2016, pp.1-12. ⟨10.1007/s13389-016-0145-2⟩
Journal articles hal-01403136v2
Image document

Hardware / Software / Analog System Partitioning with SysML and SystemC-AMS

Daniela Genius , Ludovic Apvrille
10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France
Conference papers hal-02933667v1

Communication Patterns: a Novel Modeling Approach for Software Defined Radio Systems

Andrea Enrici , Ludovic Apvrille , Renaud Pacalet
The Fourth International Conference on Advances in Cognitive Radio (COCORA'2014), Feb 2014, Nice, France
Conference papers hal-02288394v1

Un environnement de conception de systèmes distribués basé sur UML

Ludovic Apvrille , Pierre Saqui-Sannes , Renaud Pacalet , Axelle Apvrille
Annals of Telecommunications - annales des télécommunications, 2006, 61 (11-12), pp.1347-1368. ⟨10.1007/BF03219900⟩
Journal articles hal-02893108v1

Identifying Unknown Android Malware with Feature Extractions and Classification Techniques

Ludovic Apvrille , Axelle Apvrille
The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland
Conference papers hal-02287142v1

Autonomous Drones for Disasters Management: Safety and Security Verifications

Ludovic Apvrille , Yves Roudier , Tullio Tanzi
URSI AT-RASC, May 2015, Las Palma, Gran Canaria, Spain
Conference papers hal-02287131v1
Image document

Test Sequence Generation From Formally Verified SysML Models

Pierre de Saqui-Sannes , Ludovic Apvrille
Asia-Pacific Software Engineering Conference (APSEC'2019), Feb 2019, Stuttgart, Germany
Conference papers hal-02337493v1

Harmonizing Safety, Security and Performance Requirements in Embedded Systems

Ludovic Apvrille , Letitia W. Li
Design Automation and Test in Europe conference (DATE, Mar 2019, Firenze, Italy
Conference papers hal-02288550v1
Image document

Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores

Rodrigo Cortés Porto , Daniela Genius , Ludovic Apvrille
RAPIDO 2019 - 11th Workshop on Rapid Simulation and Performance Evaluation, Jan 2019, Valencia, Spain. ⟨10.1145/3300189.3300193⟩
Conference papers hal-01963830v1

Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security Properties

Ludovic Apvrille , Yves Roudier , Tullio Tanzi , Franck Guarnieri
Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", Mar 2014, Paris, France
Conference papers hal-02286918v1

Quelques épreuve du challenge sécurité Trust the Future

Florian Lugou , Ludovic Apvrille
MISC Multi-System & Internet Cookbook, 2015, 79, pp.62-66
Journal articles hal-02287129v1
Image document

Execution Trace Analysis for a Precise Understanding of Latency Violations

Maysam Zoor , Ludovic Apvrille , Renaud Pacalet
International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Fukuoka (virtual), Japan
Conference papers hal-03349254v1
Image document

Direct Model-checking of SysML Models

Alessandro Tempia Calvino , Ludovic Apvrille
9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.216-223, ⟨10.5220/0010256302160223⟩
Conference papers hal-03349263v1

Multi-resource scheduling for FPGA systems

Renaud Pacalet , Matteo Bertolino , Ludovic Apvrille , Andrea Enrici
Microprocessors and Microsystems: Embedded Hardware Design , 2021, 87, pp.104373. ⟨10.1016/j.micpro.2021.104373⟩
Journal articles hal-03483455v1

AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models

Bastien Sultan , Léon Frénot , Ludovic Apvrille , Philippe Jaillon , Sophie Coudert
ACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3624583⟩
Journal articles emse-04212653v1
Image document

Combining STPA with SysML Modeling

Fellipe Guilherme Rey de Souza , Juliana de Melo Bezerra , Celso Massaki Hirata , Pierre de Saqui-Sannes , Ludovic Apvrille
The 14th annual Systems conference SYSCON (SYSCON 2020), Aug 2020, Montréal, Canada
Conference papers hal-02933575v1
Image document

Virtual Yet Precise Prototyping: An Automotive Case Study

Daniela Genius , Ludovic Apvrille
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.691-700
Conference papers hal-01291888v1

A dedicated circuit for real time motion estimation

O. Colavin , A. Artieri , J.-F. Naviner , Renaud Pacalet
Euro ASIC '91, May 1991, Paris, France. pp.96-99, ⟨10.1109/EUASIC.1991.212886⟩
Conference papers hal-02893305v1