Publications

2022 (1)

  • article - Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
    Journal of Logical and Algebraic Methods in Programming (Volume 125, feb 2022, Pages :100746 (64))
    Belkhir, Walid | Ratier, Nicolas | Nguyen, Duy Duc | Lenczner, Michel

2020 (1)

  • article - A two-dimensional electrostatic model of interdigitated comb drive in longitudinal mode
    SIAM Journal on Applied Mathematics (Volume 80, Issue (2), jan 2020, Pages :792 - 813)
    Gaudiello, Antonio | Lenczner, Michel

2019 (2)

  • article - Actors with stretchable access patterns
    Integration-the VLSI journal (Volume 66, may 2019, Pages :44 - 59)
    Du, Ke | Domas, Stéphane | Lenczner, Michel
  • inproceedings - Automatic assembly of multiscale models and its application to a family of homogenized models of wave propagation through interfaces having a periodic structure
    2019 IEEE International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE 2019) / Hannover, Germany (Issue , 2019, Pages pages 9)
    Lenczner, Michel | Belkhir, Walid | Ratier, Nicolas | Nguyen Nhat Binh, Trinh | Cavallier, Bruno
    doi | bibtex

2018 (2)

  • inproceedings - A multiscale model of a two-dimensional micro-mirror array
    2018 International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE 2018) / Toulouse, France (2018, Pages pages )
    Nguyen Nhat Binh, Trinh | Lenczner, Michel | Zamkotsian, Frédéric | Ratier, Nicolas
    pdf | doi | bibtex
  • inproceedings - A solution to overcome some limitations of SDF based models
    19th IEEE International Conference on Industrial Technology (ICIT 2018) / Lyon, France (2018, Pages pages 1395 - 1400)
    Du, Ke | Domas, Stéphane | Lenczner, Michel
    doi | bibtex

2017 (4)

  • inproceedings - A Hole-Filling Framework Based on DIBR and Improved Criminisi's Inpainting Algorithm for 3D Videos
    International Conference on Cloud and Big Data Computing (ICCBDC 2017) / London, United Kingdom (2017, Pages pages 119 - 124)
    Du, Ke | Domas, Stéphane | Lenczner, Michel | Wu, Mengdie
    doi | bibtex
  • article - Fuzzy holons for intelligent multi-scale design in cloud-based design for configurations
    Journal of Intelligent Manufacturing (Volume 28, Issue (5), jun 2017, Pages :1219 - 1247)
    Issa, Homam | Ostrosi, Egon | Lenczner, Michel | Habib, Rabie
  • inproceedings - A model of the electric field in a one-dimensional micro-mirror array and electromechanical simulations and optimization in a single cell
    International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (2017) / Dresden, Germany (2017, Pages pages 5)
    Nguyen, Duy Duc | Nguyen Nhat Binh, Trinh | Lenczner, Michel | Zamkotsian, Frédéric | Cogan, Scott
    pdf | doi | bibtex
  • inproceedings - A tool for aided multi-scale model derivation and its application to the simulation of a micro mirror array
    International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE 2017) / Dresden, Germany (Volume , Issue , 2017, Pages pages 9)
    Belkhir, Walid | Ratier, Nicolas | Nguyen, Duy Duc | Nguyen Nhat Binh, Trinh | Lenczner, Michel | Zamkotsian, Frédéric
    pdf | doi | bibtex

2016 (5)

  • article - A SThM probe optimization and its time-space multi-scale modeling
    Mechatronics (Volume 40, dec 2016, Pages :251 - 263)
    Lenczner, Michel | Yang, Bin | Bontempi, Alexia | Teyssieux, Damien | Cogan, Scott | Janus, Pawel | Koehler, Bernd | Ratier, Nicolas
  • inproceedings - An Improved Algorithm Based on SURF for MR Infant Brain Image Registration
    2016 International Conference on Intelligent Computing (ICIC 2016) / Lanzhou, China (Publisher : Springer, Volume 9772, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 458 - 470)
    Du, Ke | Domas, Stéphane | Lenczner, Michel | Zhang, Guangjin
    pdf | doi | bibtex
  • article - The Ω Counter, a Frequency Counter Based on the Linear Regression
    IEEE Transactions on Ultrasonics Ferroelectrics and Frequency Control (Volume 63, Issue (7), jul 2016, Pages :961 - 969)
    Rubiola, Enrico | Lenczner, Michel | Bourgeois, Pierre-Yves | Vernotte, François
  • inproceedings - Temperature control of an SThM micro-probe with an heat source estimator and a lock-in measurement
    17th International Conference Eurosime 2016, Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE), / Montpellier, France (2016, Pages pages 8)
    Lenczner, Michel | Yang, Bin | Cogan, Scott | Domas, Stéphane | Du, Ke | Couturier, Raphael | Renault, David | Koehler, Bernd | Janus, Pawel
    doi | bibtex
  • article - The Parabolic Variance (PVAR): A Wavelet Variance Based on the Least-Square Fit
    IEEE Transactions on Ultrasonics Ferroelectrics and Frequency Control (Volume 63, Issue (4), apr 2016, Pages :611 - 623)
    Vernotte, François | Lenczner, Michel | Bourgeois, Pierre-Yves | Rubiola, Enrico

