Asarin, Eugène, 1962-....
Asarin, E. A. (Evgeniĭ Aleksandrovich)
Asarin, Eugene
Asarin, E. A.
Asarin, Evgenij Aleksandrovič 1962-
Asarin, Jevgenij Aleksandrovič, 1962-
Eugene A. Asarin Ph.D. Lomonosov Moscow State University 1988
VIAF ID: 45457824 ( Personal )
Permalink: http://viaf.org/viaf/45457824
Preferred Forms
-
- 100 1 _ ‡a Asarin, E. A.
-
- 100 1 _ ‡a Asarin, E. A. ‡q (Evgeniĭ Aleksandrovich)
-
-
-
- 100 1 _ ‡a Asarin, Eugène, ‡d 1962-....
-
- 100 0 _ ‡a Eugene A. Asarin ‡c Ph.D. Lomonosov Moscow State University 1988
4xx's: Alternate Name Forms (12)
Works
Title | Sources |
---|---|
An algebraic theory of real-time formal languages. | |
Algorithmes pour la synthèse et le model checking | |
Analiz ustoĭchivosti rassinkhronizovannykh diskretnykh sistem, 1992: | |
Analyse algorithmique de systèmes hybrides polygonaux | |
Automate sur les structures temporisée | |
Computer Security - ESORICS 2006 : 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings | |
Exploration de l'espace de design assistée par ordinateur pour les systèmes multi-coeurs. | |
Formal methods for distributed real-time systems | |
Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings | |
From timed component-based systems to time-triggered implementations : a correct-by-design approach. | |
Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents. | |
Une méthode topologique pour la recherche d'ensembles invariants de systèmes continus et à communtation | |
Méthodes formelles pour les systèmes distribués temps-réel. | |
Modélisation et analyse de systèmes stochastiques et temps réel | |
Modélisation et vérification formelle des performances des systèmes de réseau | |
On computer-aided design-space exploration for multi-cores | |
Optimisation multicritères et applications aux systèmes multi-processeurs embarqués | |
Quantitative analysis of stochastic systems : priority games and populations of Markov chains | |
Raisonnement sur les grands flux de données : méthode de résolution de problèmes basée sur l'abstraction récursive TOM4A. | |
Reasoning about big data flows : TOM4A recursive abstraction based problem solving method | |
Rigorous modeling and performance evaluation of networking systems. | |
Robustness in timed automata : analysis, synthesis, implementation | |
Secret Sharing and Algorithmic Information Theory. | |
Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception | |
Théorie algébrique des langages formels temps réel | |
A topological method for finding invariant sets of continuous and switched systems. | |
Volumétrie des langages temporisés et applications. |