Search - Archive ouverte HAL Access content directly

Filter your results

345 Results
Image document

On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry

Stéphane Ballet , Julia Pieltant , Jean Chaumine , Matthieu Rambaud , Hugues Randriambololona et al.
Russian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles hal-03661954v1

On some bounds for symmetric tensor rank of multiplication in finite fields

Stéphane Ballet , Julia Pieltant , Matthieu Rambaud , Jeroen Sijsling
Alp Bassa, Alain Couvreur and David Kohel. ARITHMETIC, GEOMETRY, CRYPTOGRAPHY AND CODING THEORY, 686, AMER MATHEMATICAL SOC, pp.93 - 121, 2017, Contemporary Mathematics, 978-1-4704-2810-5. ⟨10.1090/conm/686/13779⟩
Book sections hal-01318315v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-03340371v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-01649727v1
Image document

Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems

Ankica Barisic , Dušan Savić , Rima Al-Ali , Ivan Ruchkin , Dominique Blouin et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168834v1
Image document

Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems

Ankica Barisic , Antonio Cicchetti , Ivan Ruchkin , Dominique Blouin
2021
Preprints, Working Papers, ... hal-03338607v1
Image document

Multi-Paradigm Modeling for Cyber-Physical Systems: A Systematic Mapping Review

Ankica Barisic , Ivan Ruchkin , Dušan Savić , Mustafa Abshir Mohamed , Rima Al-Ali et al.
Journal of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩
Journal articles hal-03338594v1

CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed

Chloe Barnes , Kirstie Bellman , Jean F Botev , Ada Diaconescu , Lukas Esterle et al.
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.52-55, ⟨10.1109/FAS-W.2019.00026⟩
Conference papers hal-02449653v1

Enabling Markovian Representations under Imperfect Information

Francesco Belardinelli , Borja G. León , Vadim Malvone
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Conference papers hal-03779034v1

Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications

Francesco Belardinelli , Alessio Lomuscio , Vadim Malvone , Emily Yu
Journal of Artificial Intelligence Research, 2022, 73, pp.897-932. ⟨10.1613/jair.1.12539⟩
Journal articles hal-03779030v1

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

Francesco Belardinelli , Wojciech Jamroga , Vadim Malvone , Munyque Mittelmann , Aniello Murano et al.
21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71
Conference papers hal-03666430v1

Self-improving system integration: Mastering continuouschange

Kirstie Bellman , Jean F Botev , Ada Diaconescu , Lukas Esterle , Christian Gruhl et al.
Future Generation Computer Systems, 2021
Journal articles hal-03023144v1
Image document

A graph theoretical characterization of minimal deadlocks in Petri nets

Jean-Claude Bermond , Gerard Memmi
Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
Conference papers hal-02447228v1
Image document

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Loïc Besnard , Etienne Borde , Pierre Dissaux , Thierry Gautier , Paul Le Guernic et al.
[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports hal-00970244v2

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Loic Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
Book sections hal-01615143v1
Image document

Formal semantics of behavior specifications in the architecture analysis and design language standard

Loïc Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
[Research Report] RR-8950, INRIA. 2016, pp.30 - 39
Reports hal-01419973v1
Image document

Formal semantics of behavior specifications in the architecture analysis and design language standard

Loïc Besnard , Thierry Gautier , Clément Guy , Paul Le Guernic , Jean-Pierre Talpin et al.
HLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. pp.30-39, ⟨10.1109/HLDVT.2016.7748252⟩
Conference papers hal-01419968v1

The Role of Causality in a Formal Definition of Timing Anomalies

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers hal-03867187v1

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria
Conference papers hal-03022552v1

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
Journal articles hal-03702426v1
Image document

Anticanonical codes from del Pezzo surfaces with Picard rank one

Régis Blache , Alain Couvreur , Emmanuel Hallouin , David Madore , Jade Nardi et al.
Transactions of the American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
Journal articles hal-02075926v1

The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere Accord

Gordon Blair , Richard Bassett , Louis Bastin , L. Beevers , Maribel Borrajo Garcia et al.
Patterns, In press
Journal articles hal-03023290v1

AADL: A Language to Specify the Architecture of Cyber-Physical Systems

Dominique Blouin , Etienne Borde
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Book sections hal-03022808v1

An ontological foundation for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Mauro Iacono , Bedir Tekinerdogan , Holger Giese et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.9-43, 2021, ⟨10.1016/B978-0-12-819105-7.00007-6⟩
Book sections hal-03225338v1

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models

Dominique Blouin , Matthias Barkowski , Melanie Schneider , Holger Giese , Johannes Dyck et al.
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩
Conference papers hal-01873945v1
Image document

An integrated ontology for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Holger Giese , Stefan Klikovits , Soumyadip Bandyopadhyay et al.
Bedir Tekinerdogan; Dominique Blouin; Hans Vangheluwe; Miguel Goulão; Paulo Carreira; Vasco Amaral. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.123-145, 2021, 978-0-12-819105-7. ⟨10.1016/B978-0-12-819105-7.00010-6⟩
Book sections hal-03167819v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Smail Rahmoun , Fabien Cadoret , Laurent Pautet , Frank Singhoff et al.
IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers hal-01121019v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Laurent Pautet , Fabien Cadoret , Smail Rahmoun , Frank Singhoff et al.
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers hal-01115723v1

Model driven code generation for critical and adaptative embedded systems

Etienne Borde , Peter H. Feiler , Gregory Haïk , Laurent Pautet
ACM SIGBED Review, 2009, 6 (3), pp.10:1-10:5
Journal articles hal-02286671v1
Image document

Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs

Etienne Borde
Systèmes embarqués. Télécom ParisTech, 2009. Français. ⟨NNT : ⟩
Theses pastel-00563947v1