2015 (4)

  • article - Semi-decentralized approximation of optimal control of distributed systems based on a functional calculus
    Optimal Control Applications and Methods (Volume 36, Issue (4), jul 2015, Pages :422 - 446)
    Yacoubi, Youssef | Lenczner, Michel | Ratier, Nicolas
  • inproceedings - Diffusive Realization of a Lyapunov Equation Solution, and Parallel Algorithms Implementation
    Proceedings of the Conference on Control and its Applications ( 2015) / Paris, France (Publisher : SIAM, 2015, Pages pages 68 - 75)
    Do, Huu Quan | Lenczner, Michel | Couturier, Raphael | Yakoubi, Youssef
    pdf | doi | bibtex
  • inproceedings - Least-square fit, Ω counters, and quadratic variance
    International Frequency Control Symposium and European Frequency and Time Forum (IFCS-EFTF 2015) / Denver, United States (2015, Pages pages 338 - 342)
    Vernotte, François | Lenczner, Michel | Bourgeois, Pierre-Yves | Rubiola, Enrico
    pdf | doi | bibtex
  • article - Modeling of thin isotropic elastic plates with small piezoelectric inclusions and distributed electric circuits
    Mathematical Methods in the Applied Sciences (Volume 38, Issue (1), jan 2015, Pages :66 - 86)
    Canon, Eric | Lenczner, Michel

2014 (5)

  • article - A Symbolic Transformation Language and its Application to a Multiscale Method
    Journal of Symbolic Computation (Volume 65, nov 2014, Pages :49 - 78)
    Belkhir, Walid | Giorgetti, Alain | Lenczner, Michel
  • article - Homogenization of the spectral equation in one-dimension
    International Journal for Multiscale Computational Engineering (Volume 12, Issue (5), may 2014, Pages :423 - 450)
    Nguyen, Thi Trang | Lenczner, Michel | Brassart, Mathieu
  • inproceedings - Modelling, simulation and optimization for a SThm nanoprobe
    15th International Conference on thermal, mechanical and multi-physics simulation and experiments in microelectronics and microsystems (EuroSimE) / Ghent, Belgium (2014, Pages pages 6 p)
    Yang, Bin | Lenczner, Michel | Cogan, Scott | Gotsmann, Bernd | Janus, Pawel | Boetch, Guillaume
    pdf | doi | bibtex
  • article - Fast contactless vibrating structure characterization using real time field programmable gate array-based digital signal processing: Demonstrations with a passive wireless acoustic delay line probe and vision
    Review of Scientific Instruments (Volume 85, Issue (1), jan 2014, Pages :015109)
    Goavec-Merou, Gwenhaël | Chretien, Nicolas | Friedt, Jean-Michel | Sandoz, Patrick | Martin, Gilles | Lenczner, Michel | Ballandras, Sylvain
  • article - Computer-aided derivation of multi-scale models: a rewriting framework
    International Journal for Multiscale Computational Engineering (Volume 12, Issue (2), jan 2014, Pages :91 - 114)
    Yang, Bin | Belkhir, Walid | Lenczner, Michel

