Search - Département STIC Access content directly

Filter your results

1 096 Results
Domains : info

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

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.
MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Conference papers hal-02929122v1
Image document

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

Estimation of Water Quality Parameters Using the Regression Model with Fuzzy K-Means Clustering

Muntadher A. Shareef , Abdelmalek Toumi , Ali Khenchaf
International journal of advanced computer science and applications (IJACSA), 2014, 5,6, ⟨10.14569/IJACSA.2014.050624⟩
Journal articles hal-01062373v1

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
Image document

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
Image document

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.
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Conference papers hal-00470523v1
Image document

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

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
Image document

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

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.
Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
Journal articles hal-03463358v1
Image document

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

Prototyping FPGA through overlays

Theotime Bollengier , Loïc Lagadec , Ciprian Teodorov
2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩
Conference papers hal-03761788v1
Image document

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

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

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


Slahedine Ben Khadra , Ali Khenchaf
IGARSS 2012, Jul 2012, Munich, Germany
Conference papers hal-00729996v1

Signature électromagnétigue des vagues déferlantes observées en configuration bistatique et en bande X

Slah-Edine Ben Khadra , Ali Khenchaf
Traitement du Signal, 2013, 3-4-5, pp.273-300. ⟨10.3166/TS.30.273-300⟩
Journal articles hal-00924373v1

CNN-Based Target Recognition and Identification for Infrared Imaging in Defense Systems

Antoine D’acremont , Ronan Fablet , Alexandre Baussard , Guillaume Quin
Sensors, 2019, 19 (9), pp.2040. ⟨10.3390/s19092040⟩
Journal articles hal-02122964v1

Robust Multitarget Tracking in Forward-Looking Sonar Image Sequences Using Navigational Data

Isabelle Quidu , Luc Jaulin , Alain Bertholom , Yann Dupas
IEEE Journal of Oceanic Engineering, 2012, 37 (3), pp.417 - 430. ⟨10.1109/JOE.2012.2190572⟩
Journal articles hal-00773673v1

International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience)

Alain Plantec , Loic Lagadec
Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩
Books hal-00782810v1
Image document

Information-Theoretic Analysis of Underwater Acoustic OFDM Systems in Highly Dispersive Channels

François-Xavier Socheleau , Milica Stojanovic , Christophe Laot , Jean-Michel Passerieux
Journal of Electrical and Computer Engineering, 2012, 2012 (ID 716720), pp.15. ⟨10.1155/2012/716720⟩
Journal articles hal-00697027v1

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

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

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
Image document

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

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

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

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

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