François Terrier

According to our database, François Terrier authored at least 79 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

No Trust without regulation!

François Terrier

CoRR, 2023

Out-of-Distribution Detection Using Deep Neural Network Latent Space Uncertainty.

Fabio Arnez, Ansgar Radermacher, François Terrier

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

Towards Dependable Autonomous Systems Based on Bayesian Deep Learning Components.

Fabio Arnez, Huáscar Espinoza, Ansgar Radermacher, François Terrier

Proceedings of the 18th European Dependable Computing Conference, 2022

Skeptical Dynamic Dependability Management for Automated Systems.

Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

The wall of safety for AI: approaches in the Confiance.ai program.

Bertrand Braunschweig, Rodolphe Gelin, François Terrier

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty.

Fabio Arnez, Huáscar Espinoza, Ansgar Radermacher, François Terrier

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

2020

A Comparison of Uncertainty Estimation Approaches in Deep Learning Components for Autonomous Vehicle Applications.

Fabio Arnez, Huáscar Espinoza, Ansgar Radermacher, François Terrier

Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), 2020

2017

Use of Architecture Description to Maintain Consistency in Agile Processes.

Aurélien Chichignoud, Florian Noyrit, Laurent Maillet-Contoz, François Terrier

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2014

Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML.

Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Formalizing Execution Semantics of UML Profiles with fUML Models.

Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

2013

On the gap between schedulability tests and an automotive task model.

Saoussen Anssi, Stefan Kuntz, Sébastien Gérard, François Terrier

J. Syst. Archit., 2013

Principles for the realization of an open simulation framework based on fUML (WIP).

Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques.

Florian Noyrit, Sébastien Gérard, François Terrier

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012

An Experiment on Merging Quality Assessment in Automotive Domain.

Morayo Adedjouma, Hubert Dubois, François Terrier, Tarek Kitouni

Proceedings of the Software Process Improvement and Capability Determination, 2012

Merging the Quality Assessment of Processes and Products in Automotive Domain.

Morayo Adedjouma, Hubert Dubois, François Terrier, Tarek Kitouni

Proceedings of the Product-Focused Software Process Improvement, 2012

Merging UML2 Composite Structures of Software Product Lines.

Takoua Ben Rhouma, Patrick Tessier, François Terrier

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Offline Validation of Real-Time Application Constraints Considering Adaptation Rules.

Mohamed-Lamine Boukhanoufa, Ansgar Radermacher, François Terrier

Proceedings of the IEEE 10th International Conference on Trust, 2011

AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications.

Saoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal.

Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Defining MARTE's VSL as an Extension of Alf.

Arnaud Cuccuru, Sébastien Gérard, François Terrier

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Enabling Scheduling Analysis for AUTOSAR Systems.

Saoussen Anssi, Sara Tucci Piergiovanni, Stefan Kuntz, Sébastien Gérard, François Terrier

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems.

Wassim El Hajj Chehade, Ansgar Radermacher, François Terrier, Bran Selic, Sébastien Gérard

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Requirements Exchange: From Specification Documents to Models.

Morayo Adedjouma, Hubert Dubois, François Terrier

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

A Guidance Framework for the Generation of Implementation Models in the Automotive Domain.

Ernest Wozniak, Chokri Mraidha, Sebastien Gerard, François Terrier

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Requirements and Solutions for Timing Analysis of Automotive Systems.

Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier

Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

eC3M: Optimized model-based code generation for embedded distributed software systems.

Manel Fredj, Ansgar Radermacher, Sebastien Gerard, François Terrier

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Towards a Model-Driven Engineering approach for developing adaptive real-time embedded systems.

Mohamed-Lamine Boukhanoufa, Ansgar Radermacher, François Terrier

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Consistent Modeling Using Multiple UML Profiles.

Florian Noyrit, Sébastien Gérard, François Terrier, Bran Selic

Proceedings of the Model Driven Engineering Languages and Systems, 2010

An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis.

Stefano Dalpez, Roberto Passerone, Daniela Cancila, François Terrier

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Does Code Generation Promote or Prevent Optimizations?

Asma Charfi, Chokri Mraidha, Sébastien Gérard, François Terrier, Pierre Boulet

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Extending the Standard Execution Model of UML for Real-Time Systems.

Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

A Developer-Oriented View of Component-Based Embedded Systems.

Manel Fredj, Ansgar Radermacher, Sebastien Gerard, François Terrier

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Toward optimized code generation through model-based optimization.

Asma Charfi, Chokri Mraidha, Sébastien Gérard, François Terrier, Pierre Boulet

Proceedings of the Design, Automation and Test in Europe, 2010

Detailed Real-Time Software Platform Modeling.

Wassim El Hajj Chehade, Ansgar Radermacher, Sébastien Gérard, François Terrier

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Metamodels in Europe: Languages, Tools, and Applications.

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

IEEE Des. Test Comput., 2009

An Automated Process for Implementing Multilevel Domain Models.

Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier

Proceedings of the Software Language Engineering, Second International Conference, 2009

Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers.

Arnaud Cuccuru, Ansgar Radermacher, Sébastien Gérard, François Terrier

Proceedings of the Model Driven Engineering Languages and Systems, 2009

SOPHIA: a Modeling Language for Model-Based Safety Engineering.

Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huáscar Espinoza, Sébastien Gérard, Arnaud Cuccuru

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Automating the Generation of Platform Specific Models.

Wassim El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations.

Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier

Proceedings of the Generative Programming and Component Engineering, 2009

A Lightweight Approach for Domain-Specific Modeling Languages Design.

Sylvain Robert, Sébastien Gérard, François Terrier, François Lagarde

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008

Designing Fault-Tolerant Component Based Applications with a Model Driven Approach.

Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, Sébastien Gérard, François Terrier

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Towards a Framework for Explicit Platform-Based Transformations.

Frédéric Thomas, Jérôme Delatour, François Terrier, Sébastien Gérard

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

First Experiments Using the UML Profile for MARTE.

Sébastien Demathieu, Frédéric Thomas, Charles André, Sébastien Gérard, François Terrier

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT.

Sebastien Revol, Safouan Taha, François Terrier, Alain Clouard, Sébastien Gérard, Ansgar Radermacher, Jean-Luc Dekeyser

Proceedings of the Distributed Embedded Systems: Design, 2008

AnExecution Framework for MARTE-Based Models.

Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Leveraging Patterns on Domain Models to Improve UML Profile Definition.

François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM.

Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard

Obj. Logiciel Base données Réseaux, 2007

Enhancing UML Extensions with Operational Semantics.

Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Improving uml profile design practices by leveraging conceptual domain models.

François Lagarde, Huáscar Espinoza, François Terrier, Sébastien Gérard

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Software Real-time Resource Modeling.

Frédéric Thomas, Sébastien Gérard, Jérôme Delatour, François Terrier

Proceedings of the Forum on specification and Design Languages, 2007

Extending OCL to Ensure Model Transformations.

François Lagarde, François Terrier, Charles André, Sébastien Gérard

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Constraints Modeling for (Profiled) UML Models.

François Lagarde, François Terrier, Charles André, Sébastien Gérard

Proceedings of the Model Driven Architecture, 2007

Templatable Metamodels for Semantic Variation Points.

Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard

Proceedings of the Model Driven Architecture, 2007

Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions.

Sébastien Gérard, Huáscar Espinoza, François Terrier, Bran Selic

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

Could UML and Contract tackle heterogeneity?

François Lagarde, François Terrier, Charles André

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

MDE Benefits for Distributed, Real Time and Embedded Systems.

François Terrier, Sébastien Gérard

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005

Using Variation Propagation for Model-Driven Management of a System Family.

Patrick Tessier, Sébastien Gérard, François Terrier, Jean-Marc Geib

Proceedings of the Software Product Lines, 9th International Conference, 2005

Enhancing Interaction Support in the CORBA Component Model.

Sylvain Robert, Ansgar Radermacher, Vincent Seignole, Sébastien Gérard, Virginie Watine, François Terrier

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Architecture description in related standards.

David Servat, Frédéric Loiret, Sébastien Gérard, François Terrier

Proceedings of the Forum on specification and Design Languages, 2005

The CORBA connector model.

Sylvain Robert, Ansgar Radermacher, Vincent Seignole, Sébastien Gérard, Virginie Watine, François Terrier

Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004

Validation and automatic test generation on UML models: the AGATHA approach.

David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier

Int. J. Softw. Tools Technol. Transf., 2004

A UML-Based Concept for High Concurrency: The Real-Time Object.

Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

How ADLs Can Help in Adapting the CORBA Component Model to Real-Time Embedded Software Design.

Sylvain Robert, Ansgar Radermacher, Vincent Seignole, Sébastien Gérard, Virginie Watine, Stéphane Ménoret, François Terrier

Proceedings of the Architecture Description Languages, 2004

2003

A Two-Aspect Approach for a Clearer Behavior Model.

Chokri Mraidha, Sébastien Gérard, François Terrier, Judith Benzakki

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Real-time system modeling with ACCORD/UML methodology: Illustration through an automotive case study.

Trung Hieu Phan, Sébastien Gérard, François Terrier

Proceedings of the Forum on specification and Design Languages, 2003

UML for Real-Time.

Sébastien Gérard, François Terrier

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002

Functional MRI of Auditory Cortex Activated by Multisite Electrical Stimulation of the Cochlea.

François Lazeyras, Colette Boëx, Alain Sigrist, Mohamed L. Seghier, Grégoire Cosendai, François Terrier, Marco Pelizzone

NeuroImage, 2002

Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML.

Sébastien Gérard, François Terrier, Yann Tanguy

Proceedings of the Advances in Object-Oriented Information Systems, 2002

2001

Specification, Implementation, and Validation of Object-Oriented Embedded Systems.

Sébastien Gérard, Alexandre David, François Terrier

Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000

Real Time System Modeling with UML: current status and some prospects.

François Terrier, Sébastien Gérard

Proceedings of the SAM 2000, 2000

Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology.

Sébastien Gérard, Nikos S. Voros, Chris Koulamas, François Terrier

Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

Specification, Implementation, and Validation of Object-Oriented Embedded Systems.

François Terrier, Nikos S. Voros, Udo Brockmeyer

Proceedings of the Object-Oriented Technology, 2000

1998

Real-Time Modeling with UML: The ACCORD Approach.

Agnes Lanusse, Sébastien Gérard, François Terrier

Proceedings of the Unified Modeling Language, 1998

A Train Control Modeling with the Real-Time Object Paradigm.

Sébastien Gérard, Agnes Lanusse, François Terrier

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Workshop on Object-Oriented Real-Time Systems.

Leonor Barroca, Eugène Dürr, François Terrier

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Scheduling Mechanisms for Efficient Implementation of Real-Time Objects.

Laurent Rioux, Patrick Vanuxeem, François Terrier

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Object-Oriented Real-Time Systems: Workshop Report.

Leonor Barroca, Eugène Dürr, François Terrier

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996

Three- to five-dimensional biomedical multisensor imaging for the assessment of neurological (dys)function.

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

J. Digit. Imaging, 1996