2013 (7)

  • techreport - A Symbolic Transformation Language and its Application to a Multiscale Method
    INRIA (dec 2013, Research Report)
    Belkhir, Walid | Giorgetti, Alain | Lenczner, Michel
    bibtex
  • inproceedings - Fuzzy Functional Modelling in CAD Systems
    Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment (2013, Pages pages 595 - 608)
    Issa, Homam | Ostrosi, Egon | Lenczner, Michel | Habib, Rabie
    bibtex
  • inproceedings - Estimation of deflections by interferometry in a cantilever array and its optimization based on a two-scale model
    14th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE) / Wroclaw, Poland (2013, Pages pages 6)
    Hui, Hui | Lenczner, Michel | Cogan, Scott | Meister, André | Favre, Mélanie | Overstolz, T. | Couturier, Raphael | Domas, Stéphane
    pdf | doi | bibtex
  • inproceedings - A Multiscale Model Derivation and Simulation Tool for MEMS Arrays
    2013 14TH INTERNATIONAL CONFERENCE ON THERMAL, MECHANICAL AND MULTI-PHYSICS SIMULATION AND EXPERIMENTS IN MICROELECTRONICS AND MICROSYSTEMS (EUROSIME) / Wroclaw, Poland (2013, Pages pages 8)
    Yang, Bin | Belkhir, Walid | Lenczner, Michel | Ratier, Nicolas
    pdf | doi | bibtex
  • inproceedings - A cost effective AFM setup, combining interferometry and FPGA
    EuroSimE 2013, 14th Int. Conf. on Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems / Wroclaw, Poland (Publisher : IEEE, 2013, Pages pages 1-6)
    Couturier, Raphael | Domas, Stéphane | Goavec-Merou, Gwenhaël | Favre, Mélanie | Lenczner, Michel | Meister, André
    pdf | doi | bibtex
  • inproceedings - A two-scale model based algorithm for cantilever deflection estimation by interferometry and its application
    EuroSimE 2013, 14th Int. Conf. on Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems / Wroclaw, Poland (Publisher : IEEE, 2013, Pages pages 1 - 6)
    Hui, Hui | Lenczner, Michel | Cogan, Scott | Meister, André | Favre, Mélanie | Couturier, Raphael | Domas, Stéphane
    pdf | doi | bibtex
  • incollection - Modelling, Identification and Control of a Micro-cantilever Array
    Micro, Nanosystems and Systems on Chips - Modeling, Control and Estimation (Publisher : Elsevier, Editor : Alina Voda, Volume 22, Edition : John Wiley & Sons. , Chapter 1, mar 2013, Pages 538 - 543)
    Cogan, Scott | Hui, Hui | Lenczner, Michel | Pillet, Emmanuel | Ratier, Nicolas | Yakoubi, Youssef
    pdf | bibtex

2012 (5)

  • article - A two-scale model for one-dimensional arrays of cantilevers and its verification
    Mechatronics (Volume 22, Issue (5), aug 2012, Pages :538 - 543)
    Hui, Hui | Lenczner, Michel | Pillet, Emmanuel | Cogan, Scott
  • article - Diffusive Realizations for Solutions of Some Operator Equations : the One-Dimensional
    Mathematics of Computation (Volume 81, Issue (277), jul 2012, Pages :319 - 344)
    Lenczner, Michel | Montseny, G. | Yakoubi, Youssef
  • inproceedings - Modeling, filtering and optimization for AFM arrays
    2nd Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS 2012) / Besançon, France (2012, Pages pages 46 - 52)
    Hui, Hui | Yacoubi, Youssef | Lenczner, Michel | Cogan, Scott | Meister, André | Favre, M. | Couturier, Raphael | Domas, Stéphane
    pdf | doi | bibtex
  • inproceedings - Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures
    dMEMS'12, 2nd Workshop on Design, Control and Software Implementation for Distributed MEMS / Besançon, France (2012, Pages pages 82--89)
    Belkhir, Walid | Giorgetti, Alain | Lenczner, Michel | Dhara, Raj Narayan | Yang, Bin
    pdf | doi | bibtex
  • inproceedings - A New Approach Based on a Least Square Method for Real-Time Estimation of Cantilever Array Deflections with an FPGA
    dMEMS'12, 2nd Workshop on Design, Control and Software Implementation for Distributed MEMS / Besançon, France (Publisher : IEEE, 2012, Pages pages 30--38)
    Couturier, Raphael | Domas, Stéphane | Goavec-Merou, Gwenhaël | Favre, Mélanie | Lenczner, Michel | Meister, André
    pdf | doi | bibtex

