Julien Deantoni

Publications

489

Citations

H-Index

2005

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Université Côte d'Azur

Université de Rennes

Centre National de la Recherche Scientifique

Centre Inria d'Université Côte d'Azur

Julien Deantoni is an author at Institut national de recherche en sciences et technologies du numérique specializing in software design, engineering, and computer science.

ORCID

Top concepts

EngineeringComputer ScienceSoftware DesignFormal MethodsSystems EngineeringSystem SoftwareSoftware EngineeringComputer EngineeringFormal VerificationComputer Architecture

Publications per year

2005–2019

Publications

Globalizing Modeling Languages

Benoît Combemale, Julien Deantoni, Benoît Baudry et al. · Computer · 2014 · 79 citations

Software Maintenance, Modeling Languages, Engineering +25

Execution framework of the GEMOC studio (tool demo)

Erwan Bousse, Thomas Degueule, Didier Vojtisek et al. · 2016 · 74 citations

Software Maintenance, Engineering, Execution Framework +21

A Behavioral Coordination Operator Language (BCOoL)

Matias Ezequiel Vara Larsen, Julien Deantoni, Benoît Combemale et al. · 2015 · 42 citations

Engineering, Verification, Complex Systems +17

Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL

Régis Gascon, Frédéric Mallet, Julien Deantoni · 2011 · 34 citations

Engineering, Verification, Software Engineering +25

The clock constraint specification language for building timed causality models

Frédéric Mallet, Julien Deantoni, Charles André · Innovations in Systems and Software Engineering · 2009 · 29 citations

Constraint Solving, Engineering, Automated Reasoning +11

Rows per page

1–5 of 19