1
0
0
(1 - 16 von 23
)
Radu Mateescu - Home Page - Inria
convecs.inria.fr
Radu Mateescu; Address: Inria Grenoble - Rhône-Alpes / CONVECS Inovallée 655, avenue de l'Europe - Montbonnot F Saint Ismier FRANCE : : Phone: +(33) (0) : Fax: +(33) (0) : Web: http://convecs.inria.fr/people/Radu.Mateescu [
Radu Mateescu - ERTS 2020www.erts2020.org › ...
www.erts2020.org
Radu Mateescu. Univ. Grenoble Alpes, Inria, CNRS, France. Thursday 30 January. 11: :45. Room Ariane 1. Th.1.C. Scheduling Verification. Th.1.C.211:45.
Compiler Construction: 11th International Conference, CC 2002, Held...
books.google.de
Hubert Garavel, Frédéric Lang, and Radu Mateescu Inria Rhône-Alpes–Vasy 655, avenue de l'Europe, Montbonnot, France {Hubert.Garavel,Frederic.
Model Checking Software: 11th International SPIN Workshop, Barcelona,...
books.google.de
Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, and Radu Mateescu Inria Rhône-Alpes, 655, avenue de l'Europe, Montbonnot, F Saint ...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
Damien Bergamini, Nicolas Descoubes, Christophe Joubert, and Radu Mateescu Inria Rhône-Alpes/Vasy, 655, av. de l'Europe, Montbonnot St Martin, ...
On-the-fly state space reductions for weak equivalences
dl.acm.org
von R Mateescu · · Zitiert von: 36 — Radu Mateescu. INRIA Rhône-Alpes / VASY, Montbonnot St Martin, France. INRIA Rhône-Alpes / VASY, Montbonnot St Martin, France. › doi › abs
Composition and abstraction of logical regulatory modulesOxford Academic
academic.oup.com
von ND Mendes · · Zitiert von: 21 — Radu Mateescu,. Radu Mateescu. 1IGC, Instituto Gulbenkian de Ciência, Rua da Quinta Grande 6, P Oeiras, Portugal, 2Inria Grenoble – Rhône-Alpes and ...
ftp://ftp.inrialpes.fr/pub/vasy/demos/=READ_ME.txtftp.inrialpes.fr › pub › vasy › demos
ftp
The examples are listed below: - demo_01: Alternating bit without data part [Hubert Garavel, Radu Mateescu, Severine Simon, and Frederic Lang] Tools used: ... › pub › vasy › demos
TACAS 2009: 15th Intl. Conf. on Tools and Algorithms for...
web.embedded.rwth-aachen.de
Radu Mateescu (INRIA / VASY) Anton Wijs (INRIA / VASY) WEDNESDAY. Parametric Analysis – Session Chair: Parosh Abdullah . Static Analysis Techniques for Parameterised Boolean Equation Systems. Simona Orzan (Eindhoven University of Technology) Wieger Wesselink (Eindhoven University of Technology) Tim Willemse (Eindhoven University of Technology)
index - CONVECS teamArchive ouverte HAL
hal.science
Contact : radu.mateescu[at]inria[dot]fr ... Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, ...
On The Long-Run Development of Formal Verification Toolsetaps 2024
etaps.org
— It was attributed to Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe, all working at INRIA (Grenoble, France) for the ...
Radu Mateescu. - Intelligence artificielleActu IA
www.actuia.com
Articles citant les travaux de Radu Mateescu. dans le domaine de l'intelligence artificielle. Retour sur les trois lauréats des Prix Inria scientifiques ...
Radu Mateescu
easychair.org
Radu Mateescu. Organization: INRIA. Web page: http://convecs.inria.fr/people/Radu.Mateescu. Pages in this Program. Program · Program for Tuesday, October ...
TACAS — International Conference on Tools and Algorithms for the...
tacas.info
Tools chair: Radu Mateescu (INRIA Grenoble Rhône-Alpes, FR) Location: Eindhoven, Netherlands. TACAS Program chairs: Christel Baier, Cesare Tinelli. Proceedings: Lecture Notes in Computer Science Invited speaker: Wang Yi (Uppsala University, SE) Tools chair: Jaco van de Pol (Universiteit Twente, NL)
Compositional Verification of Concurrent Systems by Combining ...hal.univ-reunion.fr › LIG
hal.univ-reunion.fr
Frederic Lang 1 Radu Mateescu 1 Franco Mazzanti 2. Détails. 1 CONVECS - Construction of verified concurrent systems. Inria Grenoble - Rhône-Alpes, ...
Alle Infos zum Namen "Radu Mateescu"
Verwandte Suchanfragen zu Radu Mateescu
| Frédéric Lang Ajay Krishna Hubert Garavel | Bogdan Radu Robert Radu |
Personen Vorname "Radu" (740) Name "Mateescu" (50) |
sortiert nach Relevanz / Datum