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


...
inria-00261891v1  Communication dans un congrès
Pierre-Antoine GédouinCédric JoinEmmanuel DelaleauJean-Matthieu BourgeotShabnam Arbab-Chirani et al.  Model-free control of shape memory alloys antagonistic actuators
17th IFAC World Congress, Jul 2008, Seoul, South Korea. pp.CDROM
...
inria-00424933v2  Communication dans un congrès
Pierre-Antoine GédouinCédric JoinEmmanuel DelaleauJean-Matthieu BourgeotShabnam Arbab-Chirani et al.  A new control strategy for shape memory alloys actuators
8th European Symposium on Martensitic Transformations, Sep 2009, Prague, Czech Republic. pp.CDROM
...
hal-00471931v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
...
hal-02303242v1  Article dans une revue
Ahcène BounceurMadani BezouiMohammad HammoudehLoïc LagadecReinhardt Euler. Finding the polygon hull of a network without conditions on the starting vertex
Transactions on emerging telecommunications technologies, Wiley-Blackwell, In press, pp.e3696. ⟨10.1002/ett.3696⟩
...
hal-02501870v1  Chapitre d'ouvrage
Ahcène BounceurMadani BezouiLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
Renault É., Boumerdassi S., Bouzefrane S. (eds). Mobile, Secure, and Programmable Networking. MSPN 2018, 11005, Springer, Cham, pp.42-53, 2019, Lecture Notes in Computer Science, 978-3-030-03100-8. ⟨10.1007/978-3-030-03101-5_5⟩
...
hal-01829251v1  Communication dans un congrès
Ahcène BounceurMadani BezouiLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
4th International Conference on Mobile, Secure and Programmable Networking (MSPN 2018), Jun 2018, Paris, France. pp.42-53
...
hal-01804280v1  Communication dans un congrès
Ahcène BounceurMadani BezouiMassinissa LounisReinhardt EulerCiprian Teodorov. A new dominating tree routing algorithm for efficient leader election in IoT networks
15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
...
hal-01829227v1  Communication dans un congrès
Ahcène BounceurMadani BezouiLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method
International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
...
hal-02303247v2  Communication dans un congrès
Nabil KadjouhAhcène BounceurAbdelkamel TariLoïc LagadecReinhardt Euler et al.  A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities
3rd International Conference on Future Networks and Distributed Systems (ICFNDS '19), Jul 2019, Paris, France. pp.1-5, ⟨10.1145/3341325.3342014⟩
...
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-02304716v1  Communication dans un congrès
Thibaut NicoLuc JaulinBenoît Zerr. Guaranteed Polynesian Navigation
Summer Workshop on Interval Methods (SWIM) 2019, Jul 2019, Paris, France
...
hal-00877135v1  Communication dans un congrès
Olivier Le BotCedric GervaiseJerome MarsJulien Bonnel. Séparation d'impulsions bio-acoustique par analyse du rythme
GRETSI 2013 - XXIVème Colloque francophone de traitement du signal et des images, Sep 2013, Brest, France. pp.ID267
...
hal-00518505v1  Article dans une revue
Olivier ReynetLuc Jaulin. A new interval-based method to characterize estimability
International Journal of Adaptive Control and Signal Processing, Wiley, 2011, 25 (3), pp.288-294. ⟨10.1002/acs.1187⟩
...
hal-02428581v1  Communication dans un congrès
Andrey SadovykhTewfik ZiadiAlessandra BagnatoThorsten BergerJan-Philipp Steghöfer et al.  REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
International Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia
...
hal-00828334v1  Chapitre d'ouvrage
Duc-Manh NguyenFrédéric DambrevilleAbdelmalek ToumiJean-Christophe CexusAli Khenchaf. A Column Generation Based Label Correcting Approach for the Sensor Management in an Information Collection Process
Nguyen, Ngoc Thanh and Do, Tien and Thi, Hoai An. Advanced Computational Methods for Knowledge Engineering, Springer International Publishing, pp.77-89, 2013, Studies in Computational Intelligence, ⟨10.1007/978-3-319-00293-4_7⟩
...
tel-02337138v1  Thèse
Cyrielle Feron. PAnTHErS : un outil d’aide pour l’analyse et l’exploration d’algorithmes de chiffrement homomorphe
Cryptographie et sécurité [cs.CR]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0004⟩
...
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-00485686v1  Article dans une revue
Emanuel RadoiAndré QuinquisFelix Totir. Supervised Self-Organizing Classification of Superresolution ISAR Images: An Anechoic Chamber Experiment
Eurasip Journal on Applied Signal Processing, Hindawi Publishing Corporation, 2006, pp.Volume 2006, Article ID 35043, Pages 1-14. ⟨10.1155/ASP/2006/35043⟩
...
tel-02366284v1  Thèse
Thibaud Berthomier. Identification et caractérisation du thrombus veineux par imagerie échographique mode B couplée à l’élastographie
Traitement du signal et de l'image [eess.SP]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0007⟩
...
hal-02904517v1  Communication dans un congrès
Simon RohouBenoît DesrochersLuc Jaulin. Set-membership state estimation by solving data association
IEEE International Conference on Robotics and Automation (ICRA), May 2020, Paris, France
...
hal-01137744v1  Communication dans un congrès
Jordan Ninin. Optimisation globale basée sur les contracteurs : Application au contrôle aérien
ROADEF 2015, société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2015, Marseille, France
...
hal-02502483v1  Communication dans un congrès
Raúl MazoCarlos Jaramillo. Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado
Requirements Engineering Track (RET) of CIbSE, 2019, Habana, Cuba
...
hal-02280754v1  Communication dans un congrès
Ramzi MhenniSébastien BourguignonMarcel MongeauJordan NininHervé Carfantan. Algorithme branch-and-bound pour l’optimisation exacte en norme l0
XXVIIème Colloque francophone de traitement du signal et des images (GRETSI 2019), Aug 2019, Lille, France
...
tel-02319236v1  Thèse
Théotime Bollengier. Du prototypage à l’exploitation d’overlays FPGA
Systèmes embarqués. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0003⟩
...
hal-02552069v1  Article dans une revue
Hassan HarbHussein MroueAli MansourAbbass NasserEduardo Motta Cruz. A Hadoop-Based Platform for Patient Classification and Disease Diagnosis in Healthcare Applications
Sensors (basel, Switzerland), 2020, Special Issue Sensor and Systems Evaluation for Telemedicine and eHealth, 20 (7), pp.1931-1 - 1931-20. ⟨10.3390/s20071931⟩
...
hal-00728972v1  Communication dans un congrès
Isabelle Quidu. Incoherent change detection using amplitude sidescan sonar images
ECUA 2012, Jul 2012, Edimburgh, United Kingdom
...
tel-01661569v1  Thèse
Xuan Sang Le. software/FPGA co-design for Edge-computing : Promoting object-oriented design
Other [cs.OH]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0041⟩
...
hal-01595789v1  Communication dans un congrès
Cyrielle FeronVianney LapotreLoïc Lagadec. PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes
SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain
...
hal-01698372v1  Article dans une revue
Anthony WelteLuc JaulinMartine CeberioVladik Kreinovich. Computability of the Avoidance Set and of the Set-Valued Identification Problem
Journal of Uncertain Systems, World Academic Press, 2017, 11, pp.129 - 136
...
hal-02283926v2  Communication dans un congrès
Frédéric Le RoyChristian RolandDenis Le JeuneJean-Philippe Diguet. Risk assessment of SDR-based attacks with UAVs
16th International Symposium on Wireless Communication Systems (ISWCS), Aug 2019, OULU, Finland
...
hal-01475251v1  Communication dans un congrès
Théotime BollengierLoïc LagadecMohamad NajemJean-Christophe Le LannPierre Guilloux. Soft timing closure for soft programmable logic cores: The ARGen approach
ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
...
tel-03010085v1  Thèse
Simon Rohou. Reliable robot localization: a constraint programming approach over dynamical systems
Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English
...
hal-02303250v1  Communication dans un congrès
Nabil KadjouhAhcène BounceurAbdelkamel TariReinhardt EulerLoïc Lagadec et al.  Temperature-based models of batteries for the simulation of Wireless Sensor Networks
3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
...
hal-01756186v1  Communication dans un congrès
Vincent LeildeVincent Ribaud. Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project
2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
...
hal-01757093v1  Communication dans un congrès
Cyrielle FeronVianney LapotreLoïc Lagadec. Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE
2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328693⟩
...
hal-01977996v1  Communication dans un congrès
Jean-Christophe CexusAli Khenchaf. 2D Teager-Kaiser Energy Operator for the translation motion compensation in ISAR signatures
9th International Symposium on Signal, Image, Video and Communications - ISIVC'2018, Nov 2018, Rabat, Morocco
...
tel-02569917v1  Thèse
Clément J. Roussel. Stochastic differential equations for the electromagnetic field scattered by the sea surface : applications to remote sensing
Signal and Image Processing. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English. ⟨NNT : 2019ENTA0007⟩
...
hal-03126980v1  Article dans une revue
Mohammad Ammad UddinMuhammad AyazAli MansourEl‐hadi AggouneAhmad Hani El Fawal et al.  Ground target finding mechanism for unmanned aerial vehicles to secure crop field data
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2021, 32 (3), pp.e4210. ⟨10.1002/ett.4210⟩
...
tel-02372711v1  Thèse
Dominique Monnet. Global minmax optimization for robust H∞ control
Systems and Control [cs.SY]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. English. ⟨NNT : 2018ENTA0009⟩
...
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
...
tel-00728431v1  Thèse
Amine Raji. Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués
Génie logiciel [cs.SE]. Télécom Bretagne, Université de Bretagne-Sud, 2012. Français
...
hal-02960569v2  Article dans une revue
Cyrielle FeronLoïc LagadecVianney Lapotre. Automated Exploration of Homomorphic Encryption Scheme Input Parameters
Journal of Information Security and Applications, 2020, 55, pp.102627. ⟨10.1016/j.jisa.2020.102627⟩
...
hal-00202718v2  Article dans une revue
Sébastien LagrangeLuc JaulinVincent VigneronChristian Jutten. Nonlinear Blind Parameter Estimation
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2008, 53 (3), pp.834-838
...
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⟩
...
tel-01206273v1  Thèse
Ion George Todoran. Etude dynamique de la qualité de l'information et des données d'un système d'information complexe
Performance et fiabilité [cs.PF]. Télécom Bretagne; Université de Rennes 1, 2014. Français
...
hal-01933794v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. Domain-oriented Verification Management
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
...
hal-01904112v1  Article dans une revue
Simon RohouPeter FranekClément AubryLuc Jaulin. Proving the existence of loops in robot trajectories
The International Journal of Robotics Research, SAGE Publications, 2018, 37 (12), pp.1500-1516. ⟨10.1177/0278364918808367⟩
...
hal-03188864v1  Communication dans un congrès
Hiba HnainiLuka Le RouxJoël ChampeauCiprian Teodorov. Security property modeling
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
...
hal-00517466v1  Communication dans un congrès
Martin MonperrusAntoine BeugnardJoël Champeau. A Definition of Abstraction Level for Metamodels
7th IEEE Workshop on Model-Based Development for Computer Based systems, 2009, San Francisco, United States. ⟨10.1109/ECBS.2009.41⟩
...
hal-02088044v1  Communication dans un congrès
Florent KermarrecSébastien BourdeauducqHannah BadierJean-Christophe Le Lann. LiteX: an open-source SoC builder and library based on Migen Python DSL
OSDA 2019, colocated with DATE 2019 Design Automation and Test in Europe, Mar 2019, Florence, Italy
...
tel-03172212v1  Thèse
Vincent Leildé. Aide au diagnostic de vérification formelle de systèmes
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. Français. ⟨NNT : 2019ENTA0011⟩
...
hal-00941496v1  Communication dans un congrès
Delphine MathiasAaron ThodeJan StraleyRuss AndrewsOlivier Le Bot et al.  Range-depths tracking of multiple sperm whales over large distances using a two-element vertical array and rhythmic properties of clicks-trains
Workshop: Neural Information Processing Scaled for Bioacoustics : NIPS4B, Dec 2013, Lake Tahoe, NE, United States
...
hal-00349336v1  Article dans une revue
Arnaud JarrotCornel IoanaAndré Quinquis. Toward The Use Of The Time-Warping Principle With Discrete-Time Sequences
Journal of Computers (JCP), Academy Publisher, 2007, 2 (6), pp.49-55
...
hal-00989984v1  Communication dans un congrès
Loïc Lagadec. FPGAs virtuels : enjeux et usages
COMPAS 2014, Apr 2014, Neuchâtel, Switzerland
...
hal-02441878v1  Communication dans un congrès
Mihal BrumbulliEmmanuel GaudinCiprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
hal-02565053v1  Chapitre d'ouvrage
Laurène MazeauJordan Ninin. Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts
Marie-Eve Arbour; Lara Khoury. Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude, Éditions Yvon Blais, 2019, 9782897305543
...
hal-00428957v1  Article dans une revue
Gilles ChabertLuc Jaulin. Contractor Programming
Artificial Intelligence, Elsevier, 2009, 173, pp.1079-1100. ⟨10.1016/j.artint.2009.03.002⟩
...
hal-02958155v1  Communication dans un congrès
Thomas ChaffreJulien MorasAdrien Chan-Hon-TongJulien Marzat. Sim-to-Real Transfer with Incremental Environment Complexity for Reinforcement Learning of Depth-Based Robot Navigation
17th International Conference on Informatics, Automation and Robotics, ICINCO 2020, Jul 2020, Virtual, Online, France. pp.314-323
...
hal-01203649v1  Communication dans un congrès
Khaoula Es-SalhiSiham Rim BoudaoudCiprian TeodorovZoé DreyVincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
...
tel-02365087v1  Thèse
Benoît Desrochers. Simultaneous localization and mapping in unstructured environments : a set-membership approach
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. English. ⟨NNT : 2018ENTA0006⟩
...
hal-03085342v1  Communication dans un congrès
Quentin DucassePascal CotretLoïc LagadecRob Stewart. Benchmarking Quantized Neural Networks on FPGAs with FINN
DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures, Feb 2021, Grenoble, France
...
hal-00489085v1  Communication dans un congrès
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Blind Detection of the Number of Communication Signals Under Spatially Correlated Noise by ICA and K-S Tests
International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2397-2400
...
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-01254856v1  Article dans une revue
Sébastien BourguignonJordan NininHervé CarfantanMarcel Mongeau. Exact Sparse Approximation Problems via Mixed-Integer Programming: Formulations and Computational Performance
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2016, 64 (6), pp.1405-1419. ⟨10.1109/TSP.2015.2496367⟩
...
hal-01538135v1  Article dans une revue
Jordan NininLaurène Mazeau. La recherche opérationnelle: De quelques enjeux juridiques des mécanismes d'aide à la décision
Lex Electronica, Centre de recherche en droit public, Université de Montréal, 2017, 22, pp.57-79
...
hal-00697033v1  Communication dans un congrès
François-Xavier SocheleauMilica StojanovicChristophe LaotJean-Michel Passerieux. Achievable Rates of Underwater Acoustic OFDM Systems over Highly Dispersive Channels
European Conference on Underwater Acoustics, Jul 2012, Edinburgh, United Kingdom. pp.1-8
...
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-00860130v1  Communication dans un congrès
Abdel BoudraaThierry ChonavelJean-Christophe Cexus. Opérateur d'inter-énergie Ψ_H et densité inter-spectrale
24ème édition du colloque Gretsi, Sep 2013, Brest, France. 4 p
...
hal-01933792v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
...
tel-02515931v1  Thèse
Ciprian Teodorov. Model-Driven Physical-Design for Future Nanoscale Architectures
Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English
...
hal-03228922v1  Communication dans un congrès
Hannah BadierChristian PilatoJean-Christophe Le LannPhilippe CoussyGogniat Guy. Opportunistic IP Birthmarking using Side Effects of Code Transformations on High-Level Synthesis
DATE'21 Design Automation and Test in Europe, Feb 2021, Grenoble (virtuel), France
...
hal-00324547v1  Communication dans un congrès
Julien BonnelGrégoire Le TouzéBarbara NicolasJerome MarsCedric Gervaise. Automatic and passive whale localization in shallow water using gunshots
OCEANS 2008 - OCEANS '08 MTS/IEEE. Oceans, Poles and Climate: Technological Challenges, Sep 2008, Quebec City, Canada. pp.1-6, ⟨10.1109/OCEANS.2008.5151937⟩
...
tel-02319224v1  Thèse
Fadi Obeid. Validation formelle d'implantation de patrons de sécurité
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0002⟩
...
hal-00839586v1  Communication dans un congrès
Mbark IgganeDriss MammassAli KhenchafJean-Christophe Cexus. Segmentation d'images sonar par matrice de co-occurrence
5th International Conference : Sciences of Electronics, Technologies of Information and Telecommunication, Mar 2009, Hammamet, Tunisie. 5 p
...
hal-01657530v1  Communication dans un congrès
Ayoub KarineAbdelmalek ToumiAli KhenchafMohammed El Hassouni. Saliency Attention and SIFT Keypoints Combination for Automatic Target Recognition on MSTAR dataset
3rd International Conference on Advanced Technologies for Signal and Image Processing - ATSIP’2017, Mar 2017, fez Morocco. ⟨10.1109/ATSIP.2017.8075558⟩
...
hal-03173802v1  Communication dans un congrès
Auguste BourgoisLuc Jaulin. Interval centred form for proving stability of non-linear discrete-time system
6th International Workshop on Symbolic-Numeric Methods for Reasoning (SNR 2020), Aug 2020, Vienne (virtual), Austria. pp.1-17
...
hal-01119571v1  Communication dans un congrès
Vincent RibaudCiprian TeodorovZoé DreyLuka LerouxPhilippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States