Frdric Jouault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
47
Venues
12
Active years
2004–2023
Best venue rank
A*
Where they publish
Papers
47 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | MODELS | Approaching Model Edition as a Linear Logic Problem. | Frdric Jouault, Nicolas Pouillard |
| 2023 | MODELS | Debugging Paxos in the UML Multiverse. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Loc Lagadec |
| 2023 | SLE | Temporal Breakpoints for Multiverse Debugging. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2022 | MODELS | From OCL-based model static analysis to quick fixes. | Frdric Jouault, Maxime Mr, Matthias Brun, Tho Le Calvar, Matthias Pasquier, Ciprian Teodorov |
| 2022 | MODELS | Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system. | Maxime Mr, Frdric Jouault, Loc Pallardy, Richard Perdriau |
| 2022 | MODELS | Practical multiverse debugging through user-defined reductions: application to UML models. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2022 | MODELS | Mining human factors general trends from +100k UML class diagrams. | Maxime Savary-Leblanc, Xavier Le Pallec, Philippe A. Palanque, Clia Martinie, Arnaud Blouin, Frdric Jouault, Mickael Clavreul, Thibault Raffaillac |
| 2022 | QRS | Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip. | Maxime Mr, Frdric Jouault, Loc Pallardy, Richard Perdriau |
| 2021 | MODELS | AnimUML as a UML Modeling and Verification Teaching Tool. | Frdric Jouault, Valentin Sebille, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2020 | MODELS | Modular deployment of UML models for V&V activities and embedded execution. | Valentin Besnard, Frdric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jrme Delatour |
| 2020 | MODELS | Designing, animating, and verifying partial UML Models. | Frdric Jouault, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2020 | MODELS | Evaluating tool support for embedded operating system security: an experience feedback. | Matthias Pasquier, Frdric Jouault, Matthias Brun, Julien Prochon |
| 2019 | MODELS | A Model Checkable UML Soccer Player. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2019 | MODELS | Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2019 | MODELS | Emerging Topics in Textual Modelling. | Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frdric Jouault, Christophe Ponsard, Valry Ramon, Edward D. Willink |
| 2019 | MODELS | Intensional View Definition with Constrained Incremental Transformation Rules. | Tho Le Calvar, Frdric Jouault, Fabien Chhel, Frdric Saubion, Mickael Clavreul |
| 2019 | SAC | Toward a declarative language to generate explorable sets of models. | Tho Le Calvar, Fabien Chhel, Frdric Jouault, Frdric Saubion |
| 2018 | MODELS | Unified LTL Verification and Embedded Execution of UML Models. | Valentin Besnard, Matthias Brun, Frdric Jouault, Ciprian Teodorov, Philippe Dhaussy |
| 2018 | MODELS | Using process algebra to statically analyze incremental propagation graphs. | Tho Le Calvar, Fabien Chhel, Frdric Jouault, Frdric Saubion |
| 2018 | MODELS | Introducing the Active Map operation to unify and improve efficiency of active operations. | Frdric Jouault, Fabien Chhel |
| 2017 | MODELS | Towards One Model Interpreter for Both Design and Deployment. | Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frdric Jouault, David Olivier, Ciprian Teodorov |
| 2017 | MODELS | On Additivity in Transformation Languages. | Soichiro Hidaka, Frdric Jouault, Massimo Tisi |
| 2016 | MODELS | Efficient OCL-based Incremental Transformations. | Frdric Jouault, Olivier Beaudoux |
| 2015 | MODELS | On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL. | Frdric Jouault, Olivier Beaudoux |
| 2014 | ICSE | fUML as an assembly language for MDA. | Frdric Jouault, Massimo Tisi, Jrme Delatour |
| 2014 | MODELS | Panel Discussion: Proposals for Improving OCL. | Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frdric Jouault, Ernest Teniente, Burkhart Wolff |
| 2014 | MODELS | Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems. | Frdric Jouault, Jrme Delatour |
| 2014 | SLE | fUML as an Assembly Language for Model Transformation. | Massimo Tisi, Frdric Jouault, Jrme Delatour, Zied Saidi, Hassene Choura |
| 2011 | ER | VirtualEMF: A Model Virtualization Tool. | Cau Clasen, Frdric Jouault, Jordi Cabot |
| 2011 | MODELS | Lazy Execution of Model-to-Model Transformations. | Massimo Tisi, Salvador Martnez Perez, Frdric Jouault, Jordi Cabot |
| 2011 | MODELS | Towards a General Composition Semantics for Rule-Based Model Transformation. | Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frdric Jouault |
| 2011 | SLE | MoScript: A DSL for Querying and Manipulating Model Repositories. | Wolfgang Kling, Frdric Jouault, Dennis Wagelaar, Marco Brambilla, Jordi Cabot |
| 2010 | SAC | Inter-DSL coordination support by combining megamodeling and model weaving. | Frdric Jouault, Bert Vanhooff, Hugo Bruneliere, Guillaume Doux, Yolande Berbers, Jean Bzivin |
| 2009 | MODELS | Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. | Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frdric Jouault, Alexander Knapp |
| 2009 | MODELS | Automatically Discovering Hidden Transformation Chaining Constraints. | Raphal Chenouard, Frdric Jouault |
| 2008 | MODELS | Optimization Patterns for OCL-Based Model Transformations. | Jess Snchez Cuadrado, Frdric Jouault, Jess Garca Molina, Jean Bzivin |
| 2008 | SLE | A Model Engineering Approach to Tool Interoperability. | Yu Sun, Zekai Demirezen, Frdric Jouault, Robert Tairas, Jeff Gray |
| 2008 | TASE | A MDE Based Approach for Bridging Formal Models. | Tian Zhang, Frdric Jouault, Jean Bzivin, Jianhua Zhao |
| 2006 | GPCE | TCS: a DSL for the specification of textual concrete syntaxes in model engineering. | Frdric Jouault, Jean Bzivin, Ivan Kurtev |
| 2006 | MODELS | Model Transformations? Transformation Models! | Jean Bzivin, Fabian Bttner, Martin Gogolla, Frdric Jouault, Ivan Kurtev, Arne Lindow |
| 2006 | OOPSLA | ATL: a QVT-like transformation language. | Frdric Jouault, Freddy Allilaire, Jean Bzivin, Ivan Kurtev, Patrick Valduriez |
| 2006 | OOPSLA | Model-based DSL frameworks. | Ivan Kurtev, Jean Bzivin, Frdric Jouault, Patrick Valduriez |
| 2006 | SAC | On the architectural alignment of ATL and QVT. | Frdric Jouault, Ivan Kurtev |
| 2006 | SAC | Evaluation of rule-based modularization in model transformation languages illustrated with ATL. | Ivan Kurtev, Klaas van den Berg, Frdric Jouault |
| 2005 | CaiSE | Generating Transformation Definition from Mapping Specification: Application to Web Service Platform. | Denivaldo Lopes, Slimane Hammoudi, Jean Bzivin, Frdric Jouault |
| 2005 | ICECCS | Principles, Standards and Tools for Model Engineering. | Jean Bzivin, Frdric Jouault, David Touzet |
| 2004 | EDOC | Applying MDA Approach for Web Service Platform. | Jean Bzivin, Slimane Hammoudi, Denivaldo Lopes, Frdric Jouault |