Accéder directement au contenu Accéder directement à la navigation

hal-00926183v1  Communication dans un congrès
Ali MansourIsabelle LeblondDenis HamadLuis Felipe Artigas. Wireless Sensor Networks for Ecosystem Monitoring & Port Surveillance
2nd Symposium on Wireless Sensor and Cellular Networks 2013 (WSCN 2013), Dec 2013, Jeddah, Saudi Arabia
hal-01841830v1  Communication dans un congrès
Cécile PlaudVincent Ribaud. When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example
10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland
hal-02330138v1  Communication dans un congrès
Underwater Acoustics Conference, Jun 2019, Heraklion, Greece
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
hal-03148619v1  Article dans une revue
Andreas RauhJulia Kersten. Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2021, 331, pp.18-32. ⟨10.4204/EPTCS.331.2⟩
hal-00354356v1  Communication dans un congrès
Ali KoudriDenis AulagnierDidier VojtisekPhilippe SoulardChristophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
hal-02508985v1  Communication dans un congrès
Nathalie DebeseJean Jacq. Underwater objects extraction and analysis
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
tel-02185010v1  Thèse
Ammad Uddin Mohammad. UAV Routing Protocol (URP) for crop health management
Other. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0147⟩
hal-01876724v1  Article dans une revue
Raafat LababidiMaryam Al ShamiMarc Le RoyDenis Le JeuneKhaled Khoder et al.  Tunable Channelized Bandstop Passive Filter Using Reconfigurable Phase Shifter
IET Microwaves Antennas and Propagation, Institution of Engineering and Technology, 2019, 13 (5), pp.591-596. ⟨10.1049/iet-map.2018.5430⟩
hal-02052433v1  Communication dans un congrès
Hannah BadierJean-Christophe Le LannP CoussyGogniat Guy. Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment
2019 Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Mar 2019, Florence, Italy
hal-01373458v1  Poster
Julien OgorBenoit Zerr. Towards the automation of sand dune detection in the bathymetry
Marine and River Dune Dynamics Conference, Apr 2016, Gwynned, United Kingdom. 2016
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
hal-02502411v1  Article dans une revue
Raúl MazoCarlos Andrés JaramilloPaola VallejoJhon Medina. Towards a new template for the specification of requirements in semi-structured natural language
Journal of Software Engineering Research and Development, Brazilian Computer Society, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
hal-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
hal-02513256v1  Communication dans un congrès
Jean-Christophe Le LannHannah BadierFlorent Kermarrec. Towards a Hardware DSL Ecosystem: RubyRTL and Friends
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
hal-02956402v1  Communication dans un congrès
Simon RohouAbderahmane BedouheneGilles ChabertAlexandre GoldsztejnLuc Jaulin et al.  Towards a Generic Interval Solver for Differential-Algebraic CSP
International Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
hal-01858712v1  Communication dans un congrès
Nathalie DebeseJean-José JacqKoen DegrendeleMarc Roche. Toward Reliable Volumetric Monitoring of Sandbanks
Geomorphometry 2018, Aug 2018, Boulder (CO), United States
hal-00738752v1  Communication dans un congrès
ECUA 2012, Jul 2012, Edinburgh, United Kingdom
hal-01867575v1  Communication dans un congrès
Maël Le GallicJoris TilletLuc JaulinFabrice Le Bars. Tight slalom control for sailboat robots
International Robotic Sailing Conference (IRSC) , Aug 2018, Southampton, United Kingdom
hal-02924428v1  Chapitre d'ouvrage
Didier DuboisLuc JaulinHenri Prade. Thick sets, multiple-valued mappings, and possibility theory
Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2020, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
hal-01698424v1  Article dans une revue
Benoît DesrochersLuc Jaulin. Thick set inversion
Artificial Intelligence, Elsevier, 2017, 249, pp.1 - 18. ⟨10.1016/j.artint.2017.04.004⟩
hal-02924180v1  Chapitre d'ouvrage
Luc JaulinBenoît Desrochers. Thick Separators
Martine Ceberio; Vladik Kreinovich. Decision Making under Constraints, 276, Springer, pp.125-131, 2020, Studies in Systems, Decision and Control, 978-3-030-40813-8. ⟨10.1007/978-3-030-40814-5_15⟩
hal-03128908v1  Article dans une revue
Reda BoukezzoulaLuc JaulinBenoît DesrochersDidier Coquin. Thick Fuzzy Sets (TFSs) and Their Potential Use in Uncertain Fuzzy Computations and Modeling
IEEE Transactions on Fuzzy Systems, Institute of Electrical and Electronics Engineers, In press, pp.1 - 14. ⟨10.1109/tfuzz.2020.3018550⟩
hal-01069935v1  Article dans une revue
Kevin BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13