David Andreu

Orcid: 0000-0002-0744-9447

Affiliations:
  • University Montpellier, LIRMM, France


According to our database1, David Andreu authored at least 43 papers between 1997 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Interpreted synchronous extension of time Petri nets.
Discret. Event Dyn. Syst., 2022

2021
New Stimulation Device to Drive Multiple Transverse Intrafascicular Electrodes and Achieve Highly Selective and Rich Neural Responses.
Sensors, 2021

2020
Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2018
Announcement - The 2018 Hojjat Adeli Award for Outstanding Contributions in Neural Systems.
Int. J. Neural Syst., 2018

2016
Model-Based Design and Experimental Validation of Control Modules for Neuromodulation Devices.
IEEE Trans. Biomed. Eng., 2016

Integration of electro-anatomical and imaging data of the left ventricle: An evaluation framework.
Medical Image Anal., 2016

Quasi-Conformal Technique for Integrating and Validating Myocardial Tissue Characterization in MRI with Ex-Vivo Human Histological Data.
Proceedings of the Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges, 2016

Standardised Framework to Study the Influence of Left Atrial RF Catheter Ablation Parameters on Permanent Lesion Formation.
Proceedings of the Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges, 2016

Real-time Simulation of Distributed Control Systems: The example of Functional Electrical Stimulation.
Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016), 2016

2015
Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs.
IEEE Trans. Ind. Informatics, 2015

Delaying discharge after the stimulus significantly decreases muscle activation thresholds with small impact on the selectivity: an in vivo study using TIME.
Medical Biol. Eng. Comput., 2015

Stimulation of small diameter myelinated and unmyelinated abdominal vagal neurons using high frequency pulses.
Proceedings of the 7th International IEEE/EMBS Conference on Neural Engineering, 2015

Real-time closed-loop FES control of muscle activation with evoked EMG feedback.
Proceedings of the 7th International IEEE/EMBS Conference on Neural Engineering, 2015

Toward complex multipolar selective neural stimulation.
Proceedings of the 7th International IEEE/EMBS Conference on Neural Engineering, 2015

Atoms based control of mobile robots with Hardware-In-the-Loop validation.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Quantitative Analysis of Lead Position vs. Correction of Electrical Dyssynchrony in an Experimental Model of LBBB/CRT.
Proceedings of the Functional Imaging and Modeling of the Heart, 2015

Thruster's dead-zones compensation for the actuation system of an underwater vehicle.
Proceedings of the 14th European Control Conference, 2015

2014
A Wavelet-Based Electrogram Onset Delineator for Automatic Ventricular Activation Mapping.
IEEE Trans. Biomed. Eng., 2014

Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

On-off closed-loop control of vagus nerve stimulation for the adaptation of heart rate.
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

A Morphology-Based Spatial Consistency Algorithm to Improve EGM Delineation in Ventricular Electroanatomical Mapping.
Proceedings of the Computing in Cardiology, CinC 2014, 2014

2013
Formal Validation of a Deterministic MAC Protocol.
ACM Trans. Embed. Comput. Syst., 2013

Interventional Endocardial Motion Estimation from Electroanatomical Mapping Data: Application to Scar Characterization.
IEEE Trans. Biomed. Eng., 2013

Estimation of Electrical Pathways Finding Minimal Cost Paths from Electro-Anatomical Mapping of the Left Ventricle.
Proceedings of the Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges, 2013

Complex Digital System Design: A Methodology and Its Application to Medical Implants.
Proceedings of the Formal Methods for Industrial Critical Systems, 2013

Evaluation of Different Mapping Techniques for the Integration of Electro-Anatomical Voltage and Imaging Data of the Left Ventricle.
Proceedings of the Functional Imaging and Modeling of the Heart, 2013

Analyzing Electrical Patterns in an Experimental Swine Model of Dyssynchrony and CRT.
Proceedings of the Computing in Cardiology, 2013

Wavelet-Based Electrogram Onset Identification for Ventricular Electroanatomical Mapping.
Proceedings of the Computing in Cardiology, 2013

2012
Endocardial motion estimation from electro-anatomical data.
Proceedings of the 9th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2012

2011
Temporal bounds verication of the STIMAP protocol.
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Cardiac Deformation from Electro-Anatomical Mapping Data: Application to Scar Characterization.
Proceedings of the Functional Imaging and Modeling of the Heart, 2011

2008
Wireless Test Structure for Integrated Systems.
Proceedings of the 2008 IEEE International Test Conference, 2008

Petri Net Based Rapid Prototyping of Digital Complex System.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008

From neuroprosthetics to implanted FES control architecture.
Proceedings of the 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2008

Connectivity of Thetis, a Distributed Hybrid Simulator, with a Mixed Control Architecture.
Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems, 2008

2006
Contextual Management of Tasks and Instrumentation within an AUV control software architecture.
Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006

Managing control architectures design process - patterns, components and object petri nets in use.
Proceedings of the ICINCO 2006, 2006

Apports du génie logiciel à composants pour la mise en oeuvre d'architectures de contrôle de robots.
Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2005
Remote secure decentralized control strategy for mobile robots.
Adv. Robotics, 2005

2004
Remote decentralized control strategy for cooperative mobile robots.
Proceedings of the 8th International Conference on Control, 2004

Teleoperation over an IP network: from control to architectural considerations.
Proceedings of the 8th International Conference on Control, 2004

1997
Fuzzy Petri net-based programmable logic controller.
IEEE Trans. Syst. Man Cybern. Part B, 1997


  Loading...