François Terrier

Orcid: 0000-0002-6871-9818

According to our database1, François Terrier authored at least 80 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Extending the Scope of Gradient Reconstruction Attacks in Federated Averaging.
Proceedings of the ACM Workshop on Information Hiding and Multimedia Security, 2024

2023
No Trust without regulation!
CoRR, 2023

Out-of-Distribution Detection Using Deep Neural Network Latent Space Uncertainty.
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.
Proceedings of the 18th European Dependable Computing Conference, 2022

Skeptical Dynamic Dependability Management for Automated Systems.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

The wall of safety for AI: approaches in the Confiance.ai program.
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.
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.
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.
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.
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.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

2013
On the gap between schedulability tests and an automotive task model.
J. Syst. Archit., 2013

Principles for the realization of an open simulation framework based on fUML (WIP).
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012
An Experiment on Merging Quality Assessment in Automotive Domain.
Proceedings of the Software Process Improvement and Capability Determination, 2012

Merging the Quality Assessment of Processes and Products in Automotive Domain.
Proceedings of the Product-Focused Software Process Improvement, 2012

Merging UML2 Composite Structures of Software Product Lines.
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.
Proceedings of the IEEE 10th International Conference on Trust, 2011

AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Defining MARTE's VSL as an Extension of Alf.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Enabling Scheduling Analysis for AUTOSAR Systems.
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.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Requirements Exchange: From Specification Documents to Models.
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.
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.
Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

eC3M: Optimized model-based code generation for embedded distributed software systems.
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.
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.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis.
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?
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.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

A Developer-Oriented View of Component-Based Embedded Systems.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Toward optimized code generation through model-based optimization.
Proceedings of the Design, Automation and Test in Europe, 2010

Detailed Real-Time Software Platform Modeling.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Des. Test Comput., 2009

An Automated Process for Implementing Multilevel Domain Models.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

SOPHIA: a Modeling Language for Model-Based Safety Engineering.
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.
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.
Proceedings of the Generative Programming and Component Engineering, 2009

A Lightweight Approach for Domain-Specific Modeling Languages Design.
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.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Towards a Framework for Explicit Platform-Based Transformations.
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.
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.
Proceedings of the Distributed Embedded Systems: Design, 2008

AnExecution Framework for MARTE-Based Models.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM.
Obj. Logiciel Base données Réseaux, 2007

Enhancing UML Extensions with Operational Semantics.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Improving uml profile design practices by leveraging conceptual domain models.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Software Real-time Resource Modeling.
Proceedings of the Forum on specification and Design Languages, 2007

Extending OCL to Ensure Model Transformations.
Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Constraints Modeling for (Profiled) UML Models.
Proceedings of the Model Driven Architecture, 2007

Templatable Metamodels for Semantic Variation Points.
Proceedings of the Model Driven Architecture, 2007

Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006
Could UML and Contract tackle heterogeneity?
Proceedings of the International Symposium on Industrial Embedded Systems, 2006

MDE Benefits for Distributed, Real Time and Embedded Systems.
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.
Proceedings of the Software Product Lines, 9th International Conference, 2005

Enhancing Interaction Support in the CORBA Component Model.
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Architecture description in related standards.
Proceedings of the Forum on specification and Design Languages, 2005

The CORBA connector model.
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004
Validation and automatic test generation on UML models: the AGATHA approach.
Int. J. Softw. Tools Technol. Transf., 2004

A UML-Based Concept for High Concurrency: The Real-Time Object.
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.
Proceedings of the Architecture Description Languages, 2004

2003
A Two-Aspect Approach for a Clearer Behavior Model.
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.
Proceedings of the Forum on specification and Design Languages, 2003

UML for Real-Time.
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.
NeuroImage, 2002

Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

2001
Specification, Implementation, and Validation of Object-Oriented Embedded Systems.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000
Real Time System Modeling with UML: current status and some prospects.
Proceedings of the SAM 2000, 2000

Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology.
Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

Specification, Implementation, and Validation of Object-Oriented Embedded Systems.
Proceedings of the Object-Oriented Technology, 2000

1998
Real-Time Modeling with UML: The ACCORD Approach.
Proceedings of the Unified Modeling Language, 1998

A Train Control Modeling with the Real-Time Object Paradigm.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Workshop on Object-Oriented Real-Time Systems.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Scheduling Mechanisms for Efficient Implementation of Real-Time Objects.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Object-Oriented Real-Time Systems: Workshop Report.
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.
J. Digit. Imaging, 1996


  Loading...