Frédéric Jouault

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 42

Top Venues

Publications

Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov
AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 232 (2024)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
Debugging Paxos in the UML Multiverse. MoDELS (Companion) (2023)
Sandra Greiner, Stefan Höppner, Frédéric Jouault, Théo Le Calvar, Mickael Clavreul
Incremental MTL vs. GPLs: Class into Relational Database Schema. Agile MDE/MeSS/TTC@STAF (2023)
Frédéric Jouault, Nicolas Pouillard
Approaching Model Edition as a Linear Logic Problem. MoDELS (Companion) (2023)
Frédéric Jouault, Théo Le Calvar, Matthew Coyle
Incremental ATL solution to the TTC 2023 KMEHR to FHIR case. Agile MDE/MeSS/TTC@STAF (2023)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Temporal Breakpoints for Multiverse Debugging. SLE (2023)
Frédéric Jouault, Nicolas Pouillard
Cheptre solution to the TTC 2023 incremental Class2Relational case. Agile MDE/MeSS/TTC@STAF (2023)
Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau
Trustworthy SoC Reconfiguration Aimed at Product-Service Systems: a Literature Review. COINS (2022)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Practical multiverse debugging through user-defined reductions: application to UML models. MoDELS (2022)
Georg Hinkel, Antonio García-Domínguez, René Schöne, Artur Boronat, Massimo Tisi, Théo Le Calvar, Frédéric Jouault, József Marton, Tamás Nyíri, János Benjamin Antal, Márton Elekes, Gábor Szárnyas
A cross-technology benchmark for incremental graph queries. Softw. Syst. Model. 21 (2) (2022)
Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
From OCL-based model static analysis to quick fixes. MoDELS (Companion) (2022)
Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau
Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system. MoDELS (2022)
Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau
Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip. QRS Companion (2022)
Frédéric Jouault, Ciprian Teodorov, Matthias Brun
Smart Home Model Verification with AnimUML (Poster). STAF Workshops (2022)
Maxime Savary-Leblanc, Xavier Le Pallec, Philippe A. Palanque, Célia Martinie, Arnaud Blouin, Frédéric Jouault, Mickael Clavreul, Thibault Raffaillac
Mining human factors general trends from +100k UML class diagrams. MoDELS (Companion) (2022)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. 20 (6) (2021)
Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
AnimUML as a UML Modeling and Verification Teaching Tool. MoDELS (Companion) (2021)
Zahra Rajaei, Shekoufeh Kolahdouz Rahimi, Massimo Tisi, Frédéric Jouault
A DSL for Encoding Models for Graph-Learning Processes. STAF Workshops (2021)
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
Coupling solvers with model transformations to generate explorable model sets. Softw. Syst. Model. 20 (5) (2021)
Frédéric Jouault, Théo Le Calvar
(Ab)using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark. TTC/ (2021)
Matthias Pasquier, Frédéric Jouault, Matthias Brun, Julien Pérochon
Evaluating tool support for embedded operating system security: an experience feedback. MoDELS (Companion) (2020)
Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
Designing, animating, and verifying partial UML Models. MoDELS (2020)
Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour
Modular deployment of UML models for V&V activities and embedded execution. MoDELS (Companion) (2020)
Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Mickael Clavreul
Intensional View Definition with Constrained Incremental Transformation Rules. MoDELS (Companion) (2019)
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
Toward a declarative language to generate explorable sets of models. SAC (2019)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
A Model Checkable UML Soccer Player. MoDELS (Companion) (2019)
Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul
Efficient ATL Incremental Transformations. J. Object Technol. 18 (3) (2019)
Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink
Emerging Topics in Textual Modelling. OCL@MoDELS (2019)
Dennis Wagelaar, Théo Le Calvar, Frédéric Jouault
Truth Tables to Binary Decision Diagrams in Modern ATL. TTC@STAF (2019)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. MoDELS (2019)
Valentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi
The TTC 2018 Social Media Case, by ATL and AOF. TTC@STAF (2018)
Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
Using process algebra to statically analyze incremental propagation graphs. MoDELS (Workshops) (2018)
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. STAF Workshops (2018)
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
Unified LTL Verification and Embedded Execution of UML Models. MoDELS (2018)
Frédéric Jouault, Fabien Chhel
Introducing the Active Map operation to unify and improve efficiency of active operations. MoDELS (Workshops) (2018)
Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov
Towards One Model Interpreter for Both Design and Deployment. MoDELS (Satellite Events) (2017)
Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, Jordi Cabot
Gremlin-ATL: a scalable model transformation framework. ASE (2017)
Soichiro Hidaka, Frédéric Jouault, Massimo Tisi
On Additivity in Transformation Languages. MoDELS (2017)
Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. BX@ETAPS (2017)
Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel, Mickael Clavreul
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph. STAF Workshops (2017)
Frédéric Jouault, Olivier Beaudoux
Efficient OCL-based Incremental Transformations. OCL@MoDELS (2016)
Massimo Tisi, Frédéric Jouault, Zied Saidi, Jérôme Delatour
Enabling OCL and fUML Integration by Transformation. ECMFA (2016)
Frédéric Jouault, Olivier Beaudoux
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL. OCL@MoDELS (2015)
Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton
Towards Functional Model Transformations with OCL. ICMT (2015)
Kelly Garcés, Juan M. Vara, Frédéric Jouault, Esperanza Marcos
Adapting transformations to metamodel changes via external transformation composition. Softw. Syst. Model. 13 (2) (2014)
Massimo Tisi, Frédéric Jouault, Jérôme Delatour, Zied Saidi, Hassene Choura
fUML as an Assembly Language for Model Transformation. SLE (2014)
Frédéric Jouault, Massimo Tisi, Jérôme Delatour
fUML as an assembly language for MDA. MiSE (2014)
Frédéric Jouault, Jérôme Delatour
Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems. OCL@MoDELS (2014)
Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS (2014)
Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, Hugo Brunelière
Typing artifacts in megamodeling. Softw. Syst. Model. 12 (1) (2013)
Manuel Wimmer, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot
A Catalogue of Refactorings for Model-to-Model Transformations. J. Object Technol. 11 (2) (2012)
Javier Luis Cánovas Izquierdo, Frédéric Jouault, Jordi Cabot, Jesús García Molina
API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering. Inf. Softw. Technol. 54 (3) (2012)
Suman Roychoudhury, Jeff Gray, Frédéric Jouault
A Model-Driven Framework for Aspect Weaver Construction. LNCS Trans. Aspect Oriented Softw. Dev. 8 (2011)
Wolfgang Kling, Frédéric Jouault, Dennis Wagelaar, Marco Brambilla, Jordi Cabot
MoScript: A DSL for Querying and Manipulating Model Repositories. SLE (2011)
Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault
Towards a General Composition Semantics for Rule-Based Model Transformation. MoDELS (2011)
Cauê Clasen, Frédéric Jouault, Jordi Cabot
VirtualEMF: A Model Virtualization Tool. ER Workshops (2011)
Massimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot
Lazy Execution of Model-to-Model Transformations. MoDELS (2011)
Frédéric Jouault, Bert Vanhooff, Hugo Brunelière, Guillaume Doux, Yolande Berbers, Jean Bézivin
Inter-DSL coordination support by combining megamodeling and model weaving. SAC (2010)
Hugo Brunelière, Jordi Cabot, Frédéric Jouault, Frédéric Madiot
MoDisco: a generic and extensible framework for model driven reverse engineering. ASE (2010)
Hugo Brunelière, Jordi Cabot, Cauê Clasen, Frédéric Jouault, Jean Bézivin
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools. ECMFA (2010)
Zekai Demirezen, Yu Sun, Jeff Gray, Frédéric Jouault
Enabling tool reuse and interoperability through model-driven engineering. J. Comput. Methods Sci. Eng. 10 (3-6) (2010)
Frédéric Jouault, Massimo Tisi
Towards Incremental Execution of ATL Transformations. ICMT@TOOLS (2010)
Mathias Fritzsche, Wasif Gilani, Ralf Lämmel, Frédéric Jouault
Model Transformation Chains in Model-Driven Performance Engineering: Experiences and Future Research Needs. Modellierung (2010)
Massimo Tisi, Jordi Cabot, Frédéric Jouault
Improving Higher-Order Transformations Support in ATL. ICMT@TOOLS (2010)
Raphaël Chenouard, Frédéric Jouault
Automatically Discovering Hidden Transformation Chaining Constraints CoRR (2010)
Raphaël Chenouard, Frédéric Jouault
Automatically Discovering Hidden Transformation Chaining Constraints. MoDELS (2009)
Mathias Fritzsche, Hugo Brunelière, Bert Vanhooff, Yolande Berbers, Frédéric Jouault, Wasif Gilani
Applying Megamodelling to Model Driven Performance Engineering. ECBS (2009)
Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin
Experiments with a High-Level Navigation Language. ICMT@TOOLS (2009)
Zekai Demirezen, Yu Sun, Jeff Gray, Frédéric Jouault
Supporting Tool Reuse with Model Transformation. SEDE (2009)
Frédéric Jouault, Jean Bézivin, Mikaël Barbero
Towards an advanced model-driven engineering toolbox. Innov. Syst. Softw. Eng. 5 (1) (2009)
Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin
Managing Model Adaptation by Precise Detection of Metamodel Changes. ECMDA-FA (2009)
Massimo Tisi, Frédéric Jouault, Piero Fraternali, Stefano Ceri, Jean Bézivin
On the Use of Higher-Order Model Transformations. ECMDA-FA (2009)
Marcos Didonet Del Fabro, Patrick Albert, Jean Bézivin, Frédéric Jouault
Achieving Rule Interoperability Using Chains of Model Transformations. ICMT@TOOLS (2009)
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. MoDELS (Workshops) (2009)
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24 (2009)
Andrés Vignaga, Frédéric Jouault, M. Cecilia Bastarrica, Hugo Brunelière
Typing in Model Management. ICMT@TOOLS (2009)
Mikaël Barbero, Frédéric Jouault, Jean Bézivin
Model Driven Management of Complex Systems: Implementing the Macroscope's Vision. ECBS (2008)
Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin
Deriving OCL Optimization Patterns from Benchmarks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev
ATL: A model transformation tool. Sci. Comput. Program. 72 (1-2) (2008)
Yu Sun, Zekai Demirezen, Frédéric Jouault, Robert Tairas, Jeff Gray
A Model Engineering Approach to Tool Interoperability. SLE (2008)
Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li
An MDE-based method for bridging different design notations. Innov. Syst. Softw. Eng. 4 (3) (2008)
Tian Zhang, Frédéric Jouault, Jean Bézivin, Jianhua Zhao
A MDE Based Approach for Bridging Formal Models. TASE (2008)
Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin
Optimization Patterns for OCL-Based Model Transformations. MoDELS (Workshops) (2008)
Albin Jossic, Marcos Didonet Del Fabro, Jean-Philippe Lerat, Jean Bézivin, Frédéric Jouault
Model Integration with Model Weaving: a Case Study in System Architecture. ICSEM (2007)
Yuehua Lin, Jeff Gray, Frédéric Jouault
Special Section Articles. Eur. J. Inf. Syst. 16 (4) (2007)
Jean Bézivin, Mikaël Barbero, Frédéric Jouault
On the Applicability Scope of Model Driven Engineering. MOMPES (2007)
Ivan Kurtev, Klaas van den Berg, Frédéric Jouault
Rule-based modularization in model transformation languages illustrated with ATL. Sci. Comput. Program. 68 (3) (2007)
Frédéric Jouault, Ivan Kurtev
On the interoperability of model-to-model transformation languages. Sci. Comput. Program. 68 (3) (2007)
Mikaël Barbero, Frédéric Jouault, Jeff Gray, Jean Bézivin
A Practical Approach to Model Extension. ECMDA-FA (2007)
Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige
A Canonical Scheme for Model Composition. ECMDA-FA (2006)
Frédéric Jouault, Jean Bézivin, Ivan Kurtev
TCS: a DSL for the specification of textual concrete syntaxes in model engineering. GPCE (2006)
Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez
ATL: a QVT-like transformation language. OOPSLA Companion (2006)
Ivan Kurtev, Klaas van den Berg, Frédéric Jouault
Evaluation of rule-based modularization in model transformation languages illustrated with ATL. SAC (2006)
Frédéric Jouault, Jean Bézivin
KM3: A DSL for Metamodel Specification. FMOODS (2006)
Ivan Kurtev, Jean Bézivin, Frédéric Jouault, Patrick Valduriez
Model-based DSL frameworks. OOPSLA Companion (2006)
Jean Bézivin, Frédéric Jouault
Using ATL for Checking Models. Electron. Notes Theor. Comput. Sci. 152 (2006)
Frédéric Jouault, Ivan Kurtev
On the architectural alignment of ATL and QVT. SAC (2006)
Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow
Model Transformations? Transformation Models! MoDELS (2006)
Marcos Didonet Del Fabro, Jean Bézivin, Frédéric Jouault, Patrick Valduriez
Applying Generic Model Management to Data Mapping. BDA (2005)
Denivaldo Lopes, Slimane Hammoudi, Jean Bézivin, Frédéric Jouault
Generating Transformation Definition from Mapping Specification: Application to Web Service Platform. CAiSE (2005)

Frédéric Jouault.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frédéric Jouault