World's Best Scientists 2026 revealed!

Overview

Eugene Asarin is affiliated with Université Paris Cité in France. Their research focuses primarily on computer science, with significant contributions in both theoretical and applied domains.

The main fields of study covered in their work are:

  • Computer Science
  • Biochemistry, Genetics and Molecular Biology

Within these fields, Asarin has explored several subfields, including:

  • Computational Theory and Mathematics
  • Artificial Intelligence
  • Molecular Biology
  • Software
  • Computer Networks and Communications

The scientist's research topics reflect a focus on formal aspects of computation and biology, specifically:

  • Formal Methods in Verification
  • Semigroups and Automata Theory
  • DNA and Biological Computing
  • Petri Nets in System Modeling
  • Logic, Programming, and Type Systems
  • Software Testing and Debugging Techniques
  • Cellular Automata and Applications

Frequent collaborators in their research include Bernardo Jacobo Inclán, Aldric Degorre, Cătălin Dima, Thomas Ferrère, and Dejan Ničković.

Eugene Asarin's recent publications illustrate ongoing work in timed automata and related computation theories. Notable papers include:

  • "Computing the Bandwidth of Meager Timed Automata" (2024), published in arXiv (Cornell University)
  • "Bandwidth of Timed Automata: 3 Classes" (2023), published in Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • "Elements of Timed Pattern Matching" (2024), published in ACM Transactions on Embedded Computing Systems

Their publications have appeared most notably in the following venues:

  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • arXiv (Cornell University)
  • ACM Transactions on Embedded Computing Systems

Best Publications

  • Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

    Eugene Asarin;Thao Dang;Oded Maler;Olivier Bournez

  • Controller Synthesis for Timed Automata 1

    Eugene Asarin;Oded Maler;Amir Pnueli;Joseph Sifakis

  • Symbolic Controller Synthesis for Discrete and Timed Systems

    Eugene Asarin;Oded Maler;Amir Pnueli

  • Reachability analysis of dynamical systems having piecewise-constant derivatives

    Eugene Asarin;Oded Maler;Amir Pnueli

  • Effective synthesis of switching controllers for linear systems

    E. Asarin;O. Bournez;T. Dang;O. Maler

  • Timed Regular Expressions

    Eugene Asarin;Paul Caspi;Oded Maler

  • Scheduling with timed automata

    Yasmina Abdeddaïm;Eugene Asarin;Oded Maler

  • The d/dt tool for verification of hybrid systems

    Eugene Asarin;Thao Dang;Oded Maler

  • Hybridization methods for the analysis of nonlinear systems

    Eugene Asarin;Thao Dang;Antoine Girard

  • Reachability analysis of nonlinear systems using conservative approximation

    Eugene Asarin;Thao Dang;Antoine Girard

  • As Soon as Possible: Time Optimal Control for Timed Automata

    Eugene Asarin;Oded Maler

  • Parametric identification of temporal properties

    Eugene Asarin;Alexandre Donzé;Oded Maler;Dejan Nickovic

  • Data-Structures for the Verification of Timed Automata

    Eugene Asarin;Marius Bozga;Alain Kerbrat;Oded Maler

  • A Kleene theorem for timed automata

    E. Asarin;P. Caspi;O. Maler

  • Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems

    Aurore Annichini;Eugene Asarin;Ahmed Bouajjani

  • Recent progress in continuous and hybrid reachability analysis

    Eugene Asarin;Thao Dang;Goran Frehse;Antoine Girard

  • On Discretization of Delays in Timed Automata and Digital Circuits

    Eugene Asarin;Oded Maler;Amir Pnueli

  • Verification of Timed Automata via Satisfiability Checking

    Peter Niebert;Moez Mahfoudh;Eugene Asarin;Marius Bozga

  • Timed Pattern Matching

    Dogan Ulus;Thomas Ferrère;Eugene Asarin;Oded Maler

  • Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy

    Eugene Asarin;Oded Maler

Frequent Co-Authors

Oded Maler
Oded Maler Grenoble Alpes University
Amir Pnueli
Amir Pnueli Weizmann Institute of Science
Antoine Girard
Antoine Girard University of Paris-Saclay
Patricia Bouyer
Patricia Bouyer University of Paris-Saclay
Sergio Yovine
Sergio Yovine Universidad Ort Uruguay
Ahmed Bouajjani
Ahmed Bouajjani Université Paris Cité
Marius Bozga
Marius Bozga Grenoble Alpes University
Navendu Jain
Navendu Jain Microsoft (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education opens up a wide range of degree options closely related to computer science. Many universities in the USA offer a computer science degree online, providing flexible schedules and the chance to build in-demand tech skills wherever you are.

For students interested in sustainability and technology, pursuing an environmental engineering bachelor's degree online can lead to impactful careers working with environmental systems and green technology. If your interest lies in designing and building advanced machines, an online mechanical engineering degree is another excellent pathway, opening doors to industries like automotive, robotics, or aerospace.

To deepen your understanding of the physical world, consider one of the best online physics degree programs, which blend theoretical knowledge with technical applications relevant across scientific and engineering fields.

Exploring these online degrees can help you tailor your education and career toward industries with high demand and exciting opportunities in technology, engineering, and science.

Best Scientists Citing Eugene Asarin

Trending Scientists