Context-aware Veri cation of a Landing Gear System
Philippe Dhaussy
,
Ciprian Teodorov
ABZ 2014 , Jun 2014, Toulouse, France. pp.52-65
Conference papers
hal-01006697v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modular Deployment of UML Models for V&V Activities and Embedded Execution
Valentin Besnard
,
Frédéric Jouault
,
Matthias Brun
,
Ciprian Teodorov
,
Philippe Dhaussy
et al.
Conference papers
hal-02929122v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Polynomial Phase Signal Modeling Using Warping-Based Order Reduction
André Quinquis
,
Cornel Ioana
,
Emanuel Radoi
International Conference on Acoustic, Speech and Signal Processing ICASSP 2004 , May 2004, Montreal, Canada. pp.741-744,
⟨10.1109/ICASSP.2004.1326364⟩
Conference papers
hal-00317938v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Estimation of Water Quality Parameters Using the Regression Model with Fuzzy K-Means Clustering
Muntadher A. Shareef
,
Abdelmalek Toumi
,
Ali Khenchaf
Journal articles
hal-01062373v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Inner and Outer Computation of the Viability Kernel based on Interval Analysis
Dominique Monnet
,
Luc Jaulin
,
Jordan Ninin
,
Alexandre Chapoutot
,
Julien Alexandre Dit Sandretto
et al.
International Symposium on Set Membership - Applications, Reliability and Theory , Sep 2015, Manchester, United Kingdom
Conference papers
hal-01371498v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Preference-based Conflict Resolution for Collaborative Configuration of Product Lines
Sabrine Edded
,
Sihem Ben Sassi
,
Raúl Mazo
,
Camille Salinesi
,
Henda Ben Ghézala
et al.
International Conference on Evaluation of Novel Approaches to Software Engineering , Mar 2020, Prague, Czech Republic
Conference papers
hal-02502398v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
Philippe Dhaussy
,
Pierre-Yves Pillain
,
Stephen Creff
,
Amine Raji
,
Yves Le Traon
et al.
Conference papers
hal-00470523v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
RISCLESS: A Reinforcement Learning Strategy to Exploit Unused Cloud Resources
Sidahmed Yalles
,
Mohamed Handaoui
,
Jean-Emile Dartois
,
Olivier Barais
,
Laurent d'Orazio
et al.
[Research Report] ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne. 2022, pp.1-9
Reports
hal-03652738v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
FPGA development with UML/MDA
Denis Aulagnier
,
Hervé Le Gall
,
Joël Champeau
Workshop CEPA2 , 2005, Bruxelles, Belgium. pp.Non renseigné
Conference papers
hal-00541450v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fédération de modèles pour l’analyse de cybersécurité du point de vue d’un attaquant
Bastien Drouot
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0003⟩
Theses
tel-03421082v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Unified verification and monitoring of executable UML specifications. A transformation-free approach
Valentin Besnard
,
Ciprian Teodorov
,
Frédéric Jouault
,
Matthias Brun
,
Philippe Dhaussy
et al.
Journal articles
hal-03463358v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Interval Constraint Programming Approach for Quasi Capture Tube Validation
Abderahmane Bedouhene
,
Bertrand Neveu
,
Gilles Trombettoni
,
Luc Jaulin
,
Stéphane Le Ménec
et al.
CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming , Oct 2021, Montpellier, France. pp.18:1--18:17,
⟨10.4230/LIPIcs.CP.2021.18⟩
Conference papers
hal-03412799v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Prototyping FPGA through overlays
Theotime Bollengier
,
Loïc Lagadec
,
Ciprian Teodorov
Conference papers
hal-03761788v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Autonomous perception algorithms for a team of underwater robots : coordination strategy based on onboard cameras
Xiaomin Wang
Signal and Image Processing. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English.
⟨NNT : 2021ENTA0009⟩
Theses
tel-03649442v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Emerged and emerging NVM: technologies & challenges
Jalil Boukhobza
SUPSEC - le deuxième atelier sur la supervision de sécurité 2022 , Jun 2022, Lannion, France
Conference papers
hal-03698253v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Canonical correlation analysis as a statistical method to relate underwater acoustic propagation and ocean fluctuations
Alexandre L'Her
,
Angélique Drémeau
,
Florent Le Courtois
,
Gaultier Real
,
Xavier Cristol
et al.
JASA Express Letters , 2022
Journal articles
hal-03858879v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
EM BISTATIC SCATTERING BY SEA SURFACE AND EXPERIMENTAL STUDY OF THE HYDRODYNAMIC PHENOMENA
Slahedine Ben Khadra
,
Ali Khenchaf
IGARSS 2012 , Jul 2012, Munich, Germany
Conference papers
hal-00729996v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Signature électromagnétigue des vagues déferlantes observées en configuration bistatique et en bande X
Slah-Edine Ben Khadra
,
Ali Khenchaf
Journal articles
hal-00924373v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
CNN-Based Target Recognition and Identification for Infrared Imaging in Defense Systems
Antoine D’acremont
,
Ronan Fablet
,
Alexandre Baussard
,
Guillaume Quin
Journal articles
hal-02122964v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Robust Multitarget Tracking in Forward-Looking Sonar Image Sequences Using Navigational Data
Isabelle Quidu
,
Luc Jaulin
,
Alain Bertholom
,
Yann Dupas
Journal articles
hal-00773673v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience)
Alain Plantec
,
Loic Lagadec
Books
hal-00782810v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Information-Theoretic Analysis of Underwater Acoustic OFDM Systems in Highly Dispersive Channels
François-Xavier Socheleau
,
Milica Stojanovic
,
Christophe Laot
,
Jean-Michel Passerieux
Journal articles
hal-00697027v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Validation formelle d’implantation de patrons de sécurité : Application aux SCADA
Obeid Fadi
,
Dhaussy Philippe
AFADL 2016 , Jun 2016, Besançon, France
Conference papers
hal-01326340v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards one Model Interpreter for Both Design and Deployment
Valentin Besnard
,
Matthias Brun
,
Philippe Dhaussy
,
Frédéric Jouault
,
David Olivier
et al.
3rd International Workshop on Executable Modeling (EXE 2017) , Sep 2017, Austin, United States
Conference papers
hal-01585318v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Performances of a multi-static model of sound scattering by rough surfaces
Virginie Jaud
,
Cedric Gervaise
,
Ali Khenchaf
Acoustics`08/ECUA08, address = Paris, France, year = 2008, month = 29 June-4 July, nat = 0, pdf = 1, , 2008, France. pp.Non renseigne
Conference papers
hal-00518586v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Synthetic Aperture and 3D Imaging for Mine Hunting Sonar
Franck Florin
,
Franck Fohanno
,
Isabelle Quidu
,
Jean-Philippe Malkasse
Undersea Defence Technology (UDT) Europe 2004 , Jun 2004, Nice, France
Conference papers
hal-00504862v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Generalized Representation of Phase Derivatives for Regular Signals
Cédric Cornu
,
Cornel Ioana
,
André Quinquis
,
S. Stankovic
,
L. Stankovic
et al.
IEEE Transactions on Signal Processing , 2007, pp.Non renseigne
Journal articles
hal-00518615v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Simulation of a GNSS signal for a receiver near a time-evolving sea surface
Arnaud Coatanhay
,
Andreas Arnold-Bos
,
Ali Khenchaf
International Conference on Electromagnetic in Advanced Applications , Sep 2007, Torino, Italy. pp.Non renseigne
Conference papers
hal-00518624v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Time-reversal Music imaging using a recursive approach
Alexandre Baussard
,
T. Boutin
EUSIPCO 2007 , Sep 2007, Poznan, United States. pp.Non renseigne
Conference papers
hal-00518625v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Inner and outer approximation of capture basins using interval analysis
M. Lhommeau
,
Luc Jaulin
,
L. Hardouin
ICINCO, address = Angers, France, year = 2007, month = 9-12 May, pdf = 1, nat = 0, , 2007, France. pp.Non renseigne
Conference papers
hal-00518636v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More