|
||
---|---|---|
hal-01062373v1
Article dans une revue
Estimation of Water Quality Parameters Using the Regression Model with Fuzzy K-Means Clustering International journal of advanced computer science and applications (IJACSA), The Science and Information Organization, 2014, 5,6, ⟨10.14569/IJACSA.2014.050624⟩ ![]() |
||
hal-01006108v1
Communication dans un congrès
Using Nonlinear Time Sampling Of Bowhead Whale Calls To Extract Acoustic Mode Shape And Array Tilt Alaska Marine Science Symposium, Jan 2014, Anchorage, United States |
||
tel-02013947v1
Thèse
Cooperative MIMO techniques for outdoor optical wireless communication systems Other. Université de Bretagne occidentale - Brest, 2015. English. ⟨NNT : 2015BRES0073⟩ |
||
hal-01066001v1
Article dans une revue
Performance analysis of MISO multi-hop FSO links over log-normal channels with fog and beam divergence attenuations Optics Communications, Elsevier, 2015, 334, pp.247-252. ⟨10.1016/j.optcom.2014.08.050⟩ |
||
hal-01089485v1
Communication dans un congrès
Spatial Diversity For FSO Communication Systems Over Correlated Atmospheric Turbulence Channels WCNC 2014, Apr 2014, Istanbul, Turkey |
||
hal-01466001v1
Communication dans un congrès
Relay Selection for Full-Duplex FSO Relays Over Turbulent Channels ISSP 2016, Dec 2016, Limassol, Cyprus |
||
hal-01936602v1
Chapitre d'ouvrage
Cooperative MIMO and multi-hop relaying techniques for free-space optical communications: a survey Advanced Secure Optical Image Processing for Communications, IOP, pp.3.1-3.19, 2018, 978-0-7503-1455-8 |
||
hal-00822693v1
Communication dans un congrès
MIMO Techniques for High Data Rate Free Space Optical Communication System in Log-Normal Channel The International Conference on Technological Advances in Electrical, Electronics and Computer Engineering, May 2013, Konya, Turkey |
||
hal-00923801v1
Article dans une revue
Diversity techniques for a free-space optical communication system in correlated log-normal channels Optical Engineering, SPIE, 2014, 53 (1), pp.1-6. ⟨10.1117/1.OE.53.1.016102⟩ |
||
hal-01147588v1
Article dans une revue
Performance analysis of space-shift keying over negative-exponential and log-normal FSO channels Chinese Optics Letters, Optical Society of America (imprimé) / OSA publishing (en ligne), 2015, 13 (5), pp.5. ⟨10.3788/COL201513.051001⟩ ![]() |
||
hal-01147593v1
Communication dans un congrès
The performance of space shift keying for free-space optical communications over turbulent channels Proceedings of SPIE 9387, Feb 2015, San Francisco, United States |
||
hal-00840663v1
Communication dans un congrès
Multi-Objective Controller Design for a Space Launcher European Control Conference, Jul 2007, Kos, Greece |
||
hal-00674627v1
Article dans une revue
Multiobjective Synthesis Using LMI Formulations for Application of the Cutting Plane Algorithm European Journal of Control, Elsevier, 2006, 12, pp.40-56 |
||
hal-00773658v1
Communication dans un congrès
LLMS Adaptive Beamforming Algorithm Implemented with Finite Precision TELFOR 2012, Nov 2012, Belgrade, Serbia |
||
hal-00486625v1
Communication dans un congrès
A Comparative Study of Two Software Defined Radio Environments SDR Forum Technical Conference, Oct 2008, Washington, United States |
||
hal-00486627v1
Communication dans un congrès
Predictibility of inter-components latency in a Software Communications Architecture Open Environment 24th IEEE International Parallel and Distributed Processing Symposium, Apr 2010, Atlanta, United States |
||
hal-00486626v1
Communication dans un congrès
Latency estimation due to middleware used in Software Defined Radio Platform 6th Workshop on Software Radio, Mar 2010, Karlsruhe, Germany |
||
hal-02439264v1
Communication dans un congrès
Hardware Architecture for a Bit-Serial Odd-Even Transposition Sort Network with On-The-Fly Compare and Swap 7th International Workshop Applications in Electronics Pervading Industry, Environment & Society (ApplePies 2019), Sep 2019, Pisa, Italy |
||
hal-02434622v1
Communication dans un congrès
An efficient non-blind steering vector estimation technique for robust adaptive beamforming with multistage error feedback 11th KES International Conference on Intelligent Decision Technologies, KES-IDT 2019, Jun 2019, St. Julians, Malta. pp.13-23, ⟨10.1007/978-981-13-8303-8_2⟩ |
||
hal-02434614v1
Communication dans un congrès
Low complexity robust adaptive beamformer based on parallel RLMS and Kalman RLMS 27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, A Coruna, Spain. ⟨10.23919/EUSIPCO.2019.8902999⟩ |
||
hal-02123124v1
Communication dans un congrès
Constant Time Hardware Architecture for a Gaussian Smoothing Filter 2018 International Conference on Signal Processing and Information Security (ICSPIS), IEEE, Nov 2018, DUBAI, United Arab Emirates. pp.1-4 |
||
hal-01936687v1
Communication dans un congrès
Twiddle Factor Generation Using Chebyshev Polynomials and HDL for Frequency Domain Beamforming Applications in Electronics Pervading Industry, Environment and Society, (Applepies, 2018), Sep 2018, Pisa, Italy |
||
hal-01936699v1
Communication dans un congrès
FFT Radix-2 and Radix-4 FPGA Acceleration Techniques Using HLS and HDL for Digital Communication Systems IEEE International Multidisciplinary Conference on Engineering Technology, (IMCET 2018), Nov 2018, Beirut, Lebanon |
||
hal-03104158v1
Article dans une revue
A Pipelined Reduced Complexity Two-Stages Parallel LMS Structure for Adaptive Beamforming IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2020, 67 (12), pp.5079-5091. ⟨10.1109/TCSI.2020.2994812⟩ |
||
hal-03127370v1
Communication dans un congrès
A Multi-Stage Parallel LMS Structure and its Stability Analysis Using Transfer Function Approximation 2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1851-1855, ⟨10.23919/Eusipco47968.2020.9287604⟩ |
||
hal-03127356v1
Communication dans un congrès
Two Stages Parallel LMS Structure: A Pipelined Hardware Architecture 2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.2363-2367, ⟨10.23919/Eusipco47968.2020.9287770⟩ |
||
hal-02052738v1
Communication dans un congrès
Wide-band Active Tunable Phase Shifter Using Improved Non-Foster circuit 2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS), Dec 2018, Bordeaux, France. pp.449-452, ⟨10.1109/ICECS.2018.8618011⟩ |
||
hal-02781014v2
Article dans une revue
Methodology for Broadband Matching of Electrically Small Antenna using combined Non-Foster and Passive Networks Analog Integrated Circuits and Signal Processing, Springer Verlag, 2020, pp.251-263. ⟨10.1007/s10470-020-01672-3⟩ |
||
hal-01716143v1
Article dans une revue
Distributed algorithm to fight the state explosion problem INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩ |
||
hal-02515020v1
Chapitre d'ouvrage
Using Parallel and Distributed Reachability in Model Checking Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩ |
||
hal-01373317v1
Article dans une revue
A Parallel Algorithm for the State Space Exploration Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩ ![]() |
||
hal-01373327v1
Article dans une revue
Sequential and Parallel Algorithms for the State Space Exploration Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩ ![]() |
||
hal-01298895v1
Communication dans un congrès
Towards Distributed Solution to the State Explosion Problem INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩ |
||
hal-01780556v1
Communication dans un congrès
Using Parallel and Distributed Reachability in Model Checking Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩ |
||
hal-02515359v1
Chapitre d'ouvrage
Proposed Algorithms to the State Explosion Problem Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩ |
||
hal-01118923v1
Communication dans un congrès
A Domain-Specific Framework for Creating Early Trusted Underwater Systems Relying on Enterprise Architecture MASCOTS 2014, IEEE computer Society, Sep 2014, Paris, France. ⟨10.1109/MASCOTS.2014.23⟩ |
||
hal-02418325v1
Communication dans un congrès
All-Powerful Learning Algorithm for the Priority Access in Cognitive Network 27th European Signal Processing Conference (EUSIPCO), Sep 2019, A Coruna, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8903016⟩ |
||
hal-02418297v1
Communication dans un congrès
Distributed Algorithm to Learn OSA Channels Availability and Enhance the Transmission Rate of Secondary Users 19th International Symposium on Communications and Information Technologies, ISCIT 2019, Sep 2019, Ho Chi Minh City, Vietnam. pp.356-360, ⟨10.1109/ISCIT.2019.8905171⟩ |
||
hal-01899591v1
Communication dans un congrès
Opportunistic Spectrum Access in Cognitive Radio for Tactical Network 2nd European Conference on Electrical Engineering & Computer Scienc (EECS 2018), Dec 2018, Bern, Switzerland. ⟨10.1109/eecs.2018.00116⟩ |
||
hal-03127383v1
Communication dans un congrès
Managing Single or Multi-Users Channel Allocation for the Priority Cognitive Access 2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1722-1726, ⟨10.23919/Eusipco47968.2020.9287628⟩ |
||
hal-03151936v1
Article dans une revue
Distributed Competitive Decision Making Using Multi-Armed Bandit Algorithms Wireless Personal Communications, Springer Verlag, In press, ⟨10.1007/s11277-020-08064-w⟩ |
||
hal-03002104v1
Article dans une revue
Dynamic decision-making process in the opportunistic spectrum access Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2020, 5 (4), pp.223-233. ⟨10.25046/aj050428⟩ |
||
hal-02924010v1
Article dans une revue
Distributed algorithm under cooperative or competitive priority users in cognitive networks EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩ |
||
hal-02493934v1
Article dans une revue
Affordable Broad Agile Farming System for Rural and Remote Area IEEE Access, IEEE, 2019, 7, pp.127098-127116. ⟨10.1109/ACCESS.2019.2937881⟩ ![]() |
||
hal-01707922v1
Communication dans un congrès
Direction of Arrival of Narrowband Signals Based on Virtual Phased Antennas 23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia |
||
hal-01707169v1
Article dans une revue
UAV-Assisted Dynamic Clustering of Wireless Sensor Networks for Crop Health Monitoring Sensors, MDPI, 2018, 18 (2), pp.555. ⟨10.3390/s18020555⟩ |
||
hal-01698707v1
Communication dans un congrès
Multiple Mode Multi-Target Tracking in high noise environment using Radar measurements Sensor Signal Processing for Defence, SSPD 2017, Dec 2017, Londres, United Kingdom |
||
hal-01698724v1
Communication dans un congrès
Multiple Target Tracking Using Track Before Detect Algorithm ICEAA 2017, International Conference on Electromagnetics in Advanced Applications, Sep 2017, Verone, Italy |
||
hal-01653314v1
Communication dans un congrès
Detection and Tracking of Targets under Low SNR ICIT'2017, Mar 2017, Ontario, Canada. ⟨10.1109/ICIT.2017.7915496⟩ |
||
hal-01867294v1
Article dans une revue
Tracking and detecting highs maneuvering weak targets Journal of applied remote sensing, Bellingham, WA : SPIE, 2018, 12 (3), pp.035001. ⟨10.1117/1.JRS.12.035001⟩ |
||
hal-01727779v1
Article dans une revue
Tracking and Detecting moving weak Targets Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2018, 3 (1), pp.467-471. ⟨10.25046/aj030157⟩ ![]() |
||
hal-01406625v1
Communication dans un congrès
A Particle Filter for Multi-Target Tracking in Track Before Detect context SPIE Remote sensing, Sep 2016, Warsaw, Poland |
||
hal-02056337v1
Communication dans un congrès
Detection and Tracking Low Maneuvering Target in a High Noise Environments 2018 International Conference on Radar (RADAR), Aug 2018, Brisbane, Australia. pp.1-6, ⟨10.1109/RADAR.2018.8557244⟩ |
||
hal-00518677v1
Communication dans un congrès
Some consideration about GPR signals processing with music 3D algorithm IEEE Communications International Conference, 2006, Bucharest, Romania. pp.Non renseigne |
||
hal-01121845v1
Article dans une revue
A Modeling Approach for Marine Observatory Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139 |
||
hal-01118931v1
Communication dans un congrès
Domain Specific Modeling Language for Object Localization in Marine Observatories SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal |
||
hal-01971701v1
Article dans une revue
Design and Evaluation of a Wireless Electrocardiogram Monitor in an Operating Room: A Pilot Study Anesthesia and Analgesia, Lippincott, Williams & Wilkins, 2019, 129 (4), pp.991-996. ⟨10.1213/ANE.0000000000003972⟩ |
||
hal-01174435v1
Communication dans un congrès
Communication-aware Parallelization Strategies for High Performance Applications. ISVLSI'15 - IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France |
||
hal-00773530v1
Article dans une revue
Loop detection of mobile robots using interval analysis Automatica, Elsevier, 2013, 49 (2), pp.463-470 |
||
hal-01062340v1
Article dans une revue
Kernel characterization of an interval function Mathematics in Computer Science, Springer, 2014, 8 (3-4), pp.379-390. ⟨10.1007/s11786-014-0206-9⟩ |
||
hal-00847250v1
Article dans une revue
The Small Octagons of MaximalWidth Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩ ![]() |
||
hal-00847259v1
Article dans une revue
Maximal perimeter, diameter and area of equilateral unit-width convex polygons Journal of Global Optimization, Springer Verlag, 2013, 56 (3), pp.1007-1016. ⟨10.1007/s10898-011-9780-4⟩ ![]() |
||
inria-00468650v1
Chapitre d'ouvrage
SoC/SoPC development using MDD and MARTE profile Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009 |
||
hal-01707323v1
Article dans une revue
Wireless Sensor’s Civil Applications, Prototypes, and Future Integration Possibilities: A Review IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2018, 18 (1), pp.4 - 30. ⟨10.1109/JSEN.2017.2766364⟩ |
||
hal-02439204v1
Article dans une revue
Internet-of-Things (IoT)-Based Smart Agriculture: Toward Making the Fields Talk IEEE Access, IEEE, 2019, 7, pp.129551-129583. ⟨10.1109/ACCESS.2019.2932609⟩ ![]() |
||
hal-00635969v1
Chapitre d'ouvrage
Model integration for formal qualification of timing-aware software data acquisition components Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010 |
||
hal-00517478v1
Direction d'ouvrage, Proceedings, Dossier
Editeurs des actes de l'école d'été MDA for Embedded System developpement France. Non renseigne, pp.Non renseigne, 2002 |
||
hal-02052433v1
Communication dans un congrès
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-01821763v1
Communication dans un congrès
Miniaturized Wide- and Dual-Band Multilayer Electromagnetic Bandgap For Antenna Isolation and on-Package/PCB Noise Suppression 2018 IEEE 22nd Workshop on Signal and Power Integrity (SPI)., May 2018, Brest, France. pp.1-4, ⟨10.1109/SaPIW.2018.8401663⟩ |
||
hal-01936710v1
Communication dans un congrès
Hardware-in-the-Loop Simulation Applied to AUV Control Chinese Automation Congress, (CAC 2018), Nov 2018, Xi'an, China |
||
hal-01326333v1
Communication dans un congrès
Formalisation d’une Approche Compositionnelle de Patrons de Propriétés AFADL 2016, i, Jun 2016, Besançon, France |
||
hal-01164630v1
Communication dans un congrès
The World Robotic Sailing Championship, a competition to stimulate the development of autonomous sailboats OCEANS'15/MTS/IEEE, May 2015, Genova, Italy |
||
hal-00921552v1
Communication dans un congrès
New reconfigurable fault tolerant FPGA architecture: A design for mission critical applications Workshop on Reconfigurable Computing (WRC), Jan 2014, Vienne, Austria. pp.WRC 2014 |
||
hal-01153568v1
Communication dans un congrès
Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGA Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10 |
||
hal-01171207v1
Communication dans un congrès
Evaluating GNSS Signals for Passive Local Sea State Monitoring Space Reflecto, Nov 2013, Brest, France |
||
hal-00687505v1
Communication dans un congrès
Target detection based on morphological component analysis of HFSWR images for maritime surveillance PIERS 2012, Mar 2012, Kuala Lumpur, Malaysia. pp.87 |
||
hal-01654501v1
Communication dans un congrès
Exploitation des multitrajets pour la localisation de sources d'émission 26e GRETSI 2017, Sep 2017, Juan les Pins, France |
||
hal-00914031v1
Communication dans un congrès
Analysis of simulated reflected L-band signals from a sea surface using time-frequency representations. OCEANS'13, Jun 2013, Bergen, Norway |
||
hal-02927344v1
Communication dans un congrès
Faster-RCNN with a compact CNN backbone for target detection in infrared images Proc. SPIE Security+Defense, Sep 2020, Edinburgh, United Kingdom. ⟨10.1117/12.2575756⟩ |
||
hal-01241477v1
Communication dans un congrès
ISAR Image formation with a combined Empirical Mode Decomposition and Time-Frequency Representation EUSIPCO, Aug 2015, Nice, France. pp.1366-1370 |
||
hal-00704089v1
Communication dans un congrès
Monitoring of gas emission in the Marmara Sea by the combined study of the Acoustic Bubble Detector and Ocean Bottom Seismometers EGU 2012, Apr 2012, Vienne, Austria |
||
hal-00703362v1
Article dans une revue
Color-based underwater object recognition using water light attenuation Journal of intelligent service robotics. Special issue on marine robotics systems, 2012, 5 (2), pp.109-118. ⟨10.1007/s11370-012-0105-3⟩ ![]() |
||
hal-02330138v1
Communication dans un congrès
VON MISES PRIOR FOR PHASE-NOISY DOA ESTIMATION: THE VITAMIN ALGORITHM Underwater Acoustics Conference, Jun 2019, Heraklion, Greece |
||
hal-01624855v7
Rapport
DOA estimation in fluctuating environments: an approximate message-passing approach [Research Report] ENSTA Bretagne; Lab-STICC. 2017 |
||
hal-02330148v1
Communication dans un congrès
AT-SEA EXPERIMENTAL EVALUATION OF THE INFLUENCE OF ENVIRONMENTAL FLUCTUATIONS ON THE ACOUSTIC COHERENCE RADIUS Underwater Acoustics Conference, Jun 2019, Heraklion, Greece |
||
hal-00926818v1
Article dans une revue
Fusion Fourier descriptors from the EM, International Journal of Computer and Information Technology, 2013, 2 (4) |
||
hal-00843331v1
Communication dans un congrès
Segmentation of Radar images by combining watershed and Fisher techniques for target classification CODIT'2013, May 2013, Hammamet, Tunisia |
||
hal-00944548v1
Communication dans un congrès
A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX |
||
hal-01009572v1
Communication dans un congrès
Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators ICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia |
||
hal-01009551v1
Communication dans un congrès
A Design Approach to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerator GLSVLSI 2014, May 2014, Houston, United States |
||
hal-00924373v1
Article dans une revue
Signature électromagnétigue des vagues déferlantes observées en configuration bistatique et en bande X Traitement du Signal, Lavoisier, 2013, pp.273-300. ⟨10.3166/TS.30.273-300⟩ ![]() |
||
hal-00729996v1
Communication dans un congrès
EM BISTATIC SCATTERING BY SEA SURFACE AND EXPERIMENTAL STUDY OF THE HYDRODYNAMIC PHENOMENA IGARSS 2012, Jul 2012, Munich, Germany |
||
hal-00746842v1
Communication dans un congrès
The Sea-Spike From Breaking Waves In Bistatic Configuration (Forward Propagation) Radar 2012, Oct 2012, France |
||
hal-02583286v1
Communication dans un congrès
Global optimization of L0-norm-based sparse approximation criteria with a branch-and-bound algorithm SPARS, Signal Processing with Adaptive Sparse Structured Representations, 2019, Toulouse, France |
||
hal-02584322v1
Communication dans un congrès
Global Optimization for Sparse Solution of Least Squares Problems ICCOPT, International Conference on Continuous Optimization, 2019, Berlin, Germany |
||
hal-02564594v1
Communication dans un congrès
Sparse Branch and Bound for Exact Optimization of L0-Norm Penalized Least Squares ICASSP 2020, IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.ISBN: 978-1-5090-6632-2, ⟨10.1109/ICASSP40776.2020.9053870⟩ |
||
hal-02066368v1
Pré-publication, Document de travail
Global Optimization for Sparse Solution of Least Squares Problems 2019 |
||
hal-01864825v1
Communication dans un congrès
An Automated Transformation Approach for Requirement Specification Conf ITQM’16, Aug 2016, Séoul, South Korea |
||
hal-01298623v1
Article dans une revue
Context-aware approach for formal verification EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩ ![]() |
||
hal-01298704v1
Communication dans un congrès
A High-level Formalism to Elaborate Context for a Context-aware Verification Approach ICIST 2016, Mar 2016, Barcelone, Spain |
||
|