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.
Journal articles
hal-03661954v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On some bounds for symmetric tensor rank of multiplication in finite fields
Stéphane Ballet
,
Julia Pieltant
,
Matthieu Rambaud
,
Jeroen Sijsling
Book sections
hal-01318315v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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 articles
hal-03338594v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
Francesco Belardinelli
,
Alessio Lomuscio
,
Vadim Malvone
,
Emily Yu
Journal articles
hal-03779030v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03702426v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Anticanonical codes from del Pezzo surfaces with Picard rank one
Régis Blache
,
Alain Couvreur
,
Emmanuel Hallouin
,
David Madore
,
Jade Nardi
et al.
Journal articles
hal-02075926v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An ontological foundation for multi-paradigm modelling for cyber-physical systems
Dominique Blouin
,
Rima Al-Ali
,
Mauro Iacono
,
Bedir Tekinerdogan
,
Holger Giese
et al.
Book sections
hal-03225338v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More