François Terrier

88 papers A* 1A 8B 12C 16Misc 1Journal 13Unranked 36

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	On Using Certified Training towards Empirical Robustness. Trans. Mach. Learn. Res. Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban
2024	C	`conf`	Extending the Scope of Gradient Reconstruction Attacks in Federated Averaging. IH&MMSec Pierre Jobic, Aurélien Mayoue, Sara Tucci Piergiovanni, François Terrier
2024	A	`conf`	Latent Representation Entropy Density for Distribution Shift Detection. UAI Fabio Arnez, Daniel Alfonso Montoya Vasquez, Ansgar Radermacher, François Terrier
2024	J	`jnl`	On Using Certified Training towards Empirical Robustness. CoRR Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban
2023	J	`jnl`	No Trust without regulation! CoRR François Terrier
2023	—	`conf`	Out-of-Distribution Detection Using Deep Neural Network Latent Space Uncertainty. SafeAI@AAAI Fabio Arnez, Ansgar Radermacher, François Terrier
2023	J	`jnl`	Towards Dependable Autonomous Systems Based on Bayesian Deep Learning Components. CoRR Fabio Arnez, Huáscar Espinoza, Ansgar Radermacher, François Terrier
2022	C	`conf`	Skeptical Dynamic Dependability Management for Automated Systems. DSD Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier
2022	—	`conf`	The wall of safety for AI: approaches in the Confiance.ai program. SafeAI@AAAI Bertrand Braunschweig, Rodolphe Gelin, François Terrier
2022	Misc	`conf`	Towards Dependable Autonomous Systems Based on Bayesian Deep Learning Components. EDCC Fabio Arnez, Huáscar Espinoza, Ansgar Radermacher, François Terrier
2021	—	`conf`	Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty. SAFECOMP Workshops Fabio Arnez, Huáscar Espinoza, Ansgar Radermacher, François Terrier
2021	J	`jnl`	Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty. CoRR Fabio Arnez, Huáscar Espinoza, Ansgar Radermacher, François Terrier
2020	—	`conf`	A Comparison of Uncertainty Estimation Approaches in Deep Learning Components for Autonomous Vehicle Applications. AISafety@IJCAI Fabio Arnez, Huáscar Espinoza, Ansgar Radermacher, François Terrier
2020	J	`jnl`	A Comparison of Uncertainty Estimation Approaches in Deep Learning Components for Autonomous Vehicle Applications. CoRR Fabio Arnez, Huáscar Espinoza, Ansgar Radermacher, François Terrier
2017	C	`conf`	Use of Architecture Description to Maintain Consistency in Agile Processes. MODELSWARD Aurélien Chichignoud, Florian Noyrit, Laurent Maillet-Contoz, François Terrier
2014	J	`jnl`	Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. CoRR Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard
2014	A	`conf`	Formalizing Execution Semantics of UML Profiles with fUML Models. MoDELS Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier
2014	C	`conf`	Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML. MODELSWARD Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier
2013	A	`conf`	Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques. MoDELS Florian Noyrit, Sébastien Gérard, François Terrier
2013	J	`jnl`	On the gap between schedulability tests and an automotive task model. J. Syst. Archit. Saoussen Anssi, Stefan Kuntz, Sébastien Gérard, François Terrier
2013	—	`conf`	Principles for the realization of an open simulation framework based on fUML (WIP). SpringSim (TMS-DEVS) Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier
2012	C	`conf`	An Experiment on Merging Quality Assessment in Automotive Domain. SPICE Morayo Adedjouma, Hubert Dubois, François Terrier, Tarek Kitouni
2012	B	`conf`	Merging UML2 Composite Structures of Software Product Lines. ICECCS Takoua Ben Rhouma, Patrick Tessier, François Terrier
2012	B	`conf`	Merging the Quality Assessment of Processes and Products in Automotive Domain. PROFES Morayo Adedjouma, Hubert Dubois, François Terrier, Tarek Kitouni
2011	—	`conf`	A Guidance Framework for the Generation of Implementation Models in the Automotive Domain. EUROMICRO-SEAA Ernest Wozniak, Chokri Mraidha, Sebastien Gerard, François Terrier
2011	B	`conf`	A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems. ICECCS Wassim El Hajj Chehade, Ansgar Radermacher, François Terrier, Bran Selic, Sébastien Gérard
2011	—	`conf`	AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications. SDL Forum Saoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier
2011	A	`conf`	Defining MARTE's VSL as an Extension of Alf. MoDELS Arnaud Cuccuru, Sébastien Gérard, François Terrier
2011	A	`conf`	Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. MoDELS Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier
2011	C	`conf`	Enabling Scheduling Analysis for AUTOSAR Systems. ISORC Saoussen Anssi, Sara Tucci Piergiovanni, Stefan Kuntz, Sébastien Gérard, François Terrier
2011	B	`conf`	Offline Validation of Real-Time Application Constraints Considering Adaptation Rules. TrustCom Mohamed-Lamine Boukhanoufa, Ansgar Radermacher, François Terrier
2011	B	`conf`	Requirements Exchange: From Specification Documents to Models. ICECCS Morayo Adedjouma, Hubert Dubois, François Terrier
2010	—	`conf`	A Developer-Oriented View of Component-Based Embedded Systems. EUROMICRO-SEAA Manel Fredj, Ansgar Radermacher, Sebastien Gerard, François Terrier
2010	—	`conf`	An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis. ISORC Workshops Stefano Dalpez, Roberto Passerone, Daniela Cancila, François Terrier
2010	—	`conf`	Consistent Modeling Using Multiple UML Profiles. MoDELS (1) Florian Noyrit, Sébastien Gérard, François Terrier, Bran Selic
2010	C	`conf`	Detailed Real-Time Software Platform Modeling. APSEC Wassim El Hajj Chehade, Ansgar Radermacher, Sébastien Gérard, François Terrier
2010	C	`conf`	Does Code Generation Promote or Prevent Optimizations? ISORC Asma Charfi, Chokri Mraidha, Sébastien Gérard, François Terrier, Pierre Boulet
2010	—	`conf`	Extending the Standard Execution Model of UML for Real-Time Systems. DIPES/BICC Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard
2010	B	`ed.`	Modelling Foundations and Applications - 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings ECMFA Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier
2010	—	`conf`	Requirements and Solutions for Timing Analysis of Automotive Systems. SAM Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier
2010	A	`conf`	Toward optimized code generation through model-based optimization. DATE Asma Charfi, Chokri Mraidha, Sébastien Gérard, François Terrier, Pierre Boulet
2010	—	`conf`	Towards a Model-Driven Engineering approach for developing adaptive real-time embedded systems. NOTERE Mohamed-Lamine Boukhanoufa, Ansgar Radermacher, François Terrier
2010	—	`conf`	eC3M: Optimized model-based code generation for embedded distributed software systems. NOTERE Manel Fredj, Ansgar Radermacher, Sebastien Gerard, François Terrier
2009	—	`conf`	A Lightweight Approach for Domain-Specific Modeling Languages Design. EUROMICRO-SEAA Sylvain Robert, Sébastien Gérard, François Terrier, François Lagarde
2009	B	`conf`	An Automated Process for Implementing Multilevel Domain Models. SLE Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier
2009	B	`conf`	Automating the Generation of Platform Specific Models. ICECCS Wassim El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier
2009	A	`conf`	Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers. MoDELS Arnaud Cuccuru, Ansgar Radermacher, Sébastien Gérard, François Terrier
2009	B	`conf`	Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations. GPCE Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier
2009	J	`jnl`	Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
2009	—	`conf`	SOPHIA: a Modeling Language for Model-Based Safety Engineering. ACES-MB@MoDELS Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huáscar Espinoza, Sébastien Gérard, Arnaud Cuccuru
2008	B	`conf`	AnExecution Framework for MARTE-Based Models. ICECCS Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard
2008	—	`conf`	Designing Fault-Tolerant Component Based Applications with a Model Driven Approach. SEUS Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, Sébastien Gérard, François Terrier
2008	C	`conf`	First Experiments Using the UML Profile for MARTE. ISORC Sébastien Demathieu, Frédéric Thomas, Charles André, Sébastien Gérard, François Terrier
2008	B	`conf`	Leveraging Patterns on Domain Models to Improve UML Profile Definition. FASE François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard
2008	C	`conf`	Towards a Framework for Explicit Platform-Based Transformations. ISORC Frédéric Thomas, Jérôme Delatour, François Terrier, Sébastien Gérard
2008	—	`conf`	Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT. DIPES Sebastien Revol, Safouan Taha, François Terrier, Alain Clouard, Sébastien Gérard, Ansgar Radermacher, Jean-Luc Dekeyser
2007	—	`conf`	Constraints Modeling for (Profiled) UML Models. ECMDA-FA François Lagarde, François Terrier, Charles André, Sébastien Gérard
2007	J	`jnl`	Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. Obj. Logiciel Base données Réseaux Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard
2007	A	`conf`	Enhancing UML Extensions with Operational Semantics. MoDELS Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard
2007	—	`conf`	Extending OCL to Ensure Model Transformations. ER Workshops François Lagarde, François Terrier, Charles André, Sébastien Gérard
2007	A*	`conf`	Improving uml profile design practices by leveraging conceptual domain models. ASE François Lagarde, Huáscar Espinoza, François Terrier, Sébastien Gérard
2007	—	`conf`	Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions. Model-Based Engineering of Embedded Real-Time Systems Sébastien Gérard, Huáscar Espinoza, François Terrier, Bran Selic
2007	C	`conf`	Software Real-time Resource Modeling. FDL Frédéric Thomas, Sébastien Gérard, Jérôme Delatour, François Terrier
2007	—	`conf`	Templatable Metamodels for Semantic Variation Points. ECMDA-FA Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard
2006	C	`conf`	Could UML and Contract tackle heterogeneity? IES François Lagarde, François Terrier, Charles André
2006	—	`conf`	MDE Benefits for Distributed, Real Time and Embedded Systems. DIPES François Terrier, Sébastien Gérard
2005	C	`conf`	Architecture description in related standards. FDL David Servat, Frédéric Loiret, Sébastien Gérard, François Terrier
2005	—	`conf`	Enhancing Interaction Support in the CORBA Component Model. IESS Sylvain Robert, Ansgar Radermacher, Vincent Seignole, Sébastien Gérard, Virginie Watine, François Terrier
2005	—	`conf`	The CORBA connector model. SEM Sylvain Robert, Ansgar Radermacher, Vincent Seignole, Sébastien Gérard, Virginie Watine, François Terrier
2005	B	`conf`	Using Variation Propagation for Model-Driven Management of a System Family. SPLC Patrick Tessier, Sébastien Gérard, François Terrier, Jean-Marc Geib
2004	C	`conf`	A UML-Based Concept for High Concurrency: The Real-Time Object. ISORC Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry
2004	—	`conf`	How ADLs Can Help in Adapting the CORBA Component Model to Real-Time Embedded Software Design. IFIP-WADL Sylvain Robert, Ansgar Radermacher, Vincent Seignole, Sébastien Gérard, Virginie Watine, Stéphane Ménoret, François Terrier
2004	J	`jnl`	Validation and automatic test generation on UML models: the AGATHA approach. Int. J. Softw. Tools Technol. Transf. David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier
2003	C	`conf`	A Two-Aspect Approach for a Clearer Behavior Model. ISORC Chokri Mraidha, Sébastien Gérard, François Terrier, Judith Benzakki
2003	C	`conf`	Real-time system modeling with ACCORD/UML methodology: Illustration through an automotive case study. FDL Trung Hieu Phan, Sébastien Gérard, François Terrier
2003	—	`ch.`	UML for Real-Time. UML for Real Sébastien Gérard, François Terrier
2002	J	`jnl`	Functional MRI of Auditory Cortex Activated by Multisite Electrical Stimulation of the Cochlea. NeuroImage François Lazeyras, Colette Boëx, Alain Sigrist, Mohamed L. Seghier, Grégoire Cosendai, François Terrier, Marco Pelizzone
2002	—	`conf`	Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML. OOIS Workshops Sébastien Gérard, François Terrier, Yann Tanguy
2001	—	`conf`	Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops Sébastien Gérard, Alexandre David, François Terrier
2000	—	`conf`	Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology. DIPES Sébastien Gérard, Nikos S. Voros, Chris Koulamas, François Terrier
2000	—	`conf`	Real Time System Modeling with UML: current status and some prospects. SAM François Terrier, Sébastien Gérard
2000	—	`conf`	Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops François Terrier, Nikos S. Voros, Udo Brockmeyer
1998	—	`conf`	A Train Control Modeling with the Real-Time Object Paradigm. ECOOP Workshops Sébastien Gérard, Agnes Lanusse, François Terrier
1998	—	`conf`	Real-Time Modeling with UML: The ACCORD Approach. UML Agnes Lanusse, Sébastien Gérard, François Terrier
1998	—	`conf`	Workshop on Object-Oriented Real-Time Systems. ECOOP Workshops Leonor Barroca, Eugène Dürr, François Terrier
1997	—	`conf`	Object-Oriented Real-Time Systems: Workshop Report. ECOOP Workshops Leonor Barroca, Eugène Dürr, François Terrier
1997	—	`conf`	Scheduling Mechanisms for Efficient Implementation of Real-Time Objects. ECOOP Workshops Laurent Rioux, Patrick Vanuxeem, François Terrier
1996	J	`jnl`	Three- to five-dimensional biomedical multisensor imaging for the assessment of neurological (dys)function. J. Digit. Imaging Luc M. Bidaut, Roberto D. Pascual-Marqui, Jacqueline Delavelle, Alain Naimi, Margitta Seeck, Christophe Michel, Daniel Slosman, Osman Ratib, Daniel A. Rüfenacht, Theodor Landis, Nicolas de Tribolet, Jean-Raoul Scherrer, François Terrier