researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

frdricjouault:0

Statistics

Publications: 1
Edited: 0

Aliases

Jouault, Frédéric
Jouault
Fr\'{e}d\'{e}ric Jouault
Frédéric Jouault
F. Jouault
Jouault, F.

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Frédéric Jouault's Profile

Publications

Unidentified Publications

Publications with a 'Frédéric Jouault' as author, editor, or advisor:

Special Section ArticlesYuehua Lin, Jeffrey G. Gray, Frédéric Jouault. ejis, 16(4):349-361, 2007. [doi]
Modular deployment of UML models for V&V activities and embedded executionValentin Besnard, Frédéric Jouault, Matthias Brun 0001, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour. MoDELS 2020: [doi]
Cheptre solution to the TTC 2023 incremental Class2Relational caseFrédéric Jouault, Nicolas Pouillard. TTC 2024: [doi]
Evaluation of rule-based modularization in model transformation languages illustrated with ATLIvan Kurtev, Klaas van den Berg, Frédéric Jouault. SAC 2006: 1202-1209 [doi]
MoScript: A DSL for Querying and Manipulating Model RepositoriesWolfgang Kling, Frédéric Jouault, Dennis Wagelaar, Marco Brambilla, Jordi Cabot. SLE 2011: 180-200 [doi]
(Ab)using incremental ATL on the TTC 2021 incremental laboratory workflow benchmarkFrédéric Jouault, Théo Le Calvar. TTC 2022: [doi]
Intensional View Definition with Constrained Incremental Transformation RulesThéo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Mickael Clavreul. MoDELS 2019: 395-402 [doi]
Applying Megamodelling to Model Driven Performance EngineeringMathias Fritzsche, Hugo Bruneliere, Bert Vanhooff, Yolande Berbers, Frédéric Jouault, Wasif Gilani. ECBS 2009: 244-253 [doi]
A DSL for Encoding Models for Graph-Learning ProcessesZahra Rajaei, Shekoufeh Kolahdouz Rahimi, Massimo Tisi, Frédéric Jouault. staf 2021: 149-161 [doi]
A Model-Driven Framework for Aspect Weaver ConstructionSuman Roychoudhury, Jeff Gray, Frédéric Jouault. TAOSD, 8:1-45, 2011. [doi]
Optimization Patterns for OCL-Based Model TransformationsJesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin. MoDELS 2009: 273-284 [doi]
A Practical Approach to Model ExtensionMikaël Barbero, Frédéric Jouault, Jeffrey G. Gray, Jean Bézivin. ECMDA-FA 2007: 32-42 [doi]
Lazy Execution of Model-to-Model TransformationsMassimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot. MoDELS 2011: 32-46 [doi]
A Model Checkable UML Soccer PlayerValentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Philippe Dhaussy. MoDELS 2019: 211-220 [doi]
Designing, animating, and verifying partial UML ModelsFrédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun 0001, Jérôme Delatour. MoDELS 2020: 211-217 [doi]
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free ApproachValentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Philippe Dhaussy. MoDELS 2019: 161-171 [doi]
A Canonical Scheme for Model CompositionJean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitris Kolovos, Ivan Kurtev, Richard F. Paige. ECMDA-FA 2006: 346-360 [doi]
ATL: A model transformation toolFrédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev. SCP, 72(1-2):31-39, 2008. [doi]
Introducing the Active Map operation to unify and improve efficiency of active operationsFrédéric Jouault, Fabien Chhel. MoDELS 2018: 146-159 [doi]
Unified LTL Verification and Embedded Execution of UML ModelsValentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. MoDELS 2018: 112-122 [doi]
Inter-DSL coordination support by combining megamodeling and model weavingFrédéric Jouault, Bert Vanhooff, Hugo Bruneliere, Guillaume Doux, Yolande Berbers, Jean Bézivin. SAC 2010: 2011-2018 [doi]
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling ToolsHugo Bruneliere, Jordi Cabot, Cauê Clasen, Frédéric Jouault, Jean Bézivin. ECMDA-FA 2010: 32-47 [doi]
Generating Transformation Definition from Mapping Specification: Application to Web Service PlatformDenivaldo Lopes, Slimane Hammoudi, Jean Bézivin, Frédéric Jouault. caise 2005: 309-325 [doi]
On the interoperability of model-to-model transformation languagesFrédéric Jouault, Ivan Kurtev. SCP, 68(3):114-137, 2007. [doi]
Model-based DSL frameworksIvan Kurtev, Jean Bézivin, Frédéric Jouault, Patrick Valduriez. OOPSLA 2006: 602-616 [doi]
Using ATL for Checking ModelsJean Bézivin, Frédéric Jouault. ENTCS, 152:69-81, 2006. [doi]
Enabling tool reuse and interoperability through model-driven engineeringZekai Demirezen, Yu Sun 0002, Jeff Gray, Frédéric Jouault. jcmse, 10(3-6):187-202, 2010. [doi]
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp. eceasst, 24, 2009.
Temporal Breakpoints for Multiverse DebuggingMatthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Luka Le Roux, Loïc Lagadec. SLE 2023: 125-137 [doi]
Evaluating tool support for embedded operating system security: an experience feedbackMatthias Pasquier, Frédéric Jouault, Matthias Brun 0001, Julien Pérochon. MoDELS 2020: [doi]
MoDisco: a generic and extensible framework for model driven reverse engineeringHugo Bruneliere, Jordi Cabot, Frédéric Jouault, Frédéric Madiot. ASE 2010: 173-174 [doi]
Coupling solvers with model transformations to generate explorable model setsThéo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. SoSyM, 20(5):1633-1652, 2021. [doi]
On Additivity in Transformation LanguagesSoichiro Hidaka, Frédéric Jouault, Massimo Tisi. MoDELS 2017: 23-33 [doi]
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional TransformationsAnthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel. etaps 2017: 15-30 [doi]
Towards Incremental Execution of ATL TransformationsFrédéric Jouault, Massimo Tisi. ICMT 2010: 123-137 [doi]
Practical multiverse debugging through user-defined reductions: application to UML modelsMatthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Luka Le Roux, Loïc Lagadec. MoDELS 2022: 87-97 [doi]
Unified verification and monitoring of executable UML specificationsValentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Philippe Dhaussy. SoSyM, 20(6):1825-1855, 2021. [doi]
Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded SystemsFrédéric Jouault, Jérôme Delatour. MoDELS 2014: 73-82 [doi]
From OCL-based model static analysis to quick fixesFrédéric Jouault, Maxime Méré, Matthias Brun 0001, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov. MoDELS 2022: 889-893 [doi]
Panel Discussion: Proposals for Improving OCLAchim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff. MoDELS 2014: 83-99 [doi]
A MDE Based Approach for Bridging Formal ModelsTian Zhang, Frédéric Jouault, Jean Bézivin, Jianhua Zhao. tase 2008: 113-116 [doi]
The TTC 2018 Social Media Case, by ATL and AOFValentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi. staf 2019: 79-83 [doi]
Towards Functional Model Transformations with OCLFrédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton. ICMT 2015: 111-120 [doi]
Transforming Models with ATLFrédéric Jouault, Ivan Kurtev. uml 2006: 128-138 [doi]
AnimUML: A practical tool for partial model animation and analysisFrédéric Jouault, Valentin Besnard, Matthias Brun 0001, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov. SCP, 232:103050, January 2024. [doi]
Model Driven Management of Complex Systems: Implementing the Macroscopes VisionMikaël Barbero, Frédéric Jouault, Jean Bézivin. ECBS 2008: 277-286 [doi]
A Model Engineering Approach to Tool InteroperabilityYu Sun, Zekai Demirezen, Frédéric Jouault, Robert Tairas, Jeffrey G. Gray. SLE 2008: 178-187 [doi]
Emerging Topics in Textual ModellingAchim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink. MoDELS 2019: 91-104 [doi]
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification LanguagesJordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp. MoDELS 2010: 256-260 [doi]
fUML as an Assembly Language for Model TransformationMassimo Tisi, Frédéric Jouault, Jérôme Delatour, Zied Saidi, Hassene Choura. SLE 2014: 171-190 [doi]
Rule-based modularization in model transformation languages illustrated with ATLIvan Kurtev, Klaas van den Berg, Frédéric Jouault. SCP, 68(3):138-154, 2007. [doi]
Enabling OCL and fUML Integration by TransformationMassimo Tisi, Frédéric Jouault, Zied Saidi, Jérôme Delatour. ECMDA-FA 2016: 156-172 [doi]
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, 2019Achim D. Brucker, Gwendal Daniel, Frédéric Jouault, editors, Volume 2513 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Embedded UML Model Execution to Bridge the Gap Between Design and RuntimeValentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. staf 2018: 519-528 [doi]
Efficient OCL-based Incremental TransformationsFrédéric Jouault, Olivier Beaudoux. MoDELS 2016: 121-136 [doi]
Approaching Model Edition as a Linear Logic ProblemFrédéric Jouault, Nicolas Pouillard. MoDELS 2023: 414-421 [doi]
Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-ChipMaxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau. qrs 2022: 1-8 [doi]
Trustworthy SoC Reconfiguration Aimed at Product-Service Systems: a Literature ReviewMaxime Mere, Frédéric Jouault, Loïc Pallardy, Richard Perdriau. coins 2022: 1-6 [doi]
Modeling in the Large and Modeling in the SmallJean Bézivin, Frédéric Jouault, Peter Rosenthal, Patrick Valduriez. mdafa 2005: 33-46 [doi]
Incremental ATL solution to the TTC 2023 KMEHR to FHIR caseFrédéric Jouault, Théo Le Calvar, Matthew Coyle. TTC 2024: [doi]
Towards One Model Interpreter for Both Design and DeploymentValentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov. MoDELS 2017: 102-108 [doi]
KM3: A DSL for Metamodel SpecificationFrédéric Jouault, Jean Bézivin. fmoods 2006: 171-185 [doi]
API2MoL: Automating the building of bridges between APIs and Model-Driven EngineeringJavier Luis Cánovas Izquierdo, Frédéric Jouault, Jordi Cabot, Jesús García Molina. INFSOF, 54(3):257-273, 2012. [doi]
Supporting Tool Reuse with Model TransformationZekai Demirezen, Yu Sun, Jeffrey G. Gray, Frédéric Jouault. sede 2009: 119-125
Principles, Standards and Tools for Model EngineeringJean Bézivin, Frédéric Jouault, David Touzet. ICECCS 2005: 28-29 [doi]
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation GraphFrédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel, Mickael Clavreul. staf 2018: 302-316 [doi]
Using process algebra to statically analyze incremental propagation graphsThéo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. MoDELS 2018: 160-173 [doi]
Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management systemMaxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau. MoDELS 2022: 121-131 [doi]
Mining human factors general trends from +100k UML class diagramsMaxime Savary-Leblanc, Xavier Le Pallec, Philippe A. Palanque, Célia Martinie, Arnaud Blouin, Frédéric Jouault, Mickael Clavreul, Thibault Raffaillac. MoDELS 2022: 913-922 [doi]
Applying MDA Approach for Web Service PlatformJean Bézivin, Slimane Hammoudi, Denivaldo Lopes, Frédéric Jouault. edoc 2004: 58-70 [doi]
Towards a General Composition Semantics for Rule-Based Model TransformationDennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault. MoDELS 2011: 623-637 [doi]
Improving Higher-Order Transformations Support in ATLMassimo Tisi, Jordi Cabot, Frédéric Jouault. ICMT 2010: 215-229 [doi]
Incremental MTL vs. GPLs: Class into Relational Database SchemaSandra Greiner 0001, Stefan Höppner, Frédéric Jouault, Théo Le Calvar, Mickael Clavreul. TTC 2024: [doi]
TCS: a DSL for the specification of textual concrete syntaxes in model engineeringFrédéric Jouault, Jean Bézivin, Ivan Kurtev. GPCE 2006: 249-254 [doi]
Efficient ATL Incremental TransformationsThéo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul. jot, 18(3), 2019. [doi]
Toward a declarative language to generate explorable sets of modelsThéo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. SAC 2019: 1837-1844 [doi]
B2B Applications, BPEL4WS, Web Services and .NET in the Context of MDAJean Bézivin, Slimane Hammoudi, Denivaldo Lopes, Frédéric Jouault. ifip5-12 2005: 225-236 [doi]
Typing artifacts in megamodelingAndrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, Hugo Bruneliere. SoSyM, 12(1):105-119, 2013. [doi]
On the Use of Higher-Order Model TransformationsMassimo Tisi, Frédéric Jouault, Piero Fraternali, Stefano Ceri, Jean Bézivin. ECMDA-FA 2009: 18-33 [doi]
Smart Home Model Verification with AnimUML (Poster)Frédéric Jouault, Ciprian Teodorov, Matthias Brun 0001. staf 2022: [doi]
ATL: a QVT-like transformation languageFrédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez. OOPSLA 2006: 719-720 [doi]
Model Integration with Model Weaving: a Case Study in System ArchitectureAlbin Jossic, Marcos Didonet Del Fabro, Jean-Philippe Lerat, Jean Bézivin, Frédéric Jouault. icsem 2007: 79-84 [doi]
Truth Tables to Binary Decision Diagrams in Modern ATLDennis Wagelaar, Théo Le Calvar, Frédéric Jouault. staf 2020: 51-58 [doi]
On the architectural alignment of ATL and QVTFrédéric Jouault, Ivan Kurtev. SAC 2006: 1188-1195 [doi]
fUML as an assembly language for MDAFrédéric Jouault, Massimo Tisi, Jérôme Delatour. ICSE 2014: 61-64 [doi]
Gremlin-ATL: a scalable model transformation frameworkGwendal Daniel, Frédéric Jouault, Gerson Sunyé, Jordi Cabot. ASE 2017: 462-472 [doi]
A cross-technology benchmark for incremental graph queriesGeorg 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 0001, Gábor Szárnyas. SoSyM, 21(2):755-804, 2022. [doi]
Debugging Paxos in the UML MultiverseMatthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Loïc Lagadec. MoDELS 2023: 811-820 [doi]
AnimUML as a UML Modeling and Verification Teaching ToolFrédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun 0001, Jérôme Delatour. MoDELS 2021: 615-619 [doi]
VirtualEMF: A Model Virtualization ToolCauê Clasen, Frédéric Jouault, Jordi Cabot. ER 2011: 332-335 [doi]
Adapting transformations to metamodel changes via external transformation compositionKelly Garcés, Juan M. Vara, Frédéric Jouault, Esperanza Marcos. SoSyM, 13(2):789-806, 2014. [doi]
Model Transformations? Transformation Models!Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow. MoDELS 2006: 440-453 [doi]
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCLFrédéric Jouault, Olivier Beaudoux. MoDELS 2015: 35-45 [doi]
A Catalogue of Refactorings for Model-to-Model TransformationsManuel Wimmer, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot. jot, 11(2), 2012. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL