Frédéric Jouault

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