2011 (6)

  • inproceedings - Formal Methods for Multiscale Models Derivation
    CFM 2011, 20ème Congrès Français de Mécanique / Besançon, France (2011, Pages pages 4092--4097)
    Dhara, Raj Narayan | Yang, Bin | Belkhir, Walid | Lenczner, Michel | Giorgetti, Alain
    pdf | bibtex
  • inproceedings - Diffusive Realization of a Lyapunov Equation Solution, and its FPGA Implementation
    Proceedings of the 18th IFAC World Congress, 2011 / Milano, Italie (Publisher : Elsevier, 2011, Pages pages 5477 - 5482)
    Yakoubi, Youssef | Lenczner, Michel | Goavec-Merou, Gwenhaël | Couturier, Raphael | Friedt, Jean-Michel
    pdf | doi | bibtex
  • inproceedings - Modeling, filtering, control and optimization for AFM arrays
    28ème Congrès Français de Mécanique (CFM 2011) / Besançon, France (2011)
    Hui, Hui | Yacoubi, Youssef | Lenczner, Michel | Cogan, Scott | Meister, André | Favre, Mélanie | Couturier, Raphael | Domas, Stéphane
    bibtex
  • inproceedings - Computer-Aided Multiscale Model Derivation for MEMS Arrays
    EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems / Linz, Austria (2011)
    Yang, Bin | Belkhir, Walid | Dhara, Raj Narayan | Lenczner, Michel | Giorgetti, Alain
    pdf | doi | bibtex
  • inproceedings - Modeling, Filtering and Optimization for AFM Arrays
    12th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE) / Hannover, Germany (2011, Pages pages 1/6 - 6/6)
    Hui, Hui | Yakoubi, Youssef | Lenczner, Michel | Cogan, Scott | Meister, André | Favre, M. | Couturier, Raphael | Domas, Stéphane
    pdf | doi | bibtex
  • inproceedings - Semi-Decentralized Approximation of a LQR-Based Controller for a One-Dimensional Cantilever Array
    Proceedings of the 18th IFAC World Congress, 2011 / Milano, Italie (Volume 18, 2011, Pages pages 1422-1428)
    Hui, Hui | Yakoubi, Youssef | Lenczner, Michel | Ratier, Nicolas
    pdf | doi | bibtex

2010 (6)

  • inproceedings - FPGA Implementation Of Diffusive Realization For A Distributed Control Operator
    dMEMS'10, 1st Workshop on design, control and software implementation for distributed MEMS / Besançon, France (Publisher : IEEE, 2010, Pages pages 50 - 55)
    Goavec-Merou, Gwenhaël | Yakoubi, Youssef | Couturier, Raphael | Lenczner, Michel | Friedt, Jean-Michel | Yang, Fan
    pdf | doi | bibtex
  • inproceedings - A multiscale model of cantilever arrays with a semi-decentralized approximation of an optimal control
    Hardware and Software Implementation and Control of Distributed MEMS (DMEMS) (2010, Pages pages 56 - 63)
    Hui, Hui | Yakoubi, Youssef | Lenczner, Michel | Ratier, Nicolas
    doi | bibtex
  • inproceedings - A Model of Two-Dimensional Array of Cantilevers and Its Validation
    (2010)
    Lenczner, Michel | SU, S | Hui, Hui
    doi | bibtex
  • article - A two-scale model for the periodic homogenization of the wave equation
    Journal de Mathématiques Pures et Appliquées (Volume 93, Issue (5), may 2010, Pages : 474 - 517)
    Brassart, Mathieu | Lenczner, Michel
  • inproceedings - Control of a cantilever array by Periodic Networks of Resistances
    EuroSimE 2010 / Bordeaux, France (2010, Pages pages 1-6)
    Hui, Hui | Yacoubi, Youssef | Lenczner, Michel | Ratier, Nicolas
    pdf | doi | bibtex
  • incollection - Modeling, identification and control of a micro-cantilever array
    Micro, Nanosystems and Systems on Chips: Modeling, Control, and Estimation (Publisher : John Wiley and Sons, Editor : , Chapter 6, jan 2010, Pages )
    Hui, Hui | Lenczner, Michel | Pillet, Emmanuel | Cogan, Scott | Ratier, Nicolas
    bibtex

2009 (2)

  • inproceedings - Simulation of large-scale periodic circuits by a homogenization method
    Thermal, Mechanical and Multi-Physics simulation and Experiments in Microelectronics and Microsystems, 2009. EuroSimE 2009 (2009, Pages pages 1 - 6)
    Ratier, Nicolas | Lenczner, Michel
    doi | bibtex
  • inproceedings - A Multiscale Model of Micro Cantilever Arrays and its Validation
    10th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSime 2009) (2009, Pages pages 6)
    Lenczner, Michel | Pillet, Emmanuel | Cogan, Scott | Hui, Hui
    doi | bibtex